{"entities":{"Q3582707":{"pageid":5612611,"ns":120,"title":"Item:Q3582707","lastrevid":51062567,"modified":"2026-01-16T11:13:38Z","type":"item","id":"Q3582707","labels":{"en":{"language":"en","value":"A formal quantifier elimination for algebraically closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774508"}},"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":"Q3582707$AA538ADE-D6C9-4933-AAE7-F587E84ECFD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4f4232f2df0f28a03aac805acd3e0a77c29879e","datavalue":{"value":{"text":"A Formal Quantifier Elimination for Algebraically Closed Fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582707$63ABE6BB-8856-438D-AD39-E93B90886B11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ac0847b3fc36277748ac51d668287336646cdf0","datavalue":{"value":"1286.68394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582707$FE133D93-32F1-4707-AF23-13E6BCD0164B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cd1b93b456c03399ed8bb0fba5acb520c27a90c","datavalue":{"value":"10.1007/978-3-642-14128-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582707$1DBE8D53-5B8D-4026-851A-9F5D2E96B8A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582707$8352D9F2-023A-457A-99BB-35F24E89F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582707$F39BD036-9350-4589-8323-9C5E36470E82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582707$B5044E02-F845-4E98-9E70-82B622A98CAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582707$ADD8803C-0E62-49C9-9312-E8933715CB29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24c5e69405a452a342d170885c8752789e927229","datavalue":{"value":"https://hal.inria.fr/inria-00464237/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582707$94DA3A08-CA2A-42F7-BF0A-D312212C3913","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582707$3F3D4DBD-AE61-4E5A-84EB-EEEA3247AD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582707$4EF74B0D-F5BB-479D-B8CE-CD3FA01D9E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582707$A68EECB3-2ED0-49C3-8BDB-2B7C2F685E6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39f6322717c62669b2ca7c46f7a36a373b50bf7e","datavalue":{"value":"5774508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582707$A4C231A2-48A7-42AC-929B-AC3BF298FD9C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582707$102C0E69-6E9C-464A-BFA0-C563CCA942F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582707$2C3D552F-CC93-4703-823D-F8FB102DAF9C","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":"Q3582707$CB9DFCE7-B40A-4E16-B162-1EEEE1F1DFA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94c058bb614fdc57b3e81dced800a59ccca1f819","datavalue":{"value":"W4250099094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582707$5AD16E78-04AF-4E2B-AC31-13E3887E4B18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ec920ab89881ea6f80de9366affd1a87504357","datavalue":{"value":{"entity-type":"item","numeric-id":2852041,"id":"Q2852041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb54e1a307b0e7ba9cca3d7a8cda5f9d6d80db4","datavalue":{"value":{"amount":"+0.8507291674613953","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":"Q3582707$491C20A9-4A7E-4827-9F06-7A24554E18B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a2e10dfaa8dfe1b0905c1cf88300746e0e240f","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91415ed350cc9dd707db4b41027e60edf0083014","datavalue":{"value":{"amount":"+0.8305733799934387","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":"Q3582707$8CF4CDAE-1829-42E5-8350-85C079D6EB43","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":"1ae74c0460c3dd50a50dae939590140ee7d73a3c","datavalue":{"value":{"amount":"+0.8296170234680176","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":"Q3582707$B458A59C-BFEF-414B-841C-4F87D9066851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6b0a0b80f4e13eb4388eb05880fdea99f512d9","datavalue":{"value":{"entity-type":"item","numeric-id":4874804,"id":"Q4874804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf693b5d9a33fe0d3207d7d52c8dc14c45ba529","datavalue":{"value":{"amount":"+0.8161683082580566","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":"Q3582707$267A9F29-3707-4CF2-A025-ED1468CFC8EE","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":"fff4d7dfd5cdd76f2355e255380a55f6217f7cca","datavalue":{"value":{"amount":"+0.8161262273788452","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":"Q3582707$D697780E-42ED-4D1D-BA91-E21F0A106DDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3582707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3582707"}}}}}