{"entities":{"Q1105370":{"pageid":1116119,"ns":120,"title":"Item:Q1105370","lastrevid":69653517,"modified":"2026-04-13T08:28:34Z","type":"item","id":"Q1105370","labels":{"en":{"language":"en","value":"An improved projection operation for cylindrical algebraic decomposition of three-dimensional space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058862"}},"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":"Q1105370$FB81CB29-D3D1-42A2-9D40-C4A4F7094C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cde50c25483791c82ca2074ed0c376e6162415f9","datavalue":{"value":{"text":"An improved projection operation for cylindrical algebraic decomposition of three-dimensional space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105370$75842583-05AE-43E8-A608-01D104A97453","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ae8c7c0c3fea3ccf4374319e20f91530aac78da","datavalue":{"value":"0648.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105370$285C8004-FC21-4FB6-9DF9-2D1D30F174D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3295cbd147ae2c2ed9647679873a6001ca72a09d","datavalue":{"value":"10.1016/S0747-7171(88)80010-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105370$122D8BB5-CDE2-4887-AC95-43E748062505","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":"Q1105370$D1CD03BD-2DF2-4D27-B321-87ADF1754D4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$9EFB91F9-2D25-46EA-AB05-5FC5C40810E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1105370$855A8E62-106F-4FA6-A560-578A40AD9BD7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9374ab10ca0f0e8c57cbddb7efad2c656099879c","datavalue":{"value":"The paper improves the cylindrical algebraic decomposition (cad) algorithm of Collins by giving a reduced version of the projection map of Collins. It is proved that this reduced map can be used for an input set of trivariate polynomials without losing the essential properties of the projection. This seems to decrease the computing time of the cad algorithm substantial.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105370$75C6FBB2-6C5B-42B6-8A4C-BD687110A86F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105370$8EBB79AB-18B4-4A09-A429-6D2CDD854BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105370$96F37A02-01BE-4499-B8A6-024F06B61FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfeaad0862a23378a3c738963be2d25d4928c7a1","datavalue":{"value":"12-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105370$65D04B1D-977C-47F6-BA1C-FC351F9737D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"93293bd859892a483ca84cc56251afdc241ec4e7","datavalue":{"value":"14N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105370$E6EA143C-84EC-4D1D-83EB-5EF40BC360DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9be0b13607f6e002f19c55cd83f40ba1ed654d4e","datavalue":{"value":"4058862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105370$4DA2D494-9C0C-40B6-885C-E00E317765FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105370$430DC3DE-969B-4F09-B26D-94A9AC779BD6","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":"Q1105370$4DAA0208-BA8A-43A4-A1E5-7D1C0D358F55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$E6EF2539-1AAC-42F2-98AF-9D11C323B167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee742d8b4d8c297d9c9c058ee60ebdcd3bbd833","datavalue":{"value":{"entity-type":"item","numeric-id":5800951,"id":"Q5800951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$9EA9D43F-779C-45B5-B8BB-235A362CF33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157a25450c93d717ff644eaa81fca2bb0d996c68","datavalue":{"value":{"entity-type":"item","numeric-id":5633584,"id":"Q5633584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$D27BDB2E-D6BD-4AA3-A2F1-570F6FC83147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$2EDCBEE4-3A8D-44A2-810A-243040A6F225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b3213fab93f28ded24814338731a3aee0465a21","datavalue":{"value":{"entity-type":"item","numeric-id":5515607,"id":"Q5515607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$166A1747-01DF-4391-8431-C25B29EEF8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a09e4f25cd6bdc7dcc28a4e5a0cb158b89b1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3668871,"id":"Q3668871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$8610DBCA-5FF7-4A30-AA61-77A5504A753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416c79795fe7fb7b3db84c153615aee00c5c848b","datavalue":{"value":{"entity-type":"item","numeric-id":5520892,"id":"Q5520892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$25487180-A37A-4F49-A3DD-6737864D1124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c433cbc0bb084950ec8a2870c1d6dfbdbf28c5","datavalue":{"value":{"entity-type":"item","numeric-id":3697106,"id":"Q3697106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$495CF9F7-F092-4345-86B4-88BA35432420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c59e09bb020d03d7c99ef70a67a6029b9fe7cd","datavalue":{"value":{"entity-type":"item","numeric-id":4391223,"id":"Q4391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$6669B434-6818-4399-8E81-1F4627487B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320be0100130068b2dc0b1290f4357d23b143166","datavalue":{"value":{"entity-type":"item","numeric-id":4064159,"id":"Q4064159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$519B780A-4275-43EF-B599-0715D93590C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$127A1CD5-7F22-4FF3-9148-2C58DF082759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feffca5c261d02754b6608fa507028f6a1aaaf0e","datavalue":{"value":{"entity-type":"item","numeric-id":4183410,"id":"Q4183410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$2B16F901-4AC5-46D7-95CE-D2F62FD39342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ed30f603a3807687f597f004d383265dd74593","datavalue":{"value":{"entity-type":"item","numeric-id":5682591,"id":"Q5682591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$5F61481C-26EE-447B-83CA-BEEACCF78725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b6da854f79defcc4280a3a0572b4a4b45e2c75","datavalue":{"value":{"entity-type":"item","numeric-id":4760119,"id":"Q4760119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$88233AC0-38A1-4E3E-A8D9-48F6C5B23541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087f60e7809fb6b30d75f5b8d6503cb61d6386df","datavalue":{"value":{"entity-type":"item","numeric-id":5524245,"id":"Q5524245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$2B31BD99-E315-460F-AC3A-396F2BEFE776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e34c74233f834a4ac2b9573f5e969bc6a94b64","datavalue":{"value":{"entity-type":"item","numeric-id":4058772,"id":"Q4058772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105370$811A94D9-F4B5-44BF-B662-903D0C168D9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32a494a81a9694ee1ef068b8a6bf8f68c8225b4","datavalue":{"value":{"entity-type":"item","numeric-id":4391219,"id":"Q4391219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e477bc8c82b9708eadf6ed2cf0fe548e86bac51","datavalue":{"value":{"amount":"+0.9056946039199828","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":"Q1105370$4348607C-9D7D-4112-80A7-CDAB866DDA7D","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":"c920946921529f73eb5e83b320e9bc5eb7849a02","datavalue":{"value":{"amount":"+0.8842142820358276","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":"Q1105370$5EA6B25F-0BE6-434E-BA81-FBBF2EC9A8C8","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":"1f8897c073b253543714b8afbac044d1f8ebce88","datavalue":{"value":{"amount":"+0.8804912567138672","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":"Q1105370$E326FA21-AEA8-49B4-8A7E-1A876FAFCB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5990c9bc8dbc08bacdd3ff246277190a3837ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":6487176,"id":"Q6487176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7a51c7b2c6d106866140eaab869dac6b05bdd3","datavalue":{"value":{"amount":"+0.8209313750267029","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":"Q1105370$A772FA74-AE1B-4C9D-966B-ED385E2D6AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28809a340700bed7ebb2054de14dab4f2ed211f9","datavalue":{"value":{"entity-type":"item","numeric-id":3454743,"id":"Q3454743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c91af48a5f5bad72c413bff3dd3ff3bd3a7c49c","datavalue":{"value":{"amount":"+0.8175970911979675","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":"Q1105370$8FBCF873-0FE0-4F99-845F-57D57DDFFC91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved projection operation for cylindrical algebraic decomposition of three-dimensional space","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_projection_operation_for_cylindrical_algebraic_decomposition_of_three-dimensional_space"}}}}}