{"entities":{"Q6124941":{"pageid":13259248,"ns":120,"title":"Item:Q6124941","lastrevid":55628293,"modified":"2026-02-17T19:58:37Z","type":"item","id":"Q6124941","labels":{"en":{"language":"en","value":"Synthetic integral cohomology in Cubical Agda"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830367"}},"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":"Q6124941$F3E32066-B461-44A9-B512-2FEBB96B3F44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7123ca25439a06ac3cc7cde88243a76ca826ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":2319986,"id":"Q2319986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124941$ADF029DE-3945-4A87-9B8B-3522F978EFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41d31fcb886ce28cb1911e25692e1966cb488043","datavalue":{"value":{"entity-type":"item","numeric-id":6124940,"id":"Q6124940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124941$2E943DBB-0CD9-4535-B57C-A016DDD22F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b6655ff0c1854542b6f28c9af39f0877a44635","datavalue":{"value":{"entity-type":"item","numeric-id":2319989,"id":"Q2319989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124941$70E5A35A-68FE-4703-B58E-AF1EE3C63867","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aaef9e7e62e4d5052aa36b93d814a95d302adc5","datavalue":{"value":{"time":"+2024-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6124941$6A4D34E5-90E6-4414-9514-40EBBC61E283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124941$AA1361E9-4CAD-4C3F-8225-3169DE760412","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b8e950a63863e77ba5ca09b4138328650a9a655","datavalue":{"value":"7830367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124941$697BCF79-3B43-4B6E-BBAC-00514023A3A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8fe747d0922d3d87aceb858d1c597bd30b9544","datavalue":{"value":"synthetic homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124941$B07ABDFD-864E-4762-B20C-19956DBCAC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b9e7b6cea50ba9dd52e54bb77e747e689b6d72d","datavalue":{"value":"cohomology theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124941$16827E9E-9702-46D3-A588-6DCA5FB96B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a515164193f559e7f45434024d1417c63a69443","datavalue":{"value":"cubical agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124941$723EC061-0A7A-4E8C-AA7D-A47B428D82F0","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":"Q6124941$B0B5321A-DEE5-4DB8-9449-19C61F4ED4E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"907c211926a540ff9b7d1827fddb28a6996416b1","datavalue":{"value":"10.4230/LIPICS.CSL.2022.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124941$AE0B8172-0974-4B83-ADD1-50ECECAB580A","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":"4a2c31c6e9afceadfeab073beabd4e79acf98b98","datavalue":{"value":{"amount":"+0.828468382358551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6124941$067ACB8A-8435-4468-8B51-870F6458F0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f36270cda4af76f05eab34983cf56f40cc4b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5145328,"id":"Q5145328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144a7f2d2327f7431cefeff721e2f4ee3b2dc210","datavalue":{"value":{"amount":"+0.8284682631492615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6124941$A28B6DEA-11B9-4277-BC0F-4BA347D96CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cb7e4ff1e329ad93839294566dd2c1fad83545","datavalue":{"value":{"entity-type":"item","numeric-id":4635651,"id":"Q4635651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facbf3a0a051a8742a65dfb3d05fe2e476bf4e23","datavalue":{"value":{"amount":"+0.7676551938056946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6124941$308D0F9C-9E1E-43BA-86E0-6605D5EF3990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa00a3b4a22b28151da0a7d0a412db455ab32f97","datavalue":{"value":{"entity-type":"item","numeric-id":4635794,"id":"Q4635794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a79870d600593d5ebd93cdfd4732d3fb29fc14f","datavalue":{"value":{"amount":"+0.75567227602005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6124941$E2F23894-A6DB-4201-812B-25EC0FF58D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acf841d26e9ea58aed4646059df1014d3f65d19","datavalue":{"value":{"entity-type":"item","numeric-id":5271059,"id":"Q5271059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc84e647f71b98e1dc43cab0c178a6d3714b62d1","datavalue":{"value":{"amount":"+0.7353780269622803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6124941$2F881147-8F70-4FF4-A6DE-1240C784BEBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6124941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6124941"}}}}}