Matches in Wikidata for { <http://www.wikidata.org/entity/Q1077740> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- Q1077740 description "semantics for temporal logic consisting of a graph whose nodes are states and whose edges are state transitions, along with a labeling function mapping each node to a set of properties that hold in the corresponding state" @default.
- Q1077740 name "Estructura de Kripke" @default.
- Q1077740 name "Kripke structure" @default.
- Q1077740 name "Kripkeho štruktúra" @default.
- Q1077740 name "Kripke结构" @default.
- Q1077740 name "Model Kripkego" @default.
- Q1077740 name "Modelli di Kripke" @default.
- Q1077740 name "structure de Kripke" @default.
- Q1077740 name "strukturo de Kripke" @default.
- Q1077740 name "Δομή Κρίπκε" @default.
- Q1077740 name "Модель Крипке" @default.
- Q1077740 name "クリプキ構造" @default.
- Q1077740 name "크립키 구조" @default.
- Q1077740 type Item @default.
- Q1077740 label "Estructura de Kripke" @default.
- Q1077740 label "Kripke structure" @default.
- Q1077740 label "Kripkeho štruktúra" @default.
- Q1077740 label "Kripke结构" @default.
- Q1077740 label "Model Kripkego" @default.
- Q1077740 label "Modelli di Kripke" @default.
- Q1077740 label "structure de Kripke" @default.
- Q1077740 label "strukturo de Kripke" @default.
- Q1077740 label "Δομή Κρίπκε" @default.
- Q1077740 label "Модель Крипке" @default.
- Q1077740 label "クリプキ構造" @default.
- Q1077740 label "크립키 구조" @default.
- Q1077740 prefLabel "Estructura de Kripke" @default.
- Q1077740 prefLabel "Kripke structure" @default.
- Q1077740 prefLabel "Kripkeho štruktúra" @default.
- Q1077740 prefLabel "Kripke结构" @default.
- Q1077740 prefLabel "Model Kripkego" @default.
- Q1077740 prefLabel "Modelli di Kripke" @default.
- Q1077740 prefLabel "structure de Kripke" @default.
- Q1077740 prefLabel "strukturo de Kripke" @default.
- Q1077740 prefLabel "Δομή Κρίπκε" @default.
- Q1077740 prefLabel "Модель Крипке" @default.
- Q1077740 prefLabel "クリプキ構造" @default.
- Q1077740 prefLabel "크립키 구조" @default.
- Q1077740 P10283 Q1077740-86A679C4-BA47-42F4-82EA-AE0EB8522F60 @default.
- Q1077740 P10565 Q1077740-15609BA1-F71C-4569-9838-F1E8D3E55A17 @default.
- Q1077740 P138 q1077740-F2143B72-3882-4023-9A02-CA5E2327B63E @default.
- Q1077740 P373 Q1077740-676D043E-2721-432A-A451-7EDE1348B13C @default.
- Q1077740 P6366 Q1077740-6CBD9236-B577-4845-AFCE-DCC8077CF4AC @default.
- Q1077740 P646 Q1077740-84D38C72-00C7-4B3B-81BA-6F81BCFB143D @default.
- Q1077740 P6366 161913894 @default.
- Q1077740 P10283 "C161913894" @default.
- Q1077740 P10565 "231977" @default.
- Q1077740 P138 Q298521 @default.
- Q1077740 P373 "Kripke models" @default.
- Q1077740 P6366 "161913894" @default.
- Q1077740 P646 "/m/05dypg" @default.