{"entities":{"Q5950980":{"pageid":8127782,"ns":120,"title":"Item:Q5950980","lastrevid":40781459,"modified":"2025-04-04T16:19:18Z","type":"item","id":"Q5950980","labels":{"en":{"language":"en","value":"Improved projection for cylindrical algebraic decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1684927"}},"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":"Q5950980$6EF0E492-0D47-4DF1-95FE-9449A7A1C968","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec57cd9b1cfe2af8f640a89ba989425812886721","datavalue":{"value":{"text":"Improved projection for cylindrical algebraic decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950980$2CC745F1-5526-427E-8216-78CDC32E2CAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"867d49efe07b7f3d580d9dc022a48f78ff7da2fe","datavalue":{"value":"0981.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950980$87C7F678-8E85-49F0-B12D-82700B797FD7","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":"Q5950980$DEBAF273-F27C-46AC-93F1-93B04D18CD3D","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":"Q5950980$E2E22733-D1D5-4FC9-91C6-33FF46E70048","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae0446501a58098cb1329379aa4eb6f9a6b2c8cd","datavalue":{"value":{"time":"+2002-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950980$DC0A3767-91A3-47CD-8540-0F1FFB9BCE21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce60a59d9b167adc4c965a6ba63078a68218ce54","datavalue":{"value":"https://semanticscholar.org/paper/8d6df4b49ac8bb8e0c3ec78cfbacd87698fc9705","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950980$55E5EE5D-4D6F-4F21-A8D1-7A29E235F355","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950980$1CD2EE6B-B493-4D4E-91A9-072EC8487AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950980$2073F2F2-82BE-4ECB-8254-C3CE02D222D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60fee249ba11ccd9bd850682d49a715d96d1165b","datavalue":{"value":"1684927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950980$82207B42-A0DE-467A-B582-032124184783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950980$DCF157B2-8955-467A-9F15-DF2A070EEEDD","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":"Q5950980$BB5F2591-0BE9-4FD7-A910-7025ADD77998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b303010a4320056546886ac7376fe3a3f6cfd7c","datavalue":{"value":{"entity-type":"item","numeric-id":19758,"id":"Q19758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$61EF3917-9EDE-4A91-B52B-8DAE7E4EEA81","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":"Q5950980$76055BB7-2B5F-491F-9185-C49A92D58162","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"644677501ebcb1014d2c96a8d0646d0822d02461","datavalue":{"value":"W2021431116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950980$BF36BE89-F734-414F-A4B2-59AD529BBA76","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":"Q5950980$D5876508-F6C1-476E-8C09-FD23948792BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efce0b9878889caead3844056dcda350b0c60775","datavalue":{"value":{"entity-type":"item","numeric-id":4232513,"id":"Q4232513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$1A931209-E56E-41B1-A3EF-8A554E71E199","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":"Q5950980$736F50AE-2A9B-4A53-BD67-74E460C9E044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1366e58f04b97235453a05cbb0c38ac0015edae8","datavalue":{"value":{"entity-type":"item","numeric-id":4391213,"id":"Q4391213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$7BBE61F6-4DE8-4C29-AA9E-EA61559A57D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$28D7F917-E031-488B-AA9C-8522B3E765D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f882fe9dd4e77e007ce91fb979674cdc30b302","datavalue":{"value":{"entity-type":"item","numeric-id":4293510,"id":"Q4293510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$33462A88-2925-48EC-A415-501730B75E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$1F8EE7E6-4C42-4259-AF98-EDCF96D47DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcf672ba756e2fbda138475d985676db9dd4797","datavalue":{"value":{"entity-type":"item","numeric-id":4234240,"id":"Q4234240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$C7BDF41C-6185-48A9-95B3-D450DA5C8A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf31643603adde842abc14bb0b9693cebd2393b9","datavalue":{"value":{"entity-type":"item","numeric-id":1368692,"id":"Q1368692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$72626CCE-D549-4E93-9490-D067A92CE3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884881c81877922b5a47ae00d9a8432eef7d6a66","datavalue":{"value":{"entity-type":"item","numeric-id":1104314,"id":"Q1104314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$0FFC6546-EDBD-4A8C-946A-6C33692E40CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0cfa005db30ee2379f3032b81e86e439f1d6b2","datavalue":{"value":{"entity-type":"item","numeric-id":4295433,"id":"Q4295433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$9AAC27DE-0DE5-4D81-AB08-62C335918203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6461ba3b0590821555f4c1a0fb7ac69702b3ab","datavalue":{"value":{"entity-type":"item","numeric-id":1105370,"id":"Q1105370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$14799E46-364C-4D36-A0D8-95541DDCDC24","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":"Q5950980$87EAED14-284D-4E45-8FCD-92DA755293A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ef86b2ad7fb68ccf2a951e8b468542d85fcab","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$E91C6B54-92C1-48E4-9847-A49116F7973B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64db5991c743e7e3c8546dc09d8e3c9234cb82df","datavalue":{"value":{"entity-type":"item","numeric-id":1293968,"id":"Q1293968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$8776D0E7-E177-4864-A834-5089C30D1D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f257b4ce293ff91c25fc667c615f2ccc19b8a47","datavalue":{"value":{"entity-type":"item","numeric-id":1976673,"id":"Q1976673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950980$EDA21DB0-9F5D-4587-BF04-168BD2D40A60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"534a374ab602cee93fcfd4821aeadbe410f035a1","datavalue":{"value":"10.1006/JSCO.2001.0463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950980$22B2A73B-4C96-44FE-9F1A-6915D688679A","rank":"normal"}],"P1643":[{"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":"f308287dfbc116fd85f4bf30788c3d2085f3721d","datavalue":{"value":{"amount":"+0.9933913","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":"Q5950980$79E91A1A-1F4E-4360-93AF-D592070C1F93","rank":"normal"},{"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":"e2020a338b9255e59237576f46855d1204f3afd6","datavalue":{"value":{"amount":"+0.96426904","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":"Q5950980$35E89F85-CC13-4135-8DB5-5284DDA9630A","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":"a83e2b6d6648f5a864846425cccc34ea62af0cb1","datavalue":{"value":{"amount":"+0.9318222","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":"Q5950980$2DECF143-2F2C-47B6-8095-F34146948550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324d5e48cf51aa59e9effbb5e563c893644204ab","datavalue":{"value":{"entity-type":"item","numeric-id":5963393,"id":"Q5963393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83e2b6d6648f5a864846425cccc34ea62af0cb1","datavalue":{"value":{"amount":"+0.9318222","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":"Q5950980$12C00A5D-94DD-4644-B89E-ECB06DDC7E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61631e27bb45ded04a36a71c685cfcbca8e56c89","datavalue":{"value":{"entity-type":"item","numeric-id":1105370,"id":"Q1105370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa457a12b135f797ceaacf3f7f14154079f65c6c","datavalue":{"value":{"amount":"+0.92951685","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":"Q5950980$C0B0499F-7DE1-40AC-ABB3-663D50E35CB3","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":"07edb5dea5001eba8907aab7adc9634af74f6dfa","datavalue":{"value":{"amount":"+0.924512","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":"Q5950980$66364D2E-F1B6-4659-9C20-1D2941982EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e75628127a9ee893f5622fafe1187e80b34226","datavalue":{"value":{"entity-type":"item","numeric-id":2110211,"id":"Q2110211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c637fe1096e82d86bb95376aa03f0b3fed0001ba","datavalue":{"value":{"amount":"+0.9156138","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":"Q5950980$0BF9DEBC-C6E5-4202-86D4-8AC741B21622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763fb43e406e4323d20c6f39aa5aa032f7c394c8","datavalue":{"value":{"entity-type":"item","numeric-id":2307621,"id":"Q2307621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8574a9943decfd718c3b8cf91d4bca661e4c693b","datavalue":{"value":{"amount":"+0.91508436","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":"Q5950980$723118F9-FB28-413F-8872-5983EFAAF46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7743f2c3c059e95bedd48c464c0ada7ba397699c","datavalue":{"value":{"entity-type":"item","numeric-id":2799562,"id":"Q2799562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3c2f9806197913f448809b4f274a0be8a3a55d","datavalue":{"value":{"amount":"+0.9030637","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":"Q5950980$6F3493FE-C4AD-4ABF-A8D8-F1198BA056C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708313fc0d0b3a4c1a8000841171c69f50a84bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2843003,"id":"Q2843003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0177474bf6073d271b8b9b772bcf71d2c2cd226","datavalue":{"value":{"amount":"+0.90216005","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":"Q5950980$B6B19ADB-F8C6-4E6F-A85A-D763D37DB973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950980"}}}}}