{"entities":{"Q21686":{"pageid":21742,"ns":120,"title":"Item:Q21686","lastrevid":56239410,"modified":"2026-03-13T05:41:35Z","type":"item","id":"Q21686","labels":{"en":{"language":"en","value":"iProver"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"52e3831cda3ffc129fb1979f7d2e62cf17924cb0","datavalue":{"value":"9707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21686$2BC8EAAE-D944-4D35-9166-BB2E953EDA2A","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":"Q21686$B53A25C0-2D75-4FC9-BF34-2F58726F9BC3","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"efcd2d31f6213251846a8496f241c5bde9ca7dbb","datavalue":{"value":"http://link.springer.com/chapter/10.1007%2F978-3-540-71070-7_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q21686$86A19A13-5D5E-4811-863F-45F5139D71ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21686$5E0B0CB1-BFEC-4600-8ABA-2DDFE8B8D2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21686$455422B8-71BB-49BB-9B65-7657FA0E6769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21686$385CAAE6-6B1F-43F5-B8DF-19E6590A21E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21686$08A97CAA-8FF9-42A4-82CD-EBD92CCEFFC6","rank":"normal"}],"P1458":[{"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":"Q21686$A2EABE7F-D414-4B53-B74C-847949ED6B56","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":"Q21686$5F45F1A5-01F1-4203-83DD-ED7BC78DDDC5","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":"Q21686$74317259-F1C5-408F-A89E-C08AEB18D5BB","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":"Q21686$3C730496-C13A-4BD8-9A5C-43B88707A734","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":"Q21686$0ED659C2-9A5C-4536-A3D4-4C9C5488500B","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":"Q21686$61062C61-6686-4680-B261-9ACA35822C5A","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":"Q21686$CBA88C79-AD12-4998-83DE-0CA63AD5B432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21686$3D202B5C-5748-4B3E-A226-617E958A7F7E","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":"Q21686$E3DA9E0D-9ACC-43F1-A861-798BDC1FF85E","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":"Q21686$E48053ED-992A-4662-9627-F5D234B6DCB4","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":"Q21686$553EC3BB-F913-4099-8185-CCAA90FF4F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21686$4859DD80-6BE7-4143-9BD4-8E8CC22777B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f660bc310305b62230cc3a480e6654c975c304a","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21686$FF156A93-B8C1-4FF9-A489-F3A05DE4BFB6","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":"Q21686$3C42599D-062C-48E6-9C6F-26A138675D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ffb04f528b5fe323561574bdb45cea6a4e15393b","datavalue":{"value":{"entity-type":"item","numeric-id":21435,"id":"Q21435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21686$A9850C14-F5E8-4984-ADB1-4572EED25617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c7dda9137a8c097a2c877519ded8ad19344712a","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21686$E132F46D-2828-4BF6-8AC7-D1E128936C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c1111a4af73946d995c6025450c33305be35b38","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21686$9662C18C-205F-4DE7-ACA2-89642B447650","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":"Q21686$9228B884-4970-48AA-9462-AF5F8B6C127B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c4aeb66dd27e57f668207276c0a9e7241a80037b","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21686$29A5643C-B2B7-4E41-B133-714821F8760D","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":"Q21686$AD1965E3-001C-4DEC-B992-88EA75F140F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"IProver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/IProver"}}}}}