{"entities":{"Q21955":{"pageid":22011,"ns":120,"title":"Item:Q21955","lastrevid":56252595,"modified":"2026-03-13T05:46:04Z","type":"item","id":"Q21955","labels":{"en":{"language":"en","value":"JProver"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"7b82526e3f6b52bdf965ff3c8aa6e44eeb67cb4e","datavalue":{"value":"9978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21955$8C3B0A2A-D933-4C15-9D74-B4B2E1F42FD6","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"d92d1cea9d72e8a01e4bf1abff027010fa723bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4539627,"id":"Q4539627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$79170100-B948-4E2D-9626-6DC3B89CB213","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":"Q21955$25832194-0C9B-4639-9C30-C37E0CB1EBEB","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"869b7291fe406d904f2c82d65eb5fff5d386c3ca","datavalue":{"value":"http://link.springer.com/chapter/10.1007/3-540-45744-5_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q21955$C084248C-373E-4AF1-8EA8-07951D1F9883","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21955$D1391A27-C0D0-4896-9DE6-C81F36EB76E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21955$16ECA759-5C3B-4F81-9777-97A42CAA74A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21955$0AA13F2D-FABF-42F5-9E59-4E280E96A129","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aab8aaf79b084aeb5380036e631065a659a1ae76","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$5945539A-F5B9-4108-B989-C70777E40BA7","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":"Q21955$5162FEDD-4340-4D3A-BCE9-BA8C64F9ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ddfc2dab9f4484d85e8e917c537ee56253d2c6dd","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$A04318DF-32CA-4BC3-9BAE-778D6EA36773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$A7B20273-A4D8-4B58-A7F8-EACB6D0DE90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$E77EA75A-2D17-4D7F-83F0-6C4F7A5DF26B","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":"Q21955$5E887D3B-5166-414A-910C-CD8E742649B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"98fc9aeedeb65f4db95f9d1ae8db4db2a9467c85","datavalue":{"value":{"entity-type":"item","numeric-id":41110,"id":"Q41110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$070F57C8-27E0-4A7F-9B4A-779AC1D6229D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$8DB7EB8B-1E01-4E91-B81C-19203CA7E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b10fe6e3bc5c69c332148e78e867385b231b7ea8","datavalue":{"value":{"entity-type":"item","numeric-id":44021,"id":"Q44021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$6218E4D4-61E9-449E-AC79-BD99E92B381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"375d003c9d0b6a3ff55143a96cfc80d320cb1901","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$B75D1C7B-74E1-45A3-B74F-8627F47286D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cf582b1819623d8d4cf80820bebd86ea9aabf6f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$FC25F704-7138-47F6-86C5-065A4827C74E","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":"Q21955$2F1E2386-2448-4EC7-9508-8856FF82A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$D64967DD-17E2-4CA5-A161-C771E967B13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"327e09bafac275cce414c4aa2363281f7f5d52e2","datavalue":{"value":{"entity-type":"item","numeric-id":33354,"id":"Q33354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$2323A3AC-8916-43C1-BA0C-80D12D505C8D","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":"Q21955$5107AE7F-6974-446F-B853-81E66D1E8435","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":"Q21955$4EF5CD85-0124-4002-9876-F1E0B6BE2648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$21F00BB4-6795-4287-B953-10A4E45D2148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d3c36a61124aef1fe483f9f9a08bd1b5e4bff54c","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$121C43BB-2031-40CB-8DC7-42EB889F2FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6b46a92ecf181aaf6ba95c111143d4a257b6e3e1","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$8E0661EC-72C9-4521-810E-F72E6AF0708F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2127698c4b5b0613611346b1f97f3f3c88f6e07e","datavalue":{"value":{"entity-type":"item","numeric-id":16820,"id":"Q16820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21955$0E2C331A-AAC6-43FC-B5CC-87DFAB7D3A97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"JProver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/JProver"}}}}}