{"entities":{"Q18672":{"pageid":18728,"ns":120,"title":"Item:Q18672","lastrevid":56216769,"modified":"2026-03-13T05:28:04Z","type":"item","id":"Q18672","labels":{"en":{"language":"en","value":"HOL Light"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"8b3da663ae737a4d24e399f2db3c10d2d3c64fff","datavalue":{"value":"6580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$40D70B87-9CA4-4F8E-BB85-EDA95BCE7AD5","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":"Q18672$F1864AC0-0658-49F8-AE7F-D84D6B7528CC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f9728c7abc7d9a56cff83e04b3f28fa28eb91cc5","datavalue":{"value":"http://www.cl.cam.ac.uk/~jrh13/hol-light/","type":"string"},"datatype":"url"},"type":"statement","id":"Q18672$4BBAD7CA-C2B4-46FF-AF97-1AA5FA980C04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$080C6FEB-E476-45FA-801A-2C33C1A4F776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$F30F73FC-5493-4CEF-9413-F82055C8B9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$B27BAD98-8984-41D7-A221-03311BD06324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$9D78A447-38F8-4CFD-BE54-9AA15E3ED81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$7C3D597E-A4E0-455F-ACD1-D0E8BB09AA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$FE39EA25-9403-4967-9111-BABE6C5F104E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$DA32277B-7B3B-457B-923A-55E5407A2E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$CDA708BD-B026-46CA-BC75-8E2EBF33DF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$3BD88145-023A-4595-9361-728A44D956D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$50C901A5-FAE4-4F02-A68A-FEDCEF9C46BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$05B21557-D6E6-426E-B4C0-F8297B96254C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$6B3D1F93-8BB3-4924-8A2D-3084B2C154F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec41e560e80ab9e1fe0c779a012b3e380525af3f","datavalue":{"value":"30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$B75CC563-E26D-41A2-A566-110F2CB6C4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"548cd6c7cff28cd8fda861211c4340790df54fa7","datavalue":{"value":"32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$5C8697F8-2CD7-43A9-857F-B8CE05F55A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e33fec5b481f44b815f9ae45229505143d48ec4","datavalue":{"value":"33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$102BA337-3E21-48FF-9935-72530D90D1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$A8345072-DD5A-4F44-B5C8-72A8F28BFB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e00b180d44759253e9628090c3cb2c51b1a6ee8","datavalue":{"value":"35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$BB58DFF3-220B-4426-B3DB-BAB1461C5F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee77797af7130412ebba1b303d4c6adf1a5ba28c","datavalue":{"value":"42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$2EDF03EF-7D50-4188-B2C4-2273BF299BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"109dc945947060ac4335002324b8db389f0d1f45","datavalue":{"value":"44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$E1BF821C-C625-4319-A7E6-C30B096E5C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca97ab6736a2cf36b4aa3171cbf7b0139773b03d","datavalue":{"value":"46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$8E739B82-A775-4793-8FE6-3AA27ED27F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be8e231fdb33dcfe6258f2f5ff03e1ecfad18bd7","datavalue":{"value":"49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$F9D3C8D3-0809-4A99-A02E-6D47398ABCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$55B51F11-56E6-4716-AE35-DC6179790016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb161afac2a132ba3ff878220cc5d73379a399b9","datavalue":{"value":"52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$FD070DDC-01A1-4668-854D-54DD571257C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b50fc0bb13fa24d727c960e97501e2c7bce333","datavalue":{"value":"54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$42553EAF-2E02-4ACB-962F-5DF1E6D0BF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$00390456-77C8-4849-A1A2-95BE837645DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb0bb3315ea6d324166d2a3b9e8cc481541ca3cc","datavalue":{"value":"57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$6D412B75-3EC6-44AC-BBC9-8B0D4E5DBB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cdce3acd819f327427a4823ff1d65533e6f5515","datavalue":{"value":"70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$13DC30CD-AA6A-4E5E-B1D5-0C4A2EBDD4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c596f9f2876e2dd8f650d5ff7592422666be753a","datavalue":{"value":"78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$3D2A6874-1FAB-4061-B8C8-E1FA9626FE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$E0AFBE0C-AEC0-4349-874F-E8D53B4EFC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$483C59B3-BB84-43EB-9D50-E04016B6C1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$ED5F24F3-CDB3-4E25-B6D3-7C008025CE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18672$879E1441-12B0-47E2-B056-1270B304D2D2","rank":"normal"}],"P1458":[{"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":"Q18672$E5661630-5BE6-45C7-8FB2-6C3E3B41E51E","rank":"normal"},{"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":"Q18672$D41CABA9-0A03-46D6-BBA0-EC22FED13BA9","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":"Q18672$B0428EE9-4DB8-4D7F-B962-22DC4FDF49FD","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":"Q18672$DEA67413-2E4B-4E6A-991B-8356A7BE4FC2","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":"Q18672$D5003BB6-21FF-46E0-BDB1-FD7C1A0C7521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18672$09285565-28DE-409D-BAD8-F4C96DD1903B","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":"Q18672$3EFC0FAC-2D80-4A46-BD61-7249446B161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18672$6CF47398-6DB5-42BB-999E-6C6F01D6C13B","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":"Q18672$5DA91531-CFFF-43E8-AA36-32758B393745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18672$D61E0B37-EFA2-43B2-B282-D43BA6DB7C99","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":"Q18672$CB642C04-F598-413F-AA3D-22E542D12778","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":"Q18672$1E7460A9-853B-486D-8609-7D0FC155A9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18672$C1EA96C2-B030-407D-A628-6675BC976E7D","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":"Q18672$4B74B36E-1975-4BD2-B380-62646D856A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18672$462C55B1-66AB-48B0-9C73-687CE60E8187","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":"Q18672$A3D336EB-1DCA-4963-AF77-F71E2D7D11F3","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":"Q18672$D1C46CAD-2A24-4D1B-8D9B-ECD73729DA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18672$C9C0C34D-928E-4B72-90BB-53E8444164AB","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":"Q18672$6B9FD697-A380-4964-99E1-144A5205C02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18672$0CA3AF94-937A-4439-A855-6B3692977023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HOL Light","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HOL_Light"}}}}}