{"entities":{"Q287269":{"pageid":289036,"ns":120,"title":"Item:Q287269","lastrevid":60718260,"modified":"2026-04-10T18:42:45Z","type":"item","id":"Q287269","labels":{"en":{"language":"en","value":"Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585552"}},"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":"Q287269$0099BF9C-A85C-4FC3-8DBD-4C68B8C88240","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b21f1e8b392738b164781c5b2f1f58552314d6a","datavalue":{"value":{"text":"Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287269$DF0EBA68-C335-455D-805C-3F858017F325","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ebfde9e3220585a572841fc23c6c0d85eb3fcc8","datavalue":{"value":"1356.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287269$0DE75BDF-6345-4B13-BA68-DF5C2C17FC43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b92c35f500f268d671c415a02b1967564d5af9a","datavalue":{"value":{"entity-type":"item","numeric-id":287266,"id":"Q287266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$4B667FAD-0FA3-4CD9-BD5A-B5FDDADDDA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$CD09B36E-E567-4231-8A53-8E280D4B63C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40bdaaaa529951295d888380d74abef1e8b7b8bc","datavalue":{"value":{"entity-type":"item","numeric-id":6099619,"id":"Q6099619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$017002CD-CDA3-4310-BD01-AFBD425C2294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$D45C5723-223E-47F8-9256-D150B55312BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287269$9F88B9B4-9499-4A06-ACEC-B8EB15DDFBFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287269$7F76976B-92D8-4AD7-BFCE-3ED220BF2ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287269$074D8B61-90C9-4854-B3B8-A79C93F93F5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5822d583f49efec288656db7fc6b67fd0ffab3a4","datavalue":{"value":"6585552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287269$C4276581-DB45-4053-968E-F2A455E2C4A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c71e46e79e03ad250b01addd277681d4c615b8","datavalue":{"value":"nonlinear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q287269$CF673462-4203-4A19-8A18-D6CA57EA6D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q287269$5E464E4F-F04B-4B1A-A17F-23094895C3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac6abb83abf0e4ac598222d9000270a608edc342","datavalue":{"value":"prototype verification system (PVS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q287269$C61D35C3-AABC-4EAE-935B-7189FC3362F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a02e7bbbb2a6fb98a5a1bd31c69ed022d5319717","datavalue":{"value":"polynomial inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q287269$7DDB2677-50FE-4EA6-ADAA-3F1BC65033C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8ba8d731656f0bb61bb55ea9999fc2cf63e208","datavalue":{"value":"Sturm's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q287269$EF6D4D4C-1484-405C-8CB0-40BE2F528065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362e9a6b6411be8c9703c6d7c490b8c34389e974","datavalue":{"value":"Tarski's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q287269$7BE029C5-C515-490D-9D66-EC667C719F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q287269$E6F8EF28-684F-4A95-BA6A-9F75A26DE9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q287269$6B6993B0-B851-4525-9328-BBD7A0348E45","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79364288bf55a5e9e75ae6ae19441509fb2c21e2","datavalue":{"value":{"entity-type":"item","numeric-id":24356,"id":"Q24356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$FF774AF7-977E-40CD-B62F-5A87E91E7F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$AB0A80F8-9C86-4C33-8760-0066648533DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$433DA92C-F27F-4843-B3E7-373904E22FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86f3dd89cea99e36ca0370b5d16e0fd864711e2c","datavalue":{"value":{"entity-type":"item","numeric-id":17037,"id":"Q17037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$10414CBB-0621-4CAB-8862-84D61A60C2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$1B7203B1-FB87-4FDE-B3AD-C1ECB4A9497B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$CF8E58DB-7836-4C65-8C5D-480F0BD627A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$AD3EE580-BD6D-4DDC-A355-6C7F81D536AD","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":"Q287269$C856C75E-3135-4D7C-9062-88EEFFB8B0E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09dfa618507bec6b12b6a200007052cea907415f","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9320-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q287269$1503A82E-1B87-4E72-B11B-01487495E488","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"440e9ee8e967c5e72a4797561afeddd7523a45c4","datavalue":{"value":"W1978149312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287269$6799F8F5-7649-4898-8350-2E743BA52774","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$68243BC1-C81C-43F8-B998-8DE9EA0A54E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff56ad271be0143ed70be6e0e6dd3643e98b7af","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$DF8942C1-F645-4C30-9A32-6DFD6C26D745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$94ABDB74-8EB6-46C8-872C-67133C262B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33edf6c60e987374ac2b92fef6c7f79da2b1b282","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$BED2FF26-01CC-4E61-B00A-50336D3D84B9","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":"Q287269$D4FB7BEA-1AAE-4C26-975D-1A309B85F5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380326a520504848d8aba3ecf7b841c3b2e637da","datavalue":{"value":{"entity-type":"item","numeric-id":5280635,"id":"Q5280635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$D6232881-DDBA-43DF-BA39-2F07DB00598C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51f0a26cf7ffc6f871ea5d6f0668421e06bb04","datavalue":{"value":{"entity-type":"item","numeric-id":4975017,"id":"Q4975017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$4BC397A7-9C41-4B79-AC51-A902BBB997F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$1007E7BF-0EFF-4F1A-BA65-9C55233A7164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b56254f6603fee0e562a8a16ea8e63d6068b88","datavalue":{"value":{"entity-type":"item","numeric-id":4923948,"id":"Q4923948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$C189329E-EAC6-4C30-8BD3-15D049CF559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$CD23DA95-4F7E-4597-ACDF-75081004027C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83870cd5fd146259390b187f4e7cdaaa8a4cba8b","datavalue":{"value":{"entity-type":"item","numeric-id":1582464,"id":"Q1582464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$91BA56B6-B6E3-4F4A-8606-30E01AB5CFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e601c894d5c994dce973a20f5f1156915c924502","datavalue":{"value":{"entity-type":"item","numeric-id":1401299,"id":"Q1401299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$A81D8983-E53A-4284-9EA3-7026E83254CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f97e95be859e33663b52106e626b60cd96dc530","datavalue":{"value":{"entity-type":"item","numeric-id":3088000,"id":"Q3088000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$0AE368AF-E2B0-4C14-A495-45842178D449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5ffd31d465a566a686c7d217db9ca46a4868d","datavalue":{"value":{"entity-type":"item","numeric-id":3549165,"id":"Q3549165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$36D59493-268F-4AA5-9B65-91F47A9B4ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fb026c7f4679de1f9e698ead828cb6959dff56","datavalue":{"value":{"entity-type":"item","numeric-id":3523169,"id":"Q3523169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$1EED709F-69AA-4B5F-8792-38F43CEF27C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b10d09dd23fb942e06cd9d7c7cebe54e5f98c29","datavalue":{"value":{"entity-type":"item","numeric-id":3431546,"id":"Q3431546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$1A94B2A0-2706-4573-BD6A-B0E08DEA6CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a848f856e7add83e6907744bb466bc863e38a","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$8A7813C7-4902-4D2C-A4E7-B8CF022BFF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a61099a476f9a57129d822e2de0c2a34fbb0d06","datavalue":{"value":{"entity-type":"item","numeric-id":3541683,"id":"Q3541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$39C1F475-1A9F-42BD-B7CC-9D98D2F092A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a919b2ffba22f7f2f5c5d93625bcbdf1495d7b","datavalue":{"value":{"entity-type":"item","numeric-id":3088010,"id":"Q3088010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$3A832DE3-32AF-41F9-AE10-FEA233AF863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7debd6baf13995aeddd81b95db33999cd52cba0","datavalue":{"value":{"entity-type":"item","numeric-id":4928437,"id":"Q4928437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$0EA370E4-877D-4BC9-AA1C-374EC10F8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4811f9d3d7db5db1fad3cb6ae2d4fac4173d257f","datavalue":{"value":{"entity-type":"item","numeric-id":2351165,"id":"Q2351165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$5A264A18-61A9-4B2B-8490-C0FE4E2946C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03a63a3adb35736d065ca0dff5ea03b35bdf282","datavalue":{"value":{"entity-type":"item","numeric-id":3637273,"id":"Q3637273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287269$305D3F8A-4004-4357-9498-91E14A251D91","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":"Q287269$78374AB5-1BD8-4C94-A90B-82AB641D518F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b767bd5a5d1adb7a7c8c96eeffa472a51e52cfcb","datavalue":{"value":"10.1007/S10817-015-9320-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287269$EB3EA4C0-6E4E-4489-A2EB-D3C59F50627E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e912ea82e99b38915a7d86f570d137482fb8a624","datavalue":{"value":{"entity-type":"item","numeric-id":5195289,"id":"Q5195289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23fabe3bdefcc1f3680e22459f573f09a623696","datavalue":{"value":{"amount":"+0.8942105174064636","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":"Q287269$C5A63F08-B714-45B8-98B7-D5E29BC7ABC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283346a3e31d84f6367e78d60c1099c1fff717e4","datavalue":{"value":{"entity-type":"item","numeric-id":1725844,"id":"Q1725844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ed9005611b090c47b045027bc0871239c4ed9b","datavalue":{"value":{"amount":"+0.7522775530815125","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":"Q287269$48DA9B2B-E92F-4505-88D6-FEBF4F071461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a11e3e558bcced7c324fbd8a9f802049e4ef25","datavalue":{"value":{"entity-type":"item","numeric-id":6488467,"id":"Q6488467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00660265516e27b78ac25b7eaf22d4d53fa414c0","datavalue":{"value":{"amount":"+0.7070262432098389","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":"Q287269$2AC18C8C-1B3F-4D16-9A71-01300085650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0751673252eba8b731ca63d4f1680d2f5d8dbc96","datavalue":{"value":{"entity-type":"item","numeric-id":4790667,"id":"Q4790667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9f903b5990acfe84fe8dae79ce42eb072c796a","datavalue":{"value":{"amount":"+0.7050440907478333","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":"Q287269$75722948-BD49-460D-A5C6-03FCB384172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b7e5208f662744fafa4464a03bfb0e8aeaf9b9","datavalue":{"value":{"entity-type":"item","numeric-id":2907335,"id":"Q2907335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e766b94054f3a0fe9e93e127efa4ddacba8c62","datavalue":{"value":{"amount":"+0.7022992968559265","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":"Q287269$83D50D9F-83D1-4E0C-B02C-8F5D7709C267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formally-verified_decision_procedures_for_univariate_polynomial_computation_based_on_Sturm%27s_and_Tarski%27s_theorems"}}}}}