Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Lean_theorem_prover> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Lean_theorem_prover abstract "A lean theorem prover is an automated theorem prover implemented in a minimum amount of code. Lean provers are generally[citation needed] implemented in Prolog, and make proficient use of the backtracking engine and logic variables of that language. Lean provers can be as small as a few hundred bytes of source code.".
- Lean_theorem_prover wikiPageExternalLink leantap.
- Lean_theorem_prover wikiPageExternalLink www.leancop.de.
- Lean_theorem_prover wikiPageID "4251226".
- Lean_theorem_prover wikiPageRevisionID "343545345".
- Lean_theorem_prover hasPhotoCollection Lean_theorem_prover.
- Lean_theorem_prover subject Category:Theorem_proving_software_systems.
- Lean_theorem_prover comment "A lean theorem prover is an automated theorem prover implemented in a minimum amount of code. Lean provers are generally[citation needed] implemented in Prolog, and make proficient use of the backtracking engine and logic variables of that language. Lean provers can be as small as a few hundred bytes of source code.".
- Lean_theorem_prover label "Lean theorem prover".
- Lean_theorem_prover sameAs m.0bsdn0.
- Lean_theorem_prover sameAs Q6509476.
- Lean_theorem_prover sameAs Q6509476.
- Lean_theorem_prover wasDerivedFrom Lean_theorem_prover?oldid=343545345.
- Lean_theorem_prover isPrimaryTopicOf Lean_theorem_prover.