{"entities":{"Q4638984":{"pageid":6668565,"ns":120,"title":"Item:Q4638984","lastrevid":58311270,"modified":"2026-04-04T16:24:44Z","type":"item","id":"Q4638984","labels":{"en":{"language":"en","value":"There are no intermediate structures between the group of integers and Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6865721"}},"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":"Q4638984$587A2EFE-22CD-45B3-944E-1EE561A5AE75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aa94c2560f99383d1f826bee636cb50ac0d0822","datavalue":{"value":{"text":"THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4638984$F2E814B9-6704-4AD8-9B24-DCE87226F9ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0c97aada3f7ce160889999b861168928e5f9cca","datavalue":{"value":"1447.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$9A27D4E7-E433-4CA4-8E3D-0D571AC3841D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5275a17c7af3c12249e7418061574eedf2a6c120","datavalue":{"value":{"entity-type":"item","numeric-id":283124,"id":"Q283124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$FAEBC48A-9559-4E3A-A1D8-E6213302B618","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1679cdff871c3abffb2794c84ff8718bbd0c06a0","datavalue":{"value":{"time":"+2018-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4638984$91F7A637-A68E-41F4-8D72-DF9E8ABF7A18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9bcffb3b2fd5430ece4f15204a1584740c15ed2","datavalue":{"value":"https://arxiv.org/abs/1603.00454","type":"string"},"datatype":"url"},"type":"statement","id":"Q4638984$F9CF9C13-4E59-49ED-93E6-BB6BAF1A01AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$9D7AEB27-FA25-4162-AEF6-D5E718FCE95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$0CE45989-F993-4C0A-BB6B-E40E0A72F6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$3D11D76F-7836-4E91-B21E-97ED99F96737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$E52AEE24-7062-4A27-9B72-0005CC5303FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0b59e5a4049976a3f0e80390814003836143507","datavalue":{"value":"6865721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$7FF9E4F2-C8D1-4E2B-9DE4-8DF1858561B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638984$A9B8045A-BBE0-41E3-8375-9FA987DD0C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa2efefc77157a0a82779b31be108954c8c30fa2","datavalue":{"value":"expansions of the group of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638984$4AA6C6CD-5CF2-4BFB-B188-11EF9173E0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6b52aa07c3b8ae9282478ba8086aa5cf842670c","datavalue":{"value":"dp-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638984$FCB4A599-6792-4B6E-9066-B795A1E18CF0","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":"Q4638984$B0E24D5C-4BFA-4F52-A6E9-8188916615CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ab02269c16cd0281324f63f7ee5310f48e0480b","datavalue":{"value":"W2964321310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$1F035EB0-46C7-4677-9CF3-43BE934480D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46854a4243c17b356adce4052199ae8f459589b6","datavalue":{"value":{"entity-type":"item","numeric-id":3136877,"id":"Q3136877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$7E7EF87C-65B3-481A-B350-671A3F2B6AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e19963e8604eab1719a76aeece860ebef5a130","datavalue":{"value":{"entity-type":"item","numeric-id":372618,"id":"Q372618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$EE4B4F41-0F06-4927-A3B5-BC3C3AFBD789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fdd0450e8c8ac13b055e7e179ccb1bd6c0f0af","datavalue":{"value":{"entity-type":"item","numeric-id":2790718,"id":"Q2790718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$BBDEE651-0A1D-421A-9E90-248337EA88DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6c79fb9f1cd04e7794869c7b9768ece13cec6d","datavalue":{"value":{"entity-type":"item","numeric-id":5808046,"id":"Q5808046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$BD24CB31-28D3-4C10-8B73-93E38F7C726A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16cc3d8e71cdb30a028bb38086b31cdc16c3728d","datavalue":{"value":{"entity-type":"item","numeric-id":4527913,"id":"Q4527913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$729293A1-805B-4E1E-9581-86908A1959A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44450791a1eacbb6ee7410b0ca607208f868a285","datavalue":{"value":{"entity-type":"item","numeric-id":4457729,"id":"Q4457729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$724B0E69-2639-4306-B778-535890825E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30081e61e34ea6726f1984e3dfff0ccaab2a5cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4581991,"id":"Q4581991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$B583E508-D376-4FD9-A4CF-494E506AAA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c5679ad926f4ff13d26cc99320600f176c1a58","datavalue":{"value":{"entity-type":"item","numeric-id":2957274,"id":"Q2957274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$B777174B-0E7B-40B3-9736-1F80B5D50D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af75cb4b87a60b7e6c441d7442a3d485b069a2a","datavalue":{"value":{"entity-type":"item","numeric-id":645745,"id":"Q645745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$643F9752-0708-472E-9980-8E9402CBDE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2f5eed046fca5ad40a3f7ec2c91e2c9034f2c6","datavalue":{"value":{"entity-type":"item","numeric-id":4654069,"id":"Q4654069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$A37DB49D-CA45-48B7-9E24-7C8FCE93313C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258981b8bc218dfffad1af5666921594ada22ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5359574,"id":"Q5359574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$D580A626-A844-4234-903C-D42BF3455F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797e18fe528ce0a5a2cae1f810b6984e8ece7527","datavalue":{"value":{"entity-type":"item","numeric-id":4712930,"id":"Q4712930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$F2D9C52C-0231-4C17-A476-58C8181C7858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$79EEEBD7-6B3A-4211-B464-40AD50C381EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5af5089b6085c757f8891a7230e6fa9ac45fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1919534,"id":"Q1919534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$3175C65C-E487-401E-8C5A-22709C13A82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc06b940bf88f9f4eae26bccca678abd1659d59","datavalue":{"value":{"entity-type":"item","numeric-id":3130253,"id":"Q3130253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$45832A9E-F81D-4EC3-A49B-50BAF2E21A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b74c1773d5b5eb41daa0dc56d14bb28172c086e","datavalue":{"value":{"entity-type":"item","numeric-id":4527928,"id":"Q4527928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$9709CA67-7BDF-4FA2-9B24-67020B6818CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d3b0620805755e1055bac66495fea6d35e3e21","datavalue":{"value":{"entity-type":"item","numeric-id":401641,"id":"Q401641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$B3E9060C-2ED2-46D5-BCF8-20417A700080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a33a14aaf47b8a05ffa9d8bdb62770392b1d61","datavalue":{"value":{"entity-type":"item","numeric-id":4668857,"id":"Q4668857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$E8897298-DA8E-47E8-8E74-34452407015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9020c959fd2fe6830eb570bdc5090e181554ced","datavalue":{"value":{"entity-type":"item","numeric-id":5255892,"id":"Q5255892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$FA872820-2772-4BB6-8B22-C1408B421589","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56c41055f1e1aec4488a6372b76095f73d104169","datavalue":{"value":"Q129898859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$26B0BD56-0812-449E-9962-58D5D017A4F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a7955444c187a160bee54d29c6230b7e62facdb","datavalue":{"value":"10.1017/JSL.2017.62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638984$7EB416CD-622C-4CB2-81B5-4C79B820A4C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638984$E5605847-3485-402D-B814-38CB70AE8FBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb5c27d7b13b52160f5464232dc38aaa3f609a0","datavalue":{"value":{"entity-type":"item","numeric-id":1987223,"id":"Q1987223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb052159b6fe0ccb430555a6a7457a7f13d1d72","datavalue":{"value":{"amount":"+0.7255121469497681","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":"Q4638984$8380C37C-C0CC-4799-9084-E506E296ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691990e9b3f7e1e719b10dda05213863b043d23a","datavalue":{"value":{"entity-type":"item","numeric-id":5222527,"id":"Q5222527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecb966a570ed832b023646b2b986122bdfba71f","datavalue":{"value":{"amount":"+0.7153176665306091","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":"Q4638984$FE8AD4F9-52C5-475E-95E4-179579EDA583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141dd697c0f6485f09c60499b901cab0a0ebafa6","datavalue":{"value":{"entity-type":"item","numeric-id":3783277,"id":"Q3783277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8cd733dd2b4d4748d3bbdc6d218d9293518876","datavalue":{"value":{"amount":"+0.709382951259613","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":"Q4638984$7F2F8BD6-D0DD-4C4C-A498-FD6E210E9BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f7d795c8b0a2a131bcb6275a7600ed02db0723","datavalue":{"value":{"entity-type":"item","numeric-id":4581991,"id":"Q4581991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc138aa7082ba6efd6d63e28fdff4c3f7990bb50","datavalue":{"value":{"amount":"+0.7031158208847046","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":"Q4638984$AF110D82-ACC7-4491-B159-2C7582EEDFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac3a7135a142b7501a1b3ab01b0432427f17b88","datavalue":{"value":{"entity-type":"item","numeric-id":6047721,"id":"Q6047721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccb3238b61f9781ed16e0e2b10d149068330ca0","datavalue":{"value":{"amount":"+0.69544517993927","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":"Q4638984$B7056B29-9A39-4DD2-BD25-A4283AE216CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4638984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4638984"}}}}}