{"entities":{"Q2711348":{"pageid":2722087,"ns":120,"title":"Item:Q2711348","lastrevid":47603395,"modified":"2026-01-02T04:57:29Z","type":"item","id":"Q2711348","labels":{"en":{"language":"en","value":"An interpolation theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590707"}},"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":"Q2711348$FD8ABAFD-3473-4BB5-8421-ECBA8568F22D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f3cc1c4cb5ed2d0278970b1b70329d2995c60cb","datavalue":{"value":"0981.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2711348$7AA2006D-5FA1-449D-8C2A-395740C98024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab5b3ea6744be133effbc49321f0ddd6f79ec8e0","datavalue":{"value":"10.2307/420966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2711348$37CFF7FF-4D26-4CAB-97CC-4D0BD4DB9B6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2711348$34D63EF4-D7B6-4FD1-AC27-B4B94143BE85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b450668c82a8cd1fc850a44d0109b0a4a4df4467","datavalue":{"value":{"time":"+2001-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2711348$505AF154-9826-4A83-A21A-AAF118045DD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f860d24f97f28b8dfe8645bd4a0a54993e816df7","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0604-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q2711348$E8877FCD-A2BD-4668-8ED9-65A9F4772953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2711348$95952B3E-953A-44AE-88B9-5A95C0349E82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"930c05febfc67115febbf4dd017fbc7b7b838488","datavalue":{"value":"1590707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2711348$0C778DAC-F2F4-4343-AA43-A1AB34D377B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35018e96fbd6e2ef4f6b443ab306963ce939dbe2","datavalue":{"value":"Lyndon-interpolant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2711348$E6825DB1-0E56-4F74-AB30-015335E2844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff6200f2eddcb85365f29e5c300ef3910ff0e520","datavalue":{"value":"Craig-interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2711348$CA64E954-1C32-4644-AB2F-BEA039445EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2711348$3B04A805-1920-43CF-BA19-091AA3EF5243","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":"Q2711348$A8ADFF59-60ED-47BA-843C-5947FF9ACFAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f158b2237d775a8d0ecf6b932298fe3eb7d2d6ee","datavalue":{"value":"W1998141358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2711348$155761D8-636C-4D0B-9511-A26D11419B33","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":"Q2711348$78CA66F0-BEEA-4EF6-8EC3-705B59295FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ff9167f5d043b164a9b42e532ab2bad15ad888","datavalue":{"value":{"entity-type":"item","numeric-id":4521281,"id":"Q4521281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2711348$E188BFB7-08D6-45C8-B487-3E6558CDB0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28c4448a377db2fe77b2e2652a92e94bccb342e","datavalue":{"value":{"entity-type":"item","numeric-id":4081206,"id":"Q4081206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2711348$F532F1CC-4541-4A17-BB36-56FED890A8B6","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":"Q2711348$AE09C273-9343-4974-A266-913830900375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1623f26a9f3059548e059b99ba160fd5ffba8d0","datavalue":{"value":{"entity-type":"item","numeric-id":4777258,"id":"Q4777258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2711348$5DA8584E-EED2-45DB-A17F-1440C96BD9A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2711348$DE1937EA-BEDD-4BF8-AA7F-E71FFBA49C0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"448224e0a17fa244ecd78465b6012ebf702ef3de","datavalue":{"value":{"text":"An interpolation theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2711348$5E026CDD-C711-4037-97C5-42AC2DBD841C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"714c10f836a1828183c20aadb654bffb309b98b2","datavalue":{"value":"The author proves a Lyndon-like interpolation theorem where, for some fixed tuple \\(U\\) of unary predicates, all formulas under consideration have all their quantifiers explicitly relativized to one of the \\(U\\)'s. Under this stipulation, existential (resp., universal) quantification over \\(U\\) contributes a positive (resp., negative) occurrence of \\(U\\). It is shown that this interpolation theorem unifies a number of related results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2711348$11D1C2D8-B176-4754-AE1F-B3ADCB0DB60F","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":"Q2711348$2E7049CE-9889-4A43-AB06-6A491AC2890C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7f1d471061528d80288de35d7a1fa57b1dd96e","datavalue":{"value":{"entity-type":"item","numeric-id":1110503,"id":"Q1110503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d370052788deaa1f2fa827a22d8662e7b979e32","datavalue":{"value":{"amount":"+0.7991207838058472","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":"Q2711348$8CEA24F3-3B6C-4787-B6C8-9827034019C7","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":"ddd1c2f45c71175fb601e7fca14b490743b19019","datavalue":{"value":{"amount":"+0.7813639044761658","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":"Q2711348$B8AE0CCF-083C-4E5D-9B6A-9D173EAB32FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9745c5d3b77214411cf2605b6b2d8f0847226a","datavalue":{"value":{"entity-type":"item","numeric-id":2702233,"id":"Q2702233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b2bb634ccb156e90dff6237bf79a54ef6747f2","datavalue":{"value":{"amount":"+0.7703027725219727","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":"Q2711348$15F88902-4066-4789-9441-EC902930D350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6dc47650d87076448af47b4e41eede71f9e4c9","datavalue":{"value":{"entity-type":"item","numeric-id":5677454,"id":"Q5677454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089a23ca7a4fa8a4f0283f46c118d250894dd3ef","datavalue":{"value":{"amount":"+0.7507098317146301","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":"Q2711348$5CE32331-3B12-4421-B1DE-F5713992135A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29f1ea0d1877e5c2b9de1968e56034687845ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4635819,"id":"Q4635819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65cef07c57c8aaa590fe05248b2d0d5409c1636","datavalue":{"value":{"amount":"+0.7470774054527283","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":"Q2711348$303DB01E-A535-4DE8-A493-AC276BCDCD86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2711348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2711348"}}}}}