{"entities":{"Q19847":{"pageid":19903,"ns":120,"title":"Item:Q19847","lastrevid":56240769,"modified":"2026-03-13T05:42:06Z","type":"item","id":"Q19847","labels":{"en":{"language":"en","value":"AProVE"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"60c9e0d56c5b0cb3e0d36e0701f36edf90f5be0d","datavalue":{"value":"7831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$8FCA8FB7-466A-4FC8-8457-CF32F64A772A","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"fbd01c786ef447b3ddf706874a27feb985286413","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$1608A2E9-2B46-48DA-AACE-180EBBA541D3","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":"Q19847$DDF3B945-F42B-47A0-A419-B3A8420F55EA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"32217747365a0129429b6438a53315b2d7ac4439","datavalue":{"value":"http://aprove.informatik.rwth-aachen.de/","type":"string"},"datatype":"url"},"type":"statement","id":"Q19847$5353FCF9-F894-4C52-A274-5D9943F8DACC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$B091C59F-FF47-40A0-9A86-C2D090EFD053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$B33E1626-61AB-4B8F-851F-5AD5291FCD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$96EA522A-96E4-43A6-8BBA-F3EA17AB1898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$A9B86B65-892E-4F6B-A95B-55C24828D0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$EB60F170-94AB-4814-82C1-4B2A0601AF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$2CB96C77-8374-4102-ACCF-AA75265E6630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$A7792561-352E-4438-8252-6E006EDCF305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$C4E9A8C1-3FD0-4D1E-8FDA-0000D7601129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$DA130877-5DE0-4724-BDB4-89C184FC47B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c6cc7c76b3cafafac08dd013fc5ce16db183bb48","datavalue":{"value":"16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$58466028-DB7D-4FA4-8957-9F3CF799ACCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$EA4E3E5A-53E8-41C7-AF18-26D3802B5F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19847$F1E8619D-D82D-426C-8D7E-7D7FE6599E27","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0e58b4cb5d2ad42f2c51cac5f844fdb154be2224","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$B46F3855-6D69-42C7-81A9-A99EA961290D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"30f5df4a8bc0887ef0d34eafcf63363965513e5b","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$220FD09E-378E-4DF8-B62D-EF8767EE1AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$2223450E-E666-4EE6-8563-9D8C2A800169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$A27EE614-F266-407E-905A-E6E345F3D2C9","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":"Q19847$7ABDBE82-15A6-470E-B827-8D3D29E0AC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"88ce92c4af709094185feda008c0e79821510197","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$DAF6CE68-13F3-4561-97AB-AB7004874A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$FAE72F75-220C-48A8-82CF-BC63CE3791E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"77f61494e0e8f383dd9263fc7f0c343c2ff0a45f","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$899965D4-2417-4613-B4D0-55006FD36414","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":"Q19847$8E731F26-6107-40D8-9EE4-EE77B04735E4","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":"Q19847$AE5BDE58-EE1C-408A-B500-F823E8ED8831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e5e8684e8339ba421338afd59297e657343b949d","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$9A96CB7C-1902-44E2-A304-DD9DFDAD42BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5c2f37caf6b3a74204eec46e8b5243ec568513a9","datavalue":{"value":{"entity-type":"item","numeric-id":22077,"id":"Q22077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$53FCF148-168A-4564-8616-31112C5990C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$69270496-1104-4350-94B3-12198722D235","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":"Q19847$26A73601-B73E-4E4E-86C4-196C6A5A3543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"45e179329277ddb4c00bb1c8e6e5cd87a7769fe7","datavalue":{"value":{"entity-type":"item","numeric-id":22035,"id":"Q22035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$D9D0C82D-A9EF-4119-A420-300E87971CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5c711a5d91b23aad482975c58a28f0f4e4e13336","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$15CD2031-F8C6-419F-AC90-BA5008FCC9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da0aac9ae1a326f596a84f1beaf568d763f751fa","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$D6082FD9-DA55-4CE8-A776-7A7DF33437EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6759b8dfb07be9f446b8d7ca7d3edd28f680e38","datavalue":{"value":{"entity-type":"item","numeric-id":55526,"id":"Q55526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$7B5DBFF0-9C0C-4D09-B0CD-72B60B1564A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7a22eac7a92bcff56b8e6f7d20e7be218051a97a","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$7FFD049A-4E20-488A-8B2B-77A731C79053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2c3c0f9a0c64269f6102c002bd95211578cafcec","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19847$A0A06EBA-EEFA-40D8-B2D3-88BC1F6BE2DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AProVE","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/AProVE"}}}}}