{"entities":{"Q5283779":{"pageid":7313353,"ns":120,"title":"Item:Q5283779","lastrevid":52865888,"modified":"2026-01-23T16:26:08Z","type":"item","id":"Q5283779","labels":{"en":{"language":"en","value":"A non-classical refinement of the interpolation property for classical propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751844"}},"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":"Q5283779$AFCD4F22-1AC5-4019-9CAF-F28E52703D4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c2293572e59588a5bae8f512734e8bf3d0cce43","datavalue":{"value":"1396.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283779$220AE04B-2252-4102-A8B1-79FAEC07DCAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53790eae24755add6d2b68becf30f15e267af8a7","datavalue":{"value":"10.2143/LEA.235.0.3170109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283779$788A78FD-D2C8-4DF7-BC83-6A7780E0E8E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"263eeecf5fab337e7298bbbb0776724fc4b70b16","datavalue":{"value":{"entity-type":"item","numeric-id":175259,"id":"Q175259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283779$0B3A09FA-4FFF-45BE-92E4-6CB9068F442A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89df97e5708699c0a90db6263ec4cee3fa566da9","datavalue":{"value":{"time":"+2017-07-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":"Q5283779$A08A6EC6-2095-4503-9487-2DCC66B1BBF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283779$E503279D-048F-43DD-AC71-B6884E8AFBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283779$F177BBDA-301E-4F6B-B72B-2C9322318373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283779$1CBC00F3-B14A-4408-891D-D74179326CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283779$C8855E6A-083F-4E59-B630-6A4CF1E63390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"669dac33d65328f305679aba4a25d12b02a7a0a1","datavalue":{"value":"6751844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283779$646C7D0A-F502-460A-A1ED-62CFFCE83130","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebb9374d7e11190f5569e459ea00009d5a7f4b7","datavalue":{"value":"interpolation theorem for classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283779$9F06CD5A-7099-42D9-BA18-B1EC5BB1C9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a6dfe90c8f1ff8b3864eb7ed9a974ba69c6c58","datavalue":{"value":"Kleene's strong 3-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283779$F5E1A6E7-0CA8-44EA-9C48-393EFEE0D800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0281bcf646fe912800aef72fe34b0282b4347f6a","datavalue":{"value":"Priest's logic of paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283779$E8FD8376-ADA7-40DC-A557-9F142EFA0FCF","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":"Q5283779$79D257CF-BC99-4AA5-9882-EC601B15B42E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"952dd134fefdb418b596780a59fd7f8930ebfb6b","datavalue":{"value":"http://philsci-archive.pitt.edu/10582/1/Paper_%2D_contradiction_in_qm.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283779$66FDB7C4-9FDF-479F-A31F-4AF5580AD241","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afb2d64e1a1a9f45c20131cc99e9de59a009d293","datavalue":{"value":"W2064737574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283779$57632710-8F03-4794-A74B-C835AE7F2B44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f00d0e1f6835fe95623481426681e9abf8f74c84","datavalue":{"value":{"text":"Contradiction, Quantum Mechanics, and the Square of Opposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283779$6C614EED-3ADD-42D5-96A4-6A2A899C6B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6a343ad041c655c96befc23db82c4487d1d736","datavalue":{"value":{"entity-type":"item","numeric-id":4608317,"id":"Q4608317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88030ab519e67505bcc023ddd4dc3408d71fa73c","datavalue":{"value":{"amount":"+0.820052981376648","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":"Q5283779$49B7021A-9869-46CB-A8D3-01AC46BF1934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4785dd5ede0abc8d262b025fef84e7cf47a8f8","datavalue":{"value":{"entity-type":"item","numeric-id":3795655,"id":"Q3795655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d0f4ac71672c054716947923e35a62b1a4b17a","datavalue":{"value":{"amount":"+0.8050763607025146","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":"Q5283779$8EB746E8-FC02-4FA1-9C38-A41E673E6E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc70ce0a84f2f78529137a4e102630e245ab48c4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6f4071e61f46e2f8cd71bd1c044a822f49cf68","datavalue":{"value":{"amount":"+0.8015410900115967","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":"Q5283779$03CFA9D5-DE31-43C3-BC34-075E253DD347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662eb6e4eefa1f5db35a2895064671fe5e587446","datavalue":{"value":{"entity-type":"item","numeric-id":5488263,"id":"Q5488263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d201056b342de1e0e143aaeb2b4ac4b236c26d6f","datavalue":{"value":{"amount":"+0.7909613251686096","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":"Q5283779$F330AECF-AF20-405A-9EC3-84256D54549B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865ef1313a2e2f7119c7409cb3fc0c76990fdb0e","datavalue":{"value":{"amount":"+0.7809538841247559","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":"Q5283779$4E09343C-7C06-44AD-8DA7-65A486202141","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283779"}}}}}