{"entities":{"Q32046":{"pageid":32102,"ns":120,"title":"Item:Q32046","lastrevid":56311815,"modified":"2026-03-13T06:01:46Z","type":"item","id":"Q32046","labels":{"en":{"language":"en","value":"DDVerify"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"23605bf6115b60a6bffb59052e8bde03c72bb6ed","datavalue":{"value":"20226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32046$FB755352-0EF4-4D42-9D4A-1EB4A9C69A80","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":"Q32046$9C7ED4B9-4591-4E75-AE51-B04C721BBEA0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"4ec11ee5c09b04d1ef765aa5ac14baa019fb2579","datavalue":{"value":"http://www.cprover.org/ddverify/","type":"string"},"datatype":"url"},"type":"statement","id":"Q32046$5B8D5983-A4DD-490B-8CEB-F800520C95D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32046$CE666F7E-8756-4132-BF1B-8172BC2A44EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32046$68A84E18-8C11-4BA2-8EF8-561185CEF2B2","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6cce9708c735eca903b9027de804184e2f0ded4b","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$9FB078AB-59B8-4E10-A2ED-9966F3526FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d415c0e796201decc94b5dc4e3ee671f2a4aa29","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$FA70CFBB-AAB1-4034-B40D-15665DE3A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fbf202ee2b6e5912a6faa7a88e6e3186417d8860","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$B7CBC6B5-E739-4A00-A937-1684EF090E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"506ca92f4d2e993af30c0ddbc6e82ee43fd41020","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$B9EDC0B7-85E5-4E09-A8C8-7D42B7F0D40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$D920BDEE-7604-4956-84AA-79A5C0C0CADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a110b34a09079fdd45de91468a261e7f64878155","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$757F37DD-A194-495D-8B88-1AC628046E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bd7f70eb24c576b3e3d45c70855bbd63c624f67","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$D08AD7C7-65CF-444A-9224-5AA034F96533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d89df1ecebe772c6d89beb27ab4eb1bd62721a15","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$E58488E0-52BB-408C-984F-1A5B985D8FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d10aae3461ef8651a8892f80f245608adf676278","datavalue":{"value":{"entity-type":"item","numeric-id":32044,"id":"Q32044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$D63F1FAD-4339-4281-892D-033676794C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ddd88db1f6a68273afabb713fdc1be2f54aaeb32","datavalue":{"value":{"entity-type":"item","numeric-id":32043,"id":"Q32043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$FF2E7676-9DB5-48CD-9275-E9137C79AAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a6b3afbae34fa8787f588fb396a49e46edb996f","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$5893ED1C-AC7B-48CB-9F30-8B53620897A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"296077a8a33e3821efa88523c9bdcc7d2eedc6e1","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$2BD236F8-A34F-47B2-A82B-24FE0E534650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"112372b5f0cd203ebce2845a99354a5a0c27e672","datavalue":{"value":{"entity-type":"item","numeric-id":24777,"id":"Q24777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$80E70835-32C6-42BD-95C0-0CB8781DF1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"45c1165f4bc76f642b675721f5b618558d2dfdbb","datavalue":{"value":{"entity-type":"item","numeric-id":26383,"id":"Q26383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$8182DEDA-3144-48A6-8828-D4A01883EC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"51737ad7f23f5b8c7a5fd14184e84b046c6d6cd9","datavalue":{"value":{"entity-type":"item","numeric-id":19825,"id":"Q19825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$E6A1AF47-CF72-45EF-8C4F-FB6F31F631AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$3FD761CB-E466-4353-992E-B18DCDCAEE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0a4986ea38c452979a8209911e87d2ec31206db7","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$63BEB7D5-47A9-4B3D-A897-4DE6243E13CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b37a8a80b69a51617bb49d05d0c34a944056f381","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$D878D589-CC52-485C-8009-03DC446FB5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd36a79f21586dcde663ed7a88c99f00a8d8c485","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$CBB4E1A9-A1F6-4D36-BB52-F46BA20D6A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7c0643ed48e2fbaa5ca11e3415e758a5528ea88c","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32046$F129BF59-3A5A-4850-9849-D810BA3E9D8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DDVerify","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DDVerify"}}}}}