{"entities":{"Q5155665":{"pageid":7185236,"ns":120,"title":"Item:Q5155665","lastrevid":55390414,"modified":"2026-02-17T15:17:56Z","type":"item","id":"Q5155665","labels":{"en":{"language":"en","value":"Presburger arithmetic with algebraic scalar multiplications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7407776"}},"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":"Q5155665$EDBA76E8-10E9-4AF1-8901-C6D305527E1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a6f0ee0d8d4751322bc016f613d455675594792","datavalue":{"value":{"entity-type":"item","numeric-id":1650002,"id":"Q1650002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$84ADF547-10A4-473A-8D24-0D17D83F1C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c1549c454a0686b197201753e1c5e04b6dc563e","datavalue":{"value":{"entity-type":"item","numeric-id":2227239,"id":"Q2227239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$4BA0F4B9-1039-4530-9DF3-5A888369B350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"555ac274dde5860b69fa4ea6ade5f6a944f308a9","datavalue":{"value":{"entity-type":"item","numeric-id":187137,"id":"Q187137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$133F42E1-4D65-4CBE-996E-79FCD1CC86BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de933dbe9097032f43430008ac1661f561c682fa","datavalue":{"value":{"time":"+2021-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5155665$6C98468B-8CDE-4870-8BA9-9E4459AA65F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85803cdd68eeae4e91052f02fc743f32008fe6d1","datavalue":{"value":"https://arxiv.org/abs/1805.03624","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155665$BEB73F26-6110-4987-AECF-86B80C26C953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"937c843e5c5ff5a4b1ab70344f240834ce4a65da","datavalue":{"value":"https://lmcs.episciences.org/7688","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155665$F89579A8-3CB4-4329-A99C-4569C38733E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155665$B82ED582-7866-4DE7-991B-8B5A55C18477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155665$ECB7FB63-D1CB-4D59-9CE0-38933A14A250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb2ff3f4b2928f9a9a7363b496a1d18948cd4f7d","datavalue":{"value":"7407776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155665$151EB4B5-D799-4A31-9679-513E128F1C4D","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":"Q5155665$2F679912-F58C-4990-A52A-AACD7C56E2EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b95949b382d9a220c24bb0f474e3307e12291c","datavalue":{"value":{"entity-type":"item","numeric-id":5491012,"id":"Q5491012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$E1E0B59B-71EC-4957-A112-017FD2A5FB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$B095F0BE-5374-45EA-BCC9-84ADF7A942AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$7549D0AB-6A2B-4E79-AC38-342DF50934D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$8D3642D8-29C7-4444-89CE-58185A733589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dff6ffe865b7db6cdf40f70eeb47ccbda4d7b38","datavalue":{"value":{"entity-type":"item","numeric-id":2311210,"id":"Q2311210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$DD52C41A-1A6F-467B-8F22-13A5DCD46AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec295febbe61ffdd7965aee859754b26b32dc8e","datavalue":{"value":{"entity-type":"item","numeric-id":2976377,"id":"Q2976377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$D5088EF5-85E7-426F-8523-8B7D10C04590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da2a0852c83b3bb76468f162c4bf824b50e4a46","datavalue":{"value":{"entity-type":"item","numeric-id":1750300,"id":"Q1750300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$6E50B4C4-9EF7-48EF-86BF-2096F109E904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee85b7a58d7453bcffa4d07cd3841e99be5fdf2","datavalue":{"value":{"entity-type":"item","numeric-id":3190214,"id":"Q3190214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$14EFCE89-F8DA-49FC-84AF-3202BE589AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$C6F82165-FF20-41CC-97EC-2FC5A2F3ACCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68a39675864b64283b8695b111159d1fc340f67","datavalue":{"value":{"entity-type":"item","numeric-id":3352842,"id":"Q3352842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$D1F15534-0DDA-4A5B-B3AC-8663757C50FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0011bb33427ec9052f903cb20df442adce0eac","datavalue":{"value":{"entity-type":"item","numeric-id":1971505,"id":"Q1971505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$BF5801E5-9C09-4D20-A80A-FDCB5F2880C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4864c48578bc17fdc12bcc55684bf742669ee818","datavalue":{"value":{"entity-type":"item","numeric-id":5936849,"id":"Q5936849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$F941D44D-9873-496B-820A-A1A5889D692E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b369429581047e1dabd46e6eafe270ef5ac985","datavalue":{"value":{"entity-type":"item","numeric-id":3037135,"id":"Q3037135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$976A1D2F-D125-4810-A612-51FAF55A1B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61723c3df80f3980ce5d1ecc4aefe9f7748f50f5","datavalue":{"value":{"entity-type":"item","numeric-id":1243130,"id":"Q1243130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$9727590E-C393-4F2F-B0BD-757FC9361377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$5FCACAE4-E97C-4436-AC1A-37BF84A09A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c036ccfd3bc9cfd009c1412d35fde53c53ee75","datavalue":{"value":{"entity-type":"item","numeric-id":4328833,"id":"Q4328833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$54217A58-8F55-4E82-A294-D3F3F533E42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b02f584322f2eeee9cb61e78f42a6c0dbefbb6a","datavalue":{"value":{"entity-type":"item","numeric-id":2508974,"id":"Q2508974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$691EFC47-C9F2-4F42-BAB2-D5E38DF7A1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$1351292D-8BFC-49E2-B281-7C176955BA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27124d54cb51e845e43d7ecd27812d025e0950ff","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$A3AFEF36-5D83-4645-BE88-E05690564952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706f7e0fb86d4e2bb6409c9522f078637b0f483d","datavalue":{"value":{"entity-type":"item","numeric-id":4412836,"id":"Q4412836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$9C90331D-596E-4650-8E3D-83659160B2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3f2a506ac6578842115227913d6604372ebe05","datavalue":{"value":{"entity-type":"item","numeric-id":4341842,"id":"Q4341842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$3DB40CA7-105B-4249-86A6-9D3FFF8CE3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbefacb8c8f33b0f1be9db7004061a91697d97bd","datavalue":{"value":{"entity-type":"item","numeric-id":3340842,"id":"Q3340842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$706F9FD7-F937-4DDA-95EE-A35DBEACB953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ff2c269b97a88de0fe652e2add75347876b7e3","datavalue":{"value":{"entity-type":"item","numeric-id":1361890,"id":"Q1361890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$C2EC1919-2D30-424C-A8F7-6266684C9699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7d64aa354ffe6e7d97b440354fc03b29848d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4477876,"id":"Q4477876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$88D97513-9C94-4CA6-954E-9CC227339379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13edf50f417646392b66e4bcf940e8fdd90fc570","datavalue":{"value":{"entity-type":"item","numeric-id":4907868,"id":"Q4907868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$7EE99CC6-A591-4DE5-94C7-129CB87C85A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef87c90b25e8091918151481848c197b18b9425","datavalue":{"value":{"entity-type":"item","numeric-id":4226937,"id":"Q4226937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155665$FAEBD8FD-4F36-4AD9-BCFE-A5E1C7511441","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3862a28893d39da92d9fb6a089884e0c6abe3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2949452,"id":"Q2949452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcea5cfdfb99125ed6cab798a4ecc1e5a98e087d","datavalue":{"value":{"amount":"+0.8025140166282654","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":"Q5155665$B21CCA66-D7A8-47BE-8BAD-CA96D0C57664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fdf39e7db7afc997d67580b1492cc93e67edde","datavalue":{"value":{"entity-type":"item","numeric-id":5073520,"id":"Q5073520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2a243a38690d293c8623053da38315ce476002","datavalue":{"value":{"amount":"+0.7912173867225647","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":"Q5155665$7B39DFCB-94CD-4549-B582-4421572BAFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a617aaf7ed4596b6f5018c727531b146cb7a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1115858,"id":"Q1115858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5879d1bc47eafd1ba5cb3d3f679b57c65383ad","datavalue":{"value":{"amount":"+0.7824620008468628","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":"Q5155665$EB20F072-9F8D-4FB1-B963-00FD2D05A91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad403f7889f525e8935c134075c7fc4c86ae3c7","datavalue":{"value":{"entity-type":"item","numeric-id":3340842,"id":"Q3340842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828b577988d63335e70903bbf07ede0105814a81","datavalue":{"value":{"amount":"+0.7805678248405457","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":"Q5155665$5D3B80C0-6DEB-4677-B609-D42B999BAFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b718697ca928d8c19ed63c7a311e86c047e483b7","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fceecf635e56dd8c6c6be0eaac3aa499c3433f","datavalue":{"value":{"amount":"+0.7759203910827637","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":"Q5155665$99FA0808-A611-4E7A-AC53-CC37702EF90A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5155665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5155665"}}}}}