Fair computational tree logic

http://dbpedia.org/resource/Fair_computational_tree_logic

Fair computational tree logic is conventional computational tree logic studied with explicit fairness constraints. rdf:langString

rdfs:label

rdf:langString Fair computational tree logic

dbpedia-owl:wikiPageID

xsd:integer 9126127

dbpedia-owl:wikiPageRevisionID

xsd:integer 992709209

dbpedia-owl:abstract

rdf:langString Fair computational tree logic is conventional computational tree logic studied with explicit fairness constraints.

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 3148

dcterms:subject

<http://dbpedia.org/resource/Category:Temporal_logic>

dbpedia-owl:wikiPageWikiLink

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

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

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

<http://dbpedia.org/resource/Category:Temporal_logic>

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

<http://dbpedia.org/resource/Kleene's_theorem>

<http://rdf.freebase.com/ns/m.027ymcv>

<http://www.wikidata.org/entity/Q17089455>

<https://global.dbpedia.org/id/frpZ>

dbpprop:wikiPageUsesTemplate

<http://dbpedia.org/resource/Template:Cite_journal>

<http://purl.org/linguistics/gold/hypernym>

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

prov:wasDerivedFrom

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

foaf:isPrimaryTopicOf

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

data from the linked data cloud