{"entities":{"Q674415":{"pageid":676264,"ns":120,"title":"Item:Q674415","lastrevid":63625374,"modified":"2026-04-11T14:26:37Z","type":"item","id":"Q674415","labels":{"en":{"language":"en","value":"Interpolants, cut elimination and flow graphs for the propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986680"}},"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":"Q674415$F98C688D-1765-4F56-B139-7514B69F97CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5fb3a83afb78bfb49fa210de24cb95d284c912e","datavalue":{"value":{"text":"Interpolants, cut elimination and flow graphs for the propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674415$2188580D-4372-4F80-B496-9A3752223677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c2d4216d94d0ea7abf327b56964b93e18995827","datavalue":{"value":"0873.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674415$9B4E27EC-840A-4FB7-84C8-5017A274688D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a14190492e642636ec9b9012edaf04767d8fd3d9","datavalue":{"value":"10.1016/S0168-0072(96)00019-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674415$D82C92AC-FD75-4EB1-A8FA-81E356E3AD80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$2CEC157B-9F9C-4998-BCA3-BCD4F2C85C52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$2B8FCB35-B70B-42EC-AB9D-90A12B36E6C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412f7a31e42853d129270920f950562a85c36f4d","datavalue":{"value":{"time":"+1997-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674415$5313949B-931E-4710-BABD-6A2BDE79DA56","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"138bc9e079fa94a722a7cb89fb5d1f65e8daf337","datavalue":{"value":"This paper is about the use of logical flow graphs in propositional calculus, particularly in connection with the interpolation and the cut elimination theorems. These graphs, which were introduced by \\textit{S. Buss} [Ann. Pure Appl. Logic 53, 75-102 (1991; Zbl 0749.03039)], are designed to trace how occurrences of subformulas migrate through proofs in the sequent calculus and hence how these occurrences are related to one another. By means of these graphs one can excavate ``inner proofs'' from the given proof. These are rather obvious intuitive ideas, but to give precise definitions and to clarify details require many pages and examples. The author uses this tool to obtain proofs of the interpolation theorem, sometimes without eliminating cuts first, and to estimate the size of interpolants when the given proof is not too complicated. For instance, if \\(A\\to B\\) is a tautology and \\(A\\) or \\(B\\) does not contain the negation or the implication sign, there is an interpolant whose size is linear in those of \\(A\\) and \\(B\\). Gentzen's procedure of eliminating cuts loses local information; and the author gives a new procedure that has the inversion property. Namely, given a proof \\(\\pi\\), the new procedure produces a cut-free proof \\(\\pi'\\) in such a way that from any inner proof in \\(\\pi'\\) one can recover the corresponding proof in the original \\(\\pi\\). Due to the nature of the subject and of the writing, this article is lengthy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q674415$2AF4F982-6136-4634-8A11-3044A975BC06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674415$9213E042-1426-4152-AC8F-C7CAE0B02617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674415$C810711D-36D1-414F-89F1-3BB12DE4AD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674415$61F6A6E5-930A-4685-A367-91C897E682F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e888d030aaf01d6bc0b27ba11902cff5de299cb6","datavalue":{"value":"986680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674415$A331E0BD-9E5B-4768-8771-0351CE49F197","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdc7474e48ae59b37104ca6306df016236aeb8e3","datavalue":{"value":"logical flow graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q674415$D18D9309-D52F-4922-B0D6-6A1BDC368DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q674415$56501613-0B50-404A-8E8E-9550D305D050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q674415$52D271DE-E6FB-4C5A-B764-59218D12F0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q674415$1FF2CEE5-87CE-4DEE-A9C9-57B492AA6D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q674415$4F1E5A9C-BD9B-4B3F-83A8-673ABADB2328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab805bbc597e969b2ea75ef88a5ea3cc98c99403","datavalue":{"value":"size of interpolants","type":"string"},"datatype":"string"},"type":"statement","id":"Q674415$3DEBC588-0537-4DC7-86C9-E4174945D460","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":"Q674415$5EFC40B6-19A6-44B0-9C96-ECC3E0C0E4C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b87d4d660be017ed3a655c9578140dd400c43c7","datavalue":{"value":{"entity-type":"item","numeric-id":4385519,"id":"Q4385519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$4F7E730B-DC67-497E-9208-CCE336BEA20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49508253f586991686167e53d90ae970b902e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$7CDE3D6A-BC3C-4FDF-B028-9065CEC801A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a064c24e33fdb6013bc5a8a7ffdbe6ad695be319","datavalue":{"value":{"entity-type":"item","numeric-id":674415,"id":"Q674415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$DC3E3854-73DC-4BD2-8D9C-AC5286CD8FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e862d1a6f619380d34894adfe6387f0d8dc887","datavalue":{"value":{"entity-type":"item","numeric-id":4885912,"id":"Q4885912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$2CBB626A-62AE-46A1-B3A7-2B951023BB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$A7309B4E-0C58-4AA5-AF2D-80B529F53DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b9673b38489b259e94536cc8cb8767d5873dd9","datavalue":{"value":{"entity-type":"item","numeric-id":1814133,"id":"Q1814133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$62565AC7-23AB-4D26-9376-95A384B11B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd06fe8727e317c06fb69269e2a9e284cfb2205","datavalue":{"value":{"entity-type":"item","numeric-id":3882443,"id":"Q3882443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$945F7FC6-EFB4-4961-97A2-50AB99913416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$B7B2C0C3-865B-49E5-A999-C5F8C875D0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$939AFA21-99C8-4783-B976-713BA87147F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$799BF7B1-B3ED-4B27-BACF-9A3982BD54BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a20e0a9e4155b899677d724a7858d21bacba90f","datavalue":{"value":{"entity-type":"item","numeric-id":2547883,"id":"Q2547883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$26289C7D-C764-4F73-84B7-E17A951F2B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd10b809cdfd26674cd25cafbf01bbf0dce8e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3724312,"id":"Q3724312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$26E0B4C8-2BA3-427D-92B6-4D908D82D839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$E053D27C-FA77-4A23-BDBA-3B243B35F49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c8e8c45bd30e4d2779b4e28bf2c174478c03fb","datavalue":{"value":{"entity-type":"item","numeric-id":3773878,"id":"Q3773878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$7F331EAA-C765-4585-834A-EF0769809170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb85fce914d6445945ae728d76ebec8de3d59a36","datavalue":{"value":{"entity-type":"item","numeric-id":5573368,"id":"Q5573368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$6DB2DF21-913E-434D-B3CA-F7583A27B1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7c244d14d07f3257f25d1bce430b4073a42125","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$B6AB0311-D092-46E9-96CD-2F6255982788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f315a40e35ac688de0752c280ee3e47d748358e3","datavalue":{"value":{"entity-type":"item","numeric-id":4323873,"id":"Q4323873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674415$63507081-CBFC-43F2-85B6-DFFC6575C620","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0df84f349e45b6cc806f06938d522ec2cc26d7b7","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00019-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q674415$3DDFF9B3-E5FF-4898-B5CB-C947713B3673","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"069470ff6821402e86aacd931d3393674ef75ffe","datavalue":{"value":"W2158086914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674415$0209E999-EA5F-43C2-B28D-340EC9725EC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8552d0f5b8961562d1eae43ec18f68b548d90c2","datavalue":{"value":{"entity-type":"item","numeric-id":1853510,"id":"Q1853510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d294d082abc68db6cab580416018a5c9687c2a5","datavalue":{"value":{"amount":"+0.82098943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$2C735B2E-ECEB-4C09-B948-FE93AF6A40BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54caad1467dbad2df2ae164a0c93ccd6a638f159","datavalue":{"value":{"entity-type":"item","numeric-id":4337947,"id":"Q4337947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3123de8d0e44e88ca4ea28d818ca50a91d9553","datavalue":{"value":{"amount":"+0.8187367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$9FE42929-696B-443C-B9A8-8F056A5D226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d810f021175925e6dc2d89e37a847f4ea5c360f","datavalue":{"value":{"entity-type":"item","numeric-id":4532599,"id":"Q4532599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b95c1835071e6b676c5b2f375a126ab6d20be2b","datavalue":{"value":{"amount":"+0.8152595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$072CAB01-42C6-40B3-88D8-779E712ACA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b417248f164d120103a0cb16f0137e6e5af00970","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308f4c7b0ba51842ec7e55c59cbaa3ceb0bee33a","datavalue":{"value":{"amount":"+0.7895278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$5946F584-7163-4B08-8C98-1C9DFC9FC1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1e17eddf55b13c84ff2defa149d71a93296f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530460,"id":"Q4530460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987e39d7cb53d6268aa89e3a2a2bf71189be09b5","datavalue":{"value":{"amount":"+0.7890112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$6CFBCEC0-EAD5-48D5-855E-B4BCDC0A68C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53bca1d06dbb6380267a6ecb6c728afd5be6f617","datavalue":{"value":{"entity-type":"item","numeric-id":1125056,"id":"Q1125056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518daa351ef105fba75c9fa1ab742a4fe09ccd6a","datavalue":{"value":{"amount":"+0.787935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$DCD11BDE-CC9C-42E3-A56A-088F1D4C5F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7198552a8b66775e52ec08df98815b77c3875040","datavalue":{"value":{"entity-type":"item","numeric-id":2735815,"id":"Q2735815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8340c72545b122d8f8de9a977dd6830bd760cedb","datavalue":{"value":{"amount":"+0.7842878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$9A180868-055A-4215-88CD-F167791C9F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa59c71519079fc6e9fab27d26c049b41cbcfe6d","datavalue":{"value":{"entity-type":"item","numeric-id":1295442,"id":"Q1295442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c161a97a5524e4ddaaee9095491131ed6212e88e","datavalue":{"value":{"amount":"+0.7822882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$3D8CB919-43D6-4BB9-B677-DB477E893D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077265d84b403984be6c7fd9e56d71eec563a97f","datavalue":{"value":{"entity-type":"item","numeric-id":1093632,"id":"Q1093632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e6543e64ee3a9d8e7238cec22bd5ed36cd50f2","datavalue":{"value":{"amount":"+0.7805073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$5E17040E-FB35-4DA4-ADCA-B6DB5EAF4986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947a8b41817ad27704da71764261807f546e33ba","datavalue":{"value":{"entity-type":"item","numeric-id":1035649,"id":"Q1035649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e396bac7ea0e8d40256d87ba55be439bf661d3b","datavalue":{"value":{"amount":"+0.7795763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q674415$C36D2250-64F1-4F29-AC13-D105B2EEF98F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolants, cut elimination and flow graphs for the propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolants,_cut_elimination_and_flow_graphs_for_the_propositional_calculus"}}}}}