{"entities":{"Q3140551":{"pageid":3151267,"ns":120,"title":"Item:Q3140551","lastrevid":47202805,"modified":"2026-01-01T00:06:31Z","type":"item","id":"Q3140551","labels":{"en":{"language":"en","value":"Improved Algorithms for Sign Determination and Existential Quantifier Elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440389"}},"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":"Q3140551$3B214C1E-0A31-4137-9779-A3CF188B9F87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c26c3acda341bc5b06018ff011f50652bf90d6d","datavalue":{"value":{"text":"Improved Algorithms for Sign Determination and Existential Quantifier Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140551$FEA1B952-58F5-437A-A14C-918BBF26AB7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3cfc00a5d98ac11770ec4e07ee6331f0bd06d16","datavalue":{"value":"0789.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140551$B2F1DD54-4C7F-483A-892E-0B509A34BD61","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":"Q3140551$602E879C-FC53-440A-95F8-6FA97D615715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27ae8e0ebd05772ccdad25ddba931e713bd9a4bf","datavalue":{"value":{"time":"+1994-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140551$ACB6185D-C57F-4B5C-A674-1E056E90DB0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140551$1C0C23A5-8461-491E-A7C9-1E314C52AC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140551$1936C82A-B653-4DCC-8F65-9BB991B9CBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140551$8204B71E-DDFA-4B19-886C-8953CD07E084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22f9a29f98c5ed1836cd1c673d31465c75c7da39","datavalue":{"value":"440389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140551$FE90EA72-9B1F-4692-8B09-BC51E93F735E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140551$BB2A341F-8C4C-4602-8E38-691900BEEF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140551$51F6B3E8-5A2E-4806-AE1B-F438FAE8F638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96cfb323a44a09df9754faef9d69d5a01f1c2206","datavalue":{"value":"semi-algebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140551$291F6683-6924-4286-8FF2-C57C2A74E7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee03cbbae4d98f73739e19392f6f5a9060dab6e4","datavalue":{"value":"sign determination algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140551$A252260F-D797-44B9-B81B-30350875F3B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2896cca2caf18a21cca1ebc8296a17dea305684d","datavalue":{"value":{"entity-type":"item","numeric-id":1260753,"id":"Q1260753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140551$AC80A0C4-3000-43A3-94AB-0B249C46DDC0","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":"Q3140551$403F1012-0772-4E37-A55E-927122F60F54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ee8bd6bfb6b120db312bda1765571f55b159169","datavalue":{"value":"https://doi.org/10.1093/comjnl/36.5.409","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140551$D6E42C2F-471D-4B6A-A1C2-E7C051E50AF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e905e04175779d64a470ef911a78bee80bacd63","datavalue":{"value":"W2012189264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140551$7B58D7F5-82CB-4EDA-AB49-9E8746D50BA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e1c20c73b7cd2d717d953d476f363e8c362439","datavalue":{"value":"10.1093/COMJNL/36.5.409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140551$3E2F40CD-E8AC-4E20-9368-0C44F6B3E8D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201f88c6add97fcb2ad85bda4aed9e3c234adc12","datavalue":{"value":{"entity-type":"item","numeric-id":4038744,"id":"Q4038744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65c95612fa215a99854b7e5e833562cf2a7cf40","datavalue":{"value":{"amount":"+0.9613717794418336","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":"Q3140551$E165CD44-3626-4116-90C8-7D6D5EB1099C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5b36fdbf9ac4d904d23b02f53375ef156f36dd","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65c95612fa215a99854b7e5e833562cf2a7cf40","datavalue":{"value":{"amount":"+0.9613717794418336","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":"Q3140551$5DAE31A6-4319-49DF-9428-2BEBD3FDBABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e2ccad44c8f0d375f4f851eec372eee388a44da","datavalue":{"value":{"entity-type":"item","numeric-id":4295430,"id":"Q4295430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066d80050efd089e4e16d88c0e29ff30b0b2de5e","datavalue":{"value":{"amount":"+0.8806513547897339","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":"Q3140551$72F67FF8-E9CF-41C8-B5D6-664FE76FD392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e456401af789634c81bb6d12674d5d6d5aea1fae","datavalue":{"value":{"amount":"+0.8594191670417786","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":"Q3140551$312CFED9-0466-45F2-9637-DB5B1435F771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd1da1462720572f75f030936eea2f5f28f7031","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf7558f57451c44b61b6bb6cf0c563da8c4d6b9","datavalue":{"value":{"amount":"+0.8505672216415405","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":"Q3140551$21D340AB-62CC-4573-9B4D-C0A182D21077","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140551"}}}}}