{"entities":{"Q1350644":{"pageid":1361383,"ns":120,"title":"Item:Q1350644","lastrevid":56457111,"modified":"2026-03-13T06:39:44Z","type":"item","id":"Q1350644","labels":{"en":{"language":"en","value":"Cubical Agda"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"00af7456d014ed6e1ba713d2fc09d5e6df6202b1","datavalue":{"value":"43623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$A4E61194-F4DC-4EB0-8E8F-497E840A1545","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"793f5929caedf858cb33374dc207cfd2eca3a0be","datavalue":{"value":"https://github.com/agda/cubical","type":"string"},"datatype":"url"},"type":"statement","id":"Q1350644$DEC20649-F712-472B-A350-4B7F16CA2DA5","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":"Q1350644$05B70A46-B2AE-4B42-836F-843471F37D42","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"699198cedacdc5c1feb78d5bc41e06f40ad59c8e","datavalue":{"value":"swh:1:snp:fdff46f5cde437058a55437598e0afeb9d679491","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"793f5929caedf858cb33374dc207cfd2eca3a0be","datavalue":{"value":"https://github.com/agda/cubical","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"07ecbd3c8b89308f7fad7af5eb0a57a31a8debfc","datavalue":{"value":{"time":"+2024-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q1350644$1A2BAAB3-414D-4FFE-9265-171FF28AF254","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"9d2f299dab735151f96fa5788284f18312d8a8ad","datavalue":{"value":"https://doi.org/10.1145/3342524","type":"string"},"datatype":"url"},"type":"statement","id":"Q1350644$B267D522-90E3-4138-B4AC-F59D7E2C8237","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$15D6B253-23D4-4576-B2B9-7677BFA11521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$F33D16DC-A096-457F-B03B-B7FFF2B59580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$B7EEF80F-2ABE-4336-971C-71DC339D9692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$5DB02872-8795-45F0-9C6B-4F1FC9B47033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$29BC8443-060A-41D3-A5BD-250824A93D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$BAC4D795-1874-44C0-AD14-8F559BCA7572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$26687E79-C6C3-463A-B459-D0544EA16B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$3C830654-125A-4C96-84EA-476FCBB50793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350644$2C779141-CDCA-41BC-B058-1B459E242C11","rank":"normal"}],"P1458":[{"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":"Q1350644$13BCC85B-D2AC-4FBD-B0D4-9AB0DCF57DFF","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":"Q1350644$CF8D7A2D-A5AF-485A-A816-E9C62956808A","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":"Q1350644$5E6860C9-0856-4EA8-A7DA-EF83C5D95BFC","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":"Q1350644$5D530605-989D-4199-AB1C-0E2A877AC843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"248693ca8c77350f53e800cf888d78b72241e54f","datavalue":{"value":{"entity-type":"item","numeric-id":46473,"id":"Q46473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350644$7936F646-0677-4C62-9DF9-7ED4807EF498","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":"Q1350644$206517B1-CA51-4956-A306-9B4FD1FCA91C","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":"Q1350644$E03172A1-AF78-439C-A321-F94484B82824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350644$A9A47C97-1025-47C5-9AC8-685B5DD65336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b28c81d4911883bef3214e7956987a08537ccfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27033,"id":"Q27033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350644$535C9516-3B2A-4B84-8DAE-1001AE187E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c4ed8e90c59b87f9979f016f5f806b49805d4544","datavalue":{"value":{"entity-type":"item","numeric-id":35364,"id":"Q35364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350644$723D046E-76FA-45CB-8512-494AA0A91D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350644$02C76852-8FAA-455C-8C5B-4EC62AD2A878","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":"Q1350644$93AD9B78-A4AE-412E-A00C-41F98AC472E7","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":"Q1350644$7FD5EC29-5643-4C38-BADD-A4D30C2F16D0","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":"Q1350644$DA81E2D4-B948-44CD-9969-4D87EBAD7A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c1161e1e8de5a1bc9eb8260f27cf5114412c2b8a","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350644$1235686E-D30B-4025-8001-D2C42D84881D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"af5be8898ce461756a5dfb25c5eb486b63258a4d","datavalue":{"value":{"entity-type":"item","numeric-id":55704,"id":"Q55704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350644$752F8C1C-ACC2-41E5-B7AD-A18447F3AE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4244bd21b3a60c5b7dc07ce4b342a92594fee47f","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350644$B6FFC941-6427-4C3D-BCF5-1815608D147A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cubical Agda","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cubical_Agda"}}}}}