{"entities":{"Q2879157":{"pageid":2889877,"ns":120,"title":"Item:Q2879157","lastrevid":52085108,"modified":"2026-01-20T22:02:32Z","type":"item","id":"Q2879157","labels":{"en":{"language":"en","value":"Cylindrical algebraic decomposition in the RegularChains library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341346"}},"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":"Q2879157$2643680C-30A1-49CA-91C6-F21F2421070E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed8a787a0f203ec9df921f04c3bcde1d180e7b99","datavalue":{"value":{"text":"Cylindrical Algebraic Decomposition in the RegularChains Library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879157$D98C972E-6386-4453-B8B5-505688B651A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da645ba349ddce3d16609209a78847cfedbae27d","datavalue":{"value":"1437.14007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879157$D82A119A-6726-4526-828E-88F096BA100C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3844c49c817fa1a1f5c174cc0867136eca594a1","datavalue":{"value":"10.1007/978-3-662-44199-2_65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879157$CBB6039D-5336-4082-9003-73E007CD99C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473ad80f91cf916af26228ef57424520d1aa9382","datavalue":{"value":{"entity-type":"item","numeric-id":413405,"id":"Q413405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879157$E865B1F8-7A41-4374-BA68-790A9279A48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879157$5525153D-139D-44C5-B8BC-611CBA246427","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4ac82364f0ef37674b402ad685753171835f31d","datavalue":{"value":{"entity-type":"item","numeric-id":2879087,"id":"Q2879087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879157$231F4896-1EC9-48DA-9547-53F0E3B7CF7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879157$EF7FE81A-02E0-49A6-9CE1-F87D2171ED90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879157$93C82A42-5058-4ACF-81DB-57AD5D585730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e89d0435f995b7ec9782cc99fe79fe3b0efeb6e9","datavalue":{"value":"14Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879157$E30A3117-8D01-4B67-A713-DDC97D3EA91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"efb809c7138464a470e21fc4cb0dbe615f42f348","datavalue":{"value":"14Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879157$8D2AF895-BAB0-4688-A99A-6123A3386DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879157$54EFF3DC-1EC7-4428-A589-EA4806D74502","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecf3edfc5257e643f48d5229abf67f3f9c6d7755","datavalue":{"value":"6341346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879157$8AF91B06-98BA-4BFA-A5E8-E88807C9D311","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879157$B251B43E-D0BE-474C-8151-1231BE96EF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf8358b2df85a4ffd0e6967e70986501310f0ae","datavalue":{"value":"triangular decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879157$C97CFF23-451B-4468-A1C6-D71B7614885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ac42ac079d7b39a9fa525e06ce7c50d44d23ab","datavalue":{"value":"RegularChains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879157$628993BB-3E6D-4D10-9CAA-95A46BE85A41","rank":"normal"}],"P1463":[{"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":"Q2879157$4817D2FA-FA0D-4FE7-8D4D-0DDF8E8A999F","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":"Q2879157$D3739DCB-7548-40AD-87E7-2402FA0000CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c37fc265cc1a760e4fead369b9b4260f7b86778","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44199-2_65","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879157$FD964947-C2BB-4739-881D-077D53B03F82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b181627e8dabdffd0c039e5cdb9d722858812c4d","datavalue":{"value":"W2279960605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879157$020F1321-807A-4F68-829F-A4DF8E8D54B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8721faada28323282a01a475548828c4ada417","datavalue":{"value":{"entity-type":"item","numeric-id":2879161,"id":"Q2879161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bea5b8d9ed6231b7b4fdc2c4ebd3cb255980f3c","datavalue":{"value":{"amount":"+0.8839083313941956","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":"Q2879157$3B7A9A0B-50C8-4755-B054-5713C552B23B","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":"ca488ff2f2d7fe2acbf2e25cb558cc24d49120d6","datavalue":{"value":{"amount":"+0.8201236724853516","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":"Q2879157$A25EC0A9-FCBC-4B1C-B47D-80E6BFFEFC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e245975b0c6a828c2082d138200c234985593e2","datavalue":{"value":{"entity-type":"item","numeric-id":2883805,"id":"Q2883805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7a36ed58a82307eb24b010e848af4b5d3003d7","datavalue":{"value":{"amount":"+0.7979714870452881","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":"Q2879157$087E77A1-F1D6-4E38-A5FA-D9FD190DB91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb870166e4737e2e069d8f3b8cdd144494d7d92","datavalue":{"value":{"entity-type":"item","numeric-id":2457384,"id":"Q2457384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a88da35a2ad61e195474f29ff23c54d26c924d9","datavalue":{"value":{"amount":"+0.796390950679779","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":"Q2879157$F19A35CF-0A8A-4310-A3C6-B51FEEB6F40C","rank":"normal"},{"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":"4f678c718d148d86d18ac8e0f5ab7062f7647e27","datavalue":{"value":{"amount":"+0.7918775677680969","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":"Q2879157$4D1C33BD-D163-44CE-9885-D3E3E7FC118E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879157"}}}}}