{"entities":{"Q1073010":{"pageid":1083762,"ns":120,"title":"Item:Q1073010","lastrevid":69570879,"modified":"2026-04-13T07:54:59Z","type":"item","id":"Q1073010","labels":{"en":{"language":"en","value":"Some failures of interpolation in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943780"}},"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":"Q1073010$DF2044E4-F044-4E0F-A4FB-7D910B96501C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8562f95e5906f7a73540a4679f182cbc61263dd","datavalue":{"value":{"text":"Some failures of interpolation in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1073010$76A94B8E-7DFC-4907-953B-2E9929E68547","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76c5ecd3b0dee52b45667ca5e0be8c736eb30837","datavalue":{"value":"0588.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073010$1EE344DD-FE6F-4CD5-AAE5-817F80AE218C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c9b0ee9a7c9f7f78c90198c3367b9811fdcdd7f","datavalue":{"value":{"entity-type":"item","numeric-id":758988,"id":"Q758988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073010$EE73E4E4-651C-4F6B-BDD2-374213F38B2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073010$A125AA6C-60E6-41EF-AA58-6BD642855DA5","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":"Q1073010$9BC92BF6-867B-43E0-A4C9-5726EE09F800","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f5b52244147c3cf096309185664935e675efd49","datavalue":{"value":"If a modal logic L has only one Post-complete extension and is Halld\u00e9n- incomplete, then interpolation fails in L. This observation yields quick proofs of failure of interpolation in numerous familiar logics and continuum-many extensions of S4.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073010$CE2BD1FE-8D5B-4B4A-BCDA-DFDF58139371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073010$F605A733-2728-4B16-9265-E6D1B1F0272F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073010$45E84448-44C1-4EA4-82A4-BE602BFC96A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec593a9c9c0f30177b8a2183ae1aab105f695ec5","datavalue":{"value":"3943780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073010$4622ACAC-0456-4ECE-94BA-DB4A62778980","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b296cbd3b6615dbf492620efa90e96db5f5a11","datavalue":{"value":"Halld\u00e9n-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073010$9FD2FE3B-E2DE-4CF4-B86E-48C65A5E1BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45788ba750dad25ca426282795df4287eb5784a","datavalue":{"value":"Post-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073010$81FE40D0-916F-4610-B178-D53FCE594753","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":"Q1073010$5B7DD82F-6FC7-4FB0-A575-5E240186AF5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"489e25e8f59e528b1da38392366af33126cc85e3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636529","type":"string"},"datatype":"url"},"type":"statement","id":"Q1073010$0B7C3815-78AB-4CD5-B89F-46483449CEC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8059d7adcc1b3cfb55cfbb777fac5945e2b5ffb","datavalue":{"value":"W1996638557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073010$AE5BBCCD-A242-4225-B7BD-0B7447C2EC68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b084799680a9376b488a96681a708d93387cb547","datavalue":{"value":"10.1305/NDJFL/1093636529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073010$8DA7346B-86B7-4B52-B503-464535230CE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4a5cb7bd3b7df1fb4b3d43170dd6538b4c996b","datavalue":{"value":{"entity-type":"item","numeric-id":5937819,"id":"Q5937819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c196840e4758ca943a65aba693aebe2f1556983","datavalue":{"value":{"amount":"+0.8370251655578613","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":"Q1073010$0F3506D1-E545-4755-AF4B-552ED41747D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe333a25dd49cf0ce35c8fde9b5b3b9da044cac","datavalue":{"value":{"entity-type":"item","numeric-id":4354884,"id":"Q4354884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84aed61e9b3177dfa8e4444001e91d168bc485e","datavalue":{"value":{"amount":"+0.8295142650604248","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":"Q1073010$F6715EB1-38A6-4294-B327-90F8C375D704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6749999ffe8d23ae3ab977ab63170d4abe58e769","datavalue":{"value":{"entity-type":"item","numeric-id":3784045,"id":"Q3784045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84aed61e9b3177dfa8e4444001e91d168bc485e","datavalue":{"value":{"amount":"+0.8295142650604248","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":"Q1073010$FD30EE1F-DDA7-433B-AC87-9DAF66754E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114a06fc50a12eeea3e2d2a4c351c645c5ee0378","datavalue":{"value":{"entity-type":"item","numeric-id":1077401,"id":"Q1077401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f16b6f95b1e2336661de146d8742ea9db88a34","datavalue":{"value":{"amount":"+0.7975339293479919","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":"Q1073010$F079439B-17A1-4775-A34B-96950888524B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9a2d7c128d5c3972d14b40c7b47eb1d31abea8","datavalue":{"value":{"entity-type":"item","numeric-id":3331201,"id":"Q3331201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc8cffebbdbda8f69ca68854065e6662f4fecd1","datavalue":{"value":{"amount":"+0.7973277568817139","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":"Q1073010$773AA847-6D38-4F0B-A75C-D7DE8C38E0CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some failures of interpolation in modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_failures_of_interpolation_in_modal_logic"}}}}}