Property Value
dbo:wikiPageDisambiguates
dbo:wikiPageID
  • 2368191 (xsd:integer)
dbo:wikiPageLength
  • 1023 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 183245254 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • logique du temps arborescent (fr)
  • logique du temps arborescent (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:texte
  • Computation tree logic (fr)
  • Computation tree logic (fr)
prop-fr:trad
  • Computation tree logic (fr)
  • Computation tree logic (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:label
  • CTL (fr)
  • CTL (de)
  • CTL (en)
  • CTL (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of