Church-Rosser

http://dbpedia.org/resource/Church-Rosser

rdfs:label

rdf:langString Church-Rosser

dbpedia-owl:wikiPageID

xsd:integer 1013522

dbpedia-owl:wikiPageRevisionID

xsd:integer 24433202

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 35

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Church–Rosser_theorem>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Church–Rosser_theorem>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Church-Rosser?oldid=24433202&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Church-Rosser>

data from the linked data cloud