Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML.
Achim D. BruckerPublished in: Arch. Formal Proofs (2022)
Keyphrases
- theorem prover
- data sets
- data sources
- raw data
- training data
- high quality
- data analysis
- knowledge discovery
- data distribution
- synthetic data
- maximum likelihood
- database
- data mining
- complex data
- data quality
- data acquisition
- missing data
- data processing
- image data
- end users
- prior knowledge
- input data
- high dimensional data
- data mining techniques
- small number
- attribute values
- sensor data
- data points
- original data
- data objects
- data structure
- web services