{"entities":{"Q2908483":{"pageid":2919208,"ns":120,"title":"Item:Q2908483","lastrevid":79823756,"modified":"2026-05-06T14:47:29Z","type":"item","id":"Q2908483","labels":{"en":{"language":"en","value":"From strong amalgamability to modularity of quantifier-free interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076903"}},"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":"Q2908483$B00C722A-7641-4A22-9FB1-AFCD6893810A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"762ea300be2ce77b17fe6b2d334e81e6c709c3b7","datavalue":{"value":{"text":"From Strong Amalgamability to Modularity of Quantifier-Free Interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908483$EE20BEAC-D02E-4081-AEBB-6D3EEF84E3ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ddd805208980bc3dd827ef9525be1ea7a3d135c","datavalue":{"value":"1358.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908483$4C4A0FD6-54EB-4758-A28A-89A9067DBD87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59b5ac0560c4052ba3b1e75c2c1a378e188f5c52","datavalue":{"value":"10.1007/978-3-642-31365-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908483$BDF36786-EE02-446D-AE0B-BD5F557D814C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b1bce7f658807241618c24b1a425d03bccc6443","datavalue":{"value":{"entity-type":"item","numeric-id":479813,"id":"Q479813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908483$922A3547-9C8D-4F36-97DA-C243425325E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908483$9425B5FF-41B7-465D-87A1-4FF1B2EB773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908483$31103AD5-E915-4E7C-B397-3E151684E6B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908483$0A505958-6979-4848-BD04-14686A847957","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908483$F1769D86-22FD-4470-A9DC-9F3D5C175E79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00855748bc0d655697e933c5bdf281d10c435156","datavalue":{"value":"https://arxiv.org/abs/1203.3730","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908483$ABE1E97C-A808-469B-96DF-F18CA4C31455","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908483$CE0B6016-F458-4934-BC9A-F3EFE0AA75A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908483$E6D584F7-D4E2-48D7-8C89-9E1D79499BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908483$52A749C5-DDA7-44DB-A860-4F2016229116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b09a98d8b318f2a0d01a49b4209d5a08b419b2f","datavalue":{"value":"6076903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908483$A2BA560F-4B9F-4ED2-82A2-D17CCBC6F9BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908483$4F92D03D-329A-4F92-9128-3B9DECCE228E","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":"Q2908483$2D0E0B4F-685C-4A3B-B269-85A37A36DF8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ef560b462e87bd50fe21bc82a954c3d3b0a9373","datavalue":{"value":"W128646314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908483$8287E788-79ED-431A-B852-1BD901FF9AEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78627a591c60381305665703dbbf2780ded17dc6","datavalue":{"value":{"entity-type":"item","numeric-id":5410332,"id":"Q5410332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be3e6efcc76693da2d7f7410259f7a20ecbd563","datavalue":{"value":{"amount":"+0.9573068022727966","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":"Q2908483$FE91C3F9-66F9-42C5-9784-1EBF1EE754D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20946e3e949e0c13ef1a15440d533e6eca071f29","datavalue":{"value":{"entity-type":"item","numeric-id":1687566,"id":"Q1687566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ea557b87faafa138c0ee64fee4b166559e9f2b","datavalue":{"value":{"amount":"+0.831553041934967","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":"Q2908483$92E6372B-E274-4BB8-BA34-7FC11BC459AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7581b918f7b22d50e349ea00e5c0d5ebc1f819a","datavalue":{"value":{"entity-type":"item","numeric-id":2636527,"id":"Q2636527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb3afd194edeb005059bce313bcc8712a0d6292","datavalue":{"value":{"amount":"+0.7735800743103027","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":"Q2908483$3B163CF2-2CBE-471F-A6D2-8D99C77F6411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa5b8ee219383bf057660ccaa8422e52df4e875","datavalue":{"value":{"entity-type":"item","numeric-id":2887061,"id":"Q2887061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabdde474a3d87f88e3df18118fdb8dea7a7407c","datavalue":{"value":{"amount":"+0.7710556387901306","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":"Q2908483$F102CE74-BA84-4FE1-B9B7-609AB92C7030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1177ad7c25250cff82e36272822ccd3beb0e0400","datavalue":{"value":{"entity-type":"item","numeric-id":3622999,"id":"Q3622999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a655840030d5d51513330460c549ae1ad77fe03f","datavalue":{"value":{"amount":"+0.7662322521209717","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":"Q2908483$33C708C7-52B9-471E-AC2C-B7EDFE970E05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From strong amalgamability to modularity of quantifier-free interpolation","badges":[]}}}}}