{"entities":{"Q6336032":{"pageid":13471171,"ns":120,"title":"Item:Q6336032","lastrevid":56068132,"modified":"2026-03-04T10:20:23Z","type":"item","id":"Q6336032","labels":{"en":{"language":"en","value":"A Cubical Language for Bishop Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6336032$435A794C-A864-49ED-BCA6-46D6B82EC8E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61e2e5951dfff50ebb9b8606073c3ef7da57bd09","datavalue":{"value":{"time":"+2020-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6336032$C6677C7B-86B0-4EF6-AD7F-60150B5DD9A1","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"3552d9ba38b998ed0ca013b55fdb1adbf90eac49","datavalue":{"value":"2003.01491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6336032$080E4501-3644-488E-8DBA-722744A97159","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6336032$DDEDF91C-038C-40FC-B5D2-533A7D74372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6336032$50E8CF50-1C09-4F58-974C-6537C686AB36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612a55672006eb32b94e9a3be5b3448080647058","datavalue":{"value":{"entity-type":"item","numeric-id":5016214,"id":"Q5016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6336032$12955750-BC9A-4AF8-97DA-72E464305D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3791877866e06c575a0d5afd18962bd487776b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1688953,"id":"Q1688953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6336032$11A4FA86-FEDF-4BDC-9E34-E8D79C4BA867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6336032$C53C3BA2-AD42-4848-BDA8-01B133970274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6336032$921A4072-987D-4E81-B160-D9E3B2735BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6336032$2D7D7E65-4595-480C-B9C9-C6DF64BC7DEB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6336032$020F2BC9-A910-431B-8BE1-F00EFD698B27","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"398c52ce1e0aac9eec45a338324e0f58297257b3","datavalue":{"value":"https://github.com/ice1000/ice1000","type":"string"},"datatype":"url"},"type":"statement","id":"Q6336032$17488358-6D4D-4718-BC4C-8DD8E20E580B","rank":"normal","references":[{"hash":"923b310e22947c8fbf8d5cedc42f10cf2e0cbed1","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"80891eb586f55384392ce134464694456bb05f87","datavalue":{"value":"https://paperswithcode.com/paper/a-cubical-language-for-bishop-sets","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"f846dfc57207c7640d2726d8f72d9e8a317f0bcf","datavalue":{"value":"repository README","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"1dcabea2e396215820479f6d4110a1060dceb75c","datavalue":{"value":{"entity-type":"item","numeric-id":5094128,"id":"Q5094128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6336032$E2E6838E-D325-4143-9049-E51D4F450B53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6336032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6336032"}}}}}