Temporal logic

http://dbpedia.org/resource/Category:Temporal_logic an entity of type: Concept

rdf:langString Temporal logic
rdf:langString Temporal logic
xsd:integer 30577353
xsd:integer 951120373
skos:Concept
<http://dbpedia.org/resource/Category:Formal_specification_languages>
<http://dbpedia.org/resource/Category:Concurrency_(computer_science)>
<http://dbpedia.org/resource/Category:Logic_in_computer_science>
<http://dbpedia.org/resource/Category:Modal_logic>
<http://dbpedia.org/resource/Category:Model_checking>
<http://commons.dbpedia.org/resource/Temporal_logic>
<http://dbpedia.org/resource/Template:Commons>
<http://dbpedia.org/resource/Template:Cat_main>
<http://en.wikipedia.org/wiki/Category:Temporal_logic?oldid=951120373&ns=14>

data from the linked data cloud