{"entities":{"Q6969013":{"pageid":21317142,"ns":120,"title":"Item:Q6969013","lastrevid":76172388,"modified":"2026-04-23T02:42:33Z","type":"item","id":"Q6969013","labels":{"en":{"language":"en","value":"Introduction to homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8055104"}},"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":"Q6969013$B55AB5AE-1D58-4E2D-9429-63D258F7379A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d8354c3624d36cb2ab2fdc68f7df583cbd188be","datavalue":{"value":{"text":"Introduction to homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6969013$80CA05CE-EF64-4125-9C06-6D5C2DF48D11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e088ca6b5f8f7ea1eebe34b8e8d04a4d1d24997","datavalue":{"value":"10.1017/9781108933568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969013$128C8D3D-63FB-473D-8216-CAD6DD53AEEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0df7e8ab50acf71103a626013759dc1694180c","datavalue":{"value":{"entity-type":"item","numeric-id":2229966,"id":"Q2229966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6969013$C2442F08-5A41-449D-A2E5-14BC45F28A4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b75991519f41a5f88e7dc162d9917212d6a859ae","datavalue":{"value":{"entity-type":"item","numeric-id":6545371,"id":"Q6545371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6969013$E12DB940-A17E-47FF-B9BA-7C0D2CF3DFC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a754b90a200c95426eca411125eced4bf62de28a","datavalue":{"value":{"time":"+2025-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6969013$0ABB8AFB-3E98-4FBF-972C-390AB8AEE7D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969013$0765816D-7C42-4040-89CC-B09DC4E1AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969013$4387052A-BD81-4760-BBCF-752774A29992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969013$A2B3E783-A1F8-4FE1-8F98-1F02B2F827C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"543be119209cbb22e129e4b0bc6c37cee46a744d","datavalue":{"value":"8055104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969013$FE3103A7-E89F-4E8B-8E1B-E75842F00A21","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":"Q6969013$B08DDD7E-7AFC-42DA-948B-8EECE5A837A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introduction to homotopy type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Introduction_to_homotopy_type_theory"}}}}}