{"entities":{"Q2843003":{"pageid":2853723,"ns":120,"title":"Item:Q2843003","lastrevid":58043151,"modified":"2026-04-03T14:08:10Z","type":"item","id":"Q2843003","labels":{"en":{"language":"en","value":"Optimising problem formulation for cylindrical algebraic decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197172"}},"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":"Q2843003$54760897-7CC6-4715-BA89-7F178EA785E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef64a26d613a3a39dcc64ea469e86582a308d22e","datavalue":{"value":{"text":"Optimising Problem Formulation for Cylindrical Algebraic Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843003$FE6A1F5E-47D8-4CE8-B3DC-BB5ECD7B09AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d51c2d29e2d4829372768695c60c07b6ef32d5e","datavalue":{"value":"1390.68775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843003$AB095491-94DD-433A-9619-9A97B9CA939E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a7449349b0b9704f566dea7a1f1b290f851b048","datavalue":{"value":"10.1007/978-3-642-39320-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843003$E70028ED-5097-42D8-A4FC-A14C1C311FEC","rank":"normal"}],"P16":[{"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":"Q2843003$31D10336-CA00-4884-9E49-9A1DCE2FF052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"216606854761863ffc71f0942525e64754858561","datavalue":{"value":{"entity-type":"item","numeric-id":944996,"id":"Q944996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843003$0F79A675-D11E-4064-8088-E7EDE63A1FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843003$978F51F4-4C0A-4483-8223-DA77C8A9A753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b0df88c2850d305b9b4dc433af13eca76199d40","datavalue":{"value":{"entity-type":"item","numeric-id":1636263,"id":"Q1636263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843003$4263948B-F8D9-4620-AB2D-40EF3833A342","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843003$30DB7F36-8DBC-4057-9852-EEE51E896233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381d46b885a4d4a1524f419ca9a0dc18cd8f863b","datavalue":{"value":{"time":"+2013-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843003$BDC5CD00-F042-4E32-B891-AC31C56EFF74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bb27b8fdad35fce6bd1439621c1b9e8de4fde18","datavalue":{"value":"https://arxiv.org/abs/1304.7222","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843003$B4715EA5-E9DC-4081-A317-EB1B1D657A17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843003$CB05E206-27D8-4A75-B192-B1DB49C1D836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843003$1135CAFF-8691-4706-A86D-CB0CDE948849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71607ad63af52d618033450e12ca7786807d54ab","datavalue":{"value":"6197172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843003$94E98D02-C0E4-4A1A-9926-59809FE0C632","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843003$BE1DAF9F-8CF3-44ED-BF4C-9EF526AEF18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f24126abc3bd5f624256ee8491af47de356814f5","datavalue":{"value":"problem formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843003$2508D001-E3F7-4AE2-B0D1-5AA62328BA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843003$2024C311-DFB7-4280-A296-3C2F61580A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843003$43D60479-75F5-4217-A2CF-E4CD32DD7164","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"89a8887e5a419247d88e8c866c53bcef250be426","datavalue":{"value":"Q59590589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843003$1CC097CD-055D-4BA9-9103-205CDD2D90DE","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":"Q2843003$B9B89644-02E0-46ED-A5D3-2CB336F78822","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":"Q2843003$A128B8A3-74A5-4754-94EE-D552D6CF8913","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85d6d54fcad751359e118dd695e12cb48b161e4d","datavalue":{"value":"W3098210831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843003$E2B3C918-7FCC-4233-AD50-BF24A9794BC1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"616f95c1ad331473193eac8fa6f6d3a42470fa12","datavalue":{"value":"conf/mkm/BradfordDEW13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843003$64F9F686-BF96-42AB-A10C-3FA46ECE4B78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225620e39fd9fc8e81e150e4800768481366bc10","datavalue":{"value":{"entity-type":"item","numeric-id":5495913,"id":"Q5495913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343a974d8c491dfb156a9134bf1d6f172e1f656f","datavalue":{"value":{"amount":"+0.8733313679695129","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":"Q2843003$D389D71D-33AD-4DE2-AA1C-3B9481CBA054","rank":"normal"},{"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":"e9cb0d597b7c629109f8fe0917ae4dca84b23ab4","datavalue":{"value":{"amount":"+0.8420814871788025","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":"Q2843003$B052D151-CD37-4C36-9689-E99C09A8A93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec52ee59a2ba6e255bdabd7997a2052909e0e14","datavalue":{"value":{"entity-type":"item","numeric-id":475412,"id":"Q475412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7e574224186cf3fa42f64ce57c55ddbcaa811d","datavalue":{"value":{"amount":"+0.8284080028533936","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":"Q2843003$0DA06BC0-4D73-4069-9EE3-11748BBB8DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df62384ff39104ab36c6e931315d4378c140267","datavalue":{"value":{"entity-type":"item","numeric-id":2963225,"id":"Q2963225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47aaf30d034609b23e4917c845a92706ea220891","datavalue":{"value":{"amount":"+0.8130469918251038","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":"Q2843003$869992E3-D26C-464E-B6E9-4538CB63D97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614eb3fcc0128c413bf294b7537a2f252cee831a","datavalue":{"value":{"entity-type":"item","numeric-id":2829999,"id":"Q2829999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3380b7fef67661d119fef92cc6d237003a48d872","datavalue":{"value":{"amount":"+0.8054246306419373","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":"Q2843003$68D08144-CA54-4108-859E-E43A734CA6B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843003"}}}}}