About: Theorem prover languages

Property	Value
rdf:type	skos:Concept
rdfs:label	Theorem prover languages
skos:broader	dbpedia:Category:Domain-specific_programming_languages dbpedia:Category:Logic_programming_languages dbpedia:Category:Theorem_proving_software_systems
skos:prefLabel	Theorem prover languages
is skos:subject of	dbpedia:Planner_(programming_language) dbpedia:Mathematica dbpedia:Automath dbpedia:Calculus_of_inductive_constructions dbpedia:LF_(logical_framework) dbpedia:Scientific_community_metaphor