{"entities":{"Q27041":{"pageid":27097,"ns":120,"title":"Item:Q27041","lastrevid":56292213,"modified":"2026-03-13T05:56:52Z","type":"item","id":"Q27041","labels":{"en":{"language":"en","value":"Lean"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d6cc02f0e53f5c152c903494198e6f6da32cfeaf","datavalue":{"value":"15148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$2E7A9EC2-8658-4231-931A-CD4DB57263E5","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"99972941f8cd2be5bc0885af55412d5e57725585","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$7BC0843F-E27A-45B2-B0A3-9F704681F2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"2880c5a0adc737e9d5420bfa32bfa9459958e73d","datavalue":{"value":{"entity-type":"item","numeric-id":2819195,"id":"Q2819195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$9161A26A-7B36-4B3E-85CE-6644C2768F68","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$D5E4B19F-C6D1-442B-95F4-7FD76557C8B7","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"80dce145d44662fc90a017b6f82c1934b86e2da9","datavalue":{"value":"swh:1:snp:3a8c048eb7d5b6da9d4dd50402e45aa444405035","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"5fc7c69fc2be53a11258c34e9e54ca3d8cf0c6a1","datavalue":{"value":"https://github.com/leanprover/lean","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"08aa15726af4f6b26a64606abc33142a0be2c7ed","datavalue":{"value":{"time":"+2021-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q27041$1E86F4B5-4A52-4BE9-8A81-1299B4BBFBA2","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"9e8c03942c4ed9602a2bf710c430d622fed39616","datavalue":{"value":"https://lean-lang.org/","type":"string"},"datatype":"url"},"type":"statement","id":"Q27041$4BA2E4C3-67A1-4CBD-9DFC-F64A6533957C","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"7f06f229b92db2a59cd167192e68a1312ceb32b7","datavalue":{"value":"https://github.com/leanprover/lean4","type":"string"},"datatype":"url"},"type":"statement","id":"Q27041$17D9CC70-5993-4B8C-B7D4-5E2FD892D1D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$DFDE0209-CA83-4222-BEBD-925C2A0633CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$933D4154-A2C4-45EC-BC9E-C5438F5E06A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$236089CF-4418-4D3E-AA24-865D05170BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$CD18AD72-05C2-4B39-98B6-55F83C6D5FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$D4FD7100-0E25-49ED-917B-78FBE5756BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$18179C7E-C115-485D-9CAB-8FFCB9EBAF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$F9F9369F-D43B-4A79-8949-52208C45DD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$CCC6DF5C-C049-4954-A57F-8108E1809988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$3B36BC57-671F-48D9-92C9-6ECAF90F03B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$BDED1BA3-F745-4F63-A835-DCFB25EA9144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$29D78C4E-2514-45FE-A62A-B5DB3E8FDB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$C4718C55-A1E8-4985-9FB6-D877FE39D4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$8050BADE-1DF4-4CED-BA46-19666BD8729D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c6cc7c76b3cafafac08dd013fc5ce16db183bb48","datavalue":{"value":"16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$4DD29AAC-DCEA-419B-B61B-A09845E0AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6652165beef23109cbf13f7bcea8ff518e7cac51","datavalue":{"value":"17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$FB795050-BC4D-4472-B37B-E6A9C3817D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$A0E53CEB-22ED-4C0F-A538-8ADAB21B4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3fc854b328c20f46440ca61d9e1a4ed6cfc55e8","datavalue":{"value":"22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$3148E00E-1F08-4E75-8A47-C2766949BA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$B89B7DCC-AB3F-4AF5-97F1-BB6D4B8F0DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be5267d4895a58dcc5cf7a7e416f12795fbbed35","datavalue":{"value":"28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$3E260642-4DC4-4259-82E1-5E9F6875BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca97ab6736a2cf36b4aa3171cbf7b0139773b03d","datavalue":{"value":"46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$8D293344-4C3E-4AF1-B500-B549E4CB926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c36f543604e3fdf981f5fb6ed78b53d6c52253c","datavalue":{"value":"47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$DDBD8700-8240-4BBF-80F1-DA9B29F5F5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$F23A3D13-4127-4D54-8B3A-E41EFB352F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"43c1a4db523e8d5ed4d9f898b1f0303e17a6e259","datavalue":{"value":"53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$57CFF527-C8D3-469F-BF6D-F25DDBB92A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b50fc0bb13fa24d727c960e97501e2c7bce333","datavalue":{"value":"54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$93D2E1B0-EC6F-4365-98BF-4ECBA81F9737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$C15E900D-D007-4D0C-AA9C-1E7AFCB41CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb0bb3315ea6d324166d2a3b9e8cc481541ca3cc","datavalue":{"value":"57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$0500C462-A230-4A1B-8A50-DD7660BA888D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56359f9045fe5db9438daf1ab901fd6bd2edb7a4","datavalue":{"value":"62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$D634FEFE-65CF-4D11-909B-18F30D885791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$A253829A-A3C7-4BC2-A3FC-0DDA18BFAF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$A33A97E0-D6D2-43FF-825B-23CBC531C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8765ff2acd582c5d837fde50b2a0cf51b0c3e2a2","datavalue":{"value":"82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$94C26DD3-DB3D-4CE9-B6EF-59B858199968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$1A4CB590-15ED-42EB-97BA-A2D46FD656FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$998EFC48-658E-49DD-A49A-BCFAB4310AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$B71E342E-BE9B-44B1-8F19-BCF2F23EBD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$89E6ADF6-3123-4D3B-838B-9C0C3F1D74B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q27041$F2E54059-0ABF-4AE0-86EC-2A550C361CC0","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$8335E865-B95A-4E23-8E59-7B0CB4E47C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$D59A7C3B-CB8A-4210-B5C0-C26B46F5E576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$623B33A2-84B9-43AD-9748-288356E8BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$4A630567-5F38-430A-B7A6-1C1E5B6363E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$18C06D2F-38E9-4F27-ABC4-D4477344E177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$0078A8EF-363E-43AF-AAB8-408A1417F33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$E6ECF723-91D6-48BB-AD91-BE03AA7F42D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$E8EFA9E3-C3CD-49B8-80DF-02FB0EA14423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$5B7A31A1-A9DA-4740-A42C-351472DF30D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$C2255E3D-1C96-4D77-A717-DC9F14991C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$3AB3048E-DA44-4913-A00D-9C922C3CC932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$14244C3A-2A22-4F6A-AF37-4435745EA7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$750914EC-47F6-41C0-B7E8-FEE1DD5CA6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b28c81d4911883bef3214e7956987a08537ccfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$C606F2FE-4C71-4750-88AF-7A5AD0DD6DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a871b3ade6a3a4d6fad6f20bd646081952400c4","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$10000D3C-E7F2-400A-B3BC-F559F752B3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$85E17B72-625B-4795-9B44-4352EB4B3CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$7F58DE64-0648-4DA6-92BF-903AF812F58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cc6b0913edacded01c385a7bde05b242ad151a4","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$039EDAE4-1B77-4BD5-B590-F0D105A4E35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"053ea061eb2db1c9b7f27b25da993bb19055407c","datavalue":{"value":{"entity-type":"item","numeric-id":25224,"id":"Q25224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$584AE569-9A70-4302-88AC-43DAD790F1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q27041$983B2030-AE4C-4AC5-A0D3-E6C79B0C9CD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lean","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lean"}}}}}