{"entities":{"Q2887061":{"pageid":2897786,"ns":120,"title":"Item:Q2887061","lastrevid":83705150,"modified":"2026-05-07T10:02:30Z","type":"item","id":"Q2887061","labels":{"en":{"language":"en","value":"Quantifier-free interpolation of a theory of arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035669"}},"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":"Q2887061$1A360D73-5D23-460E-BBA3-C79FB2B2E0E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535c5bd65ec211a6685a1c016d8f19980ce4018d","datavalue":{"value":"1237.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887061$6F09F153-A0A2-4B31-B4BD-2D618B729C0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cea7d287f17ef1e24d61dfcb023f856e7cd5c380","datavalue":{"value":"10.2168/LMCS-8(2:4)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887061$2E2C4AF7-FE2D-4D7B-949C-8E5F588DA44C","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":"Q2887061$9A25D9D1-3DCA-4FE9-9989-BE6A3647E37F","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":"Q2887061$CE972FA4-A1C7-4FE8-AEC2-D7A869F08561","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":"Q2887061$79D50668-B388-462D-9E3A-34E1039C1FD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887061$844A8552-F310-4F63-8B2E-CE9265F394E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2887061$2B0092E3-D6CD-4173-9792-032F6C6BFE17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887061$4EA25E18-232A-46E9-91C6-7CC2FC6AA124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887061$527B4181-2C83-4BB1-9B37-9B7C3DFAE76F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"353f22d130fdeee2966387b51d801882accb0e46","datavalue":{"value":"6035669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887061$8EADE3E1-F850-4637-9EF2-C6F6BED4A6B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887061$7CC72D46-5504-4643-B4F7-E56059B71656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5953e91241d6db0a148aa54bcc124ec1ff01ac2f","datavalue":{"value":"modular constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887061$1D841874-C25D-4C14-9479-9FBA56D52661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d93d1ae8dd0ffbb853ca91d32929da544093b4","datavalue":{"value":"interpolating metarules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887061$CBC454E9-D12B-42BA-A700-A0B2DE931124","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887061$774F32D0-7076-492E-B01D-C24DEDA592CC","rank":"normal"},{"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":"Q2887061$1A3EF108-FD8C-421F-9FA5-65C2DCAAEB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887061$A0ADCE2A-D342-4CAF-B2EA-08A93870436F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887061$75B93495-7621-4E89-9CC4-310108EECEE6","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":"Q2887061$F67EF54F-083E-4C52-BAD4-0C8DA2C01FD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"facdde693fdfe7b02643e1427bf62905512e47f4","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(2:4)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2887061$970C19FE-F986-46AF-8CDA-7527175FED1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c111cefdc8f051ad5bb5191d63b496c06b4ae4ff","datavalue":{"value":"W2036325129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887061$62A510CB-2C26-44DE-8AB0-D01B65D4D2BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0185bcc1d60e8991112a7ea2cd760fab954ce9c8","datavalue":{"value":{"text":"Quantifier-free interpolation of a theory of arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2887061$036900F7-FF11-405F-AC5E-8C562CF572C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65bd0347409171903a3729e9a61ca5c35266228","datavalue":{"value":{"entity-type":"item","numeric-id":5389080,"id":"Q5389080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd36dc5affb7476b5c8d5f5e94aed8bb2d81ee73","datavalue":{"value":{"amount":"+0.949566662311554","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":"Q2887061$BC3F0567-9EE6-4841-A465-864CE27C20B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa9afc57ffd58556591d3bffe0ed72033c0f499","datavalue":{"value":{"entity-type":"item","numeric-id":3172885,"id":"Q3172885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c0264541be56b8f4246088c80072e863db22df","datavalue":{"value":{"amount":"+0.8951377868652344","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":"Q2887061$C5B94121-710F-4F7D-A779-F25C76000B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b9f803b485945da86faf8cbeb621e43e8d77e9","datavalue":{"value":{"entity-type":"item","numeric-id":1799115,"id":"Q1799115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484dfd69c5997d560f977bd35f04a08347cc6635","datavalue":{"value":{"amount":"+0.8479180932044983","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":"Q2887061$85AAEF80-9079-4B9F-815B-582C78156F9C","rank":"normal"},{"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":"d389786e465ef1da926ec96562ef2621193ba45f","datavalue":{"value":{"amount":"+0.8022394776344299","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":"Q2887061$0FCF1F6F-1DC1-4942-BF24-3431FA260DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed2265ee5d891285a8dabef4192bba60e0ae380","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d2132973c81921d7dc0dd0069cc75185e5b3f3","datavalue":{"value":{"amount":"+0.7972195148468018","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":"Q2887061$21788CD9-C896-48DB-8E37-90A90B1DDEF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier-free interpolation of a theory of arrays","badges":[]}}}}}