{"entities":{"Q2334111":{"pageid":2344854,"ns":120,"title":"Item:Q2334111","lastrevid":78972494,"modified":"2026-05-06T12:51:29Z","type":"item","id":"Q2334111","labels":{"en":{"language":"en","value":"Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7127338"}},"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":"Q2334111$972B4B36-0C62-48F4-A7FD-D745B50204F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e57fe5ac211842311b80ed2521cd8869576a19c","datavalue":{"value":{"text":"Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2334111$DAA2F528-4ED8-4DAC-ABDF-5478B653C03F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a43da436e1186ca8ffea49cbdfe4899616988e30","datavalue":{"value":"1498.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334111$9D4332A5-E1D7-4BED-B85A-5415F1CEF0AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5cb9fd95797e0efa825040431f9b1fe097fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":392297,"id":"Q392297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$00D401CB-7C2F-4F3C-A2EB-38AF537AB4C2","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":"Q2334111$381131AC-94B7-4E59-BAB0-DF99D6189F41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2561b1efd6a7609647fbceb007fc8fdcc0d609a8","datavalue":{"value":{"time":"+2019-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2334111$F9A44661-249B-4CF3-ADA4-6A18F31F3F75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334111$118AA78A-D1F0-43AA-8443-0945C44924B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334111$345426E1-7245-437A-8E81-D9B58B44A595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334111$FA281D1C-00E2-49E1-B817-9F46954282AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4cb033cbee7386858b9abb040ae4ec15b6c922a","datavalue":{"value":"7127338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334111$24874F65-EB93-421A-B070-C97404FEB079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2be08ae207a4e468d36bfadaec3f53eb5b57f403","datavalue":{"value":"Lyndon interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334111$393BBFF6-635B-4D04-AAA6-6F99CADFD227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c800b2ee06bfbef84c31a6bf5bd514f606da3f3f","datavalue":{"value":"neighborhood logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334111$FEBB4F11-9DD7-46E6-986B-14ADF51890DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2334111$52350818-F721-4893-ACD3-7E67B1BAE68A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$767FD4A6-8994-4462-8AC9-6363D387A43A","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":"Q2334111$7B2B8F1A-1E55-45C1-9CCA-3AE70FD67A47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ceb20260227cf48228516fdb12a672163c42615","datavalue":{"value":"https://doi.org/10.1016/j.apal.2019.102721","type":"string"},"datatype":"url"},"type":"statement","id":"Q2334111$E3F61783-E031-464B-9263-0012A9C76350","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"021222064eb1acb10245de2da55fc6a90fabc3bd","datavalue":{"value":"W2967336528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334111$FEC746E0-58A1-4676-9B66-A5659D7E9AB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ee15ab16a6060382fa6f3503703fb1e9fe7a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2323639,"id":"Q2323639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$54D82310-6ED9-42A7-85BD-4009A6BA8BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de97bc0a2f96d757eafec80e15df9cf8013cd5b7","datavalue":{"value":{"entity-type":"item","numeric-id":2323693,"id":"Q2323693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$63EF4FE1-4E37-4E99-B470-4A177F172A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939576fa4baba7af912d55cdb594b42425be95b7","datavalue":{"value":{"entity-type":"item","numeric-id":5737964,"id":"Q5737964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$6A528E65-F58B-43A7-AA4B-6AAF79F947A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e97286b9a76a5ccfea80f424adcd6bf8f35f0da","datavalue":{"value":{"entity-type":"item","numeric-id":3086937,"id":"Q3086937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$4F3C9543-0CF3-4BF9-984E-CFBD952A9938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1d582c965d29fc8414a4cc4a94744a92d18f95","datavalue":{"value":{"entity-type":"item","numeric-id":402120,"id":"Q402120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$32AD28AF-1C26-4F06-957C-1E4407C8DD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc43b539e8eae1ca941688887c2bb83e7f24c135","datavalue":{"value":{"entity-type":"item","numeric-id":1023054,"id":"Q1023054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$FA05DCF4-7D7E-4DC3-9C70-96F1D0046AA0","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":"Q2334111$659998B5-97B5-425B-9767-1492FA2807FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$4055CCCE-EB42-48FC-8754-081AB8A93F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$10B69335-38AD-4404-8E5D-2F0F62AE1A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2db943cdfec732839199b6390d33fe4ed4cb5de","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$542FB904-83F5-4CD1-BC8B-56B5DEBBE94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397419662126ccd88ae51119636bcd58ebe8f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$A6DBA096-4E35-4F5A-8985-E31D55E29DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$E63B8149-D7C4-4D74-AD02-34DC92646BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$AF01F06B-2500-4B8E-85B5-5A81F2B37CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297ef3667fd18c55b1c8b1bb25b3486b00b72d63","datavalue":{"value":{"entity-type":"item","numeric-id":2350219,"id":"Q2350219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$6FE66A13-5846-46BB-8F73-5AEFFE5BE460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4971c24bb488dffd2542d9d7c857be0272dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$0F77AD54-1525-4CCA-9FFF-1AAD46BD7DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd505183191f57203563f1eb0f8099e63aba85c","datavalue":{"value":{"entity-type":"item","numeric-id":5623651,"id":"Q5623651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$8803C784-4534-48CF-A02D-FBD7D664AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e2f3282e833bd5a8ca2e369263daab6d009d30","datavalue":{"value":{"entity-type":"item","numeric-id":3435245,"id":"Q3435245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$45D9D317-04F1-4F68-8057-C083E5B0CEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9daad8dda43f90e2a523f0a80950fd6b714994d1","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$D8BE6131-3912-4EC2-B12D-8023DF39141E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c1511fb1fc432c28789aa196173294e71b4563","datavalue":{"value":{"entity-type":"item","numeric-id":1840651,"id":"Q1840651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$14E25DD2-BC28-45E4-B0F7-0FDC3BBADA57","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":"Q2334111$2998010A-ECE1-4BFD-AD80-6DE4E54886DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$099EC3B5-EA7F-490A-85EC-0387CEFBCBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$3EF51D94-9FC6-42E3-8FBB-21C65E1CF25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$8BDCE950-D0BD-4330-B3CF-682AE9520213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$BADC8CCC-ED6B-4AEB-9928-4D7CEF628BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$33CC8CFA-2BE4-469E-A71E-6587F09B1BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$F13EF8C2-7DAE-42E3-89BE-A15B6E97F74A","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":"Q2334111$1A41B713-5E09-4C49-A866-DDE6FE19D4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$B3D33F54-1A27-491F-BD2F-2E064CED7DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1389a29dc2597427f58610fd878fb601a1e4f6ab","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$26C187E2-75E6-4976-8630-725168567FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$AB35810F-9C64-4369-A09D-667A94FA09DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$CCEC03F5-9A5C-4EC8-B7D5-DC7EA0DD5780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$F898B5B1-C8C3-41EB-B256-BC6712962464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794b70a0080dfd509ee3646313dbcdccc652a181","datavalue":{"value":{"entity-type":"item","numeric-id":1709714,"id":"Q1709714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2334111$C29C07D8-607C-472C-9116-4EC2A2CC4BC9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"986e6a82e0f9aee2bbae097355c5f0bf6e3f40a1","datavalue":{"value":"Q127367597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334111$E6CBBD4B-725B-44DC-896B-8AA7CCE40AAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4eed951eacb35766fc0a00d5d466d7a4c694a5f","datavalue":{"value":"10.1016/J.APAL.2019.102721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2334111$F75590DA-BEA8-4E71-B05F-F8B8239AF07F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3484f94119daafccd30540bf48384d3d8acc1a23","datavalue":{"value":{"entity-type":"item","numeric-id":1709714,"id":"Q1709714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048873294013b6c1253b381d5f434d3459f75657","datavalue":{"value":{"amount":"+0.8110036849975586","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":"Q2334111$47909F4B-C453-4B6F-8983-C12B6E01C4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c688877bfef0c2a5e3320f85b29bcd32ac58122e","datavalue":{"value":{"entity-type":"item","numeric-id":5737964,"id":"Q5737964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e14b9676fe7bd94585fdc72406b65f5a735ba1","datavalue":{"value":{"amount":"+0.7610598206520081","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":"Q2334111$5B0CCF0A-9B60-49DE-8807-2BE91E9965CD","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":"e5d3b0dbfc0f6d95b62d478b68bd7f5915b16254","datavalue":{"value":{"amount":"+0.7571274638175964","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":"Q2334111$74AE8E31-DAA7-4C6C-9FA9-1609BB1505BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e285df5cb2b760f3e4e89544e077cb388e00fd","datavalue":{"value":{"entity-type":"item","numeric-id":1679752,"id":"Q1679752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7307c5affbd832849e27bb302ad15d6d54ebb2","datavalue":{"value":{"amount":"+0.7404971122741699","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":"Q2334111$A510A7A3-AC65-44E2-BB88-FD654C3E9F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d4847d0d339f0afefdb049455eaaf956d0e95d","datavalue":{"value":{"entity-type":"item","numeric-id":2835880,"id":"Q2835880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489039d456334131f8df1b5bd94d46c14cd2f12b","datavalue":{"value":{"amount":"+0.7342948317527771","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":"Q2334111$59FEFD6A-D9A5-4958-A879-A5CFCF28DE38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lyndon_interpolation_theorem_of_instantial_neighborhood_logic-constructively_via_a_sequent_calculus"}}}}}