{"entities":{"Q3140550":{"pageid":3151266,"ns":120,"title":"Item:Q3140550","lastrevid":47202802,"modified":"2026-01-01T00:06:31Z","type":"item","id":"Q3140550","labels":{"en":{"language":"en","value":"On the Complexity of Quantifier Elimination: the Structural Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440388"}},"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":"Q3140550$B5538959-E5B8-4173-AE33-EB69C6B64BD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1491da5eb1a51e973cb350cf00748152aa52c63c","datavalue":{"value":{"text":"On the Complexity of Quantifier Elimination: the Structural Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140550$7F8D75DC-BC7D-43A9-B58D-7B0E82ACEF42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eca28f9573b94e717a2eab4d5857cc4b86c97c3","datavalue":{"value":"0788.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$3644C6B2-2CAC-4DE7-8AE3-4EE13F81C786","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c2e1176b7e05a6aa00019f286dc7036ccdb20da","datavalue":{"value":{"entity-type":"item","numeric-id":199198,"id":"Q199198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140550$1325C419-F063-4897-BDFE-8775E3F70831","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140550$7A54B3B3-40D7-402B-9CAE-0912EAC02BAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a56fa44f05f9c865c2049cda281119f7946a004","datavalue":{"value":{"time":"+1993-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140550$7827B7B4-7896-4386-8A00-D3F4295B0AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$18DC7A02-A2DB-4B64-98EE-D4377D4EB566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$2AF04879-EB9F-4E8B-980D-5FC722F4A051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$ED93AAE4-7139-4BFB-BF14-158EEFC5C33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$C600329E-AE65-4E77-B5C0-2DBFB4B976E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$3615F4B8-2129-4D46-8B19-24A6FE4FF9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$921FF901-0760-440F-A7CE-402FAD28AC9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffbb814b0f8502e62ed7dcdc8ff44517f1c19c65","datavalue":{"value":"440388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$DF86FD5A-0939-4596-BB29-4B940F4AEFA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ab510cd8009130dae02d9b64e0ed6463c22442","datavalue":{"value":"complexity of quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140550$CFFB7855-8E6B-4BCC-97EF-EB3FF57AC245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6731aaa9dfd0f9aef83e4026b8bb29b4bd9dceb6","datavalue":{"value":"computations with real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140550$28763DFC-ED2E-4FD6-9CE3-017135771335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc89a4716315466f5e060821320160d0179405a5","datavalue":{"value":"model for parallel computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140550$59DDA82B-62E3-4A7F-BA74-6B904C9916D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62214791f69dc847e14720d93e95d09d9c8837a","datavalue":{"value":"polynomial hierarchy over the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140550$25D5DCDB-730B-4E4C-99AA-989C13373A44","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":"Q3140550$F4F88E5D-73CB-4FDC-A8D0-66FCE3DA257F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e2b2217553ed0a86439c8ab950b15a735bf75b4","datavalue":{"value":"https://doi.org/10.1093/comjnl/36.5.400","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140550$AD890325-8D40-4E17-9780-0470C5402DAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a49be3520382b2e37023ae5e836353bea3bd769","datavalue":{"value":"W2130164058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$1E512197-FCD3-41E2-A89D-E9BF86DABCB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec7e1f16e402e523a20b82c204efc540a9fd6fdf","datavalue":{"value":"10.1093/COMJNL/36.5.400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140550$D1ADEEA4-89BD-4A75-8F2D-5FD5FFAF1197","rank":"normal"}],"P1643":[{"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":"a62d81f0e5f9b688d3e82507ce04d9778b75150e","datavalue":{"value":{"amount":"+0.8470785617828369","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":"Q3140550$AB3E04F2-5C22-449D-BB94-135B8BA153B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c86c771834e1fcaeefca087983b9fe8a0ce65d","datavalue":{"value":{"entity-type":"item","numeric-id":5428810,"id":"Q5428810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62d81f0e5f9b688d3e82507ce04d9778b75150e","datavalue":{"value":{"amount":"+0.8470785617828369","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":"Q3140550$C27AD327-F73D-47B2-BC1E-C6C4A302BDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8610d660f16a92d1153e7a3d9ccfb80ca2679f08","datavalue":{"value":{"entity-type":"item","numeric-id":4713865,"id":"Q4713865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a579a9f88a62164eade33a347ae12e3842c642c","datavalue":{"value":{"amount":"+0.8024137616157532","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":"Q3140550$A0BD319D-C437-45E3-929D-9510519A15E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e703b606f36427127e5a5f6edee03487eab9391","datavalue":{"value":{"entity-type":"item","numeric-id":1185457,"id":"Q1185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab0eea547aad921a0261ba4258d017fbba03497","datavalue":{"value":{"amount":"+0.8021457195281982","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":"Q3140550$4FC7E639-F4A2-4932-890D-3A76E36DBC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e99cb12660ba3b85e1a745cef6993b0a24c2761","datavalue":{"value":{"entity-type":"item","numeric-id":1022429,"id":"Q1022429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab0eea547aad921a0261ba4258d017fbba03497","datavalue":{"value":{"amount":"+0.8021457195281982","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":"Q3140550$513BFEEB-419F-43F1-BABA-B4ED453A32C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140550"}}}}}