{"entities":{"Q2326416":{"pageid":2337159,"ns":120,"title":"Item:Q2326416","lastrevid":78576260,"modified":"2026-05-06T11:55:29Z","type":"item","id":"Q2326416","labels":{"en":{"language":"en","value":"Uniform interpolation and the existence of sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114344"}},"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":"Q2326416$578CB90E-4A62-494D-B6BA-013C30580D41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3d57e9b1f14fd33667c6c52efb9b42373eb1e56","datavalue":{"value":{"text":"Uniform interpolation and the existence of sequent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2326416$E78843FF-88CC-40E7-B92D-0F25C25A4F32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7636f23c957d29eed1d1602ebc32f55580bb7a5c","datavalue":{"value":"1475.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$D42661CB-BAF6-4405-8AA3-179B85C9C89D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$36969983-4941-42C4-BB2A-2BF4AD6082F1","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":"Q2326416$24981D06-C7B1-4562-A6F2-252C163015BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0027e7c78970709c142f5f04013afe779ba5e86b","datavalue":{"value":{"time":"+2019-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2326416$9561F290-12D2-49C5-BDE4-C514EADA6FB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62dac3ef49227c0c13496985be9f9c6cabd0ea3e","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/394381","type":"string"},"datatype":"url"},"type":"statement","id":"Q2326416$E305A6B1-5D6C-4BFE-8A1E-1E80FA8E5E7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3940b1a594462e0932d2056da007dd6ed12a538","datavalue":{"value":"A propositional logic \\(L\\) has \\textit{uniform interpolation} if for every formula \\(\\phi\\) and variable \\(p\\), there are formulas \\(\\forall p\\,\\phi\\) and \\(\\exists p\\,\\phi\\) not containing \\(p\\) such that \\begin{align*} \\vdash_L\\psi\\to\\phi&\\iff\\vdash_L\\psi\\to\\forall p\\,\\phi,\\\\ \\vdash_L\\phi\\to\\psi&\\iff\\vdash_L\\exists p\\,\\phi\\to\\psi \\end{align*} for all formulas \\(\\psi\\) not containing \\(p\\). It is known that logics with Craig interpolation are few and far between (e.g., only \\(7\\) out of the \\(2^\\omega\\) intermediate logics have interpolation, due to \\textit{L. L. Maksimova} [Algebra Logika 16, 643--681 (1977; Zbl 0403.03047)]), and uniform interpolation is even more scarce (e.g., the well-known modal logics S4 and K4 have interpolation, but not uniform interpolation, due to \\textit{S. Ghilardi} and \\textit{M. Zawadowski} [Stud. Log. 55, No. 2, 259--271 (1995; Zbl 0831.03008)] and \\textit{M. B\u00edlkov\u00e1} [Stud. Log. 85, No. 1, 1--31 (2007; Zbl 1113.03017)]).  In [Arch. Math. Logic 58, No. 1--2, 155--181 (2019; Zbl 07006132)], the author introduced a proof-theoretic method to show uniform interpolation for modal logics that enjoy sequent calculi with certain syntactic properties. Here, the method is extended to intermediate logics and intuitionistic modal logics.  More specifically, in the case of intermediate logics, a notion of \\textit{focused} sequent rules is defined in the paper, with the main result being that any logic that has a reductive cut-admissible calculus extending the Dyckhoff-Hudelmaier intuitionistic calculus by focused rules has uniform interpolation. (Here, reductivity is a certain condition ensuring that proof search terminates.) This reproves the result of \\textit{A. M. Pitts} [J. Symb. Log. 57, No. 1, 33--52 (1992; Zbl 0763.03009)] that intuitionistic logic has uniform interpolation; however, as only a handful of intermediate logics have uniform interpolation, the main impact of the theorem is that no intermediate logics except possibly the Maksimicent seven may have a sequent calculus of the above-mentioned form.  Similarly, in the case of intuitionistic modal logics (with \\(\\Box\\) but no \\(\\Diamond\\)), the author defines the notion of focused modal rules, and proves that any logic that has a balanced calculus extending a Dyckhoff-like calculus for (\\(\\Box\\)-only) iK with focused and modal focused rules has uniform interpolation. In particular, the \\(\\Diamond\\)-free fragments of the logics iK and iKD have uniform interpolation (which is a new result).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326416$0AA5D9E1-AEAC-4373-8F1C-372E06950F49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$7094801B-BFD6-4364-B8FE-C7FB3238EBA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$15E8D967-AFF3-4F9A-A625-40C49B1AA439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$49FB947F-D7B0-440F-BCE2-25589B560CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$4D224F6D-9F69-4263-A409-D7496FBE25ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$C1641465-CBD0-46EB-B4F1-FD00CAA9E521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$3605EC49-A7BE-4927-8E80-EA5AA0D44E4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d1169267806c2a32f5862e79febffe31b392cf5","datavalue":{"value":"7114344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$E2722001-7092-44CE-B542-A43625CB94AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326416$395A7D92-1726-4C76-A212-2054B64C907D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326416$6A01AF62-9A65-48F4-84F3-D734BF178443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326416$8D687809-5EC5-4F43-818C-1501C034A6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326416$29D04BAB-A77B-4EF0-B0B1-4566089FB1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2326416$B94E428D-0FEE-449D-BEE8-99F44EF7BEF9","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":"Q2326416$0FB94EC4-57DA-4B0C-91E1-FCFF1EFB5A16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"528bf3e85ab021f21b1fe5e72795461711cdef81","datavalue":{"value":"W2709540868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$9AB9365A-0BCC-49CC-9DF6-6F88FFE44BD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e178b3ddec8fd4ee02265e14b3ec0e8e45f5ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":2940884,"id":"Q2940884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$28D4D1B8-7C68-4F95-A818-E3B66D74245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$1C32A234-FADE-4808-99B2-F0784F277DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d08e6067b59bb61a8cf9444d0c163829dae753","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$FD110CCB-6D4E-4AC4-9CB9-7CD014CDB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$4D5D95BF-C465-4E35-8D55-CE039E0B1595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$E21DE328-7103-49DC-900B-861933E5EA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$6DAD826F-8F65-4813-8739-2BD616F41A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$FE4AD8FC-058A-4D74-8896-940DB39D6066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee824d2e0910e556fcc580e2b02e6de025931f8","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$23999969-0A0E-41C6-8B0E-B7B1B5B32C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79205307b2e374114a851fdf52f3d5af953392ec","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$EE5CA6EC-30E1-46A2-ACA7-24E761A99A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70342999542e73ca619a52cf71b107b11f257cd","datavalue":{"value":{"entity-type":"item","numeric-id":2363208,"id":"Q2363208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$89812107-DA55-429C-946E-7E91960FB85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d4e9adfae30c74c6219689c62d0d59ee370b50","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$DD78E328-7F00-4A32-A8CE-E8C40B5D25DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$74C9B4B7-57EA-4B95-AC30-2ACAE86932A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb93535332a50764f81a3ddaee046dbfde1d1975","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$B3E43195-9EBC-4132-8125-2C9FD2441553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c3f0062690f32b6da1cdb4fe91638f618aefe8","datavalue":{"value":{"entity-type":"item","numeric-id":4612455,"id":"Q4612455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$A65A6DB6-4210-4606-B7AC-FA38B47E11BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcd56a0617efad5383d484676cc25701bc6e22","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$3792C88D-AE3D-43D9-806F-E39D17D8CBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e08786b7a1174ac9d76d6bde17d9942d64900e","datavalue":{"value":{"entity-type":"item","numeric-id":5255796,"id":"Q5255796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$7B684217-74A3-4BDC-9301-E7CD89DC6280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$99A7AEA0-4357-4389-8901-CDD76F1CC0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$C84E6CE2-4116-4541-A87C-7A7D7FCB2373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c1977bc7aaa0db26e3dfb0d125f9ac377a8abf","datavalue":{"value":{"entity-type":"item","numeric-id":5937836,"id":"Q5937836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$C3B5BF59-6A3C-48DE-B94B-601CCF2FD45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$6B743387-B5C8-42C7-BF6C-07737807BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$376D6800-A83A-4B5E-92F3-E80181E0B482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2c2513a865775e0ab3b28589f58f0c0e8d22a","datavalue":{"value":{"entity-type":"item","numeric-id":5813185,"id":"Q5813185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$3B779696-385C-419F-9BFF-34BF1F7AF5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9916acae3c5f1fa2203775504b75059dc2c908","datavalue":{"value":{"entity-type":"item","numeric-id":5608767,"id":"Q5608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$D2619E98-3A41-4283-9EC2-7726F40582D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2326416$E4C3F840-787C-48FA-A228-1C725C22ABE6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab432e764dc8df4549830bb454389efb65fb6b8f","datavalue":{"value":"Q127791455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$233150D7-4C9D-411C-AC39-6396BDCBFB89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c245078d0eaa7bcdcc0145e0f82c24c4fa7b2e0","datavalue":{"value":"10.1016/J.APAL.2019.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2326416$A3F4D488-049E-4D16-A7A6-B00135DE0143","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f0349214dd1deb6994816dde1146ad03b4c23b","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a075b4a574b06122e899046e7d4d7c9ad7ea4dd6","datavalue":{"value":{"amount":"+0.8254024","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":"Q2326416$2C461565-36AB-4AAD-8936-CFD64174FD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b665b29cbb3fed06e693a79f6ad6adedad9b1d","datavalue":{"value":{"amount":"+0.8102585","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":"Q2326416$E622F970-EB42-4027-BDE1-D020948C68B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4205c89021a0b77bfd95766b0af8692256351b11","datavalue":{"value":{"entity-type":"item","numeric-id":467667,"id":"Q467667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d5b2c1ca8f415e4f9187a0182d1e08dab7e862","datavalue":{"value":{"amount":"+0.80452734","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":"Q2326416$855710F4-1876-47D3-81A8-6AD230F2F5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ca1e82096cba1e07a69b8ca5d4e2068b28c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":1577480,"id":"Q1577480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdaaeebdbcce7fdfd24598497550ec033f6d111","datavalue":{"value":{"amount":"+0.78966975","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":"Q2326416$85DBC597-8147-41F6-981B-F31593249F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b24b60f54b10f182406b27fb5cc87cd8650145","datavalue":{"value":{"entity-type":"item","numeric-id":2148805,"id":"Q2148805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc5e98d3b3e898d05fcda9be60d00b00c81dd8c","datavalue":{"value":{"amount":"+0.7862993","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":"Q2326416$5AFC0186-E11C-42D5-A899-BFCCF48C470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd625c137c4e8824377f915e0bbdfdcb4d59148","datavalue":{"value":{"entity-type":"item","numeric-id":5874215,"id":"Q5874215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee31073f2844e3468f5fc91e632cb2720d41145","datavalue":{"value":{"amount":"+0.7841946","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":"Q2326416$E87670E5-00D3-420C-A70E-67359CF14201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62149e7f381e3b339a21022742483b931762254f","datavalue":{"value":{"entity-type":"item","numeric-id":627437,"id":"Q627437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14181eea5750449d4c884c7fda194fc744d9366d","datavalue":{"value":{"amount":"+0.78141505","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":"Q2326416$27ACF649-1C6F-4DBC-B369-DDAFDE702832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee5995a8d18938cd4f7f91e17c063036b95f598","datavalue":{"value":{"entity-type":"item","numeric-id":1821770,"id":"Q1821770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7530026e85b51a9cec8d4d224c04c2b5e403ff","datavalue":{"value":{"amount":"+0.7805686","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":"Q2326416$7D928858-8094-4AC1-8544-BA2CDD3CA9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19a327563aaa5d6390f3ddc918a21b884536d09","datavalue":{"value":{"entity-type":"item","numeric-id":3382808,"id":"Q3382808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05fa9aca01d347a84ee7a27da7180cc42445af3","datavalue":{"value":{"amount":"+0.7687783","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":"Q2326416$5F4E819B-9160-4DD0-9342-B5A14407FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b5b88263e4f4f2bd56a9fe779325a5d8fcc5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2940884,"id":"Q2940884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5a893b459861c41c99102b8020c774c3ae7eec","datavalue":{"value":{"amount":"+0.7683718","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":"Q2326416$A67B6427-D4A2-4700-9A54-9BAAEFE69D13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform interpolation and the existence of sequent calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_interpolation_and_the_existence_of_sequent_calculi"}}}}}