Linear Temporal Logic

http://dbpedia.org/resource/Linear_Temporal_Logic

rdfs:label

rdf:langString Linear Temporal Logic

dbpedia-owl:wikiPageID

xsd:integer 710408

dbpedia-owl:wikiPageRevisionID

xsd:integer 784237777

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 100

dbpedia-owl:wikiPageWikiLink

dbpedia:Linear_temporal_logic

dbpedia-owl:wikiPageRedirects

dbpedia:Linear_temporal_logic

dbpprop:wikiPageUsesTemplate

dbpedia:Template:R_from_other_capitalisation

dbpedia:Template:Redirect_category_shell

prov:wasDerivedFrom

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

foaf:isPrimaryTopicOf

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

data from the linked data cloud