{"entities":{"Q781510":{"pageid":783359,"ns":120,"title":"Item:Q781510","lastrevid":64289631,"modified":"2026-04-11T18:51:49Z","type":"item","id":"Q781510","labels":{"en":{"language":"en","value":"Uniform Lyndon interpolation property in propositional modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222137"}},"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":"Q781510$BBA30689-7022-477D-AAA0-E340C4C61954","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe974fccd4eec507e8333856a8d4b59eac5f5829","datavalue":{"value":{"text":"Uniform Lyndon interpolation property in propositional modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q781510$2919B4C7-2A03-4978-87C4-FD2C54CA89CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d8c6a5e6d0c4c138342a25a631ab4f81580ed24","datavalue":{"value":"1462.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781510$D8D126B5-2D03-4093-9CEC-990ABE96BAAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$333E8EE0-A9CD-4EF1-AF1D-74C274E954CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$85DC7C4F-744D-41EA-9194-40FA4A32091D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca46e0912f6aaf36f3f8b24f45482bfccf0cefe","datavalue":{"value":{"time":"+2020-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q781510$EA3A4ABD-FEE9-4014-B4A7-D52CD881E077","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d99e8029202e67fba3aa8341a8a085abb75695f","datavalue":{"value":"https://arxiv.org/abs/1809.00943","type":"string"},"datatype":"url"},"type":"statement","id":"Q781510$6938DA3D-18EA-441D-ABC6-F24682B403F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4b6a2ff3b2e701127772dd5415081ddd79012e9","datavalue":{"value":"The interpolation property CIP (Craig interpolation property) shown by \\textit{W. Craig} [J. Symb. Log. 22, 269--285 (1957; Zbl 0079.24502)] originally for the classical first order predicate logic was strengthened by \\textit{R. C. Lyndon} [Pac. J. Math. 9, 129--142 (1959; Zbl 0093.01002)] to LIP (Lyndon interpolation property) with respect to the polarity of occurrence of variable in the interpolant. Afterwords, \\textit{A. M. Pitts} [J. Symb. Log. 57, No. 1, 33--52 (1992; Zbl 0763.03009)] proved for the propositional intuitionistic logic another strengthened version UIP (uniform interpolation property) enjoying certain uniformity of interpolant with respect to a given formula and finite set of propositional variables. These properties do not necessarily hold in the case of modal logics and are studied by Maksimova, Fitting, and many others particularly for propositional normal modal logics with other weaker versions as well. For example, among many other interesting observations, some extensions of S5 enjoy CIP but not LIP (by \\textit{L. L. Maksimova} [in: Matematicheskaya logika i teoriya algoritmov. Sbornik rabot. Novosibirsk: Izdatel'stvo ``Nauka'' Sibirskoe Otdelenie. 45--55 (1982; Zbl 0543.03011)]), and S4 does not enjoy UIP (by \\textit{S. Ghilardi} and \\textit{M. Zawadowski} [Stud. Log. 55, No. 2, 259--271 (1995; Zbl 0831.03008)], while LIP of S4 is well-known).  In this paper, the author introduces a new stronger version called ULIP (uniform Lyndon interpolation property) so as to cover the both LIP and UIP and shows some basic properties on ULIP in relation to LIP and UIP, which then give rise to the (affirmative or negative) results on ULIP for several cases from the known observations. Main arguments, however, are the direct proofs of ULIP for K, KB, GL, and Grz satisfying certain upper bound on the depth of modality (or, modal degree, equivalently) of uniform interpolant, which are carried out semantically by modifying the method of layered bisimulation between Kripke models applied by \\textit{A. Visser} [Lect. Notes Log. 6, 139--164 (1996; Zbl 0854.03026)] in proving UIP for GL and Grz with the similar upper bound, where the upper bound given in this paper is lower than that given by Visser [loc. cit.] (with respect to UIP of GL and Grz except for some trivial cases).  All the argument is developed with a propositional modal language including the falsehood. But, under a formalization of language without any propositional constant, which is also quite natural, some modifications would be necessary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q781510$8A598E84-283C-410F-9C8E-69487FEDFE06","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$B1BDFAE5-C25E-4922-8D10-69447038BAAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781510$0259FB2C-5F86-46E1-B1FF-BD6214616CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781510$992091B2-D6FC-4DEE-8199-4F7989EFC023","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52e3302e8e604111874d9a0599fec5d7fb6547c3","datavalue":{"value":"7222137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781510$5DC2AC56-7EC2-42CA-8383-A34B9DFA2116","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94543635208b4db6761a68c4f958f05345bd1fbd","datavalue":{"value":"uniform Lyndon interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q781510$384B46C0-0C67-43DF-B7B1-5F4FB0D540BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a7a8ca4148a3424a9e5de550fe1ff9dfb5e6d4","datavalue":{"value":"layered bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q781510$BE3D6772-BF16-441D-8000-E6A5D96EAFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q781510$26C82DFC-A000-4611-A29B-67994425850A","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":"Q781510$04DED4B6-5309-4549-82C8-4D41326D9F42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa49dcf1ca86923a65e9ff479562fc1315aa4bfd","datavalue":{"value":"W3003029079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781510$EEE38E30-9DA8-4CF8-8781-7D714B7E7769","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2843a4fe61922d09ab6ecc0ecc550365acd4f148","datavalue":{"value":"Q126313519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781510$631CBED7-E025-4740-BFD1-52E42040CE44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b909e249e14d11031e69c9e51c60f796f6172f0b","datavalue":{"value":{"entity-type":"item","numeric-id":5224686,"id":"Q5224686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$292F12FC-9BC7-4667-BDB5-67EBDB52CF68","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":"Q781510$AF728117-54F7-4E43-9CA0-F3192D3B03EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$C8326024-7859-4C84-B458-FABA18F9B5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a37d2822e51e5b6d30fa7a8fa9421c5332b540b","datavalue":{"value":{"entity-type":"item","numeric-id":3927210,"id":"Q3927210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$DC514B36-3FFB-4F7D-BC2B-F34D43049CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$4F201890-B977-49D5-BAA2-976C24825218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$8850101A-65E8-4DE4-A3B5-0E9EBD563863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$58274B32-CACE-499D-8C06-3CBA7A3BEC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$B7F27C03-4E06-42D8-BB28-97895DAB035B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e746d596ec0a02ea78c508dbfd871837e35f1ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5641128,"id":"Q5641128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$6061187F-0C83-4996-BFEA-58904F8314B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$54281C40-A3AC-459C-B531-CE4A9D3CFC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7e0536b29168e39de471af102be2b186faa1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1346245,"id":"Q1346245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$74455D92-03EE-49D6-B836-CFA5829AA692","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":"Q781510$7C544C79-0959-440C-BFEB-7C3A0A7E9B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f69b9c72ef2c3b01713580f6fd0a5f82a692f3","datavalue":{"value":{"entity-type":"item","numeric-id":4196404,"id":"Q4196404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$3F7FAA03-8E18-4241-9440-F5599EF9FE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$084BF347-B177-4382-A143-2EA58B9518A7","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":"Q781510$F4C29142-C42B-4378-9BDF-E92949CCF6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6571429adf4eeaa76cf774ef46f34e7d1d3a1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2835880,"id":"Q2835880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$9A04C377-3D91-476A-8D7F-3CE9C90EBBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738fe44281653a0a7febeb1bdb3acd3e75648d82","datavalue":{"value":{"entity-type":"item","numeric-id":5411417,"id":"Q5411417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$ACEBDFF1-7645-4015-8072-286E1696B764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d0435b64722e7005b0f9d3c3c42f86d6e6a296","datavalue":{"value":{"entity-type":"item","numeric-id":772218,"id":"Q772218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$0D0DD371-2C47-43B2-8E54-AA88F5F87B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434faadaa9d81e034f9f4fa99ffd0f0dc456f4cc","datavalue":{"value":{"entity-type":"item","numeric-id":3331199,"id":"Q3331199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$2195B68A-4DF3-49B5-AD5D-71E3CBF2B037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26da5ba51d3fda529c78c9f4483730fc2d471baa","datavalue":{"value":{"entity-type":"item","numeric-id":1189894,"id":"Q1189894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$C64B9B27-6332-48B4-AA15-FB69FD72291B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07068643ddea0fbadff8ff1609f514e60430e230","datavalue":{"value":{"entity-type":"item","numeric-id":2498367,"id":"Q2498367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$8F1CAD39-A8C9-4FF6-9A56-D1520884FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7e40d26e215cb63515d75aadecf2d55f7efec8","datavalue":{"value":{"entity-type":"item","numeric-id":467667,"id":"Q467667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$C210BC0A-9019-4668-95E3-A6F98D320C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc609a3fa4e4dfcdb73d9d6f8570a5dc1eb983f7","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$A54A51BE-7CE8-4EF1-BE48-5C4A8E6F60A1","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":"Q781510$200C2F79-B7C1-450E-9C94-6C7B2BC808E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$55A44C2C-978D-4194-8212-0A234056A6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0321cf3666c9c7e3181227910876d775443c5a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4133939,"id":"Q4133939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$985EE49D-3C78-4511-A6F9-581F7C4193CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef3f5713cbb522ee6ededace3ebebb99eae1d21","datavalue":{"value":{"entity-type":"item","numeric-id":2510774,"id":"Q2510774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$592CD948-35DC-4B23-8E00-B006FD5A4BBC","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":"Q781510$DE0B7A3A-D970-4730-A274-7812936310C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ea576be6c9b9142ede1ad5e69d44f1362cee2","datavalue":{"value":{"entity-type":"item","numeric-id":3900021,"id":"Q3900021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$3BFF65A9-C10A-40C4-B263-3B4993B0BF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ee0a9384f14a090f3d7515c71830796a2bde06","datavalue":{"value":{"entity-type":"item","numeric-id":3855150,"id":"Q3855150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781510$09D4A4DD-DBFB-4B10-9F07-6E5D9A1EE6BD","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":"Q781510$C57CA788-55D5-49CB-854C-1380EB15671A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"300954ce101e7db551c0c142d275701116a9b2b4","datavalue":{"value":"10.1007/S00153-020-00713-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781510$B19681B8-0423-46CC-9480-2D1F6E5231C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a06318973ba3d2069bac8a6a7b886f822790f1","datavalue":{"value":{"entity-type":"item","numeric-id":2148800,"id":"Q2148800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb19a157ec027bcba0ec97b132dd44db1778c41","datavalue":{"value":{"amount":"+0.9588442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$56A148F7-0279-4CB7-A860-32F98822FC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114bff08fa22ba8865cae9e74084cbf666ebc270","datavalue":{"value":{"entity-type":"item","numeric-id":5884937,"id":"Q5884937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6605b4e3e7dcbc4fb95550b1a65c8a1922b4cf","datavalue":{"value":{"amount":"+0.95553565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$251757D7-72C5-4D9D-9639-214D5F09BD52","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":"c0cacb3d5001afc60c4dceb10ce73542313d7964","datavalue":{"value":{"amount":"+0.95185804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$8F7B93C3-4E2E-441B-8F60-2B69CBA745D1","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":"eb5ec5d6455e28bc1e7e17c757758620814328bc","datavalue":{"value":{"amount":"+0.9436737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$4AAE49A3-B666-48E5-A8F2-3F09CCD27414","rank":"normal"},{"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":"849101c74379eabf7e94386c756e2a9a12612c5b","datavalue":{"value":{"amount":"+0.9379883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$760FB382-BD71-4346-A596-DD0B635CC0A6","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":"091422beff7907d93b49f8564c6a14a3a0a51ea9","datavalue":{"value":{"amount":"+0.93130463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$1B6CA50D-FB66-4158-903B-8A7EC4BA2683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04225f4473bb0d2061fc7a79e5131680e65f419a","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b855d62c8bbcace00b3217b4807d40dd612bba","datavalue":{"value":{"amount":"+0.9272574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$C676275B-5A17-467C-A920-9E3C5DC5B550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62288425515a0b032fffdff25637cd90310c3e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3532469,"id":"Q3532469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb1045b0c8444ec40a7041b59c96ebc3be96c9e","datavalue":{"value":{"amount":"+0.92626226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$62F49498-0AD4-4EE9-A86F-5D734B253616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252959f31a499c4b81f486e58c8ee7566ffe143f","datavalue":{"value":{"entity-type":"item","numeric-id":5224686,"id":"Q5224686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed70e96b44c906c00e58cd9a952d5d1e6fc6f22c","datavalue":{"value":{"amount":"+0.9261279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$5F875961-FD3F-46A7-A32B-01570A55C2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fd8bada55d60779b280c9293868ff68b4f5eea","datavalue":{"value":{"amount":"+0.9249226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q781510$8D07D00A-5D86-40A0-854A-A815012E99F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform Lyndon interpolation property in propositional modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_Lyndon_interpolation_property_in_propositional_modal_logics"}}}}}