{"entities":{"Q42662":{"pageid":42718,"ns":120,"title":"Item:Q42662","lastrevid":56372547,"modified":"2026-03-13T06:17:20Z","type":"item","id":"Q42662","labels":{"en":{"language":"en","value":"AutoProof"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ff2dae56c8c98491257b51ee06e483cab26053c8","datavalue":{"value":"30948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42662$A26248C1-8F5D-46C1-AE57-B3EEA9A63595","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":"Q42662$826B0774-6986-45CE-BE6C-7A94D85F50D9","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"2e21e28fed2c8fc2c693f1a215846ade837639bc","datavalue":{"value":"https://github.com/julian-tschannen/autoproof","type":"string"},"datatype":"url"},"type":"statement","id":"Q42662$BED9625D-EA3B-4B17-8D7E-8CF8CDDE3C96","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"7841d2e304cf1831e31e26238274bad075973009","datavalue":{"value":"swh:1:snp:acf576b387ac9613444864e67ea637992d61a4c5","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"2e21e28fed2c8fc2c693f1a215846ade837639bc","datavalue":{"value":"https://github.com/julian-tschannen/autoproof","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"e8798b2085d8bf94245939c46e9606bfc3e08983","datavalue":{"value":{"time":"+2021-01-01T00: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":"Q42662$D9E5DF60-F1D8-476B-AABB-FCF850914546","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"16252e8bb3460888dfe0b6f8ca4e81ac59cb7168","datavalue":{"value":"http://se.inf.ethz.ch/research/autoproof/","type":"string"},"datatype":"url"},"type":"statement","id":"Q42662$5ED54859-91B6-4BFF-A5D5-71D9A31E872E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42662$B0B6F711-71E4-4DBC-905A-CD3B1C21AAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42662$4BF81DFE-04D6-4837-870B-DA3ABAF30DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q42662$63572A80-E63B-4858-A8A2-2FC7E08892A0","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$85EE105C-667D-49C8-B55A-66F22D4187E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$26B13C5B-EE95-4A8F-91FF-7FE15A040E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0ddbde69b2a268285fa6ad8863ac28942f69652","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$E66593D3-8B2C-4F60-A397-D4D83A5F8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d03c375b1fbbe0a810fb04a9f9434b8658bd9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$C54EC491-C180-43AA-9E0B-39DDB2EA9F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bd0a78f92a43d7d4b9fb28d11c52d211df965f7e","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$700487FA-AD2C-43C7-96E6-7A632BC72EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"750318cfe328b0c4f7914e491e85258c103e5abf","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$12B50118-5D87-46E0-BC91-E6D99B6AD79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aea0ab4aa185418a08316853dcad4681c058166","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$438486E5-C8C6-4042-A7AA-F68F707531BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$F33DABE7-6700-4C3A-93C3-82EE790CA297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$AE838227-C66A-44FF-B565-1386DFC72468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4af4abac1aab840f701d062b0125107063c436a5","datavalue":{"value":{"entity-type":"item","numeric-id":31665,"id":"Q31665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$17E8846E-0E91-4A5F-8694-A2B5FF7A99A9","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":"Q42662$410D33AF-96E8-4359-BC2E-705C6694A92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e09694fe3792b5d00306e3d52d45d5816179ce38","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$67A10B4C-09FF-4DD8-B21F-2F7E67572EDE","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":"Q42662$DA20C9AA-F259-4854-8D6D-389529EB2C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1286389c58ecdb69c422604e3e1f0dbe5e0370f0","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$0A8886C7-732E-41F2-BD14-F3B388B8FD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b121f90a35f701bb334b6bcfe7c89a351a3e03b6","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$C2CF564E-F20F-4CAA-B45B-D61B81F26ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$D37C65BE-D9C8-4A96-B445-16917885D3FC","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":"Q42662$B6EE0EAF-D170-49E7-ACA2-BD50E1FCF6A2","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":"Q42662$086A9D92-9DA6-43A5-9509-C05434328771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce03adab3824b2bd8d40bfa76fbfa3ad461b08ad","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$604AE813-A5B5-4BBA-ADFD-A763A94D0046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1edc304f623194a771ee20a7e3bb8453f39d2842","datavalue":{"value":{"entity-type":"item","numeric-id":5975047,"id":"Q5975047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q42662$B73E6282-7A1D-43B4-B9BD-B65B38B0C994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AutoProof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/AutoProof"}}}}}