{"entities":{"Q7310247":{"pageid":31275178,"ns":120,"title":"Item:Q7310247","lastrevid":105090589,"modified":"2026-09-16T15:15:45Z","type":"item","id":"Q7310247","labels":{"en":{"language":"en","value":"One-parametric Presburger arithmetic has quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236311"}},"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":"Q7310247$C8984774-D674-4268-B9C1-7130997EF577","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c4ef72b852e976fcacd11e553fc164148c747b5","datavalue":{"value":{"text":"One-parametric Presburger arithmetic has quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310247$24FFF40C-E374-4AE2-83FE-692D3940C4F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0ad23ca42d8bdaf1380ec2ad2c1f7f9a694e8cf","datavalue":{"value":"10.4230/LIPICS.MFCS.2025.72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310247$357984D7-E42C-4916-ABBA-9CAF86E0DF0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$358C3AD8-DD21-4153-83DE-38BA24AF5D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d00952d61a346f3da1fc6fb5797fe934f007a941","datavalue":{"value":{"entity-type":"item","numeric-id":6091187,"id":"Q6091187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$C4DF45FA-82D1-4501-BF2F-25D3BC4978D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310247$B8983197-7B93-4990-9F33-D48C3649F640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310247$1ADE3A28-CDE6-43D3-AF84-984A3CE049DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1613d837d2ccb069c0c8baf478bb5d1f0c218a64","datavalue":{"value":"8236311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310247$FA1F4D11-47C7-4379-BA85-F2CDC60627EA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$6B3ABC23-1FF9-4075-92D1-5EDA77851105","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":"Q7310247$7CF58AA2-E372-4C5F-90D4-7C3775BDCAC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$C7044FD4-6992-4EF6-A2B4-765D5A61F3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a6b3c4cdbcdc1bd9dafb8018ca2d7209b328e3","datavalue":{"value":{"entity-type":"item","numeric-id":6638119,"id":"Q6638119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$ED1D0EB6-7F8D-437B-924A-6658866432A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412e8ecb2627fc246d7f32452d9d53d91fd5b8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5108860,"id":"Q5108860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$3A9C51E6-BF8C-481C-B8C2-C91121BFAD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a96ca04cf70a960c7deb97df393184fbab2d69","datavalue":{"value":{"entity-type":"item","numeric-id":4645009,"id":"Q4645009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$70768CE5-54A6-40BE-BFB4-8B662A3A93E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$845C3412-0B04-4072-B8E2-59F030581352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c4de310e96a67f8001b90a8fd7bffa307f9716","datavalue":{"value":{"entity-type":"item","numeric-id":5388833,"id":"Q5388833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$8EFCE97F-4F26-4A35-B9D1-2577A4FCE5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5166424def25a8fc626c507af09bc64ad8b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":7263555,"id":"Q7263555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$7CB37B9D-C74F-4064-AD12-F794D26D5D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bb93fdbd2752c43ea30f911eca5d29c17a4448","datavalue":{"value":{"entity-type":"item","numeric-id":6181930,"id":"Q6181930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$1D016A13-3008-44DE-A9E0-2BBD1021F179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac3b246fbedeabf9eab7dc3f5d20f33379af4c3","datavalue":{"value":{"entity-type":"item","numeric-id":6875049,"id":"Q6875049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$558F0141-FDCE-4AEE-9001-7684ED5E7CD2","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":"Q7310247$020C6AF1-9534-43D7-8F81-E93C7FD68DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d99572a38ea1b4d6fa266d23f9669866b9cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1284218,"id":"Q1284218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$636B2E3E-4BC4-4227-89B6-7B81FDA3622B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77072de743a93f16d3e2a54b74ae84ce3c9ac45","datavalue":{"value":{"entity-type":"item","numeric-id":7034855,"id":"Q7034855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$BB06DDF8-3372-4AE4-A474-2C06089BF1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824cdef16d0977e420b80e2a979f57e66eb3758b","datavalue":{"value":{"entity-type":"item","numeric-id":1661676,"id":"Q1661676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$FD189AB8-D687-4090-9F18-9D5D2B93C504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f33ba5f95f34ecfd85a5947a5b95a3e1ce86f71","datavalue":{"value":{"entity-type":"item","numeric-id":1115859,"id":"Q1115859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$095B4495-1890-4330-A1B8-397AAE793929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdad79c7872e404e711cb8be9d678452ceb585da","datavalue":{"value":{"entity-type":"item","numeric-id":4194462,"id":"Q4194462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$23C0D79E-F111-4721-B210-CE8821689ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c062ccb7e3811a9f8638f8a896705562b3c67e","datavalue":{"value":{"entity-type":"item","numeric-id":4635632,"id":"Q4635632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$698E2317-7EC2-480D-99B5-D61B8B32A293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96d29641db54357b69979590b290d4618de7ffc","datavalue":{"value":{"entity-type":"item","numeric-id":6875036,"id":"Q6875036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$74C64077-3606-4869-A6DE-5317BBC83118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75d9c356f0ae294f27b359b4881a811d4738cb4","datavalue":{"value":{"entity-type":"item","numeric-id":6135772,"id":"Q6135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$FF77936B-7A4F-4BBE-854B-FB61E7FC3D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8b61a6546589f68624c8dc88e41d09b729e93f","datavalue":{"value":{"entity-type":"item","numeric-id":7289656,"id":"Q7289656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$F9DAFDD0-7DD6-432E-82E4-4983B353113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0d61ca6f5627c9026d708a36120d86c97b391c","datavalue":{"value":{"entity-type":"item","numeric-id":3644100,"id":"Q3644100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$9BA3135E-2D16-444B-B65E-163A84E32651","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":"Q7310247$3246F922-24EF-4EE5-86E4-3BF81EAD80CB","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":"Q7310247$E4764FEE-9F23-4589-975D-31C1F7E29A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccdfa030a9c393bc1f710687111d7a36bcf22b6","datavalue":{"value":{"entity-type":"item","numeric-id":1830461,"id":"Q1830461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$53B84210-23CA-49D7-9A4D-1A2016035706","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":"Q7310247$71B4C1EB-A3F4-416A-9542-D66ACA6FAFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddaad5fb0061be8d8d253f89d7defefb9e50c37d","datavalue":{"value":{"entity-type":"item","numeric-id":6666557,"id":"Q6666557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$16E49904-EC4E-4DE2-8416-C52BB9CD4F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73915bcd97bc7bb9ece7f65069678107a79a338","datavalue":{"value":{"entity-type":"item","numeric-id":753494,"id":"Q753494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310247$4181D1B0-6E1D-44DB-B203-7D30D71D46A3","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":"Q7310247$9E560C2A-2688-4393-9A86-3EC54C41A9C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One-parametric Presburger arithmetic has quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One-parametric_Presburger_arithmetic_has_quantifier_elimination"}}}}}