Computational tree logic

http://dbpedia.org/resource/Computational_tree_logic

rdfs:label

rdf:langString Computational tree logic

dbpedia-owl:wikiPageID

xsd:integer 20532414

dbpedia-owl:wikiPageRevisionID

xsd:integer 255672720

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 36

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Computation_tree_logic>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Computation_tree_logic>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Computational_tree_logic?oldid=255672720&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Computational_tree_logic>

data from the linked data cloud