{"entities":{"Q30968":{"pageid":31024,"ns":120,"title":"Item:Q30968","lastrevid":56313462,"modified":"2026-03-13T06:02:10Z","type":"item","id":"Q30968","labels":{"en":{"language":"en","value":"CoqMTU"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"245cbe1744a032060655883247fb7068f5c5e0f8","datavalue":{"value":"19138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30968$8D8BAD58-C63B-47E3-A12F-FD2001522B0F","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":"Q30968$5A67D2E3-3D50-44CF-ABAD-1FB8DEACEA36","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"bbd574b99bcc35131cfbafa1b013ef07e5579f92","datavalue":{"value":"https://hal.inria.fr/inria-00583136/file/coq-mtu-lics-2011.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q30968$AD7FBD35-D56F-4218-88A2-AF7F3D693914","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30968$110E1FA6-BAD2-486A-BB9F-0092FA9F151F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30968$8CF7C24D-6725-4EA0-8023-0C0A3E348881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30968$F9F352F5-91BC-46DF-9039-14FE9E395C3E","rank":"normal"}],"P1458":[{"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":"Q30968$60422726-2D35-4F1B-9A76-94F4E1D9189A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f72afb4eff4e6ccf910cf34be0144070d45b64b1","datavalue":{"value":{"entity-type":"item","numeric-id":30969,"id":"Q30969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30968$337C3381-B02D-41B7-9177-C3B558E69025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"06666b35a7ca0f59454cbb0c19654d5792350b24","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30968$866871DA-B050-4EB4-B042-C34C5D68E7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30968$3CD2A1FB-6C53-4A96-9EEB-7AE49143266D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d9683cb28daf64938e9e64569cec2294a0ce1b92","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30968$9F5B0293-8D84-4E0D-A94C-F78DBB1FC454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a871b3ade6a3a4d6fad6f20bd646081952400c4","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30968$94EF4E3A-D93A-495C-A05C-304382656A60","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":"Q30968$836E4A64-CEB4-4030-A356-6FFF601E9843","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":"Q30968$737C1B36-8434-4986-AB2B-42F7E140D893","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":"Q30968$FB394962-1528-47BE-B3C5-FDC10BBCC33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"72dd450c87d5f735316fd96b2a6bb8646170be68","datavalue":{"value":{"entity-type":"item","numeric-id":21898,"id":"Q21898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30968$E430BE05-E86B-400F-8FAE-D2DE3CE9CD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"69b4ad882dde32fb8472e61ef00a8d02d216e31c","datavalue":{"value":{"entity-type":"item","numeric-id":14658,"id":"Q14658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30968$9B84E503-4753-40C7-AB80-F74790AB4FB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CoqMTU","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CoqMTU"}}}}}