{"entities":{"Q2109991":{"pageid":2120734,"ns":120,"title":"Item:Q2109991","lastrevid":47792026,"modified":"2026-01-02T17:12:05Z","type":"item","id":"Q2109991","labels":{"en":{"language":"en","value":"New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7635705"}},"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":"Q2109991$4503B2B7-02FD-4053-81BC-9C383807C8AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"044785a95dbf8ac22c848fde159b91e6c8dfd211","datavalue":{"value":{"text":"New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2109991$C306B502-8729-4C09-BAAC-34DC189C96CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bac1a7a75a3822dfa35db2b6c4c6aa5516e909d7","datavalue":{"value":"10.1007/978-3-031-14788-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2109991$CD60F097-18A6-4EBB-822C-314CA1BEC832","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d84df0381999c4c34f342af41dbe3b90760dbc8a","datavalue":{"value":{"entity-type":"item","numeric-id":2109990,"id":"Q2109990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$A532F07A-9CF4-408A-BD90-A5433F1554D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abdd09be1ba8c89002f4d0e9d2a1eeb7b1f0b03","datavalue":{"value":{"entity-type":"item","numeric-id":247221,"id":"Q247221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$1E6605FB-375F-4E38-A194-1758638D5494","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"caee49dfebbb3581b11807976c7fed96dec8e1e7","datavalue":{"value":{"time":"+2022-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2109991$D1885A73-F6AC-4E8D-A1F9-479065DAE9E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7680a757d30e0ee1c8eddec0c02cb732fca2de4","datavalue":{"value":"https://arxiv.org/abs/2206.13480","type":"string"},"datatype":"url"},"type":"statement","id":"Q2109991$B0121DB3-AF0E-4D77-BDDB-30991AE336A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2109991$81887D3A-6F17-47FC-8C3D-DB8707219560","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45ed7cc9ca7d66ed8d4bc062076ebdf00fbe8302","datavalue":{"value":"7635705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2109991$720E8516-FCDC-4D07-B137-030AA69C46BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c417c230f73d20f5cf9c1a2e82b49a128a49f57","datavalue":{"value":{"entity-type":"item","numeric-id":44509,"id":"Q44509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$3FCE0E32-2062-4455-9D80-5ECA5B81889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$0F044B33-E0EB-41CD-B15D-BEFC5A317011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$F358F738-425C-43FA-BCEB-19D2A713ABC6","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":"Q2109991$68928B1F-0CD4-4663-B2D6-574DBDD270ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cca7a591beafca80c3d80da96a269957892310f","datavalue":{"value":"W4283706141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2109991$0FA44FBF-A411-439D-BDE0-5A9ECBD66C59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9172794cc6d13649d0166d25dee722d6acdb3f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1996869,"id":"Q1996869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$C3902E6E-1013-465D-A749-20DB82FB885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577812c2feec97c90c4f461d53f9350fea08ea18","datavalue":{"value":{"entity-type":"item","numeric-id":5963392,"id":"Q5963392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$84181BBF-9C2A-4298-95D4-230397F7CCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d236f00c2aa01435918d7e5943f9ff010edd93","datavalue":{"value":{"entity-type":"item","numeric-id":2843003,"id":"Q2843003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$93ED0486-CD16-4933-8284-45CC9EE6227F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9009320af21e4f69a9b00e492ca6b43803e82030","datavalue":{"value":{"entity-type":"item","numeric-id":2819742,"id":"Q2819742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$2DFCF941-CA6D-4353-A4C3-E6539143C055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f3232041383b43911a15ddaf2eecfdd6fd82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$78EAFF5D-4391-4134-98D0-5D747D3BA3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381968f95df0a25ef8a7276b0b968d5e515efd73","datavalue":{"value":{"entity-type":"item","numeric-id":5041067,"id":"Q5041067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$0B7F7B7F-8444-4E29-8B27-01E5E9F9E6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeced255ac02b681c5f8327daccc0f699256f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2799562,"id":"Q2799562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$BF59A22F-DAB3-4E52-8F2A-6D88CAA3E29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98b5b6adb599ae53bd2e42b517de33bf3de0b74","datavalue":{"value":{"entity-type":"item","numeric-id":2879157,"id":"Q2879157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$16E2F299-5ED7-4443-A50C-8E6092C53AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14da1debcaf0fdc3514c9f8f3b1698695d1c51b","datavalue":{"value":{"entity-type":"item","numeric-id":2883805,"id":"Q2883805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$72D9EAE6-DA56-40A8-8677-543875A362D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baed58f0f695c32b4bf1b1d60073f4fc318e7c59","datavalue":{"value":{"entity-type":"item","numeric-id":5041065,"id":"Q5041065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$AC29E42D-1410-4808-9B1E-67AEDA00C530","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":"Q2109991$A15A43F2-9719-4A4A-A7B1-6D8FC749CE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7c7057f3aa99ee0823100d4357f006e3333fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4657310,"id":"Q4657310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$B73BFD4D-4EE6-4678-9BF1-C1EA2AFD9FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae0eca67066963df91d759df1147a5fae3e4259","datavalue":{"value":{"entity-type":"item","numeric-id":5495913,"id":"Q5495913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$4298EA03-2E8A-459F-B5A9-74A0B105FC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae603d73324c0edba48880af971a9e710102b58","datavalue":{"value":{"entity-type":"item","numeric-id":2819754,"id":"Q2819754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$7EE87819-690A-4C39-881A-08693F40BCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c61e5f3fe79f37c70cf7654a34feba86b13eb2","datavalue":{"value":{"entity-type":"item","numeric-id":2307622,"id":"Q2307622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$4B0EAF58-FF89-4301-82E4-0F531A3FF75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bd9fb0fa8bc7f4f462ed479f01daa23216ffce","datavalue":{"value":{"entity-type":"item","numeric-id":2287902,"id":"Q2287902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$A98290C6-F21D-4912-8929-25DE6AEED008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872fd4ed295ed2c2b001f068a96160ca23964743","datavalue":{"value":{"entity-type":"item","numeric-id":4199346,"id":"Q4199346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$4B5FD74C-1790-4826-8092-3004EDD46C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ea2efe00a446d749729b9c5e3762a71853e36e","datavalue":{"value":{"entity-type":"item","numeric-id":5014692,"id":"Q5014692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$E3955499-049C-47CC-9C3C-4489483F3970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e8c59aa9334588ad80ad2c014cb88366561a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2009221,"id":"Q2009221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$002B0D8B-D5A1-4795-AB24-BF3B48B04D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93cea25cf71843c15442f30a22b9117fe9d9104","datavalue":{"value":{"entity-type":"item","numeric-id":2307621,"id":"Q2307621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$20AA0507-97BC-4421-A257-F5D3325D4D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f934ae69cb480c6dacbcb34d47160cc7f0fc73","datavalue":{"value":{"entity-type":"item","numeric-id":1757004,"id":"Q1757004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2109991$DDF3E843-4CCC-4254-99BA-16452F2A0633","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463a6ed47d5fed7ed6bda37294664a46bce1e60e","datavalue":{"value":{"entity-type":"item","numeric-id":2879160,"id":"Q2879160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b5a235b5387149d99d771020149c5cd9143bd8","datavalue":{"value":{"amount":"+0.8682457208633423","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":"Q2109991$0BD7BE0A-9225-4F33-8119-70A543D89C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adad7404264022d3f4dfa03cd905bbc62e814706","datavalue":{"value":{"entity-type":"item","numeric-id":4984748,"id":"Q4984748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b24d8c357f8a3ec62eeace5790eda6d5573c65","datavalue":{"value":{"amount":"+0.8297017216682434","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":"Q2109991$E308D6D1-9A10-4822-B9CE-62C071BC8D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baec1bd754e657307ed99b8e7e5dfa63cce12da3","datavalue":{"value":{"entity-type":"item","numeric-id":5041065,"id":"Q5041065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe2c66213f785be318ac9cece6e10efc2f18067","datavalue":{"value":{"amount":"+0.8200085163116455","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":"Q2109991$D7B01233-0A49-4C9F-9C47-58761ABC5D7D","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":"078890d7bff226d9fceeca7c24bb40aad3cce825","datavalue":{"value":{"amount":"+0.7959581017494202","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":"Q2109991$B3DD9CDF-0E33-4368-BF18-FDB5BFC9C472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d8adb410cc34e1afff6a82eb8db78378f48228","datavalue":{"value":{"entity-type":"item","numeric-id":2287902,"id":"Q2287902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a114ba3cd02022e03d8b7aa0611efa33b3de46","datavalue":{"value":{"amount":"+0.7940829992294312","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":"Q2109991$76060835-5892-4FBB-8A30-D598687857A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2109991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2109991"}}}}}