{"entities":{"Q2959017":{"pageid":2969742,"ns":120,"title":"Item:Q2959017","lastrevid":52735577,"modified":"2026-01-23T09:37:16Z","type":"item","id":"Q2959017","labels":{"en":{"language":"en","value":"An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680802"}},"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":"Q2959017$E67C168C-207A-4F76-914E-67B3373E0B1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11cd49ed7d9fbdb2c48b6f762533d391b31ed3e7","datavalue":{"value":{"text":"An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2959017$EC95084F-E2E5-4AC4-913F-11A30FD3DC24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adc5833c286ea9cec404e4d5dfd4b89526ac7790","datavalue":{"value":"1356.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959017$86BCA03E-E1EB-4C93-8517-BDDBFFB778C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77e441cfb0b7c98b1866c78673313e981b48e687","datavalue":{"value":"10.1145/1577190.1577203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959017$46A16610-3322-491B-A568-7704F3E81B4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97aea211cb349f71795a51921aba049d697d326","datavalue":{"value":{"entity-type":"item","numeric-id":359901,"id":"Q359901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959017$862E2DC3-F577-46C1-9310-71E833B12168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75acfce3016e0c1a43620c3d710f83b33cf1c9de","datavalue":{"value":{"entity-type":"item","numeric-id":359902,"id":"Q359902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959017$570B8662-D251-4407-8F2A-2B3FDD9DCF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8e6fb359f7bb867c0bb78686e2cc79d110e63","datavalue":{"value":{"entity-type":"item","numeric-id":359817,"id":"Q359817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959017$E7556E48-AFD8-41D1-B5F7-E67C7B28F9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4459dfa268f1b18664a26dc8be0da4dbe9383800","datavalue":{"value":{"entity-type":"item","numeric-id":384994,"id":"Q384994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959017$6ACEC647-109A-46A0-9751-3E7962F24893","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"132fc07e5aa1d1d7f7d1dde4b3b14fe3878b687b","datavalue":{"value":{"entity-type":"item","numeric-id":2959012,"id":"Q2959012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2959017$14A89333-E07A-4BB8-9DFD-8550BBF56808","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f077fc2ce013ec6748bf1bf77b2e03417e1ed3a4","datavalue":{"value":{"time":"+2017-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2959017$1096F6A0-0272-4BCC-B19C-C54FFAE9ADD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959017$725D8288-9402-4124-8B18-68C92A4C3631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959017$7F025887-A7A4-4D05-B7D3-A5E61B74D5B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1df597665fa00c0cf86c86bfa95b7ce9b400a72","datavalue":{"value":"6680802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959017$2DCC0C63-B396-4D09-A9CB-414F50B1D0F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8f35132806bb37d7df391a1dbd14923eddf2e2","datavalue":{"value":"certified numerical computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959017$2E75C77D-15FD-4DDA-A4B1-192203217CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959017$6FDA3F67-F9D6-4117-806D-A3D75490C272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b5fc8f6e14921e67405b29fc381d00e34e190b","datavalue":{"value":"dynamic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959017$B2B6C101-20C3-4612-9FEE-165748D829F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959017$C5AB0E6C-F555-4565-84BD-F3F7618326C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcd8938d59fe19b5a598cee981297fa3f72fa29","datavalue":{"value":"symbolic-numeric computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2959017$EDCD9839-3F33-41C0-BD27-60D79DF1DECE","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":"Q2959017$127828AA-BB26-44AF-A077-CECCC15D3495","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf509b08256d8d3f29ef0c41553d1dca907cfda7","datavalue":{"value":"https://doi.org/10.1145/1577190.1577203","type":"string"},"datatype":"url"},"type":"statement","id":"Q2959017$621697FF-CA07-4FAF-AB60-3ACB2A1C7361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2695a252cedcfb58683a858b9f7e6fbcbea63133","datavalue":{"value":"W2057592112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959017$1C93797D-CC44-4939-8FBC-A421FCB3E764","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"93c08dd3c7396d9e68e65efb38552001a324696a","datavalue":{"value":"Q130969651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2959017$7BE63131-1387-494C-B1FD-DA2C72FC4BB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b067fabc6b360a2e8187e4ba5f83091c4941d25","datavalue":{"value":{"entity-type":"item","numeric-id":384995,"id":"Q384995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825867ee071b82a9f9a1ae7c462905bc4aed25ab","datavalue":{"value":{"amount":"+0.9660670161247252","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":"Q2959017$D4780ECB-1E22-46D1-AAF5-55F6EDC39EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b011ba490f7c148fd19d8c16f08cc462e3004fa","datavalue":{"value":{"entity-type":"item","numeric-id":2819637,"id":"Q2819637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83f1719c26d4cc3ec9da134239e0634d9540e59","datavalue":{"value":{"amount":"+0.8987393379211426","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":"Q2959017$17C76BA6-3D7F-4836-99A8-6B576DDAF4A0","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":"00ed796ca53848e41776c5d7a2b85de7599cb361","datavalue":{"value":{"amount":"+0.8195409178733826","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":"Q2959017$015FE3C5-A622-45C8-97F1-9DE17A4DB7BA","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":"01e3a9160b35203e46766834f005d51179dbbc33","datavalue":{"value":{"amount":"+0.8187887668609619","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":"Q2959017$63730A48-7CAD-4D70-BFC3-68D4BF4671AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d86fdb639bd1d3bbff71a1ee3b02f43494517","datavalue":{"value":{"entity-type":"item","numeric-id":3545111,"id":"Q3545111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957928932e6e6d17953a298712dc7e17760568d0","datavalue":{"value":{"amount":"+0.8106516003608704","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":"Q2959017$17536C46-D44D-49F6-8551-0B65565DBC2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2959017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2959017"}}}}}