{"entities":{"Q2900562":{"pageid":2911287,"ns":120,"title":"Item:Q2900562","lastrevid":51517448,"modified":"2026-01-18T14:41:58Z","type":"item","id":"Q2900562","labels":{"en":{"language":"en","value":"Towards a certified computation of homology groups for digital images"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059545"}},"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":"Q2900562$4EF39A3B-7F6A-43F0-A0D4-CF89292E1748","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fa9c4f75bc56c41a52d204c67f13b46a7af2dc6","datavalue":{"value":{"text":"Towards a Certified Computation of Homology Groups for Digital Images","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900562$225068F0-8914-4196-B1AC-A5B3DBA48A27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7022105191ae779e2d5a65e695550cbacf47aea9","datavalue":{"value":"1357.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900562$222AE8C5-6A6E-4AE7-B7F6-41A89496AF92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e875bd90864ba3509733f9178bb2dbc74359352c","datavalue":{"value":"10.1007/978-3-642-30238-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900562$7F551507-6371-4627-9900-849B147526B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9df023cae9b25ea4b60776547a8efc95e2e421","datavalue":{"value":{"entity-type":"item","numeric-id":280197,"id":"Q280197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$A4167E59-2B1A-4B8F-8E7A-853543614495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"343748d25c380d16ff7d424df96b35bd8fa80111","datavalue":{"value":{"entity-type":"item","numeric-id":2900559,"id":"Q2900559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$08A3C903-1751-4D12-8AAC-BE889A605D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4afc62a776032d8dbba74f8961edfd5521b97f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2900560,"id":"Q2900560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$89A33550-1BC9-4C49-ADF6-8F431B486CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b6655ff0c1854542b6f28c9af39f0877a44635","datavalue":{"value":{"entity-type":"item","numeric-id":2319989,"id":"Q2319989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$97AF5B73-6F00-48F7-AC2F-37534FD045F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1355b7f17500235a8f93da9895b4da8810bc674f","datavalue":{"value":{"entity-type":"item","numeric-id":2900561,"id":"Q2900561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$A43375AD-5692-4700-9156-2E7872033966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9837115d701db3c6d1129817eee769862467ad1e","datavalue":{"value":{"entity-type":"item","numeric-id":2844695,"id":"Q2844695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$D91A3D86-FA7B-4B15-B37B-97BF392FA44C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5de2665d3444c98192dadeb71256c47a3bbf55a3","datavalue":{"value":{"entity-type":"item","numeric-id":2815184,"id":"Q2815184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$6F3DAC80-6A2B-4231-90E1-1D04AE9267CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92b609966e3495f45f2960464f0beccd37f30b2f","datavalue":{"value":{"time":"+2012-07-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":"Q2900562$2450390D-4931-4C47-AB4D-D2F463F0BDA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab7a0d2add14e0dbd91ec8ae1d32a5bb94f2fb34","datavalue":{"value":"68U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900562$709C8448-D0D9-4B6A-A5A1-3ABE3647F8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"adab020d252f1ca7f9815cc1cdbd7cf1e65b1f96","datavalue":{"value":"57N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900562$233234ED-3BAE-4AA7-B1AB-05A56E7A5C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900562$61831A0C-CE8A-4263-AA03-BFEEF27F3C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e402ef99c8e0f5ecec9caa212271be1d3e4c4885","datavalue":{"value":"92C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900562$94421DE8-CAD1-4921-925C-DA97DD5854D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e19618e6d7ea22a9a4cc3d9d39b1ddb9ed87c4e","datavalue":{"value":"6059545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900562$682A01DB-0315-4BF7-A9CC-232DEB193271","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d317d712471535cc86cf9605447e5d2912d60de1","datavalue":{"value":"homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900562$666379A4-6D32-47AC-AC6E-452AD62A8A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08672c9968e8cf5bea2de47bbe81d05062124617","datavalue":{"value":"discrete Morse theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900562$A5C1911C-B9B7-4223-86D9-5B1BA0117D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e6e890d8777de96ded84850b646a62bfde7f037","datavalue":{"value":"proof assistant tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900562$15ED24F5-98A1-4D4D-BA3E-6DECD9061440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900562$AC120DD1-06EA-4F8F-99E9-92B1E88DFF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8ab3d14e29d837605a9096594ed45030120a23","datavalue":{"value":"SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900562$61324F43-D2C4-404A-9622-D97811A901F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d2946fd9ce7965ca844749e9086810e219571de","datavalue":{"value":"synapses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900562$E8AB48E4-0C73-4AB9-B9EE-BA3A3849A202","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"272434e3d3575860de92691c1c7831c4fa39be61","datavalue":{"value":{"entity-type":"item","numeric-id":24458,"id":"Q24458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$C040C7EB-F675-4765-85FE-DE26FF01EA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0eac774206f73f75670a31e090c6c54e822a4417","datavalue":{"value":{"entity-type":"item","numeric-id":31052,"id":"Q31052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$9F491F93-1FD5-4DA4-8C5C-5906B6691528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$898E3446-2E6F-4998-B101-B00DB6352889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900562$BEFA8DC4-E3AC-494A-BAD0-F993486B5D2B","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":"Q2900562$2D61B8BD-03D7-4DBB-B24B-A543A1DD4E7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67d24cffa11a2b37746ac49700fb4bdf432b1b31","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30238-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900562$C8F672F7-5A5D-4700-9DE3-99FCB1603869","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75842fb2f816648769ad71f70bfad7e654d50651","datavalue":{"value":"W2151373060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900562$F7E1016F-E0C0-4136-861F-FE9823ABA8C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075e94930cc7354afe0ffedff1b660ba2613781f","datavalue":{"value":{"entity-type":"item","numeric-id":2946732,"id":"Q2946732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128d25a26c4235409af1b3f4992436e0a34c1fae","datavalue":{"value":{"amount":"+0.8378291726112366","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":"Q2900562$574159EB-1F3E-4A0B-88AB-43E6748896F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b9b2e7e0d805a5df3128faee7cbbb6927a660d","datavalue":{"value":{"entity-type":"item","numeric-id":2907325,"id":"Q2907325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798b602ccaf317bc2d239e67d69409a121cd27fb","datavalue":{"value":{"amount":"+0.804720938205719","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":"Q2900562$FE307C2C-43DD-469C-80DF-1C2883B58488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4af1f9318484167a2c6f128780501e62e5c42dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946715,"id":"Q2946715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04329c0f80224e8dfc5e5389d297150e4d3246d","datavalue":{"value":{"amount":"+0.790259063243866","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":"Q2900562$74D7D631-24E5-4887-8653-2F65F25D579C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7939295e879ec03cb0dced1b44d5182b47f3dcab","datavalue":{"value":{"entity-type":"item","numeric-id":5316526,"id":"Q5316526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d408717c3d8650623d1555ca6310433705851c","datavalue":{"value":{"amount":"+0.7819684743881226","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":"Q2900562$DFFD91A8-ADBB-4CCC-97F3-0A80D678DBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56094ee18d8e3e3dd31442406b4d73a2f774c52b","datavalue":{"value":{"entity-type":"item","numeric-id":1861544,"id":"Q1861544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451e8842e88248e34d6e9c961a0ca1baef111cc0","datavalue":{"value":{"amount":"+0.746373176574707","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":"Q2900562$B3E602C8-EB67-4D8E-A99A-7F5C21A2400A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900562"}}}}}