{"entities":{"Q3140554":{"pageid":3151270,"ns":120,"title":"Item:Q3140554","lastrevid":85905848,"modified":"2026-06-03T12:25:05Z","type":"item","id":"Q3140554","labels":{"en":{"language":"en","value":"Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440392"}},"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":"Q3140554$D7C6753E-4924-4B00-8854-E1220EC00A92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c7163375fa33e91fbfa29fc1a0632a1c9da875b","datavalue":{"value":{"text":"Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140554$FDC50F7F-0829-44BA-B3EF-5C0CA2F9BCE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e47cb64ee3e1c8c640ffa62214c994b5d0af8609","datavalue":{"value":"0789.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140554$5AD9B50D-155C-483A-A6C1-BE4038BDC5D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fc378fe90dc1e0ce8df529750ea27fee2349d81","datavalue":{"value":{"entity-type":"item","numeric-id":247222,"id":"Q247222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140554$E0A21740-F522-4374-88C7-33C3C4A962BA","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":"Q3140554$906D05ED-3D2B-45E3-BDB2-F58AD96743B0","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":"Q3140554$67B9E373-BD8F-44A3-8428-00950D1FE035","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140554$53127F20-9BD7-4F22-913D-1C3951C4D0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1448dc8abee9c87d433fb284555380dc61ce707","datavalue":{"value":"12D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140554$7CD500F0-C92D-4E84-B935-5619EE4EE87B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e81d79a15c9dc29cbecadd18dfc724831ebc2b5","datavalue":{"value":"440392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140554$E199B545-3813-4AE7-B851-E12903283363","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16ec0a6892398ba4d3b3f74a555433ee4743694","datavalue":{"value":"consistency problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140554$C47A0ACB-B46B-4306-A0DB-F58118F468F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aec7ebfcb55e73bf3b0d4d7bd01d480be4f778e","datavalue":{"value":"quantifier elimination problem for elementary real algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140554$D239F269-F4BB-42DF-9855-4A1C53F26D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e10171b03fc8fc8e7710dbd5cb3bfcc9adf1ea7","datavalue":{"value":"system of integral polynomial strict inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140554$ECE063D7-C2AC-4770-91F5-BD704D1BDD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55c675663ccb782947beae0fc54ccad2306a534","datavalue":{"value":"geometric modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140554$0D8109EC-AF3E-4C00-AC82-CB7CEF8825A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140554$440751AF-26C9-42E6-9C39-3872D80F5316","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140554$2C723C67-0CFA-4C1A-825C-847D5AEA6FFD","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":"Q3140554$E324145B-CCA7-40F6-BAFA-2FA1578F58AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fffff28860bfbe374ed437140c396a00f9b038c9","datavalue":{"value":"https://doi.org/10.1093/comjnl/36.5.432","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140554$D411966F-E27F-4262-8DB3-A6AA9271EE50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce8cce7b7235bcf83d47446d0e689d13e8e8feaa","datavalue":{"value":"W2022125816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140554$0064F68C-79D1-4904-A4BF-C348D0A1CBCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b831e99d0a1ce37ae1c6b6e5bf5505dbeea7cc8","datavalue":{"value":"10.1093/COMJNL/36.5.432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140554$CFAB6025-48F2-46AC-95FE-4ECF41581442","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a50776fe04d9b9d87b5ed820adc2db9661f4904","datavalue":{"value":{"entity-type":"item","numeric-id":1976673,"id":"Q1976673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c7710c747f22b0b124de91a931f57f77f6b804","datavalue":{"value":{"amount":"+0.8595039248466492","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":"Q3140554$41757EEA-A293-48F1-8009-43DC72925959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4663cd37b64fdf9dcc57d66da9b4c48a60f05e76","datavalue":{"value":{"entity-type":"item","numeric-id":4842416,"id":"Q4842416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3a466aed5bc59c0af55f6d46d7fb486673ad6d","datavalue":{"value":{"amount":"+0.8526763916015625","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":"Q3140554$2BDA6A00-9BAC-4705-B031-9701BC68D010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52e8bc51ea1f4615e2392167acb0348fe7eda2d","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e23ea574ede97bcb43ccc5312233c003cb3740","datavalue":{"value":{"amount":"+0.8499876856803894","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":"Q3140554$B9B8B3F2-C3F7-4809-B3A5-2321054A868D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6351088f290d5ae2a65e71bb4d0cf277ff5c2f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5244554,"id":"Q5244554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac0e8dc806d120785228ce7860fe823738c2ba8","datavalue":{"value":{"amount":"+0.7616426348686218","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":"Q3140554$64947F6D-A55C-4405-8787-04FE2371D62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df62384ff39104ab36c6e931315d4378c140267","datavalue":{"value":{"entity-type":"item","numeric-id":2963225,"id":"Q2963225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dda4a30889c8bce5d4f228592ec80bfa0ce5902","datavalue":{"value":{"amount":"+0.7544124722480774","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":"Q3140554$C1190952-324D-4514-ACD7-968751FDF157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition","badges":[]}}}}}