{"entities":{"Q18467":{"pageid":18523,"ns":120,"title":"Item:Q18467","lastrevid":56220267,"modified":"2026-03-13T05:30:32Z","type":"item","id":"Q18467","labels":{"en":{"language":"en","value":"ProofPower"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f6d4794b3af04d5b7a0cd2ef1ced03d90093293b","datavalue":{"value":"6339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18467$BAB5E116-8CBA-4D1D-8F20-53615566C06D","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":"Q18467$2CA7E6FB-BC73-462D-B3FF-0E60541E71F9","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"06862627ba336901c1602005e47a30c50786fb2d","datavalue":{"value":"http://www.lemma-one.com/ProofPower/index/","type":"string"},"datatype":"url"},"type":"statement","id":"Q18467$6CF74445-9652-4AA4-A292-5AC0EB2656D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18467$9FB2B4B7-B282-42AB-9722-D12A5FC1FBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18467$BCA78B1E-8796-4907-9DF9-AF15A5349391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18467$879DF404-84C9-4C4C-980C-C05786E94FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18467$0F3B28BD-79FE-4402-8C84-4DFA085BBA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18467$92838601-3E27-408C-87CB-BE876250CC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18467$5A72371D-09DB-41CF-B12A-FEDDCAC84E94","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bede6a37ebe08319061984bb68beaa8e4664a82","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$907DB9FD-3E2C-4670-84DB-A9D6DBD1EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d4f9ffd0ab91ebc6a95d22ce0096cbfcb2f4e17a","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$31535F38-E289-4ED4-B23E-A76B5D8EB483","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":"Q18467$FF52E21D-53F4-42DD-80FA-63228D1F4CD8","rank":"normal"},{"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":"Q18467$62E47E00-3059-4F6F-A350-0F57C0B5274C","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":"Q18467$BDBACA6C-9759-4BED-A938-3E2FB619CB1E","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":"Q18467$41927139-1E43-4C8F-BC15-71E42D1EED3F","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":"Q18467$554565A7-5014-4DC9-9A6A-A78F5011CADB","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":"Q18467$A661EC66-9BBB-41E7-AE1A-4E74A0BB3F34","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":"Q18467$8E481874-8474-4867-9817-CE100A80778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"31c76c65c6ee76c331e0b805dc32678a9139114c","datavalue":{"value":{"entity-type":"item","numeric-id":22226,"id":"Q22226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$DF9E756E-4FE8-4174-AC15-6C2022897246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7bcd0fd7334ce7ef8d29c682419e94bdecedaf4b","datavalue":{"value":{"entity-type":"item","numeric-id":33627,"id":"Q33627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$469A3FC2-C6B1-4E69-BA9E-72B3C58A4FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e1ea7de5ce84bd311e6452f4e5d2b23877448b6c","datavalue":{"value":{"entity-type":"item","numeric-id":18468,"id":"Q18468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$54793E50-8D92-4510-86A8-77A84A31B1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cca3a32b180baf92e5c1bd6e47c20bc43d7599e","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$9FCE4242-D377-4CC8-81DC-E4BD49FF9123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ec1fbb0215e78def1ae9dec82cef015c02ce483","datavalue":{"value":{"entity-type":"item","numeric-id":27099,"id":"Q27099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$83D46D1D-27E2-4FBB-B1FD-8418DC321220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a5bbbfaea66cfb904c059c8c30542199024eb417","datavalue":{"value":{"entity-type":"item","numeric-id":14460,"id":"Q14460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$685582B9-008A-425F-B2C9-EC8E991E5966","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":"Q18467$384EB479-FD41-4FAB-863D-16F7079AA1C4","rank":"normal"},{"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":"Q18467$2B1D3831-9389-4352-AE23-C15A3466BF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ccd7c23611121c89db07baff257ef5066249de09","datavalue":{"value":{"entity-type":"item","numeric-id":44336,"id":"Q44336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$9DB875FF-46B0-4807-B378-7BCA80698658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"071663e466a7e24b75be099cb9eb41763f3a54ba","datavalue":{"value":{"entity-type":"item","numeric-id":18466,"id":"Q18466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18467$596B00B1-B141-4EF1-B28A-ED11DA5D6E93","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":"Q18467$38F5A474-B99B-4E05-8F41-3B4ECB1CCE3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProofPower","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProofPower"}}}}}