{"entities":{"Q6317399":{"pageid":13453171,"ns":120,"title":"Item:Q6317399","lastrevid":99096134,"modified":"2026-06-05T19:12:44Z","type":"item","id":"Q6317399","labels":{"en":{"language":"en","value":"Cubical Syntax for Reflection-Free Extensional Equality"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6317399$FA1C6368-47BD-4743-A511-E92ED16E4298","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f8e1f4176d6d9ab19749ba295c51d4727557bb8","datavalue":{"value":{"time":"+2019-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6317399$9A1EB3A2-1F72-4561-840C-C52035362924","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"02370cda844cdfbdae0f186718034512875a05b0","datavalue":{"value":"1904.08562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6317399$D3EB63A6-1544-496E-9E39-FE478A5ECD60","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6317399$4C56EBB8-A718-499C-BEF7-4D8DDE79C281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6317399$8031F4F7-C154-4183-9A88-7A4BC994276E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612a55672006eb32b94e9a3be5b3448080647058","datavalue":{"value":{"entity-type":"item","numeric-id":5016214,"id":"Q5016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6317399$50B75A37-2202-4D89-B424-A66B1E9A0FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3791877866e06c575a0d5afd18962bd487776b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1688953,"id":"Q1688953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6317399$DABD344B-61CE-4EAC-8D38-BA9AA7AC7A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6317399$4686C61B-16B9-4FA9-8FB7-37ECEFE1926E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6317399$07D8AFAF-61C2-40A8-8E56-086208D5140F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6317399$99A0444C-3A42-485E-8D7F-E8F4CAC934AB","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":"Q6317399$5F1DEC50-B5ED-4FDF-A7F0-4F13A1AC2D73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74b068f10f489d2a6311683b30de414be6cfe9d1","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6317399$329CEE05-4209-4D71-B9A6-708E6A4666DD","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"a662549eea06c84d5c46e48c0b3ec7229660e204","datavalue":{"value":{"entity-type":"item","numeric-id":5089034,"id":"Q5089034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6317399$F1FC273F-9072-4F6E-B63B-61E805BBFF50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cubical Syntax for Reflection-Free Extensional Equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cubical_Syntax_for_Reflection-Free_Extensional_Equality"}}}}}