Matches in Wikidata for { <http://www.wikidata.org/entity/Q56994563> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- Q56994563 description "article scientifique publié en 2001" @default.
- Q56994563 description "wetenschappelijk artikel" @default.
- Q56994563 description "наукова стаття, опублікована у 2001" @default.
- Q56994563 name "Categorical and Kripke Semantics for Constructive S4 Modal Logic" @default.
- Q56994563 name "Categorical and Kripke Semantics for Constructive S4 Modal Logic" @default.
- Q56994563 type Item @default.
- Q56994563 label "Categorical and Kripke Semantics for Constructive S4 Modal Logic" @default.
- Q56994563 label "Categorical and Kripke Semantics for Constructive S4 Modal Logic" @default.
- Q56994563 prefLabel "Categorical and Kripke Semantics for Constructive S4 Modal Logic" @default.
- Q56994563 prefLabel "Categorical and Kripke Semantics for Constructive S4 Modal Logic" @default.
- Q56994563 P1104 Q56994563-D313274F-2BD6-423A-BFC9-F9A7A6E53496 @default.
- Q56994563 P1433 Q56994563-1D849FB8-8BB0-4145-8D6B-8CA501543C4C @default.
- Q56994563 P1476 Q56994563-BE5AEB14-D673-4E39-B7C1-0C5C23C45AD6 @default.
- Q56994563 P2093 Q56994563-30B5D5DE-6685-4965-A668-4C09D4C03447 @default.
- Q56994563 P2093 Q56994563-852CD413-8273-4FFF-833B-4BBA886F1AFA @default.
- Q56994563 P2093 Q56994563-EB1457E5-275D-4A17-B30C-167C612FDC11 @default.
- Q56994563 P304 Q56994563-CD9B637F-7580-481B-B68C-69BC3A4C3EDA @default.
- Q56994563 P31 Q56994563-942C9927-CEA3-46C1-9E91-9BF327CF5726 @default.
- Q56994563 P356 Q56994563-15391590-864A-4FF1-9AA3-E5E12CE59DF6 @default.
- Q56994563 P407 Q56994563-15B89835-914B-4AEE-8A25-24F95DABAF8D @default.
- Q56994563 P50 Q56994563-5C346267-7DE1-4668-BF80-AD167BC1964D @default.
- Q56994563 P577 Q56994563-9E8D7567-C840-4C30-B117-9B00AAB8FED0 @default.
- Q56994563 P8978 Q56994563-A1253DF6-AF50-4329-BCB4-63F685E472A5 @default.
- Q56994563 P356 3-540-44802-0_21 @default.
- Q56994563 P8978 AlechinaMPR01 @default.
- Q56994563 P1104 "+16" @default.
- Q56994563 P1433 Q924044 @default.
- Q56994563 P1476 "Categorical and Kripke Semantics for Constructive S4 Modal Logic" @default.
- Q56994563 P2093 "Eike Ritter" @default.
- Q56994563 P2093 "Michael Mendler" @default.
- Q56994563 P2093 "Natasha Alechina" @default.
- Q56994563 P304 "292-307" @default.
- Q56994563 P31 Q13442814 @default.
- Q56994563 P356 "10.1007/3-540-44802-0_21" @default.
- Q56994563 P407 Q1860 @default.
- Q56994563 P50 Q20731777 @default.
- Q56994563 P577 "2001-01-01T00:00:00Z" @default.
- Q56994563 P8978 "conf/csl/AlechinaMPR01" @default.