{"entities":{"Q1173754":{"pageid":1184503,"ns":120,"title":"Item:Q1173754","lastrevid":66432864,"modified":"2026-04-12T10:02:43Z","type":"item","id":"Q1173754","labels":{"en":{"language":"en","value":"A simple algebraic proof of the equational interpolation theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7374"}},"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":"Q1173754$E9DB08E2-857C-4D97-BD8F-558A33ABCCDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06e371fe4c7f7d24d0dbc6fc1c43c2404e1ec86c","datavalue":{"value":{"text":"A simple algebraic proof of the equational interpolation theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173754$DE1475B9-DC18-4B69-A324-B32ACC9D7E6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea60e000c6717220db77bdce13fc0c45fb28772a","datavalue":{"value":"0756.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173754$CC47C7C8-1884-4E7F-BB3E-E883ACC84884","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"650596e29d78fc441eb21892861ac293300c539c","datavalue":{"value":"10.1007/BF01190411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173754$75A92F24-33BF-40C0-9A86-B10A0E2A6D08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b427a374f5a21d1a904d2606dc3f2813824c389","datavalue":{"value":{"entity-type":"item","numeric-id":803266,"id":"Q803266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173754$58C50D5C-3B35-43F0-AE15-AA2374CAE8F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173754$52EC09C9-A154-48EF-8BFC-453C5EB07C0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q1173754$DE52CF81-9DBB-4BB6-94DC-4BC9FC4EF065","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8970b25078cefe053f27770e011ba6c8b5d7db17","datavalue":{"value":"In this paper, the author gives a proof of the following interpolation theorem for equational logic:   Let \\(X\\) and \\(Y\\) be sets of equations such that \\(X\\models Y\\). Then there exists a set \\(I\\) of interpolant equations, with all its non-logical symbols both in \\(X\\) and \\(Y\\), such that \\(X\\models I\\) and \\(I\\models Y\\).   The result is obtained through a simple algebraic construction. Many- sorted algebras are involved and the necessary extension of the notion of a signature is made, but the result can also be taken within traditional equational logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173754$92D51C37-5A1F-4AB4-BC25-A0A5ADB575D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173754$B9B728D6-EF5F-4566-B175-56BA49B6EC13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7218bc315e06cae3d334c5f852215afd5f049ed1","datavalue":{"value":"7374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173754$E18C3B1D-14A1-4EAA-9E78-1833FA6AC9BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5e714246d1d45c1488e5087b895fd691e1a18de","datavalue":{"value":"sort","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173754$7800438B-7565-4329-BF6B-CA7A308426E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173754$72589CE9-2EE7-4645-989F-52581D4CB809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173754$5F76E3A1-7E62-4375-98DB-3CFABE477901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f813808d03fdb53b51b8dc1feda0fd54f91bcaf2","datavalue":{"value":"Many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173754$0AA95415-35BD-47DE-85B6-B637D26E3A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09a0f09e9dbda634cbb9c5f07e6d2da08243ee5","datavalue":{"value":"signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173754$05B3A3B5-6256-4F96-9826-6FD5D5C2BE10","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"457d21bd3fc5d244f0cfd58c7ffe310e4101ddb5","datavalue":{"value":{"entity-type":"item","numeric-id":1121931,"id":"Q1121931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173754$8C3F378D-6D83-4CAA-BEE9-1C951A05AC80","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":"Q1173754$3C7F2AB8-8362-417D-9467-E447A8BBB7DA","rank":"normal"}],"P223":[{"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":"Q1173754$227CA925-7BEA-489F-86AF-6D6B858EEDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5de92acf23dc7526d7ac9b4b282b0674293360","datavalue":{"value":{"entity-type":"item","numeric-id":4081228,"id":"Q4081228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173754$F4CFE98C-96D2-4720-89D9-575756CC74F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65775a3a7e0cd7f6a9a40193090465f7e6f75fdd","datavalue":{"value":"https://doi.org/10.1007/bf01190411","type":"string"},"datatype":"url"},"type":"statement","id":"Q1173754$CF49BE6C-920F-450E-83DD-518DCAD93EE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dbc6ff117d4fa1382b693aecd315590462fc91e","datavalue":{"value":"W2059353311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173754$013BC7B7-99DC-4DC4-9FA2-286298A727E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1387c15572a7a386c5e4ce263a6c49052b9d3030","datavalue":{"value":{"entity-type":"item","numeric-id":3982061,"id":"Q3982061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5565dec4d0db0ce51958ba34eefd150bfa16279","datavalue":{"value":{"amount":"+0.7660348415374756","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":"Q1173754$F578588C-E73C-4DA6-B534-183ECB919139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e99b75f3960d5c716599c68ff8bd823061e20f","datavalue":{"value":{"entity-type":"item","numeric-id":3691642,"id":"Q3691642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4cc76a610d4b4db501c40806b412405fc58b4b","datavalue":{"value":{"amount":"+0.741059422492981","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":"Q1173754$2BF4EFD2-86A4-40BD-89FB-DA3E22AAD836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92895791c0fce285495bb8107cfe586d60a155fe","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a976a696d34916d8d10561949698d5ef6aec568f","datavalue":{"value":{"amount":"+0.7400660514831543","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":"Q1173754$8655C370-5AB1-49CD-83F5-CD481DD0146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bfe7b6366301dc60a855e21232b7961e4c8245b","datavalue":{"value":{"entity-type":"item","numeric-id":3328598,"id":"Q3328598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deebb18974dad9069880bc8b7b06d22b3fe35af1","datavalue":{"value":{"amount":"+0.7302372455596924","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":"Q1173754$A875424D-8356-4311-AA7C-51B6BFA3462B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple algebraic proof of the equational interpolation theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_algebraic_proof_of_the_equational_interpolation_theorem"}}}}}