{"entities":{"Q805608":{"pageid":807456,"ns":120,"title":"Item:Q805608","lastrevid":42704193,"modified":"2025-07-08T16:22:23Z","type":"item","id":"Q805608","labels":{"en":{"language":"en","value":"Interpolation in modal infinite slice logics containing the logic K4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204316"}},"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":"Q805608$FEC4247B-DDD4-4007-8162-7FE602856AE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3480fe0eb3ad09f9ce86ce14e79ea71014533fe","datavalue":{"value":{"text":"Interpolation in modal infinite slice logics containing the logic K4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805608$9A0CBA5C-7003-4FE9-9D7F-259A3CD197AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3abf3edf7548c48e9c631643263f58cfea0a6f73","datavalue":{"value":"0729.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805608$37522DB7-CFCA-4C52-BC80-D39ABBE88C73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805608$BF019191-B2BA-45E8-B9B2-78E6BF01D851","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q805608$E324C24D-0C56-44BC-AD48-8466F9F7F3AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7818b84f7345f773795b6881ca219ce057e149a","datavalue":{"value":"See the review in Zbl 0713.03006.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$4C2190D5-4525-478F-855D-4B0FD4E59245","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805608$368E3DF8-C8AE-4878-ADD3-5DD9057942DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805608$E9585AE7-DC89-4D85-9929-0B3579CABFF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b29112a68aeaefbdee90708c3a2befdba2fa3610","datavalue":{"value":"4204316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805608$F21AAF98-FA96-459C-87EB-D47D0DDA0E0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$C697946F-4FE4-4A2C-8D0C-B2FE45648D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$8BB52D2E-8338-4878-9EC2-F2FA01D767B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891e37dc884a3bde1695ecbbd68b4353699bb9ea","datavalue":{"value":"K4-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$38733ABC-770E-4DD0-B32A-1FC12038C35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de855ea8fd65a3e3409eb19aa5d66ba3dd450e6","datavalue":{"value":"Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$27820416-550F-479E-B8B8-415D88A8DC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf59e36da8adb23c76e2ca2fe7d606c2dba77397","datavalue":{"value":"interpolation property for derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$ABE27BF6-C01B-4E63-A210-E25F364C7BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$4430F17F-C60D-4CDF-AA6F-18ED63B19BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8590c1a6f4023c5da54cffef02e98c8925605d","datavalue":{"value":"infinite-slice extension of K4","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$25A1E6FD-E578-4557-B21A-DA60B23D8A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cfe77d2576d39365d333ebcf3499e70342aa1de","datavalue":{"value":"logics of finite irreflexive n-ary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$475B734C-8B11-44BC-B777-27B44C25F6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f54ec87017bd8954f777ccf85209c9c7306fbe","datavalue":{"value":"extensions of G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$C0EF8619-67F0-425D-85E5-76342EF3DBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456e115fd735516049457cdf14abfe2af983c86f","datavalue":{"value":"reflexive fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$32B5149F-0FC8-4D14-91FC-DC0230308E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ee269abec31a953dfa09ae6142c0ad887a0ac4","datavalue":{"value":"topoboolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q805608$C613879E-24EB-497D-928C-4AE1320F14E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805608$9651BEE5-A1B6-4C9F-8528-3B8B96F36A98","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":"Q805608$EB21A9FD-36C4-47E6-92E3-65683964A1EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:805608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:805608"}}}}}