{"entities":{"Q2879161":{"pageid":2889881,"ns":120,"title":"Item:Q2879161","lastrevid":58056999,"modified":"2026-04-03T15:28:32Z","type":"item","id":"Q2879161","labels":{"en":{"language":"en","value":"Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341350"}},"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":"Q2879161$D6F8E8CA-061B-4E57-BD1F-4A594B50C394","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a2ff36a4f47493a7a8c04a5897cbbbde074c8b5","datavalue":{"value":{"text":"Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879161$0CE60C13-90F5-4870-A165-56A755794C5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58c0df7056cbe08e9ad2f0cda65b69245a291e71","datavalue":{"value":"1437.14008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$B9465613-EF4C-4A7D-B740-9C256D0E89B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25713a8ed28e5c6c9481bf0abcc923db3e340ec7","datavalue":{"value":"10.1007/978-3-662-44199-2_69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$67249BAE-1C36-4CBA-A123-35227AC0BD59","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":"Q2879161$A995F4A0-38EE-4260-BC40-D19F498CEA0B","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":"Q2879161$12E8C197-7B41-468E-8290-91C6CC3E483B","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":"Q2879161$47E7EE1D-F699-4CD1-9CC1-E1B829CA8A57","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":"Q2879161$ABD81F49-BBE6-4195-B38C-CC052DBE5029","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":"Q2879161$7F420054-D1A2-4F73-BBD2-9A46616B9AB8","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":"Q2879161$E74AF889-9006-4574-84CA-717F8BF98B75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c084a3e69735a7a9f30df985d01248c7ca667fbf","datavalue":{"value":"https://arxiv.org/abs/1405.6090","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879161$32DB74CF-362B-4445-93F8-75FD7F081AF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$6BC46F4F-DD4C-4E6F-A82E-B3624AD1C8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e89d0435f995b7ec9782cc99fe79fe3b0efeb6e9","datavalue":{"value":"14Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$64898F7F-CD91-45AC-9586-32480DA30339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$8D53BF7A-C9E3-47C6-89D2-D976E0FE2B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$AF7001F2-E1F4-43E8-B6B0-9422757B7277","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3459da18c895519f5cdbea89bfef2e1ce216078c","datavalue":{"value":"6341350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$7F7CE53F-2D4A-4E35-8967-AF4BCC5918A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f09a77d0f2f6888161133fc3c11a0753dd69e3b","datavalue":{"value":"RegularChains library","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879161$170441CD-6026-456E-B892-6FC54092B5EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f1668b9b5e2ca30cf73cff80dba81a42f5ad912","datavalue":{"value":"Q59590583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$2894AD68-33AB-4268-B35C-2B736575E6D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a37c6158e55879128d99262e3f4ca3b0540ddb4","datavalue":{"value":{"entity-type":"item","numeric-id":21890,"id":"Q21890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879161$732FCFB4-A478-4BFC-915B-0034ED2905DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879161$6E101DDD-DBB5-4D2D-A033-DE289C839A68","rank":"normal"},{"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":"Q2879161$2410385E-FEAF-4C80-B732-86A3D230E5CA","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":"Q2879161$B340B9D9-696B-447B-87A7-05083FF60CD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70d514fcc9ba61c6e3bb64832d4820ba1f71a92e","datavalue":{"value":"W126540604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$615B8218-369F-4B67-B141-BC06A6C9AD20","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4fa0125d96633ae5febb00cb7da5095f6d640d03","datavalue":{"value":"conf/icms/EnglandWBD14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879161$56CB516E-312D-4540-BC24-8384D34C972E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09eb54035581badbf0a19750d933cf6470bc8379","datavalue":{"value":{"entity-type":"item","numeric-id":2879157,"id":"Q2879157"},"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":"Q2879161$E1CEE546-521E-44D6-BEB0-43A2561A67C6","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":"24296c220ee0a84230a5495064fe2a22e662280e","datavalue":{"value":{"amount":"+0.8098490834236145","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":"Q2879161$1CE5FFAC-D728-41BB-A399-F4A515352AB6","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":"831f5285886b54ebedb8df092c21df64c6371d9b","datavalue":{"value":{"amount":"+0.8092988133430481","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":"Q2879161$078F684A-B7A2-4CD7-945C-0EF9D77CF355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a59dacd297997f998a64afe74d93898c972a6c","datavalue":{"value":{"entity-type":"item","numeric-id":5925208,"id":"Q5925208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b697a774f1a12baf8847e4fe303e744fc7cae32","datavalue":{"value":{"amount":"+0.807759702205658","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":"Q2879161$2427F94F-162E-4CF7-8021-09AC5C679EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a5239fda0594f59fc4f3a2fd5991997cfcb31d","datavalue":{"value":{"entity-type":"item","numeric-id":5950980,"id":"Q5950980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaef993499b564445a19a8a48aa85de5ba67012f","datavalue":{"value":{"amount":"+0.8034915924072266","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":"Q2879161$AEEDE33B-7AF9-4AA0-B022-A6F52FA65E70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879161"}}}}}