Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Twelf> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items 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 wikiPageRevisionID "484834171".
- Twelf hasPhotoCollection Twelf.
- 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 type Abstraction100002137.
- Twelf type Communication100033020.
- Twelf type DependentlyTypedLanguages.
- Twelf type Language106282651.
- 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 sameAs Twelf.
- Twelf wasDerivedFrom Twelf?oldid=484834171.
- Twelf isPrimaryTopicOf Twelf.