{"entities":{"Q17120":{"pageid":17176,"ns":120,"title":"Item:Q17120","lastrevid":56216604,"modified":"2026-03-13T05:27:57Z","type":"item","id":"Q17120","labels":{"en":{"language":"en","value":"Isabelle/ZF"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ab4baeaa8e239488a324c90b83e2989c2f93f4e2","datavalue":{"value":"4973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$4AA829EB-CB6E-4DCA-B457-B928DE0A63DF","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"7a26dac63cde961a0c6cee07f3d7fdd8597b5456","datavalue":{"value":{"entity-type":"item","numeric-id":4945210,"id":"Q4945210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$CD56D077-5FD8-4BD5-8BA0-99C07AE58A3B","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":"Q17120$9D05C71F-5274-4701-88BE-BF7760863BFA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"a2218cbfc2616f556011933e061d33dc1c5ed7a1","datavalue":{"value":"http://isabelle.in.tum.de/website-Isabelle2012/dist/library/ZF/README.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q17120$5B5C2834-D4AF-4F7B-A7FF-939F0BEE5680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$335B8F17-BE32-40FD-9F9B-DE647B09137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$A532C8F3-B469-4A50-A5EE-14FFA395F91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$B0F15370-4968-43D6-83EC-85067795A7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec41e560e80ab9e1fe0c779a012b3e380525af3f","datavalue":{"value":"30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$50D6F259-43E4-4130-9E13-E05D7F256BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$BD4D4FE9-571C-4F1B-AAFC-FC63A5CFC352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$693034FA-B34D-4C30-82EB-25B455F4925D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$FE4A1827-AFC8-4D0D-9971-456EED68C134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q17120$234C3DF3-62EC-42C9-9302-2BF0111BBFEC","rank":"normal"}],"P1458":[{"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":"Q17120$AC3F1E4A-20B9-4152-A75F-869D31D8CCFF","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":"Q17120$822514A2-A88C-410A-9E16-01F106EBD652","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":"Q17120$D22CBDC2-DCD0-4B26-9AC5-5170AA52F369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$57CB6D91-29EC-4D86-AA9E-B01F805D485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$1E9ECBC9-4E83-44D5-9CAA-3FF53EE697D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$048C3071-D34E-4D3A-8BB8-32B9698D6013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$70E79105-9656-46F2-AAA9-4FD4BE640BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$39862958-8406-4B9C-A46F-940A2E677784","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":"Q17120$EAA1BB18-A562-4F51-8E2F-3188D0DF0A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7c53bfedce7b23d4721a03856d5c1ab57e2dbeda","datavalue":{"value":{"entity-type":"item","numeric-id":42136,"id":"Q42136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$E15E0F03-49F6-483C-85D3-8322C55093F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"053ea061eb2db1c9b7f27b25da993bb19055407c","datavalue":{"value":{"entity-type":"item","numeric-id":25224,"id":"Q25224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$C0B6ABFA-109B-4CD2-9C41-5C991C512FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$0FCDEE38-72DA-41BB-AE38-46718BB4CE80","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":"Q17120$E6A259C1-D62D-4D53-8C80-017DAEC5D8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$DB3C4A58-232F-447B-A421-571F752A7BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$8EF0F796-8DDA-4177-A650-7A2308A1DB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$45112932-D179-4071-8DE3-AD7894722214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$CAF0FF79-EA11-40CD-9848-D09EE746FB30","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":"Q17120$9603805A-6056-4763-9978-F6C8F0D01C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a507159175b71dbd96200bab8251f1b66b13c5e","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$96F97939-2194-4014-A6D9-F9CAD8F2DF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q17120$8889E1A1-0D9D-481B-8729-97E66F4C9D82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isabelle/ZF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isabelle/ZF"}}}}}