{"entities":{"Q2193292":{"pageid":2204035,"ns":120,"title":"Item:Q2193292","lastrevid":57771159,"modified":"2026-04-02T11:22:43Z","type":"item","id":"Q2193292","labels":{"en":{"language":"en","value":"First-order interpolation derived from propositional interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239096"}},"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":"Q2193292$037C805D-F316-4CF8-9828-DF6FECDEFA2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecd50083c455da327269b458ce90c5b64455ac8d","datavalue":{"value":{"text":"First-order interpolation derived from propositional interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193292$A5522965-1AE0-46DB-8710-3B6484203A49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c804a637c89f0f305ede9ddd28398ccd7632f7ca","datavalue":{"value":"1460.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193292$603063CD-AB54-4E3E-BF84-EF196D3ACFB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$531CB6DA-F813-4096-8974-213011861F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0af247aeda0d0aefbfde68ae92601a0a6b67c69","datavalue":{"value":{"entity-type":"item","numeric-id":670703,"id":"Q670703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$A871ECC4-9BDA-4A61-8773-15F4284A6350","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$34A4E0C0-EE57-46E7-8809-2F661CA8D91A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2193292$A1F98F50-907B-46B1-AC6A-F61199EC8836","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59e6ced0659005fe5a300f86020b21e59cf2ca74","datavalue":{"value":"https://arxiv.org/abs/2002.05404","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193292$7EBA91E6-BDDD-4E3F-9F2F-B011E2AEA4F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f40634ea51d6c0764b3ac12d095111d46196ef3","datavalue":{"value":"While interpolation properties in a propositional logic $L$ usually hinge upon the underlying algebras of $L$, the study of interpolation in first-order logics does not have a similar algebraic flavor. In the paper under review the authors give a method to reduce first-order to propositional interpolation. Suitable skolemizations and Herbrand expansions are constructed which, combined with a \\textit{propositional} interpolant, yield a \\textit{first-order} interpolant. The proof-theoretic constructions of this paper are applicable to lattice-based finite-valued logics and to the weak quantifier and subprenex fragments of infinitely-valued first-order G\u00f6del logic. Interpolation turns out to be decidable for these logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193292$4147AB61-5C2A-4481-AAAD-59EA3BB85CDC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$FB4FE3E0-384B-4EE9-B899-3366883A0507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193292$AB1AC8D7-7A98-4397-8263-C2209EB7FD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193292$6A543878-5051-4903-8429-5F1527C6BF26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0c8fdfaaf2ddc8d1524e5921a193e1deea2714e","datavalue":{"value":"7239096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193292$15E76FEA-182A-4EEC-B1E7-461A8DF25AF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193292$5CC9C7C7-47AA-4689-AB76-87B9D0E01AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193292$A7F250BF-38C9-430C-983D-DC405B2E8549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a832000331835b14e5a6435da2d30385117ab48","datavalue":{"value":"lattice-based many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193292$078E1F85-AE70-49DF-955F-A19C169CA29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1a1f25e847b244c568cc40973694e51b1ad3da","datavalue":{"value":"G\u00f6del logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193292$228D5089-9332-44FE-A473-EA96952931BB","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":"Q2193292$280F2BE5-0978-4817-8610-E44087C6F2C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"707be99f6387fee238758b63c524a5664a8221c9","datavalue":{"value":"W3047166756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193292$55D184EA-BAAF-459D-BF81-1B9EEE4BAF4D","rank":"normal"}],"P223":[{"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":"Q2193292$746C9F10-AA51-4AF0-84F8-C1C1096F8277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c637a10fc0009385d68516e4488e8462becaac26","datavalue":{"value":{"entity-type":"item","numeric-id":1140079,"id":"Q1140079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$FE3E7696-EE03-47FC-91B6-4B3B6CE4CADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$596FA0D3-FA3C-4CE0-8902-5809D2124A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22882db29752b4575c345d3c696c4ab856acb443","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$FCBBAC8C-8854-4E30-A827-5876CB063C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a463922fbe315636b24d0471c1128823191f4e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1699740,"id":"Q1699740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$D68FDE27-6FFF-4FA0-AD00-7E12022CCF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019bd4c75dfd12975ef47facd414f509a089febe","datavalue":{"value":{"entity-type":"item","numeric-id":3669380,"id":"Q3669380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$5947D025-6A50-42BF-862B-EC6179F39241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e72c94050b46aa3275f8a9b20baad7936f7fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4081209,"id":"Q4081209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$0E02F9FD-E13C-4758-AE37-96641589AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2bbaf04782d6b22a51832211342eea762549129","datavalue":{"value":{"entity-type":"item","numeric-id":1733060,"id":"Q1733060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$BCC57CE6-5962-41C1-B08E-7FC5195CF269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93a2774b4cbe7788f6094a50a42299262cb8a67","datavalue":{"value":{"entity-type":"item","numeric-id":1818593,"id":"Q1818593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$33328226-EFEC-4356-8FF8-D7E3B307E1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639c40721d4ad9e8192f54d6b51a3c839e4356ff","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$FD24E1FE-5F7D-4A6F-B6EC-90AA69D43D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$CA50B0D9-7C1B-4F28-A8D6-2BDA8DA022FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b28d320f1946e7f3fd48081f2ba560ca397acb","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$DDD55645-6D50-4455-B241-8F8480B87AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15e27b7e5af70550b443271dfae1b5faaf5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3050398,"id":"Q3050398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$7192165C-0450-480E-836F-491648829B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2766fef2e302936111e26f23de9b04d3b49823ba","datavalue":{"value":{"entity-type":"item","numeric-id":1687562,"id":"Q1687562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$64FF20D6-5840-4E15-A721-4978C0BAE4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5022617428ef26e116124ed59330ee04428a997","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$5D6AEEE3-7E66-4367-909E-2BA159D0F6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39c63d4e9398db94ffc0eb2e1f6e56f2e9cc180","datavalue":{"value":{"entity-type":"item","numeric-id":2636527,"id":"Q2636527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193292$4300439D-38A6-4988-BC7B-81EDAFEDA448","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c67790049be72a0af2e6411b6c0f7dd47eefca2","datavalue":{"value":"10.1016/J.TCS.2020.07.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193292$381E7CB3-B72B-4C31-A683-31F0F4AC40A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498b9cbf309f63ac3f73c9af71a8feaf5c9d9ae7","datavalue":{"value":{"entity-type":"item","numeric-id":1687562,"id":"Q1687562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702b3768e09d6b4a1cae0de2d7ef6c41d9eb5913","datavalue":{"value":{"amount":"+0.9081366062164308","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":"Q2193292$BD18C0BD-087B-4668-9FE0-838BF11F2610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd29ab08c41b3b55cf2da3860391223c62f2e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2186699,"id":"Q2186699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e86307b153a59615f7ec4a1e63edb7ac7f64ffe","datavalue":{"value":{"amount":"+0.7720168828964233","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":"Q2193292$5EC0798C-6710-4A68-B15B-13098CD84445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088db139749caf319dec6d04eac588774b575a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4645726,"id":"Q4645726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe302a20462136d91d5d202b542da3daec5563b","datavalue":{"value":{"amount":"+0.7627604603767395","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":"Q2193292$478011C7-3FEE-4616-9A45-B2FF748E2E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"439a1c401cea563af8b81d8187365a128d592fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3149986,"id":"Q3149986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d152785b30a4c530d23fec9f35cd4ca620e1734b","datavalue":{"value":{"amount":"+0.7612565159797668","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":"Q2193292$036710B9-366C-4704-AA06-B15F9E3AD253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78829c21b4f9e3193e0fa304034a7fab0cd1144c","datavalue":{"value":{"entity-type":"item","numeric-id":1006639,"id":"Q1006639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d152785b30a4c530d23fec9f35cd4ca620e1734b","datavalue":{"value":{"amount":"+0.7612565159797668","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":"Q2193292$A98E0D9B-879F-4B59-876F-2980C51E3F82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2193292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2193292"}}}}}