{"entities":{"Q1810904":{"pageid":1821646,"ns":120,"title":"Item:Q1810904","lastrevid":73095525,"modified":"2026-04-14T14:30:23Z","type":"item","id":"Q1810904","labels":{"en":{"language":"en","value":"Mathematical knowledge management in HELM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1924971"}},"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":"Q1810904$DD8099CF-E7B6-413F-8C86-A10D8C0CCCB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb95420e15a809baf004d59332338aca565a9678","datavalue":{"value":{"text":"Mathematical knowledge management in HELM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1810904$9917FD01-30B7-411D-A519-6BD2F6B0AB99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cceac6a6df54ff13b69bf4ca681a2c6592bb74cd","datavalue":{"value":"1025.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810904$75DE3327-D82E-40B8-8604-5503001435D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0d43df002ba6ec14e037aff1e57c1f5e308f85","datavalue":{"value":"10.1023/A:1022907629104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810904$737041C9-D1DE-41DA-BC2A-0F881A50D9AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810904$C9E5EE02-ADBB-4593-83B8-670DA7E8C3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810904$DCC33F21-B676-4F4F-B70A-DFB3D1815CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810904$2B49A7A0-EA82-4CF6-BDB4-E123DD7B7B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f9740203aefff41b182d94540a09e0a78f60d61","datavalue":{"value":{"entity-type":"item","numeric-id":1810902,"id":"Q1810902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810904$6DA6C03D-404F-453E-94A6-6E4267CE9B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8937af71321df3f0744faae1a3acbbcca414271e","datavalue":{"value":{"entity-type":"item","numeric-id":1810903,"id":"Q1810903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810904$CD2C615D-755B-4D97-9F63-9171A74155AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810904$289B6867-E587-4289-8555-8B2AC0A2BDF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2d0e39c696776e04b9e53093e3633112a8f4686","datavalue":{"value":{"time":"+2003-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1810904$253F92B3-90A8-40FD-980A-2B040509A282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810904$A81736A5-87B1-4B5D-AD80-0B337C5F74AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbfb34904a1208a6d55005b57b5375fbfb4c666b","datavalue":{"value":"1924971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810904$85CEF354-3B64-451B-AE1C-D9FD2CB9C967","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4e7c408aec7731748e8ff0bc3e910c03cc3320","datavalue":{"value":"mathematical knowledge management","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810904$6645EF4E-779E-4110-BAB6-AD0C8A998FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557fc20e1cde6db6856c52912c38558653037ec5","datavalue":{"value":"XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810904$8F825A0F-DBEC-4BBA-9291-980D152CE689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a096422babcf760fcb2e58829d8ffdf0e4af7a","datavalue":{"value":"HELM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810904$83A4B3CF-BB20-4C8B-A58F-E053FBF301BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc238ea6cb52c715bab39832f2cd5b4837c9294f","datavalue":{"value":"formal mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810904$8AF54389-03BA-4D8C-BF55-0990942C780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456f9c001c99bcd68d711402fe9c67eb61b7fbf0","datavalue":{"value":"XSLT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810904$7316ABEB-E359-49F0-929A-46C008B0B8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb04a0e225f4364f6ad76bbd27414f778c6b157","datavalue":{"value":"MathML","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810904$8E34994A-D2B1-4C54-8F7F-691F8400198E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810904$A1833313-7641-4871-BF25-9A62FCDD753F","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":"Q1810904$0074E595-A349-45C5-9DEF-966EEACE9D65","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":"Q1810904$FFFA5B67-8484-4540-8876-5B42F41201B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14929172eaf897f63f087a9b8fa1eb2e06c6cdbe","datavalue":{"value":"https://doi.org/10.1023/a:1022907629104","type":"string"},"datatype":"url"},"type":"statement","id":"Q1810904$F254377A-192A-4479-9448-629D68E63701","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1db78f35c340081e46e7b410fd0c9c021653b797","datavalue":{"value":"W1503493677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810904$6A536AD5-29CE-4C7C-AA2E-E98256ED7E85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad234d7b98c4f25d646fbcb59ab887e7942ea84","datavalue":{"value":{"entity-type":"item","numeric-id":2767919,"id":"Q2767919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb715e1aab6f2cc9c71b1e733d0079b93190ba69","datavalue":{"value":{"amount":"+0.9976799488067628","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":"Q1810904$070413BA-565C-41A5-85F5-E5726030453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ed0fbddfcbfc9a6d7ab713e47ef765c42c434d","datavalue":{"value":{"entity-type":"item","numeric-id":4790651,"id":"Q4790651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ca3e9e16025800226044b2b7d6107c12d878c6","datavalue":{"value":{"amount":"+0.869371235370636","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":"Q1810904$671F58CD-9033-4151-9E59-B5FE7D00A1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd053f7a07ba1a9db56abc10227fb5377b994a8","datavalue":{"value":{"entity-type":"item","numeric-id":4474358,"id":"Q4474358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f683b7516172d244c2147b2dbc9f6c6999471920","datavalue":{"value":{"amount":"+0.8034707307815552","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":"Q1810904$25478187-73C6-4A09-BC74-C414E75F84F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606055949af8c60042cc2d59a156b065ffd6b900","datavalue":{"value":{"entity-type":"item","numeric-id":3629619,"id":"Q3629619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3df0b173ddb5defd06468e90005c1fdb84a3f0f","datavalue":{"value":{"amount":"+0.7596665024757385","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":"Q1810904$8E477FA1-8886-4DEA-9AD7-F95193136777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7e520fd10565bfa79dc14fce127265cb12301a","datavalue":{"value":{"entity-type":"item","numeric-id":3582723,"id":"Q3582723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b5f1a5346ad484940bb71e442b2b3b3840e788","datavalue":{"value":{"amount":"+0.7525040507316589","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":"Q1810904$100921BF-629C-4655-BD17-8DA220BA1BEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical knowledge management in HELM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_knowledge_management_in_HELM"}}}}}