{"entities":{"Q1709716":{"pageid":1720457,"ns":120,"title":"Item:Q1709716","lastrevid":72828798,"modified":"2026-04-14T08:06:56Z","type":"item","id":"Q1709716","labels":{"en":{"language":"en","value":"Interpretations of Presburger arithmetic in itself"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856656"}},"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":"Q1709716$7F8ABE5A-CE4E-44BD-AE4C-4D498B52B839","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"766b64667c0853dfc4d6119996b0882515d5ec0e","datavalue":{"value":{"text":"Interpretations of Presburger arithmetic in itself","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709716$D5FBC1CA-D69C-4B65-9FA8-C0ED82DBC33D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317ba4b5721b6c9e90ab169664f4b92ffca7cb40","datavalue":{"value":"1503.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709716$9766F412-72DD-45BD-8498-215036624DCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0d79d7744bfe63f0242bd8b752ac3956c36de14","datavalue":{"value":"10.1007/978-3-319-72056-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709716$10D14A57-DF13-4225-96A3-1ED8DCE45929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2f166393fc384544fae59ee00f8729b5ed05e64","datavalue":{"value":{"entity-type":"item","numeric-id":1709715,"id":"Q1709715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709716$6BEC49B7-9F26-4D5C-84DB-40EDCBBE837E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74dd024ad12b1c706f73d65b42eadcaf1d37b243","datavalue":{"value":{"entity-type":"item","numeric-id":2120975,"id":"Q2120975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709716$2169AE66-30C3-41E9-9463-4DA37E61475F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709716$6BC08099-1BBC-433C-8018-FA29AD6A97EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a96029889e9717e90db22b65677eefd05179410","datavalue":{"value":"https://arxiv.org/abs/1709.07341","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709716$B6A4C08C-871E-4278-A1DA-871058A1A6A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709716$16192314-8118-490F-AB2E-2E1B7C02CB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709716$42B5F062-6B2C-4B6A-990E-9BBE8B370D69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60bc930344d8b2983ec8dd2144920ec3015948a7","datavalue":{"value":"6856656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709716$A61541A6-F06E-4666-8386-CB4ACA9AC2EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709716$50296247-5704-49BD-877D-52D5A8AA6D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709716$BD983D6E-A09F-41D8-8341-3CB4F1C579A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a2b6def5cdaeaffed3dd1d4ec1a4c937303ac1","datavalue":{"value":"scattered linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709716$C7F3B5BA-BF40-4EF0-B14A-44AFF2B743C2","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":"Q1709716$603BD777-4D0E-4949-B10E-31A1C969C203","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"482e451a129d4568b014bfe6e6151e9895a6211a","datavalue":{"value":"W2771060834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709716$295D6E4A-80A6-4E7B-830F-95EBC99F5CD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673796c914d1871d053f4a9afa0b2bc05a857faf","datavalue":{"value":{"entity-type":"item","numeric-id":5140331,"id":"Q5140331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0289bafc7844334e2bf0f19d1b5c57f703b167","datavalue":{"value":{"amount":"+0.93263817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$2256DED1-5DB8-4C7F-900D-F9BD5A41571B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f00d73b4fd68dca0e841d7e70140d77d34e8fb","datavalue":{"value":{"entity-type":"item","numeric-id":6095191,"id":"Q6095191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2641c857d2a3db986be89fd226596c3eb9b98020","datavalue":{"value":{"amount":"+0.9260295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$4F38E6DB-7A79-4027-B9F0-FD2A35440665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524e84b423c3797a39985bd11e5e1218a79750a3","datavalue":{"value":{"entity-type":"item","numeric-id":1095138,"id":"Q1095138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b7e1aa93801152e891cf4b90179ae15bcc4d26","datavalue":{"value":{"amount":"+0.88754517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$D0F0B7FA-F38B-4124-803C-6487595E74EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a9578da003ddebfcf4999c731eae925ada4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948517,"id":"Q4948517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564e5addeb547d52d0865ade7183534e75c2093e","datavalue":{"value":{"amount":"+0.8847909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$A9842313-8FB7-459D-BD8E-D585C036D79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72211653300131d81cff354d1410fa3cdbd7ded0","datavalue":{"value":{"entity-type":"item","numeric-id":3726110,"id":"Q3726110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85920b3ae1d08a73830c2148c915fb7e0412abab","datavalue":{"value":{"amount":"+0.8832209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$D6360F24-EC99-4AC1-A432-2FB08C961574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff26d453794330aab2cb8254dd7fff45ac95174","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58afb9a5c8afe42d5a8f4c56d0c4d84fc32bf5b4","datavalue":{"value":{"amount":"+0.87869436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$AC1663B5-8A0C-4571-9E73-0EED5E77F359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8969014dbfcb7e86571646eb2a8810b1cdca0a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3679154,"id":"Q3679154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235135ddc8b5557cfb40f0ef88741dfa08b7de11","datavalue":{"value":{"amount":"+0.8770748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$614E830D-E079-4B80-8DA5-3FB925C14A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94cb41956a17dd9572570c1b36b376a64fc9aec","datavalue":{"value":{"entity-type":"item","numeric-id":2402961,"id":"Q2402961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3286823ae7c8f47468e642bfe1fe79e6f4436389","datavalue":{"value":{"amount":"+0.8747278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$A7A14B2F-F805-4FE2-9583-D0CC51FCEA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a22f3bde1a8584cbc458cd622fc3e0d3890c28","datavalue":{"value":{"entity-type":"item","numeric-id":4250050,"id":"Q4250050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7bd1b4e75f8b212f0512da70751a494e17215e8","datavalue":{"value":{"amount":"+0.8682259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$38E60105-05D6-4BEE-8D06-17B2C08FC306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f516f33c7d0b674f8600dcf23b260524e256004","datavalue":{"value":{"entity-type":"item","numeric-id":3998383,"id":"Q3998383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7278304ad07bebf2e6d636e3e6c6ead36d59c7e5","datavalue":{"value":{"amount":"+0.8678898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709716$4D1E808B-9448-44A5-83B4-6D82242E6890","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretations of Presburger arithmetic in itself","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretations_of_Presburger_arithmetic_in_itself"}}}}}