About: Fair computational tree logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Strongly_connected_component dbc:Temporal_logic dbr:Kleene's_theorem dbr:Kripke_model dbr:Computational_tree_logic
dbp:wikiPageUsesTemplate	dbt:Cite_journal dbt:No_footnotes
dct:subject	dbc:Temporal_logic
gold:hypernym	dbr:Logic
rdfs:label	Fair computational tree logic (en)
owl:sameAs	freebase:Fair computational tree logic wikidata:Fair computational tree logic dbpedia-global:Fair computational tree logic
prov:wasDerivedFrom	wikipedia-en:Fair_computational_tree_logic?oldid=1170470136&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Fair_computational_tree_logic
is dbo:wikiPageRedirects of	dbr:Fair_Computational_tree_logic
is dbo:wikiPageWikiLink of	dbr:Computation_tree_logic dbr:Fair_Computational_tree_logic
is foaf:primaryTopic of	wikipedia-en:Fair_computational_tree_logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International