{"entities":{"Q2457384":{"pageid":2468127,"ns":120,"title":"Item:Q2457384","lastrevid":50191946,"modified":"2026-01-13T11:33:21Z","type":"item","id":"Q2457384","labels":{"en":{"language":"en","value":"Cylindrical algebraic decomposition using validated numerics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203491"}},"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":"Q2457384$62B16DE1-B51F-4A4B-B665-230E1DE73279","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fdd00dc3a34e9f4ca5fbee30b7ec3848fc2999e","datavalue":{"value":{"text":"Cylindrical algebraic decomposition using validated numerics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457384$81E74292-C901-40C2-94F5-A04200A37319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c695ab00b4a7a26c5c1466c28457b982ff12b68d","datavalue":{"value":"1124.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457384$73AF2791-8349-46C1-8B4A-7CD0FCA56357","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":"Q2457384$E83EA4FC-DB73-4B11-BFDC-42AC518D2EEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457384$AB9CBDE5-6354-466C-9CEB-0AC92B8ACC74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457384$F513DE8C-C7F6-42FC-9D9E-7DD7287362CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31896422e6d8800b21693e23b11279a404743c5b","datavalue":{"value":"14P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457384$3A0FE8D2-5FA2-4119-AB90-B3D9424A617C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69216c36d79adace7de00dea3f0fc0d642b839f9","datavalue":{"value":"5203491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457384$113614E3-E051-4A21-A093-E2B96FED1BC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457384$E5FFDCCD-4EDC-46B6-9F0C-2C3F3F3FBAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929ccfbb42c576f33cbc37973bcb7ca667bd3bd2","datavalue":{"value":"CAD","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457384$C1B158AF-F0C1-4386-B0BF-6341F18B49D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a41e0abdc60d6b0d7c68fefda5abcfb81428d54","datavalue":{"value":"solving inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457384$160872DF-1932-425F-99EE-24663AEA0EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fdb5b8c281a50c1ce4e01189f3a6d7690d0440f","datavalue":{"value":"algebraic inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457384$3C2E1406-0D7F-477A-8C26-AC82568FB255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a59ac83c831eff90a06ab9988f15f2a7bb6e16c","datavalue":{"value":"semialgebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457384$3CB17B0B-4DDA-4ECF-B5C2-11385C2CCC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457384$B8A03185-DC35-4D0F-AD81-7BA9ACCBAA4B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$AB1C1599-4793-4FD7-8719-AA6520970308","rank":"normal"},{"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":"Q2457384$312D791F-81EC-4895-9709-1AD42642CEB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"839da8fb2ad5262719b48f39d6c370f918d5d4d2","datavalue":{"value":{"entity-type":"item","numeric-id":1382035,"id":"Q1382035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$BADFFA32-F719-446F-A26B-BBFD740A4B9D","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":"Q2457384$BAC09BA1-DBFE-4B6B-BA77-B9CF6FB82CDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ec0945ae7fd1054bb22addb59527094ff827023","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2006.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457384$AA15BEDC-A03D-45BE-BF48-DA8B6289E137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61aa9a7175208d8a8113f9d5e27b68d03d70c8f3","datavalue":{"value":"W2075348750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457384$16F99703-7ADD-441A-B3FD-55F9E846A2E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7e5151d0fc1ca64a555cb02fdb2c0495b3243e","datavalue":{"value":{"entity-type":"item","numeric-id":5950980,"id":"Q5950980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$DDD9B1AF-E8BD-4A0B-B846-F93198C97B85","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":"Q2457384$71CA354E-6305-4AC8-8828-7A6E6001D998","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":"Q2457384$BF3093DA-57B9-4139-A1CD-6F51757E1D0A","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":"Q2457384$2FDD3E19-6816-4C94-8C6E-609FE5E2085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8355b202bf9c3519523c6b18152787760be6a1","datavalue":{"value":{"entity-type":"item","numeric-id":1864882,"id":"Q1864882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$1543CDF2-DDFB-4415-A72D-0A7E875988B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f1688f1fa56aac86f71f6b17da15abb93f72fd","datavalue":{"value":{"entity-type":"item","numeric-id":1368691,"id":"Q1368691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$1BFA3C75-C592-4A75-84A4-F21E3D7F1E53","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":"Q2457384$0CDE2A17-DCD6-4D1A-9996-06DB0AE15C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf4f126bd2e556995b31d0a7b232a3abe5e1ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1368690,"id":"Q1368690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$B29F0AB2-E401-4089-8453-779F4E977115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9885dcf34fc3995ef77b10f76b281e8d04d095e5","datavalue":{"value":{"entity-type":"item","numeric-id":5651510,"id":"Q5651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$8FA9F72C-5156-4789-949B-235FAD61C08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$B0234D8B-4221-4FD9-9376-F56B15F35021","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":"Q2457384$5A9C1F10-C2DC-4A33-B83D-DE72932F001D","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":"Q2457384$E17A2C6D-BD03-4CDB-8CA0-DB2F83237188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63345ad81c6208aa32bdb4769d478dd9ae2a205b","datavalue":{"value":{"entity-type":"item","numeric-id":2958937,"id":"Q2958937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$F679E0A0-9988-4046-BEC8-85B2DE53BF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e73dbdba735b48e12732b9669ad6ef479339545","datavalue":{"value":{"entity-type":"item","numeric-id":1382036,"id":"Q1382036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$BFB20E55-5E73-4FF2-A712-493D1BF4F44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f13ce575159035775f12cca2d4b1022bb6a479b","datavalue":{"value":{"entity-type":"item","numeric-id":4949370,"id":"Q4949370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457384$CA22F5BC-016A-46CC-9715-BC4F54EC1CF2","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":"Q2457384$A7FC8D50-92EE-44DE-9C2F-58EBB13451B3","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":"Q2457384$9C2E3B96-1151-4325-9BA5-C3FBEB522980","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26d758a0770edadb233630da6f6e21493c20bd2d","datavalue":{"value":"10.1016/J.JSC.2006.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457384$B0F72F37-EC2B-441B-851B-F144BAD27B88","rank":"normal"}],"P1643":[{"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":"7344a5d23ad577aeb360055ad71e24bed5854b34","datavalue":{"value":{"amount":"+0.8205134272575378","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":"Q2457384$30AE9FB3-AE13-4E1F-B4DB-D643FA542F19","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":"09777bbcffd3113cfb165c788b4ffa0bb225c4ef","datavalue":{"value":{"amount":"+0.8157218098640442","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":"Q2457384$2CAA428C-EAA0-4267-ACF6-A3600B7BEA38","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":"78dbb6f439345afd46f2d6e631e3366299ba4547","datavalue":{"value":{"amount":"+0.8134304881095886","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":"Q2457384$74699834-962B-494E-B59D-20B5341C6D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4915b6ca72767f83d8842953e9dcca51135a736","datavalue":{"value":{"entity-type":"item","numeric-id":1864882,"id":"Q1864882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e6e6bbe4721462e41f840c4cd34c927a9ea94a","datavalue":{"value":{"amount":"+0.813295841217041","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":"Q2457384$FC1DE848-79C1-4F98-B4A2-9779D006BD29","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":"37203a16d3be3f99126c3c7fc8619b9a60062240","datavalue":{"value":{"amount":"+0.7981029152870178","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":"Q2457384$B7E3D6BB-A044-4AC4-ACEF-1A0E08D437CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2457384"}}}}}