{"entities":{"Q31440":{"pageid":31496,"ns":120,"title":"Item:Q31440","lastrevid":56311842,"modified":"2026-03-13T06:01:47Z","type":"item","id":"Q31440","labels":{"en":{"language":"en","value":"HOL88"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f2ba0786440ec73643ddb1300316d11438541153","datavalue":{"value":"19615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31440$E343FEEC-78FA-422A-A023-6C60689A1432","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":"Q31440$BE518D63-3EFB-4B07-9929-D60627F0C5E4","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"810b91c536868702493ec4aceca87bc7cad3c68a","datavalue":{"value":"https://github.com/theoremprover-museum/HOL88","type":"string"},"datatype":"url"},"type":"statement","id":"Q31440$0557A98E-9987-42E2-93A0-CB192D0A00B0","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"86ee7bda6f765eda0aeccc0e880fb155a565496a","datavalue":{"value":"swh:1:snp:360263a91b4edebca2a17dbf20407b55d0f95cba","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"810b91c536868702493ec4aceca87bc7cad3c68a","datavalue":{"value":"https://github.com/theoremprover-museum/HOL88","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"29ab2880c59b20b66bb92f43d3e296c85a4578ed","datavalue":{"value":{"time":"+2021-05-03T00: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":"Q31440$144A24C1-C534-438E-A32D-13F71D01E347","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"16e533277d938874bebfd60b9044519e20c687e5","datavalue":{"value":"https://github.com/theoremprover-museum/HOL88","type":"string"},"datatype":"url"},"type":"statement","id":"Q31440$5F124F2C-8738-4126-861B-35704140B622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31440$07E8D9C0-5E56-4797-ACD1-A11C3CD0C917","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":"Q31440$0B8630D9-A4F3-4CF6-BA89-9364EC12D1E7","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":"Q31440$816EC435-0278-42D0-AADE-942F3B16F143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HOL88","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HOL88"}}}}}