{"entities":{"Q1987223":{"pageid":1997965,"ns":120,"title":"Item:Q1987223","lastrevid":57658746,"modified":"2026-03-31T19:54:35Z","type":"item","id":"Q1987223","labels":{"en":{"language":"en","value":"Definable groups in models of Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7189167"}},"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":"Q1987223$156B9B3A-E902-4F94-9DFC-48009C2F4460","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed7b1196939d71c0ffa6ac1c43d493170057d282","datavalue":{"value":{"text":"Definable groups in models of Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1987223$6F150C5B-636C-4F74-875F-4DACF692674E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13ee76eb35e05f41145524ae66922e96468da0b1","datavalue":{"value":"1481.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987223$2061FB56-B222-40F8-BC1D-56EFC60A3E79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baa36507228cde09fce55595fab27ee11acf15f8","datavalue":{"value":{"entity-type":"item","numeric-id":324254,"id":"Q324254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$742D0549-7046-4C47-8215-03AE09BC439A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"653aea70958d9a79514770f26274efbe245ab0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1987222,"id":"Q1987222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$DD55CDBA-7A9B-47B7-99FC-18FED3B4B922","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$D733C09E-3F7E-4BB3-8557-B1E4C196E2BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63f928dd391550bd44524caa419e363e3d095f1e","datavalue":{"value":{"time":"+2020-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1987223$CD97BF73-FC63-4203-B425-3A52C4CFFFF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8795386f8169949dd1239d82eb75b80133774ecd","datavalue":{"value":"https://arxiv.org/abs/1612.09042","type":"string"},"datatype":"url"},"type":"statement","id":"Q1987223$C9ABDC6C-82DC-4A6F-83F6-F1614E64272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f0629c6068dbc61dd18e50839a5162d845e9ec9","datavalue":{"value":"http://hdl.handle.net/1992/13885","type":"string"},"datatype":"url"},"type":"statement","id":"Q1987223$C8DCFCE1-0799-4B21-8E0D-DFC8062E0E72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987223$A5CDC737-CF29-411D-B50A-1A72185EDD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987223$0CA81AC5-A292-4E89-9684-6D5366C0CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987223$79A3C442-9CEC-448E-AAB1-D9B1C024CC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987223$D5C7E78F-2AC2-4C96-B692-D304DC08C9E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"262649b406c6bdad88edea6d2fb255f080667cd9","datavalue":{"value":"7189167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987223$1DAC33D5-F17A-4BB3-8060-E6A130374FDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987223$1853D620-B505-41B1-A132-865CBA421A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f94bf4fa73d9b55038c7fcba9f9e133baa40e86a","datavalue":{"value":"definable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987223$8AD6ABBF-9C43-4B2D-AF7E-E9B4FBBA536B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73d17a78b9fdf453ebf2f2edc6c6bf76a8ecfa2","datavalue":{"value":"amenable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1987223$E14F9069-FDF0-4B3C-8317-D555F439BB25","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":"Q1987223$AB950752-6FBE-4C3D-B8DE-AC3A4B0BA0C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"562b6ab9e43f15ef77d2acf5bb12cfe50a4ad6ec","datavalue":{"value":"W3012348615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987223$F0EFBDFF-8DD1-4A22-9A3B-E2597ADC4710","rank":"normal"}],"P223":[{"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":"Q1987223$562B11A9-980E-492E-91B8-9AC0AA0873A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ec81dc126d648ea15c0b09bb5050fd33455065","datavalue":{"value":{"entity-type":"item","numeric-id":4641675,"id":"Q4641675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$6099AC9E-734B-4524-951E-F1900557B786","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":"Q1987223$E3F9ADD6-F7A9-4EB8-9545-61C23E76372F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7ba52815dd240730f11376c1d6987c257a039","datavalue":{"value":{"entity-type":"item","numeric-id":4899172,"id":"Q4899172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$3658BD56-7634-4F93-912E-C26285060890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9221e23a7a67f485ab004426ddc9ca8e79770e9","datavalue":{"value":{"entity-type":"item","numeric-id":5311720,"id":"Q5311720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$E314C3C5-E4F6-4625-8976-E0AA57B53880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4086bed26ece6750ed38cadc6331b8ff12c68e","datavalue":{"value":{"entity-type":"item","numeric-id":5422310,"id":"Q5422310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$CDFAEC88-0D12-4359-9DAC-22B2739CBF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432ee7686a40d4b161316d3fbc1fc58a5025b12d","datavalue":{"value":{"entity-type":"item","numeric-id":5444690,"id":"Q5444690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$B86EBA5A-0864-4B48-A904-96EE8F4047EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4213a72185d631a052271079a35ee4d15fe41a36","datavalue":{"value":{"entity-type":"item","numeric-id":5441374,"id":"Q5441374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$4A348F56-0C4D-43D5-A36B-81AFFFBB02F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cdb41587cec70217ab38af9544cd601650039f","datavalue":{"value":{"entity-type":"item","numeric-id":550563,"id":"Q550563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$F3D95B63-BD67-4977-A844-B7FBABBA611F","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":"Q1987223$B3C46F29-C4B9-4518-A5B3-ABFA48B6C15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a196f8451e8cfa468851831a22bbf55cde459e98","datavalue":{"value":{"entity-type":"item","numeric-id":3414795,"id":"Q3414795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$DEBC108D-4184-48B5-8899-14A1D2028AEB","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":"Q1987223$1EFBCAA2-5327-4383-82A9-AA3D334506F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d549ed43edaa059bab6c31175643d6d11a317da","datavalue":{"value":{"entity-type":"item","numeric-id":5177873,"id":"Q5177873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$FFBD6E86-00DC-4467-8333-E523BA752DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde93869117e77938daa855cceceabceb6ccf20f","datavalue":{"value":{"entity-type":"item","numeric-id":3687182,"id":"Q3687182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1987223$749FF8B7-F3DB-4DDF-8DBB-E56E34780CFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a259156991c1dc5efc3e7e3ecbb95abed24ae19a","datavalue":{"value":"10.1016/J.APAL.2020.102795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1987223$C452BB73-0BC4-49FE-819C-48279FD51B68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1357fca3ab59be0ef8d03a08b39f4935a533d832","datavalue":{"value":{"entity-type":"item","numeric-id":4642703,"id":"Q4642703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663c49382e8bddda66d91f15f3fc37f1d4d396bd","datavalue":{"value":{"amount":"+0.844050407409668","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":"Q1987223$19841FED-636B-4836-8FB8-8311B8DE80E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779081257e8b62c2b584b321d750c49e49ecaf90","datavalue":{"value":{"entity-type":"item","numeric-id":1401169,"id":"Q1401169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f007e97aead30c2a19fa667c1cbab1d46381d1ff","datavalue":{"value":{"amount":"+0.8024137020111084","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":"Q1987223$7E9172AA-2A6C-487F-BF98-5757B131BEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c542d0b26cfc29e7ea2a33c7388564c44261de23","datavalue":{"value":{"entity-type":"item","numeric-id":4457729,"id":"Q4457729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b8be8f136100632558c6ced8b0e7a3e2b280fd","datavalue":{"value":{"amount":"+0.7836382389068604","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":"Q1987223$1F1DA0E8-16D9-45FB-90ED-20684DF6D74A","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":"a7cc364fd87df9ac8d34fad2cbf52d00b7534e2e","datavalue":{"value":{"amount":"+0.7750540971755981","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":"Q1987223$1F4F0D77-C6A1-4786-9AE4-F951B0C123EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc188e67486c3bba51656ae7c1009a78c2a0abb4","datavalue":{"value":{"entity-type":"item","numeric-id":5108850,"id":"Q5108850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65ee8ac2e70eabbf9e909c3771790f60c52f7ca","datavalue":{"value":{"amount":"+0.7735141515731812","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":"Q1987223$B2CF632D-B75F-40AB-BD38-AC0AC2DF0249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1987223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1987223"}}}}}