{"entities":{"Q1063589":{"pageid":1074341,"ns":120,"title":"Item:Q1063589","lastrevid":48851671,"modified":"2026-01-06T00:20:50Z","type":"item","id":"Q1063589","labels":{"en":{"language":"en","value":"Real addition and the polynomial hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3918354"}},"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":"Q1063589$219B3AE5-F5A7-49B2-8EE2-6AD05D7FC07E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8a2b6d49c73af51213b626c8c82b47988eb3cbd","datavalue":{"value":{"text":"Real addition and the polynomial hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1063589$0805490D-3D53-4D06-8B41-38BF76655282","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d27771db4895a8bb1b67716278a244d2d840270f","datavalue":{"value":"0575.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063589$4597CE73-6227-4379-A9BF-85DBE66313FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ca39e17f7da5a727c24f1fa142cc973006c8c26","datavalue":{"value":"10.1016/0020-0190(85)90076-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063589$754AD58F-0C3B-4586-9131-0966AD9E9474","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$FFDECAC1-ECFE-4F41-8F0E-FD9E7AF5576B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1063589$87ADA09E-41EB-4EDA-83E7-CC39D65DC80F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8451959f99771c55f4172a8cab81f83ccabf8f2","datavalue":{"value":"It is shown that the problem of deciding the truth of a sentence of the first-order theory of real numbers with addition and order given in prenex form with k-1 quantifier alternations is log-complete for the kth level of the polynomial hierarchy, i.e. \\(\\Sigma^ p_ k\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063589$D758FB7D-0B89-47E5-9400-D6EBF1C2742E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063589$974CEFD0-995A-445B-9E04-A2EE3A34521E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3438bbaab37933f117e89f07ec32766004e2958","datavalue":{"value":"3918354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063589$C7AB14CA-A941-4A1E-A108-0C8172C397D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6342b3970118050b2bae095124cb8642aecde4","datavalue":{"value":"log-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1063589$18AD2473-32A8-48ED-9288-3CDB86C89914","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$75ABEC2F-0B70-4C84-9187-DC6321B8DB07","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":"Q1063589$22E821CD-AF58-4BC6-BD1B-F3F0B507F746","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ca28cec7d7d8a785eaf78934e0cdb4af7419706","datavalue":{"value":"https://doi.org/10.1016/0020-0190(85)90076-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1063589$ACC83538-7BC8-4E9B-835A-CC1D5DA189CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7530c131c05999dcb0efa782ff96f7d761056ccd","datavalue":{"value":"W2035496804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1063589$7FB2206A-82B1-47B4-8239-99A91765BC8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b35afcacf487f7d4833dfa5c8ec078202260d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1096620,"id":"Q1096620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$6010377E-1310-4702-9DEF-CF2262F9DEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$C7BB377B-1954-4F81-BFBC-88974CBE7B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d1f99209118318c5224afcbafe9d76aa7f8425","datavalue":{"value":{"entity-type":"item","numeric-id":1155607,"id":"Q1155607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$30D2965D-7EE4-41F0-8C71-7EBAA87BCB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$0B8FE633-1C2D-40F5-941F-9EC6C824D0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$09CE0C0D-6415-47CB-A697-0C8C92652938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8fea9a5dba7c0c825c98a79aa7f9c13491987b","datavalue":{"value":{"entity-type":"item","numeric-id":5547252,"id":"Q5547252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$FE8D300A-9CF8-4876-BA0B-AE00B8BBDC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14ca892188a77f257e2dcd13979b318db6f52cc","datavalue":{"value":{"entity-type":"item","numeric-id":772442,"id":"Q772442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$C33CB4AF-742A-4935-9CC1-C606B2F64596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1045b39257154cb2764941f22df071f4a1439d","datavalue":{"value":{"entity-type":"item","numeric-id":1166778,"id":"Q1166778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$8402FA26-0C3E-4F80-8D73-0D1BDB0350C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d1f0b6a533158f22961dc6ce99956f7828553d","datavalue":{"value":{"entity-type":"item","numeric-id":3929480,"id":"Q3929480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$ABDD156E-9973-4655-BE79-5EDD915A4130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$873FA3B7-6C3A-4444-B273-22740BA88119","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb5b7427c1f32f99a1cfc4916c12f880bea90b3","datavalue":{"value":{"entity-type":"item","numeric-id":6481980,"id":"Q6481980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1063589$7F26D6BF-C1DC-4F44-810B-B3426F5799CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77681767f44b39482462c6d228580e8ad9cfa900","datavalue":{"value":{"entity-type":"item","numeric-id":2754200,"id":"Q2754200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c381de6ff6a9ec487f10dc3bb788743fad1f3a","datavalue":{"value":{"amount":"+0.7761455774307251","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":"Q1063589$A03AD32A-111D-440E-8C24-19D6C5C90A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60538cba9b2ea45b4f3fd1e9c8c2a2ce39b27192","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55feaae6d245aa88f4a894473ef06d79eef1a943","datavalue":{"value":{"amount":"+0.7597806453704834","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":"Q1063589$190A80E9-EF0D-4E98-9B29-639E40528680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b19442f4be956c13b6919cdb42e9182d5bb7c7","datavalue":{"value":{"entity-type":"item","numeric-id":5301626,"id":"Q5301626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55feaae6d245aa88f4a894473ef06d79eef1a943","datavalue":{"value":{"amount":"+0.7597806453704834","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":"Q1063589$19B257FD-C898-4035-8752-AA95F37951D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cae51ea13ed26b6860e3b2744a40e9c4f8b73f","datavalue":{"value":{"entity-type":"item","numeric-id":3480175,"id":"Q3480175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd70abc26b1e755a0ba69139e04160b973ad9dd4","datavalue":{"value":{"amount":"+0.7539652585983276","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":"Q1063589$B2DDD7AD-6684-4C93-A1AB-7E3A4C507A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbafde70aefc85dd61283a333ac3822e14e89c7","datavalue":{"value":{"entity-type":"item","numeric-id":1338216,"id":"Q1338216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c0845b696198ab9cb9a35b4f45a7ba6c9c81da","datavalue":{"value":{"amount":"+0.7410422563552856","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":"Q1063589$4C9CBC75-D091-4427-929E-EF2604C2D763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1063589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1063589"}}}}}