{"entities":{"Q5899515":{"pageid":8004004,"ns":120,"title":"Item:Q5899515","lastrevid":52392149,"modified":"2026-01-22T13:11:00Z","type":"item","id":"Q5899515","labels":{"en":{"language":"en","value":"Quantifier elimination by cylindrical algebraic decomposition based on regular chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507411"}},"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":"Q5899515$4EAFCB1F-4565-416A-A111-2EA1AC33B620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3216cab58dacd5d94563bafcc864b95b0a894ce","datavalue":{"value":{"text":"Quantifier elimination by cylindrical algebraic decomposition based on regular chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5899515$3ED82973-F973-4C13-AD90-B189F48417CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"962c2c775c8468f70c780ee9254966b9790a576f","datavalue":{"value":"1325.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899515$06FDC00F-EFF8-4B81-81EA-552D21E475C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bf5d05fc3a066a359f9cd038b6f345cdfd3eda9","datavalue":{"value":"10.1145/2608628.2608666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899515$880B8A4C-B724-46BA-9E83-DB5C51D4FB74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473ad80f91cf916af26228ef57424520d1aa9382","datavalue":{"value":{"entity-type":"item","numeric-id":413405,"id":"Q413405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$6C0822DF-6AD5-4CD5-897B-C84295ACE1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$76335AFF-233F-4035-999C-F1B9F4859B4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd167cecce9ce260eb9131eee017b49e301f03ed","datavalue":{"value":{"entity-type":"item","numeric-id":3452370,"id":"Q3452370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$F7EB3E5F-0807-4069-9EB9-810AD8C9F3D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5899515$9B575781-80CD-4931-9CC8-A80620E6BD9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899515$33E7A13F-B077-49A9-8FFA-93FB38147B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899515$17770098-8C06-4AD0-A1A9-89E2CCB99879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a651f86cefde4b2007973b5e3fe43e7a0c9b20e","datavalue":{"value":"6507411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899515$4BEF8295-BD91-4915-80C2-1F77C0DD6CBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899515$622EC1B0-4C40-4C73-9374-BC03491B3FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899515$9C4B1658-BB65-4AA7-9D45-66C66643715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d5ae3472d1ba794d723147541f877deb856974","datavalue":{"value":"regular chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899515$7CDBFB01-3ED3-43C4-8211-685169A7ABFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf8358b2df85a4ffd0e6967e70986501310f0ae","datavalue":{"value":"triangular decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899515$4E606535-054F-4E44-AF24-DE8F3D20628C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$7B0C236A-267B-4339-BFC4-2BBC9AFBC2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07f544da61a733e790b6290335bb2f4a402f91cc","datavalue":{"value":{"entity-type":"item","numeric-id":35395,"id":"Q35395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$1CE2938B-EBEB-4A01-A579-FFE344B7ED8F","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":"Q5899515$A7F68C6A-091D-4090-8673-ED754470A7E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67cf9f2209399180001f95bedd42b7f0c2f453c5","datavalue":{"value":"https://doi.org/10.1145/2608628.2608666","type":"string"},"datatype":"url"},"type":"statement","id":"Q5899515$737915B9-A6CB-46FD-874F-EA757D21F93A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f02fa8cf989c52ef91f623bee751194e025c9083","datavalue":{"value":"W2167856990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899515$323EF073-3A4F-4D46-84BB-54D4203E3FD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a0619f07c8313163d5395382f74c59a1da4d00","datavalue":{"value":{"entity-type":"item","numeric-id":5448058,"id":"Q5448058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$DFDC6C5A-8BE5-4EF5-98C8-EAB35B20275A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f66606002f6efbe3a3e8203b9f538a7ecf14416","datavalue":{"value":{"entity-type":"item","numeric-id":384995,"id":"Q384995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$2A84D30C-8255-4F83-968B-CFF9D90FA573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$2CC0ADC7-F4B7-4F2C-80CB-B810E06DA74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd2b744a08cf611862a762e8c90a437da122841","datavalue":{"value":{"entity-type":"item","numeric-id":2457384,"id":"Q2457384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$10D88ADB-028F-4E04-B540-49274E87EB6B","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":"Q5899515$54A8D237-3C6C-4C8B-8E12-AB8D67D22D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$1D34F6FA-C3E1-43A0-B87C-07EF9FB2E726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfba758c918370b2b93e7de04f7aa6ff5c05542b","datavalue":{"value":{"entity-type":"item","numeric-id":4414313,"id":"Q4414313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899515$8BDC9A74-57A7-4CE1-A232-7C0C0DA4592D","rank":"normal"}],"P1643":[{"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":"033825039629d91f7ca8900a3c8c66161c66b510","datavalue":{"value":{"amount":"+0.9961689114570618","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":"Q5899515$2FACD5FB-0B29-4995-9FAF-158C08CE5B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b108b6ae79eee7fb004b548e83c6e8e74b7859f","datavalue":{"value":{"entity-type":"item","numeric-id":2879136,"id":"Q2879136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc20d80b86eca4e7c56f382c7215ba8892a633b1","datavalue":{"value":{"amount":"+0.8595086336135864","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":"Q5899515$DBAEF236-77D2-47ED-82D9-AD4388BB5BD2","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":"c7b48dc9906ce66c38b1fad24dda65ff84b881e5","datavalue":{"value":{"amount":"+0.8545171022415161","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":"Q5899515$82D9B766-0A8C-417F-9F39-2EC4AA2188A6","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":"f6d5da5252fc27494f622e5c5f38add786562d19","datavalue":{"value":{"amount":"+0.8453593254089355","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":"Q5899515$9196900B-47FA-4587-A880-13114E916DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9cb7ac4343af1b04e9077f556130e4d0dd9a10","datavalue":{"value":{"amount":"+0.8448135852813721","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":"Q5899515$6FBDAAE1-1EDC-4530-95D0-8613E426306F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899515","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899515"}}}}}