{"entities":{"Q5145328":{"pageid":7174899,"ns":120,"title":"Item:Q5145328","lastrevid":100628813,"modified":"2026-06-05T22:37:21Z","type":"item","id":"Q5145328","labels":{"en":{"language":"en","value":"Cellular Cohomology in Homotopy Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298777"}},"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":"Q5145328$7DC5E2AB-EF66-4DFC-A6E0-55671A9A35FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"865631f104c0e6fef531679c3e604c111490c864","datavalue":{"value":{"text":"Cellular Cohomology in Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145328$0A26D621-C92F-4D46-8E20-5C575E449A5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f89734aec713e432205911cb393bfbc09c71983","datavalue":{"value":"1452.55016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145328$AC038647-F739-4E74-92BB-427E4BE6CBE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"265c4369677e264503369a5b9ac5172b5bd76d8c","datavalue":{"value":"10.1145/3209108.3209188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145328$79806499-CA70-431B-9B91-A3757562083B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e65812be4cd0be55e195a415cc5c72e9a1b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":1687769,"id":"Q1687769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145328$F5BDA70D-CCCE-4706-B2B4-414FE5E6E410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3154c8c30dce125ad3cc71c4486caf3b6db5bc49","datavalue":{"value":{"entity-type":"item","numeric-id":5145327,"id":"Q5145327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145328$A81F0595-62E6-4568-A954-E4B1EC77834D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145328$41AC2E09-CE59-48D5-8713-5CDDF15DEDF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145328$BBC587F2-7544-403E-81BC-DCEC3C78A102","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ebb3d010dafb3643c9ec612e63e6fc3efb40187","datavalue":{"value":"https://arxiv.org/abs/1802.02191","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145328$E2EA7560-45E3-46A8-854F-F940465B683D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145328$BA05E8E3-8CA8-4B99-8F73-DC7DDCA67C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145328$9E8783D1-E613-47CC-AA7D-5A8436E42FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67a883ab2549ab867df00bfed7d397d94b240960","datavalue":{"value":"55N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145328$EA0CEB30-11FD-4ABA-B646-A857342447A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d0e6c7e0251b76bfee721a56c9b9efda3411752","datavalue":{"value":"7298777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145328$A0C2ABA8-C755-4070-BC4E-143A4AF7485B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78565bcc99af6bf7f0fc5b81d652ba5a275e6240","datavalue":{"value":"cellular cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145328$B52522C6-A888-4799-B056-9E1D644402D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145328$68FB3005-48AE-4E62-837D-A352C8F039B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fece5b20889a2078780548497bf4af8c0810a216","datavalue":{"value":"mechanized reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145328$16EF2355-1C2D-4453-8A6E-409686F9C8AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145328$AD04669A-F8C9-4673-AB0E-503B26CFD271","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":"Q5145328$502269AF-B3E9-4A26-99EC-E8B59494558A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dd562156631b1bca521547528a5c0f54094a66d","datavalue":{"value":"W2963483416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145328$7EA82565-B667-42DF-B8DD-A23D6909A6A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7e1128850c275c695950acd29fc4ae91fb7ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5114825,"id":"Q5114825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$978041D0-A067-4E91-AA2A-97B3594D8D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef18f6995ec6d5d4a50129a1d4373a4c01a055f6","datavalue":{"value":{"entity-type":"item","numeric-id":2266478,"id":"Q2266478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972658db3e20a72d04b6f84a0d1e09ab97ea3009","datavalue":{"value":{"amount":"+0.93765026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$EAB20D1B-37F2-4314-AF66-E93A5635A04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b28aed651a68f22c1124f07dfd24ac022a78a5","datavalue":{"value":{"amount":"+0.9178983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$25DC36B6-9852-4ED4-9DE6-BDAFA46A1DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78695a2f10dbc8cd5e18dd2c32799e094d3ca669","datavalue":{"value":{"amount":"+0.91789806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$D3552990-13B2-41C4-9FE6-BE75D494CEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11bee619b01b6543b38334a3fb8abb2de41e6ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2498277,"id":"Q2498277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023b7fdfe576a1eef746ff70bb7cfdd81f27b892","datavalue":{"value":{"amount":"+0.91628474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$E2D80BC5-E664-42DB-B53F-B295B2B66226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ec9b030401ca7dc1a392d776507f50e8efaae8","datavalue":{"value":{"entity-type":"item","numeric-id":6075425,"id":"Q6075425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f785e336b795fba8c5d315a31073505773374356","datavalue":{"value":{"amount":"+0.91368496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$64589218-FAAF-4E98-A551-2A6A5A25802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de173ce1507ef718418f528c8bd9b9b1355ebc1","datavalue":{"value":{"entity-type":"item","numeric-id":1304903,"id":"Q1304903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9325edf8422114308449d4bc752a1ac947b9e0f","datavalue":{"value":{"amount":"+0.9120442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$D26BD3DC-BD7F-4530-91D0-B9D4AF0D752B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9309ed44c3e8ef3fb9588b15cf3d247d1249c0df","datavalue":{"value":{"entity-type":"item","numeric-id":4649443,"id":"Q4649443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905411eb8d3c99ea0c0c78a90f4226c8ea122383","datavalue":{"value":{"amount":"+0.9112799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$31A64D4C-DB55-4683-8FD4-1733CB399D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049641d6463dd552a05bc0e2ee6a172a8b71ad5e","datavalue":{"value":{"amount":"+0.90703374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$3F5540F6-363A-4E57-B9E5-4679B5D1F6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6a0e6d7a5650309ee9f2db22aeda2d9a4087d8","datavalue":{"value":{"entity-type":"item","numeric-id":3177878,"id":"Q3177878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d1fa9f41ae7870002117e1636201e8cd3ea127","datavalue":{"value":{"amount":"+0.907032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145328$C161243E-CB93-4393-BA6B-731B5CBC9289","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cellular Cohomology in Homotopy Type Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cellular_Cohomology_in_Homotopy_Type_Theory"}}}}}