{"entities":{"Q2946715":{"pageid":2957435,"ns":120,"title":"Item:Q2946715","lastrevid":58059126,"modified":"2026-04-03T15:41:02Z","type":"item","id":"Q2946715","labels":{"en":{"language":"en","value":"Computing persistent homology within Coq/SSReflect"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483214"}},"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":"Q2946715$163FA6B6-F249-4734-8203-7AE1420E17DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a362a2a69d0b3fe4b7efd13d6e5a443cdb73d3a7","datavalue":{"value":{"text":"Computing persistent homology within Coq/SSReflect","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946715$C6F53E06-1E9D-44FA-A519-92FEA1805C5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b39b1bc33347d6be64ef2da7ced880412f209986","datavalue":{"value":"1353.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946715$7610AF1A-6292-4AE5-B3D7-A593D17F883E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72476e979c86526596a79c09009300f96b555acb","datavalue":{"value":"10.1145/2528929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946715$A36E601D-5BB4-4C44-A5A6-F83E780375B7","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":"Q2946715$8FFD9D10-BFE0-4845-8B56-C23A53CC1CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946715$DEF51395-E51F-4867-BE6E-CA03FE2E60B3","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":"Q2946715$EDED02D1-E75C-4275-BFD0-74F3F5FF3F3A","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":"Q2946715$0274531B-4A85-4432-A569-583440D55CBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946715$8E817E97-49EC-4072-94A5-8AD5C3487715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946715$D6765C82-066F-44FD-840C-425C0773AEFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e22fb7149cb4bb15449c1e9818e251c2b5267221","datavalue":{"value":"https://arxiv.org/abs/1209.1905","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946715$1C1608FC-E222-4669-91F5-68B62046B96A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946715$B743A6B0-A812-4E99-82D1-493FC3233F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946715$B3B2B84C-27F3-4BA4-B15D-EC628649E33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4f62d49d679959889250c0021d9257856e4ae3","datavalue":{"value":"55N35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946715$27EAE036-BC45-4E0F-9AFB-A2218FCE69CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87bb0b1dce40b12810d5d9a3deb36ba67fea4c98","datavalue":{"value":"6483214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946715$25DFA68A-433A-41E7-9ED1-A4F17A80246D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946715$6A277100-78A4-4C2A-9E21-57AA3ABC2E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8ab3d14e29d837605a9096594ed45030120a23","datavalue":{"value":"SSReflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946715$121A94DE-E408-4378-ADB6-760A1B553193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1d06f32b48414952aab32f07962f531328eb36","datavalue":{"value":"persistent homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946715$CA6B18BE-8E87-4DB4-8FB0-FD9668F76F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ded3a9721e587b93d3a9889dab145c5a5ad1611","datavalue":{"value":"computational algebraic topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946715$335EEE6D-A5A7-4795-8383-65266A066B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946715$313A7F8B-7D02-49DD-9449-6BECAA00DC7F","rank":"normal"}],"P1463":[{"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":"Q2946715$B0773378-5C7B-4B3B-AECE-BA927D30043C","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":"Q2946715$05508E74-9F60-49B4-BDF7-E9FE52D22635","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":"Q2946715$FC5625C0-0C26-4915-8D88-BC224EDCFEEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e5d70c8083b62b35eafc91ed6620cfd507f604b","datavalue":{"value":"W2021064762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946715$813383F5-6879-4376-84C9-B627DC12B684","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8dd60d8ffa429e9574b03af9bed59b69a12dd50","datavalue":{"value":{"entity-type":"item","numeric-id":5200106,"id":"Q5200106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b81eb564fa434d573db3d902e9c57970a11be10","datavalue":{"value":{"amount":"+0.8059550523757935","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":"Q2946715$87BA1226-E2BC-4E51-BFFB-A8548F8891CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a1f3331b51ca53f8eaab24ecae369057c407154","datavalue":{"value":{"entity-type":"item","numeric-id":372699,"id":"Q372699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941a71f923a8186d9ec27070160468cb10ed69f5","datavalue":{"value":{"amount":"+0.7913685441017151","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":"Q2946715$BE294D7A-0615-4DFE-B663-04B15B8FBE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec197fdfc0bc4fd5aeb649bfbf78a6352728cb6","datavalue":{"value":{"entity-type":"item","numeric-id":2900562,"id":"Q2900562"},"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":"Q2946715$41103DA5-2549-49A7-B622-6C57A9A38108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7725344fd806c8bb0e8ce86201602686f3ebbe9","datavalue":{"value":{"entity-type":"item","numeric-id":2879252,"id":"Q2879252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06dd7fb4eb3848f50b134710c1c66e6fd6dc7a72","datavalue":{"value":{"amount":"+0.7810066938400269","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":"Q2946715$4670FF9F-3AC8-4DC1-B034-065B17916EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd9d9c437a0b2dd000dca2d43353a3aac50de0a","datavalue":{"value":{"entity-type":"item","numeric-id":631755,"id":"Q631755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d28fb3e057f37598dbf57bd6afdf6569ad6348","datavalue":{"value":{"amount":"+0.7736471891403198","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":"Q2946715$E30DB659-2473-4EEC-BC1B-56ADC5A75D7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946715"}}}}}