{"entities":{"Q4608317":{"pageid":6637900,"ns":120,"title":"Item:Q4608317","lastrevid":53045579,"modified":"2026-01-24T02:56:19Z","type":"item","id":"Q4608317","labels":{"en":{"language":"en","value":"A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851058"}},"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":"Q4608317$DC0B88DE-D453-4676-85F2-9656CB1132C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d9b5b629e4038f32b4d3f9bd12c054079035d65","datavalue":{"value":"1417.03180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608317$86DD9FFC-2F39-4C8F-BF4B-C79CD1F2675E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"007642c864f388d4afcf159506ecf00f35e63a3e","datavalue":{"value":"10.2143/LEA.240.0.3254088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608317$9803D39C-2F36-4079-AD2C-5C80CB592856","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":"Q4608317$8360B680-9C4B-45B7-B182-777C70AA1F4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38a58aab6944d60b1cdbb1cc7c2901bec8dd645d","datavalue":{"value":{"time":"+2018-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608317$FBE76448-4E6A-499B-82BB-22A0D7931C4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608317$C62989EE-84FC-44E3-845B-78DCA3276119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608317$F3E44316-13C0-416C-9FD6-26E89E1E9A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608317$D7F6E472-09A7-487A-BCBC-4ADB7FC2A9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608317$CB102441-461A-4901-B8F2-5D9B08BB29DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dea9ddcb632917be0cee47ae532d3072552f602","datavalue":{"value":"6851058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608317$0FD5757F-EDB9-4852-8A50-66CA37AE4FC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e00fc7e57d820d9cacdb607eada328f96204f979","datavalue":{"value":"Craig-Lyndon interpolation theorem (for classical first-order logic)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608317$56DAF27D-E287-4F00-8BBA-D5C23A4DF8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a6dfe90c8f1ff8b3864eb7ed9a974ba69c6c58","datavalue":{"value":"Kleene's strong 3-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608317$4362101F-E22E-42B7-B7D3-59295C94C08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0281bcf646fe912800aef72fe34b0282b4347f6a","datavalue":{"value":"Priest's logic of paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608317$8A74A77D-AD3D-41F9-969C-6DD2A012861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6c74929008cb295e7446e771de4f9275144f3f","datavalue":{"value":"Belnap's four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608317$8F07C46A-AABE-4DC7-AFE8-5631A7B898FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85273488d129a577dbc445794f4f22744675d79d","datavalue":{"value":"block tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608317$4CE9F841-B238-49FA-8B27-D1B5A5EDE77A","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":"Q4608317$C9ECC896-5641-4178-9334-E8AC7E246EC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b780e21543863309d54ea3fcd5cf25a03443c715","datavalue":{"value":{"entity-type":"item","numeric-id":5283779,"id":"Q5283779"},"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":"Q4608317$4E0603F6-358F-4231-B669-3D06C701514B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd29ab08c41b3b55cf2da3860391223c62f2e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2186699,"id":"Q2186699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85ce7140c546bb5fe8e65535414dfca95b763a3","datavalue":{"value":{"amount":"+0.7947267889976501","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":"Q4608317$C491E75B-7FB2-4FC3-A94E-A1FEDC17D5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bbd5ce78d31dee32443a513f32a0ad30a7c649","datavalue":{"value":{"entity-type":"item","numeric-id":1024116,"id":"Q1024116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8b8313384dcced62e486cf966e08a09d3cab7f","datavalue":{"value":{"amount":"+0.779491662979126","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":"Q4608317$E0C88D79-BCDF-4640-99E1-3D1F4E05A557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf44d1f82c6ce4667c0ac890c08bb4d0eec7d71","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53eae556bccd494504d1ecb20336357fc194710a","datavalue":{"value":{"amount":"+0.7790462374687195","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":"Q4608317$FBDABE57-5EC9-4200-AD7E-2A9BD61B386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e99b75f3960d5c716599c68ff8bd823061e20f","datavalue":{"value":{"entity-type":"item","numeric-id":3691642,"id":"Q3691642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8e353627e60260d995387c82722c51bbdd0f9d","datavalue":{"value":{"amount":"+0.7641975283622742","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":"Q4608317$63C032BC-104A-4EA8-B222-7AB44024074C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608317"}}}}}