{"entities":{"Q5119922":{"pageid":7149496,"ns":120,"title":"Item:Q5119922","lastrevid":94478936,"modified":"2026-06-05T06:55:25Z","type":"item","id":"Q5119922","labels":{"en":{"language":"en","value":"Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7245212"}},"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":"Q5119922$598BD16E-09C0-48C0-8C79-3DE961D87235","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f881b0dfa7c2ae61d2d56663b14eaf68848c104","datavalue":{"value":{"text":"Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5119922$42BF2CB0-1B80-45B8-99E9-5AA0C9ACF04C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"410a5d7592426660dac3ad76f54b7e2a70a5cb78","datavalue":{"value":"1457.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119922$BA40D1EB-90BF-44A3-8989-7A419229EA15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5db8f7b6597a7180139c424b2576ea00ecda6364","datavalue":{"value":"10.1145/3087604.3087651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119922$179DB4E1-B8EE-45B0-B3EE-74E8C1A691AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7989f3c7163192933aa635efac5513ead9a9c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":191937,"id":"Q191937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119922$AC461FE5-17F1-4CD6-945D-BAB7431B8687","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"32f492baaf7f659ab4c4364df0944bd63168f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5119914,"id":"Q5119914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119922$00ABE699-03F6-41C9-88BC-07834B94E1D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2af50a8f38b9014baebb3050a8a71f7f232c1207","datavalue":{"value":{"time":"+2020-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5119922$85DFE808-3885-4D4B-A3BF-2B9510C56E75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119922$B7B64724-A0A9-408A-AA32-65D401E9E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119922$99A62CDE-EAF6-4704-B04E-D05B46FAAB30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14729aac1c1a4e891481f6c2470b1f7618e35e47","datavalue":{"value":"7245212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119922$A7BA7E0A-707D-454B-BB56-5CAD30E37433","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119922$A3D298EC-9F82-4053-8E95-4A05767D842E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a02e7bbbb2a6fb98a5a1bd31c69ed022d5319717","datavalue":{"value":"polynomial inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119922$0D909BD4-0B61-4946-87F7-861B0401C5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0460661816807b3123be0e5d4bf8cd788a1fa40","datavalue":{"value":"real constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119922$5E9D22D5-35DB-47F5-96E2-686B81B0241E","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":"Q5119922$BE6A478A-91F8-4D17-9E5E-D900FAF6863E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d196099550148e429451ff12a02e7fd0148b59c7","datavalue":{"value":"https://doi.org/10.1145/3087604.3087651","type":"string"},"datatype":"url"},"type":"statement","id":"Q5119922$BFC21A8D-2696-43EA-98AF-B8EE34FEF64A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00157068644fabbb2137d9f1f019bbba8889917b","datavalue":{"value":"W2738238629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119922$FA3865CC-A465-4284-B80F-A94D77EE6346","rank":"normal"}],"P1643":[{"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":"546753b715bcde7b97b7f2d68ede6502942227d4","datavalue":{"value":{"amount":"+0.92820096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$03B5E2F6-081E-4CC7-A023-59160FCAEEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72722e5ff9b38a6a5029723719193af670970355","datavalue":{"value":{"entity-type":"item","numeric-id":4391220,"id":"Q4391220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546753b715bcde7b97b7f2d68ede6502942227d4","datavalue":{"value":{"amount":"+0.92820096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$E05F4ABE-83A0-4DD1-80C6-49EC26A7D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8566d2bbe734e0acda28c0b0024c7051d0c099de","datavalue":{"value":{"entity-type":"item","numeric-id":3345781,"id":"Q3345781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782ee80e418377dee6c7ee8322ff0488c2da1b1f","datavalue":{"value":{"amount":"+0.92519784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$1B5465F8-EA23-44D9-A0BD-9DC57F21AD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1754944585052517f4b79f940a35c1ca372c0c42","datavalue":{"value":{"entity-type":"item","numeric-id":5899515,"id":"Q5899515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5250b639906575bcb9d4ab3cbe5f190eac5ea075","datavalue":{"value":{"amount":"+0.910877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$ED696E87-9A34-4554-8B7D-4470AB0BA027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a59dacd297997f998a64afe74d93898c972a6c","datavalue":{"value":{"entity-type":"item","numeric-id":5925208,"id":"Q5925208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecae1241d0457fd4692b1b8ed69b681ba9f29195","datavalue":{"value":{"amount":"+0.9108769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$F9D4C355-D451-4BA5-9071-2EA7431957E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ae534a43d316193c0ca6c2560202310e548d76","datavalue":{"value":{"entity-type":"item","numeric-id":4295433,"id":"Q4295433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f9b4dfb620bc20d4ecc9ade834a83f1b228efb","datavalue":{"value":{"amount":"+0.9092611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$C340E490-A393-4B0C-905A-7C23B6853B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275c7a92719f1f616f6e2d1958e32caf0f706955","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235836d90cd63dac47cb8abe15fd6de3b93f72cc","datavalue":{"value":{"amount":"+0.90385497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$790D0E4C-E7CC-409D-914F-4E288CBC4AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fc363b5c5a7602c208877bc60d9942d32f284c","datavalue":{"value":{"entity-type":"item","numeric-id":4660673,"id":"Q4660673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8413cd3d1407fbaaca3cae15696868a010c0c5","datavalue":{"value":{"amount":"+0.902145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$0A96EAF6-0416-453A-B186-3DB48664DCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a5239fda0594f59fc4f3a2fd5991997cfcb31d","datavalue":{"value":{"entity-type":"item","numeric-id":5950980,"id":"Q5950980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc92e30d3959bdbf3d6f9113c3d4eca5e63ee4e","datavalue":{"value":{"amount":"+0.8960655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$9433AB8D-4146-4B34-A466-53C2CC5E6F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e268faca866bef5a4f50376d4377e574530761d","datavalue":{"value":{"entity-type":"item","numeric-id":2959017,"id":"Q2959017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048a00f17d1f29364d6ff926a02c60246b0f6614","datavalue":{"value":{"amount":"+0.8943828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119922$90DD0140-8CFA-4170-B97E-D2189115A5D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition","badges":[]}}}}}