{"entities":{"Q7079657":{"pageid":21852438,"ns":120,"title":"Item:Q7079657","lastrevid":106474688,"modified":"2026-10-22T11:51:32Z","type":"item","id":"Q7079657","labels":{"en":{"language":"en","value":"WITHDRAWN: Realizability of Univalence: Modest Kan complexes"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q7079657$CE2372E8-C3EA-484F-A24F-B8FA1A16EE73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7c2a0f503a85b9f55e27eaa6018f42e140fff79","datavalue":{"value":{"time":"+2014-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7079657$F06201FC-92B1-45F4-AE70-3462AE83FA95","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"2f119ec42a023256283cbcdd0b0157678f787f79","datavalue":{"value":"1406.6579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7079657$DEFD2F45-7671-4496-BD32-E6EF9815733B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"579881877dcc182d9c5da1b6cfe6719032e795d9","datavalue":{"value":{"entity-type":"item","numeric-id":615885,"id":"Q615885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7079657$97F80E84-C458-4572-A46D-91BE4E960DB0","rank":"normal"}],"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":"Q7079657$AC75E4CA-1B0F-44F2-9860-5F6168A0840C","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":"Q7079657$AE57B3C7-F807-4AA4-AB17-5476F00ED401","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"WITHDRAWN: Realizability of Univalence: Modest Kan complexes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/WITHDRAWN:_Realizability_of_Univalence:_Modest_Kan_complexes"}}}}}