{"entities":{"Q31442":{"pageid":31498,"ns":120,"title":"Item:Q31442","lastrevid":56489691,"modified":"2026-03-13T07:01:53Z","type":"item","id":"Q31442","labels":{"en":{"language":"en","value":"PRV"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"956aff30de1c41b3e69c527032f68210c8603b12","datavalue":{"value":"19617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31442$12966644-32A1-4610-8914-457FC7572395","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":"Q31442$6C631C34-5E22-4AD6-B032-2426D813E00D","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"a738ae9d3d5fe6383d0ccaa496eda0b7faa0d377","datavalue":{"value":"https://github.com/theoremprover-museum/PRV-Beweisprogramm","type":"string"},"datatype":"url"},"type":"statement","id":"Q31442$97CA14EB-3005-4A46-B4DD-CC854EE26BAC","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"78fc879b08a4fe0de5faa0e5fd6a05d2bcadcee5","datavalue":{"value":"swh:1:snp:a067fda89af49769acb6954d5174eeaafdf9a1ad","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"a738ae9d3d5fe6383d0ccaa496eda0b7faa0d377","datavalue":{"value":"https://github.com/theoremprover-museum/PRV-Beweisprogramm","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"be1a3fee9239a52e7d5a9366e2ff6f0f1c93443e","datavalue":{"value":{"time":"+2021-01-11T00: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":"Q31442$1D8F6F89-94C9-436B-AD15-4E9BC8A42B91","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e5b27b65de38dad5de87f5ed22960789fb768d47","datavalue":{"value":"https://github.com/theoremprover-museum/PRV-Beweisprogramm","type":"string"},"datatype":"url"},"type":"statement","id":"Q31442$0A06633F-3572-445E-8012-31B97C3E51C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31442$FE27DEDA-079A-4427-8ED9-F8E30019A662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31442$5A97F0DD-B2BB-4548-AA76-5BEF57F2ABD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PRV","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PRV"}}}}}