{"entities":{"Q848747":{"pageid":850595,"ns":120,"title":"Item:Q848747","lastrevid":64805562,"modified":"2026-04-11T22:20:33Z","type":"item","id":"Q848747","labels":{"en":{"language":"en","value":"Generic complexity of Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5677846"}},"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":"Q848747$62E81D18-15AA-4AA7-A1E2-C6F5086A81F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47d25bba442f9e6b781662c69da463d92fce6e08","datavalue":{"value":{"text":"Generic complexity of Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848747$3C6DAFA6-723E-42FB-9947-EB389C7A9D99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fdd2c6effa103f8832ea2e17fea5024bf61c85e","datavalue":{"value":"1186.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848747$6FA7B453-39B7-4FC7-832A-3D0E7EEA5BE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$0334A0BC-E3B2-4275-94CB-8FCA78424BAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$095566A5-48FE-4593-AD45-AD7039D7AE02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c918ceca2d8787753ffbdd1e7b50754c8a11e0d","datavalue":{"value":{"time":"+2010-03-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":"Q848747$43AD9D78-5279-4C0A-BD3B-7B0A31BCDC70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848747$8DB77B48-C9C6-4D3A-B5A2-CDA1F7199ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848747$E75246ED-B1EE-408E-B451-11CF22289D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848747$44E0B27D-D11D-4146-BF4E-34B7D9671319","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab43c08b662d3e7a397c66e2dd99e17070e79873","datavalue":{"value":"5677846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848747$EFA73A4E-2F41-47B1-93CB-9A09BB4ACD96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e1c8cb5c3f592609cefa3e00954794a9632ba4","datavalue":{"value":"generic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q848747$0E950C66-CCE9-46B5-AE5C-7E33AD56819F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q848747$02B8AC46-3B10-4671-B798-5B2884163764","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":"Q848747$1A0616DC-9A15-48BC-B75F-671FEB70972B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35572575d5e39e01beee9162321266a3b5685bc6","datavalue":{"value":"https://doi.org/10.1007/s00224-008-9120-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q848747$F5021D8A-C318-43E7-A132-967029163D28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8df05c6401af4e919a9961f7e29d82669cf0f4fb","datavalue":{"value":"W1996544046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848747$8562C90C-6AAC-44B0-B22F-7A9AF3590535","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a581f96e8cabd60b98280dbc93b840cb31eb7421","datavalue":{"value":{"entity-type":"item","numeric-id":3339289,"id":"Q3339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$258E9F6B-8067-42D7-91C4-BF581FA916A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22d10c95b0ebe0daf2bc188e4332b0ee20f5cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5757460,"id":"Q5757460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$A67529CC-B0F4-4E3A-BA43-B16F952630AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cc4c5b12bdeb4bc8fd4208a2741062bdf868af","datavalue":{"value":{"entity-type":"item","numeric-id":3413362,"id":"Q3413362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$325805F3-7F6E-4065-85FC-3BDFB544513A","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":"Q848747$71B9E3E0-2BB5-4AC8-AE2C-AB4A628B8E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba05b6b2105bb1fc3fb671c077db1793db29bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2372684,"id":"Q2372684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$2AC33BB3-DC30-4DE3-96B4-1DEDD93F22DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d7ca8b0234359bc7dff84ba74f7b4aa6a580a1","datavalue":{"value":{"entity-type":"item","numeric-id":1399190,"id":"Q1399190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$266CBCAB-4375-461B-98CD-818B66559278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd268f69949c0347feabc15314f5a9283442809","datavalue":{"value":{"entity-type":"item","numeric-id":703812,"id":"Q703812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$1521AC31-97AB-4A9A-B35D-E46FAFC4BCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343c62e5afe018772c394059d15f9b69864cf2c0","datavalue":{"value":{"entity-type":"item","numeric-id":1277382,"id":"Q1277382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848747$1FA4AEF5-8393-4068-AB00-CD5B3D931A3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6488cff5916fadb1745df2ee8c76397f6ba5e9e2","datavalue":{"value":"10.1007/S00224-008-9120-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848747$7F709BDF-8E9E-494C-A0E4-EF1FEEFF7A22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"289332b3f58f6bb4183d886b74a5fd8319f77061","datavalue":{"value":{"entity-type":"item","numeric-id":3499785,"id":"Q3499785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7421d551270f385e670ac360d3d3b84f9c3c06e","datavalue":{"value":{"amount":"+0.9762782454490662","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":"Q848747$BEACCD15-5246-4EC4-B330-6324B542A3E1","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":"5e8874640b335d97421ba918b3e4d8bab96b9c78","datavalue":{"value":{"amount":"+0.7994071245193481","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":"Q848747$3E77BE28-26EF-43F9-B86B-9CD6CF92F153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2d5fcef518e84b8735d449f5bde4dd7de5df8a","datavalue":{"value":{"entity-type":"item","numeric-id":890867,"id":"Q890867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d29eca15a3729f3daf68a2362636b2bf8a9b52","datavalue":{"value":{"amount":"+0.7836088538169861","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":"Q848747$B382B932-4B68-468C-AB6D-7E05D6807059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd3e5debe75f81f36ede20b27d7ae4824a0bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1361890,"id":"Q1361890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050381257ae0cffe888120b3ff6973a95bb78399","datavalue":{"value":{"amount":"+0.7672004699707031","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":"Q848747$76D0EEE9-31B8-4717-8767-C80764829457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd0e50103865d03b353367f492d33edd6293389","datavalue":{"value":{"entity-type":"item","numeric-id":4978025,"id":"Q4978025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f3aef5e1a34755731d615ab2967487b9bda0ba","datavalue":{"value":{"amount":"+0.7611157298088074","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":"Q848747$2FE9EB02-5C48-4A79-8E3D-D2F2224014B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic complexity of Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_complexity_of_Presburger_arithmetic"}}}}}