{"entities":{"Q3768872":{"pageid":5798778,"ns":120,"title":"Item:Q3768872","lastrevid":51863744,"modified":"2026-01-20T10:26:43Z","type":"item","id":"Q3768872","labels":{"en":{"language":"en","value":"Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027429"}},"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":"Q3768872$F45830E6-631E-4759-9CD3-6646A2FE755B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"971ccfdf5f9f394dc61907fbaf819a4217731620","datavalue":{"value":{"text":"Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3768872$8D74D2FC-D336-49EE-8C1F-A3E9A726675F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93dc64759b0c91a3b1949290d37eb9b7a37fedc0","datavalue":{"value":"0632.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768872$EF716553-01BE-4940-A52B-200D99282D91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca93bc8a3e08d006aefa6849a06f99d463a50897","datavalue":{"value":"10.2307/2273909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768872$FE27A92F-51F4-42DD-9A38-AD2A3A27D4C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efcdd68b740753a8255c6062d7d432d906038e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3768871,"id":"Q3768871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$A2410E27-78FD-4A7F-8D0B-9596E8F13EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb22934de46582f1d34874e34f371e1c38ac742","datavalue":{"value":{"entity-type":"item","numeric-id":1327487,"id":"Q1327487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$A2F5E7E6-50B7-405D-9CE7-89A914F9EF6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$DD0C0A1F-B1B6-4A7B-8C25-BF782C9BF658","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3768872$D28C1C5F-820A-431B-8F96-BBF5DFF69A12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768872$53320525-1B82-4180-8A35-5B632156B8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768872$324A49A4-DAAD-4DE0-B11D-438E658F5520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768872$9004675C-E5A1-41F6-A49C-BFC5F8B33215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768872$0DA9FF18-5E18-4F35-9279-D5F154FFA796","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c975a9b02756aa560dffe490ffd75f6eea9a6b67","datavalue":{"value":"4027429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768872$16F7C8A1-D722-4736-87BA-40574A04A667","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d853da9d6b4f428820e459d1472e6f98fe4c37","datavalue":{"value":"Fraiss\u00e9's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768872$C8A80395-A93C-49E9-B147-1B042D39CE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60403022c4433b8a0c7095700b7225addf7bd37e","datavalue":{"value":"Hintikka's distributive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768872$970FB57B-1514-4A01-AAF5-D98840D24D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768872$470D832D-F288-44A2-B8D0-1400B49A86BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352b47832fb03100e25e83677864fa588dad4e8f","datavalue":{"value":"possible world","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768872$89060885-8ECC-49E8-9CDF-4F542983A142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1093f6950436e6545be25dd909b86fbd17fd071e","datavalue":{"value":"Craig's interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768872$93ED5856-0674-40D2-800C-2B58F78B762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd62c6564f2216a68b05b0b963364c5879c9b26b","datavalue":{"value":"binary relational systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768872$800FBE36-F175-4EE9-8D18-F5578F6D02A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16c69468df8dca8bb221540e9a294a97fed0dc67","datavalue":{"value":"Robinson's consistency theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768872$8B555BF7-83AF-466D-AC3F-FA8AAC17D95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cec012b06940a0a5e71da74cfca09ca009e71ec","datavalue":{"value":"back and forth construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768872$1B494E7A-C1D1-428C-8335-208F1930D390","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":"Q3768872$7EAC3772-8269-420C-8733-BB7ABFF8BBE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98cdb428828cb208ab1c663d059ee7f1f3f6331d","datavalue":{"value":"https://doi.org/10.2307/2273909","type":"string"},"datatype":"url"},"type":"statement","id":"Q3768872$7C3501F6-D9AC-4945-9FFC-616C11B5EAF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9c5eebc52c631a86a91e77faded3d3064b575ea","datavalue":{"value":"W2171395754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768872$00EEE3D7-8B6C-409D-93AC-B31181482E4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$43418ADB-1796-4818-AC1B-E65EEBBE6FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$483179FA-07A5-4BAD-ACD6-6D4221D12085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$3CCD2769-EC5B-43A0-A897-2C3E6F539773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17111cee03f20c988485639ad04097683a72b88","datavalue":{"value":{"entity-type":"item","numeric-id":2536519,"id":"Q2536519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$B467DCAD-5ACA-48C1-8F38-061F930E8F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f881779af953d18c26822f4e43c3d03656196cd","datavalue":{"value":{"entity-type":"item","numeric-id":2548953,"id":"Q2548953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$4DA6405D-F1A7-4544-A526-AD6AA803DD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f628ec0e2a3e9de5cc827801b2a98aaadaaa365c","datavalue":{"value":{"entity-type":"item","numeric-id":3041155,"id":"Q3041155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$F682B00A-66F5-4630-A12D-A8EEE1FECF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e894cf50d98f6d23776708d1d4498cd17fde0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4077980,"id":"Q4077980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$9A3783EF-79DB-4843-8A01-1816B8121A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89811fe037d11cc22c2ae80762bd3d5d7b2d3b","datavalue":{"value":{"entity-type":"item","numeric-id":1156788,"id":"Q1156788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$D424B7D2-48C5-42B5-996B-36CD791FC8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e888c4e0eedeb220bfce539d3de52faf7c270755","datavalue":{"value":{"entity-type":"item","numeric-id":1150603,"id":"Q1150603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768872$66084463-F988-42EC-8CF5-7CBBF1B0A922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d06c8db1e40f7eaea9591f257fd20af960d9d1","datavalue":{"value":{"entity-type":"item","numeric-id":3784046,"id":"Q3784046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f434f7c03655c764957ba9a4e53609e48025ce6a","datavalue":{"value":{"amount":"+0.8446585536003113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768872$36028764-EB95-45CB-A886-B5B717A7A762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a324843149713fa13b2c7edd2429fc59a0b240a","datavalue":{"value":{"entity-type":"item","numeric-id":1913298,"id":"Q1913298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4a554669f5e53716f7ee55591071fba8767802","datavalue":{"value":{"amount":"+0.8125635981559753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768872$675EFEDA-82DB-47B0-A8E8-48C1112F6AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592d681e7e80ddd5484a31b52ecd968633013cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1073010,"id":"Q1073010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4a554669f5e53716f7ee55591071fba8767802","datavalue":{"value":{"amount":"+0.8125635981559753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768872$42E96784-B796-4F3C-98C5-6C9C1742A7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd63cfa22485697f0fb56020a7a44da097e6610","datavalue":{"value":{"entity-type":"item","numeric-id":4870568,"id":"Q4870568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c883be0265867502ad03319cebfb16313ca5488b","datavalue":{"value":{"amount":"+0.8124180436134338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768872$D98DCAC3-28FC-433E-83DD-51255B84EE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a20730ee3acb751f30542956c0c998c919c181a","datavalue":{"value":{"entity-type":"item","numeric-id":1580645,"id":"Q1580645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75312701f409e73e345f903f53dc6a947307392","datavalue":{"value":{"amount":"+0.8115777373313904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768872$47687290-68EE-4B79-9EDC-3D96BA76CEF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3768872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3768872"}}}}}