This HTML5 document contains 67 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n16http://twelf.org/
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11http://dbpedia.org/resource/Input/
n19https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Interactive_Theorem_Proving_(conference)
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Type_theory
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Frank_Pfenning
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Dependent_type
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Proof_assistant
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Unification_(computer_science)
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Standard_ML
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Logical_framework
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Higher-order_abstract_syntax
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Per_Martin-Löf
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:Twelf
rdf:type
yago:Abstraction100002137 yago:Language106282651 yago:WikicatDependentlyTypedLanguages yago:Communication100033020 dbo:Software
rdfs:label
Twelf
foaf:isPrimaryTopicOf
wikipedia-en:Twelf
dct:subject
dbc:Dependently_typed_languages dbc:Theorem_proving_software_systems dbc:Logic_programming_languages dbc:Type_theory dbc:Logic_in_computer_science
dbo:wikiPageID
2058228
dbo:wikiPageRevisionID
1025549427
dbo:wikiPageWikiLink
dbr:Programming_language dbr:Dependent_type dbr:Carnegie_Mellon_University dbr:Prolog dbr:Coq dbr:HOL_Light dbr:Higher-order_abstract_syntax dbr:Harrop_formula dbc:Logic_programming_languages dbr:ΛProlog dbc:Dependently_typed_languages dbr:Standard_ML dbr:Programming_language_theory n11:output dbr:Lambda_calculus dbr:Logical_framework dbc:Theorem_proving_software_systems dbr:Pattern_matching dbc:Logic_in_computer_science dbr:Horn_clause dbr:Type_family dbr:HOL_(proof_assistant) dbr:Logic_programming dbr:Recursion_(computer_science) dbr:Isabelle_(proof_assistant) dbr:Typed_assembly_language dbc:Type_theory dbr:Proof-carrying_code
dbo:wikiPageExternalLink
n16:
owl:sameAs
freebase:m.06j4lb yago-res:Twelf wikidata:Q7666857 n19:4w3cz
dbp:wikiPageUsesTemplate
dbt:Code dbt:Asof dbt:Further dbt:Reflist
prov:wasDerivedFrom
wikipedia-en:Twelf?oldid=1025549427&ns=0
dbo:wikiPageLength
6757
gold:hypernym
dbr:Implementation
Subject Item
dbr:Automated_theorem_proving
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
dbr:POPLmark_challenge
dbo:wikiPageWikiLink
dbr:Twelf
Subject Item
wikipedia-en:Twelf
foaf:primaryTopic
dbr:Twelf