{"entities":{"Q6507239":{"pageid":14086197,"ns":120,"title":"Item:Q6507239","lastrevid":40021581,"modified":"2025-02-11T12:33:08Z","type":"item","id":"Q6507239","labels":{"en":{"language":"en","value":"Homotopy type theory as internal languages of diagrams of $\\infty$-logoses"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6507239$CA357D91-C81B-4A43-A0A6-165AAA06CDF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e501840d8c098d95e8b26e0a1d6c0d2e1caa970","datavalue":{"value":{"text":"Homotopy type theory as internal languages of diagrams of $\\infty$-logoses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6507239$67D50A5A-0799-47A7-8E4D-4DFC41766E9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afc5d4e3193631caa08a1f9226c3cbdbc4ee23","datavalue":{"value":{"entity-type":"item","numeric-id":2078409,"id":"Q2078409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6507239$8DE80F2F-B52D-470E-8444-BB894521FD6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f7bb6d8c5310ace40589f27f0ec3909d5699eb0","datavalue":{"value":"18N60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6507239$5B02ECC4-FBD9-4A58-ACA5-7936190743B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6507239$19982C9E-3514-435B-9668-5796EA29B3D8","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":"Q6507239$0B0045C5-2857-4F50-ABE1-ACC6D9A8B2B3","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"a7b68321d199b54672a2803ce4bc44396221e0b9","datavalue":{"value":"2212.02444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6507239$0CE0A8FD-6A6D-4DD0-870C-50153DFB8A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6507239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6507239"}}}}}