{"entities":{"Q32996":{"pageid":33052,"ns":120,"title":"Item:Q32996","lastrevid":56317782,"modified":"2026-03-13T06:03:22Z","type":"item","id":"Q32996","labels":{"en":{"language":"en","value":"Isabelle/UTP"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b2156dc3676fbb77fb3c763ea62c26344c2f480b","datavalue":{"value":"21184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32996$27ECA774-A2BF-4794-8EE0-F274DF2A58B9","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"ece99c5cb09c5a50493709ba0b8cba35564cf1dc","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$8C9B9912-63D2-4A1C-8AE8-68B7BBD35920","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":"Q32996$05FFF6AC-29AE-493D-992E-21514C6C5A2A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"22d4b2a6a8a63214f30b31fa61975d23e640950e","datavalue":{"value":"https://www-users.cs.york.ac.uk/~simonf/utp-isabelle/","type":"string"},"datatype":"url"},"type":"statement","id":"Q32996$A5D71D14-EE4A-4585-9BC3-0608B71B4570","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"f740e0d7335296c4baa21ce73f6e5d6cd84ee688","datavalue":{"value":"https://github.com/isabelle-utp/utp-main","type":"string"},"datatype":"url"},"type":"statement","id":"Q32996$7C8B6397-4B00-47C9-9E6F-4C96B32DC5E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32996$976B20E8-971B-4B6E-86D9-807BBA380779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32996$C47191CA-F5C3-469C-9AA9-D2F85EE66622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32996$981290C7-BCC8-4CC7-8D33-66099A13BF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32996$EBF40AC5-1556-4A9F-B038-6DC5A1E1E129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q32996$C24591FB-CFB5-4EF6-817B-FF7D7C2D5416","rank":"normal"}],"P1458":[{"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":"Q32996$0693C95E-9747-43F1-8906-B8A410DD4BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bede6a37ebe08319061984bb68beaa8e4664a82","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$BA3F66B1-D111-48F9-9432-24BB6B6B9574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d4f9ffd0ab91ebc6a95d22ce0096cbfcb2f4e17a","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$778524BE-719F-4184-AF03-A16E7AE67D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f24f544b6ac0cf3d06215e6b6225438c81e2977b","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$9FCDC9B5-F88F-4402-BE5F-93C24384428F","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":"Q32996$E2CF2257-B1AC-4D62-9467-07E98BBDD21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32f6b436c5935ed191895fa109dddd41b8948adb","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$24868593-E7E2-4CB2-9C75-B3D93C4FD890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ec1fbb0215e78def1ae9dec82cef015c02ce483","datavalue":{"value":{"entity-type":"item","numeric-id":27099,"id":"Q27099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$9931FD2F-171C-4F22-8505-16960A85B02C","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":"Q32996$228ACA47-BE31-47C6-AADA-7F3AF637E140","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":"Q32996$28005C64-9D0D-41FA-B9E5-1EB27CF2903C","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":"Q32996$BE060698-40BE-4C14-AFC3-A415A5DCA3B2","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":"Q32996$F5FA3E74-771E-42E1-8031-1E4036811009","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":"Q32996$27DD832F-167D-432C-A005-F72E81DC20DA","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":"Q32996$8F2812A9-5F92-4AC4-B8E2-D3255590446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fef5119cc276a651ea287663b7bbac85166163c6","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$F2ACABC7-B8D2-4F93-BC51-49AF9C177E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"02b329e86bd44e002b407e5543cbe998c79c263a","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$44B1C1AC-2F99-4CDF-B17E-829BF14EC6EA","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":"Q32996$A7CDF1A6-2FDE-4316-8974-E3636213EE78","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":"Q32996$B0241733-C7F1-4378-B70A-49C85A85479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d350f6e29ca26e69db31af4227a2f016e0bcc608","datavalue":{"value":{"entity-type":"item","numeric-id":23922,"id":"Q23922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$63671A18-565E-4E77-886D-C9EFFF2B373F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b7869aaf5d6dbffd843d7621e50182bcbfd272e3","datavalue":{"value":{"entity-type":"item","numeric-id":18470,"id":"Q18470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q32996$C1708E41-FFB4-4FF4-BB08-69E9092E321B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isabelle/UTP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isabelle/UTP"}}}}}