{"entities":{"Q5187396":{"pageid":7216968,"ns":120,"title":"Item:Q5187396","lastrevid":48796378,"modified":"2026-01-05T21:24:41Z","type":"item","id":"Q5187396","labels":{"en":{"language":"en","value":"Cylindrical Algebraic Decomposition I: The Basic Algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895210"}},"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":"Q5187396$88F8B97A-9C5F-4022-BABC-216291445E68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2131e49a99dbfe1c53ac9c35817b8c58d794a62","datavalue":{"value":{"text":"Cylindrical Algebraic Decomposition I: The Basic Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187396$86633E3D-C267-4F93-ADB8-0F932EC27C63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca5b8effb7c19f50a1341e911696eccab0b51b1c","datavalue":{"value":"0562.14001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187396$36006F25-6F10-468A-BF9A-1C7A96064214","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de2cefeea609f91d67d2abff7be1f6b9ac71bf8e","datavalue":{"value":"10.1137/0213054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187396$29C7A7F7-1B26-4FB4-855B-CC55FBF1D985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd37772446b2124323468c0e01222e1ca3f577b","datavalue":{"value":{"entity-type":"item","numeric-id":918226,"id":"Q918226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187396$6A14308C-0557-493A-BD5E-465423F1559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee8aeeee6a72176125b125688231e8ed3263f5e0","datavalue":{"value":{"entity-type":"item","numeric-id":219543,"id":"Q219543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187396$2DDD685B-82D9-4DFB-A8A7-1B44DC2BBB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fc378fe90dc1e0ce8df529750ea27fee2349d81","datavalue":{"value":{"entity-type":"item","numeric-id":247222,"id":"Q247222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187396$E0F05A21-FC2C-412F-8770-EFADE9DFF761","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187396$409A3619-1098-439E-824A-1486CDEF8F44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187396$40F7235A-CC9D-43C6-B4BC-AAB54B122C42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187396$7CADC549-E374-4CC6-8D27-89CD452E7B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187396$44C14FF3-E5A5-4CE7-AFA3-827AC498A1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9cf30409c08d8794814df406302eff616099c6f","datavalue":{"value":"12D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187396$C9006A1B-19DA-4E53-AEF3-F541B72A0231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187396$598E94D2-C6E1-437B-8659-8B7F896CA167","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72154fc958765909024eb40a5b2a2b070d3d51e1","datavalue":{"value":"3895210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187396$2A14AA7F-68FA-4F01-BD26-EE00E2956349","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551d108313cfab3a77b395a647aede7021169ebd","datavalue":{"value":"computational geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187396$5EE3FCEF-3C1D-4157-8F2C-CB7861EEE54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187396$857B53A8-7CB9-41B5-913E-EEA04F612E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133df42a52ac6f2472cb961ec52d3071c15bd07d","datavalue":{"value":"real algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187396$E7FB9977-B153-4535-B1A0-7E6D4F7A1F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903568a20bcfe5c1bcee2c8c5bd73b798f8e617d","datavalue":{"value":"cylindrical algebraic decomposition of the Euclidean r-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187396$1B548136-2280-4D78-818E-50BD56C98D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"460513f5424643dbd27c4df7e11cf7ee6dead023","datavalue":{"value":"cad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187396$B1389315-171D-4988-9C46-38AD8CF9872A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31c01a74acef19b390dbe7ad94fe355d1115340","datavalue":{"value":"zeros of the polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187396$22D1000B-96A7-4771-9D68-9D11C3CF5065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187396$97F5FC40-2A08-42BB-9698-97911EAAD8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c0039108c8d45f1427c466bf0f325fc985f1b9","datavalue":{"value":"pairs of adjacent cells","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187396$C411967C-1E59-4F21-A065-C796F842CA78","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":"Q5187396$4E319B27-2374-40E6-9240-D1D791188CAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"011a09a498ba2213ddd9f547eebf279eafd1dcc0","datavalue":{"value":"https://doi.org/10.1137/0213054","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187396$8CECBA52-8807-4B13-BE89-395328E7E27C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59a1f2b50c03a1ff66bf5541e35797d520160794","datavalue":{"value":"W2067705970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187396$EB1E9A24-F8C6-49DF-9F75-05C0227F6806","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ff20adfb74fcf8120eb9c907ec768f4f960d61","datavalue":{"value":{"entity-type":"item","numeric-id":3696510,"id":"Q3696510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee24b2a9225278a46b9c6f98467f1358d57e7d0","datavalue":{"value":{"amount":"+0.9440434575080872","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":"Q5187396$5BD4B249-D331-4CC9-AC77-FC76C37CA6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d57fbbda51de80d3e8b1c7375b0b9f90f25004c","datavalue":{"value":{"entity-type":"item","numeric-id":1599550,"id":"Q1599550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7525f79b945682dc6cfba2caa263788b4e8c96bf","datavalue":{"value":{"amount":"+0.8688297271728516","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":"Q5187396$66F77E66-BD50-4B7A-B130-287FE88DE64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b138060b7b7516c82a852b414dd7be7fc7683110","datavalue":{"value":{"entity-type":"item","numeric-id":3716289,"id":"Q3716289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7430d11f545f1d8233dbc3929198b971f98ae8b4","datavalue":{"value":{"amount":"+0.8664381504058838","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":"Q5187396$F68F2016-CDB4-4D14-A914-6B1A665E55F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63374163c0cc1c4c861adabd11106e34026f40ca","datavalue":{"value":{"entity-type":"item","numeric-id":1105371,"id":"Q1105371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3f490bc7156a8fd279aa5b3e817d3433acff3c","datavalue":{"value":{"amount":"+0.8536716103553772","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":"Q5187396$A31CC2C1-E117-4D83-866D-2816C51722F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32ce5c8df1c3767224f2868d6b91fdad851b4cd","datavalue":{"value":{"entity-type":"item","numeric-id":1105372,"id":"Q1105372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d59aef5fdd5e3632688a7d76eb8e3f592be5b35","datavalue":{"value":{"amount":"+0.839613676071167","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":"Q5187396$A4F08BEB-2A5B-4657-8EF4-80CE95744626","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187396"}}}}}