Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Twelf> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples per page.
- Twelf abstract "Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.".
- Twelf wikiPageExternalLink twelf.org.
- Twelf wikiPageID "2058228".
- Twelf wikiPageLength "6544".
- Twelf wikiPageOutDegree "30".
- Twelf wikiPageRevisionID "676081946".
- Twelf wikiPageWikiLink Carnegie_Mellon_University.
- Twelf wikiPageWikiLink Category:Dependently_typed_languages.
- Twelf wikiPageWikiLink Category:Logic_in_computer_science.
- Twelf wikiPageWikiLink Category:Logic_programming_languages.
- Twelf wikiPageWikiLink Category:Theorem_proving_software_systems.
- Twelf wikiPageWikiLink Category:Type_theory.
- Twelf wikiPageWikiLink Coq.
- Twelf wikiPageWikiLink Dependent_type.
- Twelf wikiPageWikiLink HOL_(proof_assistant).
- Twelf wikiPageWikiLink HOL_Light.
- Twelf wikiPageWikiLink HOL_theorem_prover.
- Twelf wikiPageWikiLink Harrop_formula.
- Twelf wikiPageWikiLink Higher-order_abstract_syntax.
- Twelf wikiPageWikiLink Horn_clause.
- Twelf wikiPageWikiLink output.
- Twelf wikiPageWikiLink Isabelle_(proof_assistant).
- Twelf wikiPageWikiLink Isabelle_theorem_prover.
- Twelf wikiPageWikiLink LF_(logical_framework).
- Twelf wikiPageWikiLink Lambda_calculus.
- Twelf wikiPageWikiLink Linux.
- Twelf wikiPageWikiLink Logic_programming.
- Twelf wikiPageWikiLink Logical_framework.
- Twelf wikiPageWikiLink Microsoft_Windows.
- Twelf wikiPageWikiLink Natural_number.
- Twelf wikiPageWikiLink Natural_numbers.
- Twelf wikiPageWikiLink Pattern_matching.
- Twelf wikiPageWikiLink Programming_language.
- Twelf wikiPageWikiLink Prolog.
- Twelf wikiPageWikiLink Proof-carrying_code.
- Twelf wikiPageWikiLink Proof_carrying_code.
- Twelf wikiPageWikiLink Recursion.
- Twelf wikiPageWikiLink Standard_ML.
- Twelf wikiPageWikiLink Typed_assembly_language.
- Twelf wikiPageWikiLink ΛProlog.
- Twelf wikiPageWikiLinkText "Twelf".
- Twelf hasPhotoCollection Twelf.
- Twelf wikiPageUsesTemplate Template:Asof.
- Twelf subject Category:Dependently_typed_languages.
- Twelf subject Category:Logic_in_computer_science.
- Twelf subject Category:Logic_programming_languages.
- Twelf subject Category:Theorem_proving_software_systems.
- Twelf subject Category:Type_theory.
- Twelf hypernym Implementation.
- Twelf type Article.
- Twelf type Language.
- Twelf type Software.
- Twelf type Article.
- Twelf type Language.
- Twelf type Tool.
- Twelf comment "Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.".
- Twelf label "Twelf".
- Twelf sameAs m.06j4lb.
- Twelf sameAs Q7666857.
- Twelf sameAs Q7666857.
- Twelf wasDerivedFrom Twelf?oldid=676081946.
- Twelf isPrimaryTopicOf Twelf.