{"entities":{"Q2835880":{"pageid":2846610,"ns":120,"title":"Item:Q2835880","lastrevid":58019475,"modified":"2026-04-03T11:43:39Z","type":"item","id":"Q2835880","labels":{"en":{"language":"en","value":"Proving Craig and Lyndon interpolation using labelled sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6658169"}},"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":"Q2835880$36C4EA03-ECA0-49F2-8E50-24D625568321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78d16619904801082412c31ffb0160b0edce36f6","datavalue":{"value":{"text":"Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835880$AFFC33A0-79B7-469A-A7B0-D59C67229E99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deffeb6092d076fda253bbe4b72b7cccf01e82d4","datavalue":{"value":"1485.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835880$ACE876EE-EC06-403C-BFC7-107FE50A5CC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c3761ca93273c0668bee56f1fc7c93eb96f4c07","datavalue":{"value":"10.1007/978-3-319-48758-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835880$050ED062-D39C-4EE6-889B-14EB591AA707","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$81E7B51C-B2BA-4EC7-80EC-4C4C09AE3908","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$15EBE8B4-15AB-4688-AAB6-564E6E805474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2835880$048378E8-294D-4EB2-AA39-4CA07AA991DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75988ca64d4c0d9ddac0a3cccd8ad05dafa28aa5","datavalue":{"value":"https://arxiv.org/abs/1601.05656","type":"string"},"datatype":"url"},"type":"statement","id":"Q2835880$0835973B-DB5B-464D-9897-3D19DE98D9AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835880$5B2EA59A-5072-4553-A4EA-F3A8C3AF44E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835880$7EC33EFE-174D-4724-BF52-FAF8F3A19490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5ddbe33d8965b06fffa51e93f072fc2ef94d127","datavalue":{"value":"6658169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835880$356B69FE-2266-4C56-BC27-65E63D280E4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835880$6D07D1B5-0AE1-4A9A-981E-27A8271AB5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2be08ae207a4e468d36bfadaec3f53eb5b57f403","datavalue":{"value":"Lyndon interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835880$05ACF874-BBD7-450B-966E-EFA49E80A5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1447ad44f0cbd9f1471814413ea754aa8d5f3d9e","datavalue":{"value":"labelled sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835880$738E91CD-8242-444D-9838-AA69892EB567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835880$D9FBD877-9D58-4773-A429-7D36D0F3F0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efde37b0d0f7daa627b810ee4841c35c88ce3f35","datavalue":{"value":"Geach formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2835880$D07FA192-2D58-4814-BB64-E47F9E498524","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":"Q2835880$EF7F0408-A72F-44AC-B230-14262D351CC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edc53bb549e367a00c1206e13e90959014a9b4d2","datavalue":{"value":"W2963340765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835880$42016470-9745-4382-A1CD-2ACC50BF0A85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf2356c33da6949992e76652d09afb44a132cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457688,"id":"Q2457688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$0719E527-6FE0-4E35-9E70-8D566AC04AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5cd0fe113eccd3734617ef2c48fd88afc7821c9","datavalue":{"value":{"entity-type":"item","numeric-id":3019968,"id":"Q3019968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$2B0842CD-947C-449A-A58E-64FA331C493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d0ad9d4fbf3812dd470b090823d342931e402a","datavalue":{"value":{"entity-type":"item","numeric-id":3010362,"id":"Q3010362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$3F483138-6858-45B6-9EA4-955F1AC85DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33692c390b1f19aeb0569ead211f73029e6a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2865008,"id":"Q2865008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$5621E19B-1CD1-47A7-AE32-CC743BD9F8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a08243fd980f5701ca2fc53c5c48bfcfef4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$FDD3DF91-4ED3-46A1-9C59-536698A62589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cfa94eea956d33ac288ccb0c350492b183e589","datavalue":{"value":{"entity-type":"item","numeric-id":487689,"id":"Q487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$937D434F-B24A-4E64-AB35-BEAC4FCEA109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b77e9616af68856c2fef9e864836767c008fc","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$72896A23-458E-445E-9069-0F8B13F09F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31233be874d6e5cd3b72459a26ea44c6046e3cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5419884,"id":"Q5419884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$379831AD-D9A3-49D5-AFB7-EB49AFB4F1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521ac78aa76392faff5d2348cda3b23b9f5004cd","datavalue":{"value":{"entity-type":"item","numeric-id":3532469,"id":"Q3532469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$3DBE53FD-1947-44D7-8E13-89546E5E8A41","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":"Q2835880$51A531B4-1308-4727-9CC0-BD0F589D81B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6406f98369ba334ef51302c7802212f80c7cf1d","datavalue":{"value":{"entity-type":"item","numeric-id":5283429,"id":"Q5283429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$AEB61ADF-1065-4F1C-9F54-82C81DEA3489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8e772175204814e2cbcc356cdc9eac133624cc","datavalue":{"value":{"entity-type":"item","numeric-id":1077401,"id":"Q1077401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$ED7B0917-7A29-442E-A88C-B8F7BAC5814E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$ECE2F9B5-576D-42DB-8E31-88619819D0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$4D4119D1-D9B1-4208-BC1D-6DF26366BC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a802d04c7e0e4e37ca6382ec5a3e9ace4e768000","datavalue":{"value":{"entity-type":"item","numeric-id":5271079,"id":"Q5271079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$095726C1-4BB5-46D7-B5B0-3D203F86E360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90658370e548bbe53451f361e0e547bc7a4e095","datavalue":{"value":{"entity-type":"item","numeric-id":3016134,"id":"Q3016134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835880$0874881D-ADCF-4B7E-8FEB-13502203226E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8638591b2a5b512b02ec352f80b9240dfd22b3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5221855,"id":"Q5221855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48a16b3e75158d3b8cf6ab96e45336e43ce60af","datavalue":{"value":{"amount":"+0.8083063364028931","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":"Q2835880$1CB5EECE-416F-4EED-8601-EDE142E81C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e555e534aa0d7da5f2098bfd68195a0a21517f2f","datavalue":{"value":{"entity-type":"item","numeric-id":487689,"id":"Q487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed15c0f5cb7380e2c50c5a6dabc5cffb77567267","datavalue":{"value":{"amount":"+0.807500422000885","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":"Q2835880$B212911B-6D95-46B6-B04C-C53E395BB582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266003543121ea6470d12f665fa5285e7c2e346","datavalue":{"value":{"entity-type":"item","numeric-id":5283429,"id":"Q5283429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2379803f5a61f3dae06c166cab8e7c971044356","datavalue":{"value":{"amount":"+0.7938413023948669","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":"Q2835880$EB94F0BC-89E8-4499-A33C-75B83C017B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6306f0e0e82f3db9e3d8b660ff2108d7b68b70f3","datavalue":{"value":{"entity-type":"item","numeric-id":5224582,"id":"Q5224582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523680136d29d063d274a63616419684c5f701f5","datavalue":{"value":{"amount":"+0.7913738489151001","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":"Q2835880$F496458A-3588-44DD-B58D-E7C147A222B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2ccd60c5e23f000baf6e4682c97670f7decdb0","datavalue":{"value":{"entity-type":"item","numeric-id":3331199,"id":"Q3331199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d238dfeadbeca345d43105c45a0d73cd83423f","datavalue":{"value":{"amount":"+0.7901132106781006","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":"Q2835880$708A21BB-6008-4BAB-984E-CE7395EF278E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2835880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2835880"}}}}}