{"entities":{"Q4226937":{"pageid":6256538,"ns":120,"title":"Item:Q4226937","lastrevid":41637514,"modified":"2025-05-06T16:09:08Z","type":"item","id":"Q4226937","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1253963"}},"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":"Q4226937$CCEE0A0B-5462-4973-9152-DD52E2D02319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e32d78fa48b8170f2c2bc4ed828ce52bb7011607","datavalue":{"value":"0915.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226937$CC335B93-3238-4688-A802-BA5DC06464DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4226937$5FDE765A-C197-49B4-8E56-C83EFF9E43F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8538f1ba6baa09d5d0d64bc29fdc3e18f7dc8f68","datavalue":{"value":{"time":"+1999-07-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":"Q4226937$80AAF7CA-C717-41CE-ACA0-151667F166A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226937$FBFD309C-2E2E-4C2D-B98C-6C10CD129D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226937$FD24BA28-3D0C-4E66-BD10-5C7C4DE43D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226937$62273A10-66FD-4B24-97E4-F830600DD357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226937$5D44BDF6-1A3D-4E09-B6D1-4323DC91E9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226937$66409194-1C70-421B-8E09-B26934309C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226937$EDCF71A2-8AA4-4D50-AB7C-C8E51A64CAAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39df7452818f4b9c75ab1cf7895ccc7e335b5f10","datavalue":{"value":"1253963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226937$4D9FB62E-E12E-4CBC-AEE8-5B941CEB1F73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548f2a0c8cb0d7ed5102da751139308480121184","datavalue":{"value":"Presburger Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4226937$B5E7CDA1-2072-4278-99FE-244AA357720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ab510cd8009130dae02d9b64e0ed6463c22442","datavalue":{"value":"complexity of quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4226937$84C4E701-3B0F-4B59-BB4B-5A7380341F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f2ad5c4231d2c66e8bec71180d51946db2f696","datavalue":{"value":"upper and lower complexity bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4226937$33FBFDCF-1031-4376-965D-3ED95588A9A1","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":"Q4226937$3FAA9B47-77B7-4B62-8AC4-8F6C6E456085","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":"b8ed8f5b8cf08b918efbc65a9d90383bfa8e7320","datavalue":{"value":{"amount":"+0.92621756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$4206CF87-5A12-4EA5-A6A2-4A93BE42929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31aab157b1a64a7cc0c7c65a7f4e1f9b77773670","datavalue":{"value":{"entity-type":"item","numeric-id":848747,"id":"Q848747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ed8f5b8cf08b918efbc65a9d90383bfa8e7320","datavalue":{"value":{"amount":"+0.92621756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$A15E0281-9988-415A-B132-B088CD5B9532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71ef34dd11c176484ee799cb30974cbd3da1f61","datavalue":{"value":{"entity-type":"item","numeric-id":5108860,"id":"Q5108860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d4bdbb5736beced25e6ecd2bf144fec005af8f","datavalue":{"value":{"amount":"+0.9218337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$B5287332-6637-4FBB-B0E8-3369878AF0B6","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":"ab69f9037f7a0c3d37a7662b35e03fc64c7895df","datavalue":{"value":{"amount":"+0.9174279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$C8444976-4EDC-486B-B3CD-9362DB6D901C","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":"80fcac1c20f5b9eaef95460c424d22357f2a6a7e","datavalue":{"value":{"amount":"+0.91624403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$C5647358-A627-43D6-A074-7E0802F9D5FA","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":"4c7b14903361d2e6289c7a108b2cc50f451c6057","datavalue":{"value":{"amount":"+0.9127148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$A4D345BE-AE31-40B0-92A3-C0FAE00614DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26bd974c329365f000622429fb9931c7fadcba51","datavalue":{"value":{"entity-type":"item","numeric-id":5717064,"id":"Q5717064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f428fe83f95ae994954f317bfad6ddfaae4e431e","datavalue":{"value":{"amount":"+0.8946345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$20BC42C9-D448-4777-B0AB-C5D86A6A94CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69fb8d118baef927440763a723232b59dd3174c9","datavalue":{"value":{"entity-type":"item","numeric-id":862401,"id":"Q862401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120ac237aeb8644b11b0a5881d36accd7e270d77","datavalue":{"value":{"amount":"+0.8942472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$D77A106A-762A-4586-90C4-417E14F4F87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0de4b76140567034c226ab385b26fdc884ee6c3","datavalue":{"value":{"entity-type":"item","numeric-id":1330148,"id":"Q1330148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c56b78b386cb12668623fbaa0bb25c1a3cacd2","datavalue":{"value":{"amount":"+0.8923274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$C4258667-3DE7-48FC-8B32-2362E0128F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd1da1462720572f75f030936eea2f5f28f7031","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f59d69dea4387cf1fcb9d4648d2704a1d38f492","datavalue":{"value":{"amount":"+0.88586384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226937$34CE7D71-053A-43CC-8470-23C7EC727C89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4226937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4226937"}}}}}