{"entities":{"Q6946375":{"pageid":21181827,"ns":120,"title":"Item:Q6946375","lastrevid":75969321,"modified":"2026-04-22T08:42:49Z","type":"item","id":"Q6946375","labels":{"en":{"language":"en","value":"Short Presburger arithmetic is hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8076640"}},"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":"Q6946375$04B6AD7D-1B29-4C44-B86E-C2937D53AB8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c1c7b407ce66b26f862475e9e173cbc914ceac4","datavalue":{"value":{"text":"Short Presburger arithmetic is hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6946375$ECA38419-EF5B-4DD4-94AF-26C6D7B64994","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df5ce8401e8d53fdf73e2223623a3c9b48f97025","datavalue":{"value":"10.1109/FOCS.2017.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946375$0E8006D9-3226-442D-82FD-FBBE55111B57","rank":"normal"}],"P16":[{"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":"Q6946375$D86410CB-3315-43F3-A2F7-A7E4014860B8","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":"Q6946375$E37CC38A-D90B-4467-A475-5F120E1913B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92e52dd11d4a4a87e99ca1dd58ff5812f369c9fa","datavalue":{"value":{"time":"+2025-08-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":"Q6946375$BE29E9E9-6B99-43B1-839D-3E26C2FBB623","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946375$235F89B3-6403-4374-BEAC-3748B7EB6445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1397c7d07b55282862d4db12cbe94becf8137559","datavalue":{"value":"68Rxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946375$6E9E9333-D99D-43C6-A12F-02E6598B696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946375$B8E56F19-7F66-4157-BD4D-1B8219BE30C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09ad0207425e8ddf8b595a8077d1036aa69b25bd","datavalue":{"value":"8076640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6946375$55F27200-6DD6-4947-8F05-2D28EEA6E400","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":"Q6946375$DB7085FC-2E42-4170-B665-B5D5B1A7DCC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Short Presburger arithmetic is hard","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Short_Presburger_arithmetic_is_hard"}}}}}