About: Interval temporal logic

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Verification_and_validation dbr:Artificial_intelligence dbr:Computer_hardware dbr:Computer_science dbr:Linguistics dbr:Logic dbr:Software dbr:Stanford_University dbr:Temporal_logic dbr:Formal_methods dbr:Duration_calculus dbr:Temporal_logic_of_actions dbr:First-order_logic dbr:Propositional_logic dbc:Temporal_logic dbr:Protocol_(computing) dbr:Specification dbr:Executable_program dbr:Compositionality dbr:Ben_Moszkowski dbr:Future_interval_logic dbr:Graphical_interval_logic dbr:Signed_interval_logic
dbp:wikiPageUsesTemplate	dbt:No_footnotes dbt:Reflist dbt:Formalmethods-stub dbt:Logic-stub
dct:subject	dbc:Temporal_logic
gold:hypernym	dbr:Logic
rdfs:label	Interval temporal logic (en) Χρονική λογική διαστημάτων (el)
owl:sameAs	freebase:Interval temporal logic wikidata:Interval temporal logic dbpedia-el:Interval temporal logic dbpedia-global:Interval temporal logic
prov:wasDerivedFrom	wikipedia-en:Interval_temporal_logic?oldid=1308594817&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Interval_temporal_logic
is dbo:wikiPageRedirects of	dbr:Interval_Temporal_Logic dbr:Interval_logic
is dbo:wikiPageWikiLink of	dbr:Interval_Temporal_Logic dbr:List_of_computing_and_IT_abbreviations dbr:Temporal_logic dbr:Duration_calculus dbr:Interval_logic
is foaf:primaryTopic of	wikipedia-en:Interval_temporal_logic

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