{"entities":{"Q2052718":{"pageid":2063460,"ns":120,"title":"Item:Q2052718","lastrevid":57707415,"modified":"2026-04-01T00:30:34Z","type":"item","id":"Q2052718","labels":{"en":{"language":"en","value":"Computing the homology of semialgebraic sets. II: General formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7434416"}},"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":"Q2052718$3133948F-64F8-4688-8A24-F1F743104317","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a95c67659f82648792faaa8770bbedcf3047444e","datavalue":{"value":{"text":"Computing the homology of semialgebraic sets. II: General formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2052718$EEF89611-F1B3-4C28-9745-EDDCF8500AC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"676f79c03a641bb33cc810955a9ac2366bf61de7","datavalue":{"value":"1492.14103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052718$8C2DAF55-6F69-4035-8CFB-81F9EAEC12B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e924ed081f4605dc26607b8aca3d4232bbd94111","datavalue":{"value":{"entity-type":"item","numeric-id":254894,"id":"Q254894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$63A50D7B-AC10-410A-B967-3C07BCDE3136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c2e1176b7e05a6aa00019f286dc7036ccdb20da","datavalue":{"value":{"entity-type":"item","numeric-id":199198,"id":"Q199198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$31944F3C-B75E-4E09-9127-43C1F81DCC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9272898702ebcd1f4c1c4caec9615a38ce25c2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1996081,"id":"Q1996081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$CAC4540A-02EA-421F-B83E-F13EB1EAA13A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1de0dee9456ae54727642f6ba64e62fe6eaa93c2","datavalue":{"value":{"entity-type":"item","numeric-id":203859,"id":"Q203859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$C5A9D658-2DB1-4167-BEE6-9B6DE476FD83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e478ee1306f12b3efcf9d93fcafb155f884767e4","datavalue":{"value":{"time":"+2021-11-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":"Q2052718$D743D3B8-E323-4E1F-9534-97CABC61BEB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58eae7cf174316b1126e279b584cf98854e5ec6d","datavalue":{"value":"https://arxiv.org/abs/1903.10710","type":"string"},"datatype":"url"},"type":"statement","id":"Q2052718$70A6553B-F2DD-4C4E-A962-210AD03DD9FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dd28eea5aeae695ef6184194bb8e57d5361264fb","datavalue":{"value":"The authors exhibit a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of semialgebraic sets given by Boolean formulas. This work extends to arbitrary semialgebraic sets the results in part I [\\textit{P. B\u00fcrgisser} et al., Found. Comput. Math. 20, No. 1, 71--118 (2020; Zbl 1440.14264)]. Complements are allowed in the Boolean combinations (or, equivalently, negations in the Boolean formulas) describing semialgebraic sets and so are strict inequalities. The new algorithm works in weak exponential time. This means that its cost, or running time, is single exponential outside an exceptional set whose measure vanishes exponentially fast. Outside this exceptional set then, the algorithm works exponentially faster than state-of-the-art algorithms (which are doubly exponential).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052718$0783F954-E495-4F4E-9FE4-9E4892835E0E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f3f6a0c4e877a78ba7ff6e8463d55e2720c7400c","datavalue":{"value":{"entity-type":"item","numeric-id":475404,"id":"Q475404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$5312DAA5-2B5E-4EE4-B974-2954251DCA8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052718$36AE383A-B7A1-4E9B-A4CC-BB0F015287D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052718$3A313022-1605-4FF1-8C46-92DF21AFBC89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b21e05e7b4a180c59508c92d006ffe2f3d8210db","datavalue":{"value":"7434416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052718$B42769BF-7526-4ED5-8B20-8311727919C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0406bcaba2e6336b18a1bb54d386b956e4bec793","datavalue":{"value":"numerical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052718$BAD320DD-317E-4C50-BF3A-7D254C4B3E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a3ea54f7127093cbbd058e685b018e0a3384fb","datavalue":{"value":"homology groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052718$DE207A86-4336-43B8-A5A5-35E9DE66A7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637de8afb205120f1d2bbe7ab9820b4006b43833","datavalue":{"value":"weak complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052718$70ADAFEC-EAC7-4B33-84A0-D86A8DDDAD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a59ac83c831eff90a06ab9988f15f2a7bb6e16c","datavalue":{"value":"semialgebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052718$2389AC16-ED37-42C7-9659-4C9D952FCD54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdb3ff6928efd7a691f99d6b82d5fcf0f34b7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":21341,"id":"Q21341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$30731CDD-D8D6-4522-AB67-0715D3222875","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":"Q2052718$67FB9C4E-0339-4D5E-B8C4-2F8B9734FA4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59f7c64182205faea2699166c606eef8daa784e","datavalue":{"value":"W2922936069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052718$62D6F166-27EB-4D7B-8463-AF646C03D15F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc00581e781f31a8ff8b8a742dc26e606ba8ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4625671,"id":"Q4625671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$4B202E15-30C1-464E-A8E3-B7E3BD534631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8685609c03316c1c0245763fdf3ce2262722000b","datavalue":{"value":{"entity-type":"item","numeric-id":2291730,"id":"Q2291730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$D76727FF-B86A-472F-91CA-90B743C5FDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a4c60ceeb784c70e834200fd6d946d76a7740a","datavalue":{"value":{"entity-type":"item","numeric-id":2837795,"id":"Q2837795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$4A099ECF-4276-4056-9D8E-AB36D19A29B7","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":"Q2052718$B09CE2D9-CCB6-42FE-AC9E-8E0CD66AA71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0f6aa95950dac933dd8e3df1e7602b10f8a60d","datavalue":{"value":{"entity-type":"item","numeric-id":958246,"id":"Q958246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$E2FEE7E7-0563-4A47-8601-9483EA553892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59f06e977ef40d656966b716224152a4a5a1da1","datavalue":{"value":{"entity-type":"item","numeric-id":667646,"id":"Q667646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$416190E1-7771-46F6-B0A4-7E8860858A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7d504c42675edd428e310da4c44c8a5f090dd5","datavalue":{"value":{"entity-type":"item","numeric-id":1727980,"id":"Q1727980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$C039BAA2-C749-4A71-AB38-82A2D6EAEA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7692ef71e74a23bc7748437d88897fe68ecbd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5323898,"id":"Q5323898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$E922508B-1576-4393-9347-3CD882AB88F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5eb71ed1cfef4c6356cc123b9b3e7190788af","datavalue":{"value":{"entity-type":"item","numeric-id":1246772,"id":"Q1246772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$78899303-75D2-4CE7-AFB8-BCF29E4BAEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8063aab2456cd79fb9f58b583c44a7949600de2","datavalue":{"value":{"entity-type":"item","numeric-id":4819371,"id":"Q4819371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$A0156ED2-CC4E-495F-AA61-30A681BF3A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abdd5a9520c254d4984b19dd81adfab8b9c8e75","datavalue":{"value":{"entity-type":"item","numeric-id":4899976,"id":"Q4899976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$91370FF8-F854-4AD7-8EC0-CE7B08CAE014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47544a2dabb03675e87ae4c5f68b53135719f435","datavalue":{"value":{"entity-type":"item","numeric-id":2482210,"id":"Q2482210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$DEB7B9AE-932A-48E7-A1BE-84DD4F0A42FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939f743caca07209cc6742aef0f0150f5dbc4b2a","datavalue":{"value":{"entity-type":"item","numeric-id":2796860,"id":"Q2796860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$57F87A23-96A1-47D5-9C86-6E121976B694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8332468c56cf425ddf859080eb3b69a9207db47c","datavalue":{"value":{"entity-type":"item","numeric-id":760006,"id":"Q760006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$09EC835C-2613-480D-8B89-6DECD286324B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d6b27e1da3e3d861bd7f54420ba1974d26dec89","datavalue":{"value":{"entity-type":"item","numeric-id":4875494,"id":"Q4875494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$0C57FFFB-8A2E-40F4-919C-7D38C31E4B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2573df983d7b2d8847c9ef52ff2238b8e8f98c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4720691,"id":"Q4720691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$10C84270-376D-4083-9E39-DA790019BC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92de3f05590685578d3ffc2c8aee29bbdd76883","datavalue":{"value":{"entity-type":"item","numeric-id":4137157,"id":"Q4137157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052718$FEA626AF-02BD-49D8-9E3F-717429251E1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f52b89b84631c3b2088d1b1de90b7bdb050b9b26","datavalue":{"value":"10.1007/S10208-020-09483-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052718$0A6C2AB3-6E8C-4113-ABB9-38CE53BE9B7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d2941e62219ba430deb5cdb9f270107a468b3d","datavalue":{"value":{"entity-type":"item","numeric-id":2291730,"id":"Q2291730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1823202ef508e35bc632078d48d62ba071219ce4","datavalue":{"value":{"amount":"+0.934938371181488","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":"Q2052718$F774F9B1-9FB7-47E5-B461-84C9CA11FE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f774b3c577a00ff7244daae7bf0262eacd2de811","datavalue":{"value":{"entity-type":"item","numeric-id":4625671,"id":"Q4625671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d67c3fa105cfcdd8b02a6c544f24b4bf22dd8d","datavalue":{"value":{"amount":"+0.930740475654602","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":"Q2052718$2FA09036-55B9-477D-B5BF-C8CC34391924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1404b1803c69783662b8b23e6699c183a0cefa97","datavalue":{"value":{"entity-type":"item","numeric-id":4228495,"id":"Q4228495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549c987f11e90e2ccc16600ef84a091761749e1a","datavalue":{"value":{"amount":"+0.879141092300415","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":"Q2052718$3B99EEB0-E93C-4C7F-B495-EF5959F09FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b0de41847b33ffb94dafbe2d3151aa89bf57b5","datavalue":{"value":{"entity-type":"item","numeric-id":667646,"id":"Q667646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e64dd990db9864efb9ce4dcac6fab7d209f91d","datavalue":{"value":{"amount":"+0.8636575937271118","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":"Q2052718$A17C427D-103A-4C20-A653-F851F60AD182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5cf25e3f5cd10483271bc765115a86358a7f68d","datavalue":{"value":{"entity-type":"item","numeric-id":2457390,"id":"Q2457390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e438dfaa4fb42a509d792c73b6bf24df7f68faba","datavalue":{"value":{"amount":"+0.8548856377601624","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":"Q2052718$DA285293-7D21-431E-8655-3E144D88733E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2052718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2052718"}}}}}