{"entities":{"Q3158549":{"pageid":3169265,"ns":120,"title":"Item:Q3158549","lastrevid":79993553,"modified":"2026-05-06T15:11:39Z","type":"item","id":"Q3158549","labels":{"en":{"language":"en","value":"New results on quantifier elimination over real closed fields and applications to constraint databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131040"}},"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":"Q3158549$A3D5EEA0-4B91-4343-AB74-91B0BD2BFD9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"670c9b9f0048734ca8fc779f0b9760bbf65de924","datavalue":{"value":{"text":"New results on quantifier elimination over real closed fields and applications to constraint databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3158549$C3D292FC-1D93-4E7F-87F6-A01557917073","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1706984dd9fcefb06e0a5aa910f4b889066fb31b","datavalue":{"value":"1065.03507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$4A48038A-6856-4B2D-B68B-5CD90B8CE8A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3131ef3f63fc8fad67db559400af4925a65e1bfb","datavalue":{"value":"10.1145/320211.320240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$EE63C90B-799C-4A9E-B52E-AF9C9FDCE8CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3795326fa27f47eff8cdbd074017fa2ad664ed08","datavalue":{"value":{"entity-type":"item","numeric-id":249474,"id":"Q249474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158549$BB6C5B4F-2049-4FA3-A770-9B5E72DD55F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3158549$F58AD5F9-32B5-4431-AB28-4E0860C80DD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1590bd54b214ce942d11ecbfe0ede26ab9b97ec","datavalue":{"value":{"time":"+2005-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3158549$94AC57CB-081E-4EF9-9BDA-2A455542B9EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$D6A1CB80-AA08-4ED6-A48C-10B1CD90E002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$975BFEAC-2CC3-4DF8-8689-D0B8BCD71D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$704BF858-3405-4C42-A4EA-5858505545C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$EFD84D61-B093-4990-8914-AD14F28FFF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$DCE4B2A0-9C66-4736-8477-3F69193C4644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$6A44B9CD-D533-43BE-8C31-F6968300B296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b12c3538bab88428b69e6a82eb8e2406c6036040","datavalue":{"value":"2131040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$BE10617D-50FC-46F4-8A3B-115D7BCA469C","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":"Q3158549$4A72A8BE-BA75-4B91-8306-3A0ADEC32376","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afe7538671b977df15cf6fa21319a01a790145eb","datavalue":{"value":"https://doi.org/10.1145/320211.320240","type":"string"},"datatype":"url"},"type":"statement","id":"Q3158549$B9DDA695-7A87-4857-8A8D-549800B2D534","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a427f5d61379ea196bb64f106f07d0d7ec63e89","datavalue":{"value":"W2017027749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$FA523F4C-D9C2-4223-894D-BADA6C8C903F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"033f8a96a8480f8d004fbfa39983b7315288dc64","datavalue":{"value":"Q129323773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3158549$5F612F26-72C2-4465-89F5-31CF2915BCF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d71d5193ce054f3c2a4769021eb183100d86e3","datavalue":{"value":{"entity-type":"item","numeric-id":4226933,"id":"Q4226933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241960e623b9d4d05b3df58d96c28ecd70572b6b","datavalue":{"value":{"amount":"+0.8882884383201599","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":"Q3158549$2A57A80E-2ACC-4CE3-A05D-F9DBB65639AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e089133e18c337574d39d66e8024f8adc95e7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758811,"id":"Q3758811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241960e623b9d4d05b3df58d96c28ecd70572b6b","datavalue":{"value":{"amount":"+0.8882884383201599","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":"Q3158549$3BF29A6D-DD62-441D-8EEF-D88160E3E276","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":"5449a382a5be0fd397fd8ba1991f8c179615a104","datavalue":{"value":{"amount":"+0.8776337504386902","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":"Q3158549$8E0ADA1B-9F21-4F31-914B-24B17A05C238","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":"0ca9e6b8ca1c5930091aea99350b4e953e4f2756","datavalue":{"value":{"amount":"+0.8393576741218567","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":"Q3158549$609045A0-DDC0-4805-9CF7-9549A8D39646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dabcbab1e4d1e7311caff28d84ce93acc6d4ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5292667,"id":"Q5292667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5aec7320a070cc24686df45ac864e8ca8b3a5b8","datavalue":{"value":{"amount":"+0.8339301943778992","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":"Q3158549$D2662998-3C86-44C9-8A4D-AB28B0DD6A4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New results on quantifier elimination over real closed fields and applications to constraint databases","badges":[]}}}}}