{"entities":{"Q6288915":{"pageid":13425395,"ns":120,"title":"Item:Q6288915","lastrevid":58920273,"modified":"2026-04-07T01:35:25Z","type":"item","id":"Q6288915","labels":{"en":{"language":"en","value":"Univalent Higher Categories via Complete Semi-Segal Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900320978"}},"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":"Q6288915$034A4396-901E-4DEA-A4E1-AA8E0462A859","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6288915$283B7F99-9726-4442-AA41-29E78966ED04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"725426ba4e3e8b8ec62a89eadeb43219fbf11018","datavalue":{"value":{"entity-type":"item","numeric-id":1652992,"id":"Q1652992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6288915$11ECDD36-B5C5-4A62-9D0E-1593E8929E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6288915$86CC6B57-4E70-4644-8231-8C08405C4AFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6288915$C286BE6D-0B9D-42C1-8939-4620223A9C1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e652804bbcc073a9628e96c2f4a3ddb8483be82","datavalue":{"value":"900320978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6288915$9FD43771-0C7E-4590-8B0C-E58018CB2923","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":"Q6288915$EC0CBD15-3311-47B3-B8ED-AD4A2328E309","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"48c666105a5da55acb6eeb0a3af2b925c675a915","datavalue":{"value":"https://gitlab.com/pcapriotti/agda-segal","type":"string"},"datatype":"url"},"type":"statement","id":"Q6288915$5CAB598B-1255-440E-BCBB-8AC353CACB7A","rank":"normal","references":[{"hash":"8c89fead81572462ebb940dea0337122367cfcc3","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"d30a070057cc9c8006d80932d6c265b41f933af3","datavalue":{"value":"https://paperswithcode.com/paper/univalent-higher-categories-via-complete-semi","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6288915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6288915"}}}}}