About: Probabilistic CTL

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Computation_tree_logic dbr:Logic dbc:Temporal_logic dbr:Temporal_logic dbr:Probabilistic dbr:Quantification_(logic) dbr:Markov_chains dbr:Model-checking
dbp:wikiPageUsesTemplate	dbt:More_footnotes
dct:subject	dbc:Temporal_logic
gold:hypernym	dbr:Extension
rdfs:label	Probabilistic CTL (en)
owl:sameAs	freebase:Probabilistic CTL wikidata:Probabilistic CTL dbpedia-global:Probabilistic CTL
prov:wasDerivedFrom	wikipedia-en:Probabilistic_CTL?oldid=1273433286&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Probabilistic_CTL
is dbo:wikiPageRedirects of	dbr:PCTL
is dbo:wikiPageWikiLink of	dbr:Computation_tree_logic dbr:List_of_model_checking_tools dbr:PCTL
is foaf:primaryTopic of	wikipedia-en:Probabilistic_CTL

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