{"entities":{"Q841687":{"pageid":843535,"ns":120,"title":"Item:Q841687","lastrevid":64743180,"modified":"2026-04-11T21:56:13Z","type":"item","id":"Q841687","labels":{"en":{"language":"en","value":"Organization, transformation, and propagation of mathematical knowledge in \\(\\Omega \\)mega"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5604864"}},"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":"Q841687$D9B58733-FB88-4E93-AF11-963C82F07606","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab0ee19d62b13d6beb068f6698f8e5bcfa2de26a","datavalue":{"value":{"text":"Organization, transformation, and propagation of mathematical knowledge in \\(\\Omega \\)mega","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q841687$C7725626-AA5F-4EFE-838D-E65C99764257","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77b8c452973cc05ef1a6dba746c6495073d4505f","datavalue":{"value":"1176.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841687$E0CA0E1D-6BC8-42CF-AF20-959BD59DF657","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dbcfab01bc8a329499434eec2cf9301b09edd82","datavalue":{"value":{"entity-type":"item","numeric-id":841685,"id":"Q841685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841687$0F0A16A2-2BCF-48FA-ACF0-4A024BE6297C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841687$64BAFF95-51AA-4588-BE25-459E65CBF736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cf438179b32520361aad70767a3a3b1d33d3c8b","datavalue":{"value":{"entity-type":"item","numeric-id":841686,"id":"Q841686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841687$60C7AC8F-B1F9-491A-96D9-9D4F8348E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"094572ddca8457a4d4745ada3ef1dff46d00a6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1812015,"id":"Q1812015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841687$07AD3F41-2088-42DE-A4CC-4A913E7EBC21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841687$71BD8BDD-CC3F-4678-B678-002819368572","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"451aedfc73897067ccbcfa807e7fb1e08f2a62a1","datavalue":{"value":{"time":"+2009-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q841687$2C688B4A-1826-432A-A1CE-152EEAC3A4BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841687$CDCD354B-696F-430A-AA13-9533E720F58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841687$DEC64A2E-CE97-4670-9951-1E8A03E373A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4701e10553506130579aa8e95d9c8eacc3686cb","datavalue":{"value":"5604864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841687$97F2F025-1F7A-4157-8A2C-52BA6BF7D04F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4e7c408aec7731748e8ff0bc3e910c03cc3320","datavalue":{"value":"mathematical knowledge management","type":"string"},"datatype":"string"},"type":"statement","id":"Q841687$BAD1DA5B-E7AB-45A8-82FA-390FE42CB8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q841687$8E45065F-A3AE-43BF-901E-C74CB65EEEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5190d0c4bf2d5d80951c4b9b313f84e5878c9f8","datavalue":{"value":"system architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q841687$1F2D830D-7290-4C5B-8085-765CA6A66E34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841687$90A7BD3A-648D-4567-ACC0-8CF54359F35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f028a8a6db3bc5ae4579b69f24eb8d66b93659f7","datavalue":{"value":{"entity-type":"item","numeric-id":31448,"id":"Q31448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841687$3441F7EF-4756-4350-B69D-9D0012A3FF7A","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":"Q841687$54983F22-05B2-4FF6-92FC-63DE74915D59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"426b9ea056377014641a15d999637538c0929fcf","datavalue":{"value":"https://doi.org/10.1007/s11786-008-0054-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q841687$B01250F3-0193-4348-AC87-CAA2082AB061","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91495f1e994e42797e753b14f2244695ceb1a4da","datavalue":{"value":"W2022363644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841687$CA535880-0C52-44B9-8DCA-6750CF155BFB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f3cc3e9584676fe9abafc754ca64c1c7b486097f","datavalue":{"value":"Q122223197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841687$84332EA8-1019-4CB2-BA52-8F8E4DB41530","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecdb7c4e5bfa36fd17d5a63abfc0e405ace8ef2e","datavalue":{"value":"10.1007/S11786-008-0054-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841687$3F4F886A-1416-48E2-B64A-855A174874F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283f1456808e450f6446ed46c3c7c8a20aa0fcd1","datavalue":{"value":{"entity-type":"item","numeric-id":5234706,"id":"Q5234706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346699c00b4f8fc1e536b736ab481231d60b3a39","datavalue":{"value":{"amount":"+0.7640969157218933","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":"Q841687$1D5D41D8-D722-43D0-8EE6-14E86EDAE7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68cbc15c29acb7773a710edfeade2425399d11e","datavalue":{"value":{"entity-type":"item","numeric-id":865650,"id":"Q865650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7854c7ae8a77e5a69815ea619a8791f11e5531","datavalue":{"value":{"amount":"+0.7163223028182983","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":"Q841687$479F98E4-EA99-4408-BE60-641A61818D9C","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":"9ebff057f6ee4da99bf26c0c14c734d293ef31f9","datavalue":{"value":{"amount":"+0.7077069282531738","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":"Q841687$482AEEE8-62DD-40AD-860A-D371915BE7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b483827a40669881ea086ad50b96ca2e3ed5406c","datavalue":{"value":{"entity-type":"item","numeric-id":5450782,"id":"Q5450782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bd37ec6fa94b6d4d97f31c2f29d5237c708135","datavalue":{"value":{"amount":"+0.7052865624427795","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":"Q841687$61A64D7D-64AA-44E9-BB71-55DEA0ED9D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11b650df2e6b564bded20ddda37e11cb0358967","datavalue":{"value":{"entity-type":"item","numeric-id":5313072,"id":"Q5313072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25620ceb51302130dec88af09073fc4b40a58a76","datavalue":{"value":{"amount":"+0.7026664018630981","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":"Q841687$91D62FBC-BD1F-4BA8-BD65-9B38CE19AAFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Organization, transformation, and propagation of mathematical knowledge in \\(\\Omega \\)mega","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Organization,_transformation,_and_propagation_of_mathematical_knowledge_in_%5C(%5COmega_%5C)mega"}}}}}