{"entities":{"Q1379290":{"pageid":1390030,"ns":120,"title":"Item:Q1379290","lastrevid":70288128,"modified":"2026-04-13T13:45:12Z","type":"item","id":"Q1379290","labels":{"en":{"language":"en","value":"Advances in intensional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1120794"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379290$F81C4D97-9ADB-4D18-B927-1E8B64A453AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fef101c8badb37cfc49506482f5c3353e7a99053","datavalue":{"value":{"text":"Advances in intensional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1379290$972EB333-B696-41AE-BAF7-6BDC674F241C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e9b05706efb425e5bc1a0a7996fe63592befa6a","datavalue":{"value":"0885.00029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379290$D564A7B2-F45C-4574-8A24-C76936AAA79C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"059d67558a7cf3b6a152997163f7ee7dfecaafdd","datavalue":{"value":{"entity-type":"item","numeric-id":232650,"id":"Q232650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379290$B3B76371-0FB8-4776-8D75-968E5DD92977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebc5e9ce3989c0335c0c5247dcb59274f460bafb","datavalue":{"value":{"time":"+1998-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1379290$A2429AE2-102F-4F37-B952-6C1737B70995","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cdc8fee4faf3026aa39a2f1472851e265cb2ac75","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{van Benthem, Johan; Alechina, Natasha}, Modal quantification over structured domains, 1-27 [Zbl 0953.03023]  \\textit{Blackburn, Patrick; Meyer-Viol, Wilfried}, Modal logic and model-theoretic syntax, 29-60 [Zbl 0908.03023]  \\textit{de Queiroz, Ruy J. G. B.; Gabbay, Dov M.}, The functional interpretation of modal necessity, 61-91 [Zbl 0911.03012]  \\textit{Rybakov, Vladimir V.}, Logics of schemes for first-order theories and poly-modal propositional logic, 93-106 [Zbl 0953.03024]  \\textit{de Rijke, Maarten}, Preface, ix-xiv [Zbl 0899.03018]  \\textit{Seligman, Jerry}, The logic of correct description, 107-135 [Zbl 0908.03004]  \\textit{Vakarelov, Dimiter}, Modal logics of arrows, 137-171 [Zbl 0913.03027]  \\textit{Wansing, Heinrich}, A full-circle theorem for simple tense logic, 173-193 [Zbl 0919.03017]  \\textit{Zakharyaschev, Michael}, Canonical formulas for modal and superintuitionistic logics: A short outline, 195-248 [Zbl 0953.03025]  \\textit{Zalta, Edward N.}, The modal object calculus and its interpretation, 249-279 [Zbl 0908.03025]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379290$81E9658B-7ED4-4400-AED9-0037627B739A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379290$F9693789-8F95-40EA-BA67-2E906141A785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379290$33C5BDB2-E8FC-4552-AD12-B1331D1A5B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379290$653D22C1-BC0B-447C-883D-E61D5596419F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379290$48E6C582-737A-4302-A629-B385EE7BF029","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f13bf55ee4a7513ca54a700d4ba3fe99b7980d36","datavalue":{"value":"1120794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379290$AB1B40A1-A46D-41C6-91B1-AD8425871E2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe6c1d913c3d6967b7e1093660cfa6411cf2df9","datavalue":{"value":"Intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379290$960DBBBD-BA55-4A3A-83B9-F6E79F582108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379290$D7E0BE43-6FAD-41C6-9EC3-318828CA121B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379290$70A522F5-A0E0-4EDF-BF46-F67226F86531","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Advances in intensional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Advances_in_intensional_logic"}}}}}