{"entities":{"Q752692":{"pageid":754541,"ns":120,"title":"Item:Q752692","lastrevid":64111857,"modified":"2026-04-11T17:43:29Z","type":"item","id":"Q752692","labels":{"en":{"language":"en","value":"Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179349"}},"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":"Q752692$1B4B1F4D-6541-4516-9E80-AEAAC34A524E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"760013b6ea57f1eadcdbcc3432dce795a367e08d","datavalue":{"value":{"text":"Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752692$A4F1720E-C9E9-4651-AA6A-6329F1A44364","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"286a45489f8a10515c446d2693f972f5b93ab390","datavalue":{"value":"0716.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752692$475211A6-4DC4-4524-9205-5E9B6DA32202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f6313284871b598f5df6b828781931945580a46","datavalue":{"value":"10.1016/0022-4049(90)90159-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752692$E461580B-E8DB-472B-829C-6C898943F243","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"449bf4052d51d818e2124df759f18419af13059f","datavalue":{"value":{"entity-type":"item","numeric-id":752690,"id":"Q752690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$DA485E70-0D20-49B8-BD10-679DB3411FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2fa43ce522b2ad338395e0b838a1d8cea9fdc65","datavalue":{"value":{"entity-type":"item","numeric-id":752691,"id":"Q752691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$8D6ECF63-09BF-41A5-9CEB-C5E3D47DB4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e9236b9435fbaecf2f5e346085dafd73b5dcbd6","datavalue":{"value":{"entity-type":"item","numeric-id":1228291,"id":"Q1228291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$AAF0CF05-0EA3-4404-AE3E-BCFF41C70268","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$03181A46-7CE9-4F7E-99ED-33B6598FD79F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q752692$DC3FF71F-511F-4C20-8158-2990026E30CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752692$A4F27919-7A78-4FE0-B5A4-3BA571756FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752692$3284F907-98E8-4EBD-8AE4-F24B53C98E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752692$CBC62B94-EB6A-48BE-AE50-6AD79F8C3217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752692$49FEDE93-F49D-430B-982F-5EE42010E771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d18c23901f5df3cf283d78ad7402f6c76baabbf","datavalue":{"value":"4179349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752692$EE10424B-C6BB-4E08-812C-7C2655F43E65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1003a416e7920111284beca6b7603990b20b92e7","datavalue":{"value":"fast quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q752692$7041F096-643E-41A2-8846-A477DDCB6597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9c84f57dfab740dc8f3d8751e1860269efcdc53","datavalue":{"value":"elementary theory of algebraically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q752692$02C9E4AD-37D5-4CA5-9216-299B88903541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q752692$19C30586-2163-456F-8594-03FBE2DC3DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q752692$11776C7C-BFD2-4EF1-A387-C6A7A524018A","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":"Q752692$1B1B2B08-C2C4-4212-BABC-544CE70907DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac5cf4439390f0ac96b4682099c3758fa09a118","datavalue":{"value":{"entity-type":"item","numeric-id":1117693,"id":"Q1117693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$902649BA-3342-4F1B-A094-98327EF71218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c7a78759148ce6b1abced42ef4a952f4334dd8","datavalue":{"value":{"entity-type":"item","numeric-id":794429,"id":"Q794429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$67F8FC08-4E07-4CD3-AED4-E76F90628AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbbaaa8aa0b45f84f1a46008cc70ef30ab4e56c","datavalue":{"value":{"entity-type":"item","numeric-id":3712417,"id":"Q3712417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$58CA2E9E-447F-4517-9DDF-B5E36D51A331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$B316F41B-2354-4BAE-8319-E4A0AECB018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$D5329AFD-2C61-452A-8D7C-3F8BA57829F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4f243234fde085bc8d007a8accd2c9a0ebce13","datavalue":{"value":{"entity-type":"item","numeric-id":4203817,"id":"Q4203817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$28FB7751-5067-4AD9-BAEF-9BB54A234D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75de67cd130ff41e9deb601c5916780e9a88123b","datavalue":{"value":{"entity-type":"item","numeric-id":4204240,"id":"Q4204240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$98BC092D-486C-4D6A-A96D-BBBE1412CD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa745fed236513fb52d9febacf8c197e209a16c","datavalue":{"value":{"entity-type":"item","numeric-id":3728104,"id":"Q3728104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$57B4189C-CF7C-4B89-B561-E5F212DACB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0d7c2f9fbebdd682ae380725d8093d2d4a292","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$9AA062AB-CDB0-474A-A296-25EF7406ED71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6fe189349bce60c0acf5229fcd168dac8564eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3719722,"id":"Q3719722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$16E3C9CA-5491-499B-9082-C04035B8AAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5771c621898803b98f3d8a7a0d4749a51ec11f","datavalue":{"value":{"entity-type":"item","numeric-id":4725742,"id":"Q4725742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$B86DD4C0-A60C-4459-AF56-DD9AF80F84E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282329e5b7a8bcb22144bafd8b1fc8fc66b84a01","datavalue":{"value":{"entity-type":"item","numeric-id":3710617,"id":"Q3710617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$9B2BB2DC-BF39-4944-B6A1-3346E1B0EFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c8dce263da0066f058015b2f7a282ce447f435","datavalue":{"value":{"entity-type":"item","numeric-id":3767321,"id":"Q3767321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$1861EA3A-A521-4097-93BC-25F5B62FE925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e1e1e9cb6868fd15db8869ba803d53c4b3b4d6","datavalue":{"value":{"entity-type":"item","numeric-id":3717026,"id":"Q3717026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$56EA84C6-F2F7-42C2-BEC8-88B8397B9094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bb92181f8c1810e42f6ddfd619a56e734011c6","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$5751AC51-BA88-4B66-AFA0-426A5E8276BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30924dd5a7e603f34cc7425c9169b88b1dacd84f","datavalue":{"value":{"entity-type":"item","numeric-id":3272926,"id":"Q3272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$5E2295C8-38A9-4B2B-9863-DD58339C50EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc5ea4b10a7a41f561765592a4d631671291a81","datavalue":{"value":{"entity-type":"item","numeric-id":3892345,"id":"Q3892345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$58669D44-52D3-4107-B484-AD8DC9A60A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094b2daeba505ebe3811fe056178fca95ed69216","datavalue":{"value":{"entity-type":"item","numeric-id":1052379,"id":"Q1052379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$23B7FD71-2A0A-4FD9-9E72-7FD7BA5F79D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$5A7F1344-70BB-4E61-B516-17E20876F024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51c2dc89b37166f3831c7e4c0ab36979a927824","datavalue":{"value":{"entity-type":"item","numeric-id":4128897,"id":"Q4128897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$FC61E23E-096A-448E-BC29-4B291B5A177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752692$7AB0C256-C158-4A79-A964-A7FCCD841989","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01820d6ef78adbec4f0ed947fde749bf6ff3406d","datavalue":{"value":"https://doi.org/10.1016/0022-4049(90)90159-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q752692$DAB12821-7267-49A4-BAE5-99BCAFBDA5E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15e35073cfe9013397ba572cda0fd1177ce1ea24","datavalue":{"value":"W2078730239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752692$BB5943D2-855E-41CF-8D55-423562CA7051","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9a9b7b8e09019ef0f9de23f3a68f2dce39b89a","datavalue":{"value":{"entity-type":"item","numeric-id":1295548,"id":"Q1295548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b10f9d069a481fff577b55621ac1bb5efcc537","datavalue":{"value":{"amount":"+0.8479317426681519","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":"Q752692$0738C1A7-0734-41F3-B6B6-16958ED2E234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b28dc28639af347bd9fe259407cf2dca7f4761","datavalue":{"value":{"entity-type":"item","numeric-id":4232480,"id":"Q4232480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b10f9d069a481fff577b55621ac1bb5efcc537","datavalue":{"value":{"amount":"+0.8479317426681519","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":"Q752692$3C0AA264-B066-4809-8A2A-C4CFBEF883EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306abe1356fcc123c8a2e7b5fab1e5ae33022f96","datavalue":{"value":{"entity-type":"item","numeric-id":3483266,"id":"Q3483266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e992bfb803b1b61c17d8dbe99e931fe23eb7fc4","datavalue":{"value":{"amount":"+0.8477282524108887","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":"Q752692$487FC55C-4C88-4715-9B41-800A362BC231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed35c47223a16298842485a66014826d905e4a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71e8b9aaafb709f5c5ebde82a6e803f0ef96613","datavalue":{"value":{"amount":"+0.840328574180603","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":"Q752692$7FF27DEB-17A0-43E1-B739-D95F3E337231","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":"91013aed45279835628101dba7e0396e0717b4f9","datavalue":{"value":{"amount":"+0.8360123038291931","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":"Q752692$C43FB42B-79AF-4251-93A0-9A27DA6A6096","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Precise_sequential_and_parallel_complexity_bounds_for_quantifier_elimination_over_algebraically_closed_fields"}}}}}