{"entities":{"Q21435":{"pageid":21491,"ns":120,"title":"Item:Q21435","lastrevid":56246772,"modified":"2026-03-13T05:44:09Z","type":"item","id":"Q21435","labels":{"en":{"language":"en","value":"iProver-Eq"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"3b12a39f3c8fcdff316b20f5943242dc2bb2508d","datavalue":{"value":"9452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21435$B59A1D91-C969-43C2-890A-14A2A10573C7","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":"Q21435$C360123E-4449-4489-AC1E-03521F45270D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c5376a6b0cf9b48e270b0d3f5561bd3b16f3f4b3","datavalue":{"value":"http://link.springer.com/chapter/10.1007%2F978-3-642-14203-1_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q21435$0D63F1DC-D582-4DD2-BF6A-41DB257DE9AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21435$D23CE10F-DD20-4F84-805F-8794C3208478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21435$518A9B5E-D993-4616-81BD-F550C00E2895","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f0874088d59a2cbce379152e0f60bc05817c8d64","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$2B594C0C-9505-44C7-BA6B-8D8090F1C2DD","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":"Q21435$AAF04382-73A4-4C77-A69A-11973FA72CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2abc1136f17f5e79e686746e9e151cd80d20687f","datavalue":{"value":{"entity-type":"item","numeric-id":18923,"id":"Q18923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$EA6789B7-643B-4223-83B4-07D65EF04852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fa3991594d5943af0d90a1ced4f6240864f64c74","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$98F6B202-DA86-4C50-B124-91EC13246FDC","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":"Q21435$38986E07-533B-45AC-8A8E-1A2C714833E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ac1bdaefac1932769f7aedd747420fcbd751911","datavalue":{"value":{"entity-type":"item","numeric-id":18709,"id":"Q18709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$F43AD088-E028-430D-8654-D2CE3F030E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$BC9F6345-E568-4CB5-92BC-A876EFA84ABF","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":"Q21435$4479B2BA-3340-44A9-BBBC-4E620B7F31D0","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":"Q21435$83270CEB-A842-49F4-9951-4A6C2765650C","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":"Q21435$1A7971EE-C1F7-495D-A914-35C411ACE7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$E7568E90-D36A-465B-BD74-A337EB59ADEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eaf52193a6c4d06394ab6853b045a24be024c3c3","datavalue":{"value":{"entity-type":"item","numeric-id":31443,"id":"Q31443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$86CBB6BE-3CC6-4F10-9B85-C44BFC701F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2c21344878bca2316e581a6b2304bcc07466aef9","datavalue":{"value":{"entity-type":"item","numeric-id":33176,"id":"Q33176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$80B3E408-4371-44AC-83CE-4CC4DCB79B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d0713e7c65ec8c188483bd543e782c00676d9ca","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$A15E4641-5176-4FB8-8F99-E5B40B2CCFA7","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":"Q21435$342F841F-7992-4E4E-99EF-B39D49A070B7","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":"Q21435$97C2BC4A-EDC5-465D-BFEC-47F3ED717F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3fb51ca862db60f8864153a272cd59c9b7701848","datavalue":{"value":{"entity-type":"item","numeric-id":55220,"id":"Q55220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$0B612E08-7834-43EB-9AD6-EC39DC87A022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$E14A8B31-C8C7-44B1-BD52-214A964CD2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cebaec1d4c924093d2802f1f6f7d4f984bb7f11","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21435$5A1E280F-6E6B-4CE1-996D-6193F6C39982","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"IProver-Eq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/IProver-Eq"}}}}}