{"entities":{"Q31430":{"pageid":31486,"ns":120,"title":"Item:Q31430","lastrevid":56310258,"modified":"2026-03-13T06:01:19Z","type":"item","id":"Q31430","labels":{"en":{"language":"en","value":"theoremprover-museum"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e0d18f53cff1d7c1261bf91296a89ed6aa1171ab","datavalue":{"value":"19605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31430$071CAB1B-3D1F-4004-9626-8A70F4F03CF5","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":"Q31430$2D65DB60-2C61-4B70-9E0F-005915B324BC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ae8c793f1f1524c6f1a326db8d0937710468db51","datavalue":{"value":"https://theoremprover-museum.github.io/","type":"string"},"datatype":"url"},"type":"statement","id":"Q31430$090D774F-E6F7-4F72-AC17-25CB64D8CC79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31430$68950DD0-FB4E-4DBA-8FBC-98D27D541F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31430$2EBB99B5-96FE-47BA-BF65-6B7F058796AE","rank":"normal"}],"P1458":[{"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":"Q31430$1907A9E0-C1C9-42D0-BD59-45E24B904EA4","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":"Q31430$71101A23-5C31-4D33-AEEB-B59125E82E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e1266d5408ef11a5dec5d9ec5553c8aea149f5b1","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$C7CD4B00-FA78-4215-8218-96E8C4AD4BEC","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":"Q31430$A598A18C-F22B-4525-9CDD-644859110AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf1a18ce9caf66819337a110934cb3723b5e15d9","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$A6AC9388-AFB9-41A4-9D2A-768399A6CFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a16744f59312901e81a619bf1f64e061a34a724","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$743E2388-D7AA-4A61-8B33-642CA6E35213","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":"Q31430$8B937EE6-4B02-4BF5-9041-CEB3BA9CDACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1bbc3872a55b3dfa074c96d37fd46f076f92caa","datavalue":{"value":{"entity-type":"item","numeric-id":24736,"id":"Q24736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$8DC4987F-8A77-4A34-B471-EB144810C0DB","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":"Q31430$21F6B65D-8276-45BF-A416-2D0E40FDECE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"493c5144a9d14f0b980d45769fb4b197b51b453c","datavalue":{"value":{"entity-type":"item","numeric-id":40555,"id":"Q40555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$7BEE4A0F-8B15-4E2C-A0BC-FD2447599DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"37701d360bad336addd4a826712aca6608c48c21","datavalue":{"value":{"entity-type":"item","numeric-id":40554,"id":"Q40554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$A5929058-DACE-40A0-B075-E5EA40EB5155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b677ab36580483ca33e96c40f998e187dadaa8b2","datavalue":{"value":{"entity-type":"item","numeric-id":40553,"id":"Q40553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$CE5B46DC-958B-4BF4-9B4F-72A3CC04A976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8bf2731143fd82a1f95f40f13b2fce56fbb7345a","datavalue":{"value":{"entity-type":"item","numeric-id":40299,"id":"Q40299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$20C441A5-9B9E-4DE3-A332-AF01E9A197DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6953b82ed35a5241d6fb5d47b5912e5553edbeaf","datavalue":{"value":{"entity-type":"item","numeric-id":40298,"id":"Q40298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$55A44B91-EFD9-48DC-B540-C30B2C893831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"861e34f6b532f04d877297070a58fb137923d509","datavalue":{"value":{"entity-type":"item","numeric-id":40509,"id":"Q40509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$92FBF1DB-BF1E-48E5-BF01-4037782A2FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5a186263bc9fb77c5d68f5852fbf845cc855223a","datavalue":{"value":{"entity-type":"item","numeric-id":40326,"id":"Q40326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$96BE853E-9DBC-4E5B-BC32-1F0B56FC09C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0a329d132b963c571723538ca5cd1b467b324fe","datavalue":{"value":{"entity-type":"item","numeric-id":40325,"id":"Q40325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$7A09A12C-481A-49D4-9523-071D05B59E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0204f081facf570c6ab1a272475183b48ae5e4f2","datavalue":{"value":{"entity-type":"item","numeric-id":40286,"id":"Q40286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31430$E0E5995A-AB98-4DC8-BAAA-7E8C808CCD97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theoremprover-museum","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theoremprover-museum"}}}}}