About: Metric temporal logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Modal_operator dbr:Syntactic_sugar dbr:EXPSPACE dbc:Model_checking dbr:Complete_(complexity) dbr:Logical_connective dbr:PSPACE-complete dbr:De_Morgan's_laws dbc:Temporal_logic dbr:Temporal_logic dbr:Linear_temporal_logic dbr:Propositional_variable dbr:Metric_interval_temporal_logic dbr:Signal_(model_checking) dbr:Timed_propositional_temporal_logic dbr:Timed_word dbr:MITL dbr:MITL0
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:R dbt:Clarify dbt:Mvar dbt:Explain
dct:subject	dbc:Model_checking dbc:Temporal_logic
rdfs:label	Metric temporal logic (en)
owl:sameAs	wikidata:Metric temporal logic dbpedia-global:Metric temporal logic dbr:Metric temporal logic
prov:wasDerivedFrom	wikipedia-en:Metric_temporal_logic?oldid=1281918062&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Metric_temporal_logic
is dbo:wikiPageDisambiguates of	dbr:MTL
is dbo:wikiPageRedirects of	dbr:Event-Clock_Temporal_Logic dbr:Metric_Temporal_Logic
is dbo:wikiPageWikiLink of	dbr:MTL dbr:Temporal_logic dbr:Linear_temporal_logic dbr:Patricia_Bouyer-Decitre dbr:Metric_interval_temporal_logic dbr:Signal_(model_checking) dbr:Timed_propositional_temporal_logic dbr:Timed_word dbr:Event-Clock_Temporal_Logic dbr:Metric_Temporal_Logic
is foaf:primaryTopic of	wikipedia-en:Metric_temporal_logic

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