{"entities":{"Q5187264":{"pageid":7216836,"ns":120,"title":"Item:Q5187264","lastrevid":41550144,"modified":"2025-05-05T18:21:23Z","type":"item","id":"Q5187264","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895043"}},"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":"Q5187264$5DB5CEC8-7BA4-4C04-85A6-3229DC9CDD04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b40ba64bee82952f4d4ddb8be6ba5f94339b87","datavalue":{"value":"0562.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187264$E29A385A-CA99-4AB1-9B77-FA2297D1A699","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187264$F10F78A6-EB9F-44C9-B410-C82409589CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187264$C378FC63-D969-4774-B3A6-8DB03D96AE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187264$FA0FA27D-7C56-447F-BCC9-A6DFAFB8B7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187264$31F51B1D-D17A-4955-A167-4A207B961CEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77bfea88ab79b36a1a998b399e731a4a5482aa24","datavalue":{"value":"3895043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187264$E8E107BB-BE5E-4716-A029-72FD7E31BE8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be7bdc4fac674353bfdc11188c919e2c3129fa99","datavalue":{"value":"subexponential complexity bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187264$FAAAC2A9-E636-4371-BC59-96C33F7C0FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c9c3f9e2063ea9a2ce01a75a006ac0bc199feb","datavalue":{"value":"first-order theory of algebraically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187264$1D51E6F2-990C-4F3F-8A7E-5CCF1CBF7429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62aad4e23b2f7dd73fff7fdf2b98241526182721","datavalue":{"value":"number of quantifier alternations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187264$646A8C68-6AB9-4AAD-B98F-2B364C8442BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187264$E8F7B6B4-5FD1-4998-9FBC-E55BB35CBBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946c0cd1cbfd3bab82e1023767b7e9bfaacd610e","datavalue":{"value":"quantifier- free formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187264$AE9AB6AC-174D-4657-B684-BF075B77F0D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6baf8291f4a193d94bd1974fa5a02872bc8b3635","datavalue":{"value":{"entity-type":"item","numeric-id":677032,"id":"Q677032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187264$9BA4966F-FDD3-4F94-98E9-D3044F4BBE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a79399764b502030de9c1fe7fb099f6c796d65","datavalue":{"value":{"entity-type":"item","numeric-id":1583885,"id":"Q1583885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187264$29CF92B2-6AA7-47E5-9C2D-DC94BE235563","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":"Q5187264$D189169B-8041-4271-A4C0-4F4CF2C6112E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cdf4c967b02721535b6e4e9457e5405916b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":684955,"id":"Q684955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24208d566a7cac6ac6e441967182d18b093fa780","datavalue":{"value":{"amount":"+0.96946585","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":"Q5187264$ABD7CB24-CBDB-4CCD-858A-BD211CC6DC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c1404fe9c3ccae8960f7971a036a7dd5151a1c","datavalue":{"value":{"entity-type":"item","numeric-id":3481680,"id":"Q3481680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d8add38813d41513214eebb0b6525cc6162393","datavalue":{"value":{"amount":"+0.9664733","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":"Q5187264$4B31B4C1-9A6E-4325-A068-EF5AF04859F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf70fc4006165321afe8c3a2017afd3e9646ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3582707,"id":"Q3582707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712e82ad8f216edde0b734f74181de5f96c2196f","datavalue":{"value":{"amount":"+0.9430522","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":"Q5187264$968207FF-5E2E-44EA-A336-73BC744EFFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce24ba673619e9e05ac5eb5ec2406f4a100f96ed","datavalue":{"value":{"entity-type":"item","numeric-id":1759771,"id":"Q1759771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34083bf80f91d2a4ce732ee0214fabe58013c233","datavalue":{"value":{"amount":"+0.93718493","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":"Q5187264$E61A5940-1312-447C-8310-B274743E07BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2eb872ef1f474a3233e67145c964c6684d47e5","datavalue":{"value":{"entity-type":"item","numeric-id":798314,"id":"Q798314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bb4b57a7a2ccc7f8156a4726ca32ddc9362874","datavalue":{"value":{"amount":"+0.9345991","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":"Q5187264$688063FF-C17D-4618-8C9B-F8321078EA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d010c3fec7065ca4334970b11249433c1bc1d19f","datavalue":{"value":{"entity-type":"item","numeric-id":3717026,"id":"Q3717026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bb4b57a7a2ccc7f8156a4726ca32ddc9362874","datavalue":{"value":{"amount":"+0.9345991","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":"Q5187264$77D0E6F9-03FA-424F-8180-E7CBE609D603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092c7f88d257293e2dd87c8988077f5d57b7dec7","datavalue":{"value":{"entity-type":"item","numeric-id":5957912,"id":"Q5957912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170679f25ed037656e01add10341f48ca2421875","datavalue":{"value":{"amount":"+0.9260003","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":"Q5187264$017A0720-817B-4FAF-AB92-CB86618D3D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f874c1d73397d07d62dc9c26be0a1271fd19c1e","datavalue":{"value":{"entity-type":"item","numeric-id":3026977,"id":"Q3026977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be27b4802ca4a08a244a9f39d69aea151845f71","datavalue":{"value":{"amount":"+0.9222717","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":"Q5187264$4E965439-D2F0-49D8-AA93-78B04C0200F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc98d0a94a1263d70019e7fd017c8221ca3c6425","datavalue":{"value":{"entity-type":"item","numeric-id":3767321,"id":"Q3767321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0cda92f18337a372fabc24787048de98a786eec","datavalue":{"value":{"amount":"+0.9210672","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":"Q5187264$CCD707A5-BAF4-4BAA-B00E-48FF7F712F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735cd55eaee1b916a1454f2ddeacda7873d3ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2019416,"id":"Q2019416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06479be58520f701b6437601102c8c77b50043a","datavalue":{"value":{"amount":"+0.91975486","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":"Q5187264$AAA4B4AB-0FFA-4347-B23A-30B0A74D18CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187264"}}}}}