{"entities":{"Q1406371":{"pageid":1417111,"ns":120,"title":"Item:Q1406371","lastrevid":70350876,"modified":"2026-04-13T14:11:01Z","type":"item","id":"Q1406371","labels":{"en":{"language":"en","value":"Craig interpolation property for operational logics of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1974820"}},"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":"Q1406371$88FC854D-73D9-4FBE-ADE0-76670A34B077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5154a2864a184a51d0aea820d1150bb811ea7673","datavalue":{"value":{"text":"Craig interpolation property for operational logics of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1406371$120A218E-B2D8-4C94-91BF-8D2307EF946D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7a6f26eedff55078bea9d3ceee04c4e68f03c1c","datavalue":{"value":"1025.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406371$EC47448C-C70E-4E33-980A-F47EA4724F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dcc0f3d914fe70138d4cabebb0b66ceac0968aa","datavalue":{"value":{"entity-type":"item","numeric-id":1406370,"id":"Q1406370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406371$727D2A5B-722A-4028-8A1B-115E70406AE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406371$F61BB2DA-15E3-4A99-8F28-46B8C721E883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d43b200a233b40a324d3476ed19d40329cec29f","datavalue":{"value":{"time":"+2003-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1406371$29425E18-0E88-4CDA-B245-01B8611683DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d1013cbf4d1387a493d139e363a03dcc88d24ca","datavalue":{"value":"\\textit{S. Artemov} [Operational modal logic, Techn. Rep. 95-29, Mathematical Science Institute, Cornell University (1995)] introduced the operational logics of proofs describing the calculated operations over proofs which admit a propositional description. The author discusses the Craig interpolation property for Artemov's operational logics of proofs. It is proved that the minimal logic of proof \\(\\mathcal L\\mathcal P_{\\emptyset}\\) possesses the weak Craig property and does not possess the strong one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406371$F8BFCD3E-FAFE-48BB-9B45-32E097AF2FB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406371$0B19BFD3-83BA-4190-BC6D-760721C27E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406371$F8C104A8-74D4-43CE-A48C-DBFB3D67C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406371$CF059B1C-781C-411C-B611-22BA865D4B90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"468302c697d6e668f09960d65f7dac927e2df6c5","datavalue":{"value":"1974820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406371$61FFBB1F-AA6F-4EE0-AC07-E78A490C4F4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fbbc403a638e1221a7c0282b106e29f17a07425","datavalue":{"value":"operational logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406371$8E6B6425-F39B-495B-B60E-A380AA7E4E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406371$933E6BC7-0D7B-468D-AF99-E797F499635A","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":"Q1406371$EAFBABC9-BA21-4C1F-8195-B78A388D5659","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da5f1fd13f348bd0f86d07357389257bde5cde8","datavalue":{"value":{"entity-type":"item","numeric-id":1275992,"id":"Q1275992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c464479d0aba65f6656b50db8495631bb87953","datavalue":{"value":{"amount":"+0.8345480561256409","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":"Q1406371$90AAD41A-980B-4E15-BBC0-3623A692476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0194c981196218ac8eaecf19d7b9a148909eaec0","datavalue":{"value":{"entity-type":"item","numeric-id":1071753,"id":"Q1071753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c464479d0aba65f6656b50db8495631bb87953","datavalue":{"value":{"amount":"+0.8345480561256409","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":"Q1406371$4673356B-7275-45A2-AAEA-ADC5749512F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4779fd604c40d45eef5273e45051a61eb67b989","datavalue":{"value":{"entity-type":"item","numeric-id":4501162,"id":"Q4501162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2961aa402bb553e81632439e8e03b58ad63722b","datavalue":{"value":{"amount":"+0.8270763754844666","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":"Q1406371$430EAF29-9871-4716-A508-A4327F5ED124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30317190c333fad242ec05ca51b7424692174132","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273ca6044ccc1c1651ed027981b6347c4ace38cc","datavalue":{"value":{"amount":"+0.8270748257637024","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":"Q1406371$BE22AB28-F7EA-48DD-B66F-048F3C29EF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6038bd319bab251f1548b2b94bb874f01c18b574","datavalue":{"value":{"entity-type":"item","numeric-id":3827991,"id":"Q3827991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7950905b0ee7d990665a4f423037bb3d5dc06209","datavalue":{"value":{"amount":"+0.806728720664978","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":"Q1406371$B47493A1-D77E-4919-9CDB-F0507DE574F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Craig interpolation property for operational logics of proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Craig_interpolation_property_for_operational_logics_of_proofs"}}}}}