{"entities":{"Q3075472":{"pageid":3086188,"ns":120,"title":"Item:Q3075472","lastrevid":79903574,"modified":"2026-05-06T14:58:38Z","type":"item","id":"Q3075472","labels":{"en":{"language":"en","value":"Beyond quantifier-free interpolation in extensions of Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851845"}},"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":"Q3075472$0452E26D-61D7-4568-8FF0-AFBF69DC97A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc014f7843864a7f447e33da0703e90051bbd8c9","datavalue":{"value":{"text":"Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075472$CEFC8714-58A3-425A-9759-5E7D78051007","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"192d23543f368919918186982911aa26ba3a8d79","datavalue":{"value":"1318.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075472$5DAC05EB-61A4-4D09-9FF2-62352118EE7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"877eba6d3b18c9c17b43f950fb34d287905dad6a","datavalue":{"value":"10.1007/978-3-642-18275-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075472$1D078A30-EF5C-424A-BDBD-6D1DF5A0B08C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2de696c550295e42040c66873cdda7858a94e6a","datavalue":{"value":{"entity-type":"item","numeric-id":438553,"id":"Q438553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$113E9DAA-6C93-49CA-B2D3-E5C9A22203DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$723BE837-85C0-4E2D-9D67-7937A5366145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$40C1EA1E-FEBD-406B-A22C-7B74289CF2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d662772c24869dc9f46a36b74617d8d791c39563","datavalue":{"value":{"entity-type":"item","numeric-id":438555,"id":"Q438555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$E2930BDB-CDAE-4BDA-8FAE-669880616B8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$8A88A704-B794-45D2-8788-3085111C6EF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075472$6E67CD2F-9E79-4F25-B07A-98441B4C0A5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6ef34423345923bcee4f072116821ac6bf0570a","datavalue":{"value":"https://arxiv.org/abs/1011.1036","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075472$A261B827-F70D-4820-A46E-6867C535DB71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075472$42F19BDB-D93B-43CF-91C5-671549840768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075472$C5999F33-7BF1-4AE5-A658-221CEAD7B89E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29f71119e2e6e92f6172ee5e60cb4312b29c8686","datavalue":{"value":"5851845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075472$2FAE6E3A-641C-478C-96EA-D3F4A3AB948C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$AFC2DA44-001D-4B3D-A32F-2539238DAA32","rank":"normal"},{"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":"Q3075472$9B40B495-C3B8-47D2-831E-A34982F5FEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"237da4af262d88ecb327e27cb4a7bf92fd99e5fd","datavalue":{"value":{"entity-type":"item","numeric-id":16476,"id":"Q16476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$40E01B97-E7BD-4D85-8A99-DCE4358DE664","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":"Q3075472$31617356-AC51-4796-8195-941C8D553639","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":"Q3075472$F93C44CB-58DC-4ACE-A64C-9C57623D9B25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35476c733387368b05662b880dbcaa54e682d1fd","datavalue":{"value":"W3138202464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075472$92CA0B41-356B-4178-A63B-89538B2970E5","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":"Q3075472$E29670B5-A2C1-4107-82F5-2F863989F0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d02295b918ee0afc1f76dac5b90054e0bd92879","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$46AC001B-23E2-4385-BC8E-A59FB2188270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$45B25396-77C8-4F59-A0AC-49A996C8138E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$7022666A-0523-4FD4-8A25-89B585890371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$CFA34306-7314-4393-BAA0-9079A7B7CCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$2830B445-E33D-441F-B338-8B7E96B1020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$DD5E48D1-FA52-4F7A-AF1A-E4032EEE679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$A97E0A25-8B53-4D2E-9223-5C19E520BE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$35D3AC53-E204-41BD-9C4E-9259A043E4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$88C2B7FA-01F3-4DA8-A044-52D6987A2D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$1A48028A-F598-4E12-A653-CB266A8FBFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3b2fbf42eb3def1e4ffb467318a0ebe0218007","datavalue":{"value":{"entity-type":"item","numeric-id":3617772,"id":"Q3617772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$BAFEFFEA-B809-41CF-A8C2-F6D7097F12D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075472$B84075C1-BEF3-419C-B119-E67AC6D88235","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ab2b33a85731eecca3cd263b47863bebca67cd","datavalue":{"value":{"entity-type":"item","numeric-id":4933327,"id":"Q4933327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c84a87c8544cfb613e5af267bc22a4806b1188","datavalue":{"value":{"amount":"+0.8797780275344849","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":"Q3075472$1C68E81C-BDFC-4E53-A839-4F473CD327D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa46dab62437fe26f20df1ec50a7a09af904958","datavalue":{"value":{"entity-type":"item","numeric-id":438556,"id":"Q438556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21788ac7d8d443ca1cc28486d5f2894476d5a157","datavalue":{"value":{"amount":"+0.8777478337287903","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":"Q3075472$0E1F057A-A40E-4134-AFDC-1D683F232A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9431cbab61d866d4fa0af21733b3d4eefd8fc797","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8c7c0dc7f20f667aa4b82debc2351673520330","datavalue":{"value":{"amount":"+0.8693899512290955","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":"Q3075472$A8F7C09C-CBA9-4158-8928-E4F6114927B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71603ccd1954a0efcfb58cfda946799b5f3dfc76","datavalue":{"value":{"entity-type":"item","numeric-id":5457276,"id":"Q5457276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622d7c29a7f8a948aa6089fa8e2f90c1a1586649","datavalue":{"value":{"amount":"+0.8023867011070251","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":"Q3075472$B0C31DC1-2844-4244-A75E-28964779D7ED","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":"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":"Q3075472$AB885AD8-DFC2-41FD-AA1A-8D1ABBDD1098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Beyond quantifier-free interpolation in extensions of Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Beyond_quantifier-free_interpolation_in_extensions_of_Presburger_arithmetic"}}}}}