{"entities":{"Q31441":{"pageid":31497,"ns":120,"title":"Item:Q31441","lastrevid":56312103,"modified":"2026-03-13T06:01:53Z","type":"item","id":"Q31441","labels":{"en":{"language":"en","value":"HOL90"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"364b9f86d76dc5663143e97194634269e1a8e389","datavalue":{"value":"19616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31441$AEC462D3-741B-42ED-B194-547950820FEC","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":"Q31441$39EF660D-65E1-471A-8709-9C5AD14A3EBB","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"f6bcf9c17c57b54d20a83670bd7ddb6ea779d0c2","datavalue":{"value":"https://github.com/theoremprover-museum/HOL90","type":"string"},"datatype":"url"},"type":"statement","id":"Q31441$BD7C2DB2-0E31-45A3-BF3D-6B408574AD91","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"1be583d8a3d9420d157a17b39ed4f058e1c9e1f6","datavalue":{"value":"swh:1:snp:07aa33af47a41be014064d748ab762177c418e1a","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"f6bcf9c17c57b54d20a83670bd7ddb6ea779d0c2","datavalue":{"value":"https://github.com/theoremprover-museum/HOL90","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"59a2cadaa6ecad304cbc15143be9566c56ccfbb9","datavalue":{"value":{"time":"+2021-01-23T00: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":"Q31441$F74DAD60-E7E8-45D0-90A3-CEFB8F2E55B1","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6832608b8ae12b049df694a67386d2bb78c7f571","datavalue":{"value":"https://github.com/theoremprover-museum/HOL90","type":"string"},"datatype":"url"},"type":"statement","id":"Q31441$601A5ED6-EAD4-447A-A215-314B4828C371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31441$98F967F6-298A-43BF-9BBC-A0EDCF95AFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31441$A5B8A0FF-4605-4223-B00D-6106627BDC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31441$58FFEE53-F32B-4EEA-A26D-ADC8482FE5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31441$0172D086-5B97-4AF3-BC9D-1A418AA646F1","rank":"normal"}],"P1458":[{"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":"Q31441$51B4A613-AFF7-477A-BC20-48D23134B263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c45d553bb9f3e000daa693712f4a182ffdf86459","datavalue":{"value":{"entity-type":"item","numeric-id":13712,"id":"Q13712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$FD49A0E8-9D97-4A10-95BC-5BDCE9BA2DF9","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":"Q31441$6722E7EE-F588-4744-A645-CD20E8A7CF8C","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":"Q31441$D089D466-B7E0-4B6D-B887-4AB183E4C1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1ea36b18d1100b14566f5fb5bdf0ae30a61cf30a","datavalue":{"value":{"entity-type":"item","numeric-id":29451,"id":"Q29451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$30185EF3-40A0-41BE-96FB-CABBC2A483AD","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":"Q31441$6D395BD2-0132-49C8-A25F-0B1B186AECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d7f4b76492a75780585d40fb718d00d42a05322","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$76A7687F-22C5-4427-B7DB-F8B993BC2CFB","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":"Q31441$9BEF3608-1F02-425E-8DBE-8CA39B2CDEC2","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":"Q31441$7A79C2CC-948B-4B62-91D5-F016ED36A36E","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":"Q31441$2F2B1751-DCA2-4C39-A42F-2F6F916F1CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"79f413d24ce67b0f6ab60317fb0ee919b89830fa","datavalue":{"value":{"entity-type":"item","numeric-id":5972408,"id":"Q5972408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$B47F9A55-B662-44CA-934C-AC09327565B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b0460c22effbdc7abae47c972770a9682cc008dc","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$9A1C6273-3445-4596-9C24-32F70B309E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$62DF4B02-E343-4D3A-B7CD-61CC196DC0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$7AD109C3-B7F0-413C-B8CF-AF26B89FA852","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":"Q31441$42B0E137-7EBB-48A6-B73B-35AF9026F419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7519baffc4ab521eb0ace91e49abfc631708c8b9","datavalue":{"value":{"entity-type":"item","numeric-id":22347,"id":"Q22347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$3927F001-238F-4ABB-AAE5-47EF38178900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b0b962c0c3267764266c7cdd69400b78b40460e","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$F6407213-FECD-4DE2-9EA1-7541548FD9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"543aa276b95f00186a5a47e22a8a661187ac4c13","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$38E15685-DC61-47DC-BAD5-1C174DBFE545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31441$B168C087-FD91-4028-B485-56BC571BFC5F","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":"Q31441$10B22D6E-B3E6-4CDA-8D5F-F179402E32FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HOL90","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HOL90"}}}}}