{"entities":{"Q5370902":{"pageid":7400476,"ns":120,"title":"Item:Q5370902","lastrevid":52934282,"modified":"2026-01-23T20:35:14Z","type":"item","id":"Q5370902","labels":{"en":{"language":"en","value":"Computational higher-dimensional type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794687"}},"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":"Q5370902$237C167D-6487-48A7-8BE8-4E8DA003015A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f05a2c09b65b144e2ba43cca0ecf562f0085ac66","datavalue":{"value":{"text":"Computational higher-dimensional type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370902$BA238B17-49C9-4624-A166-504951D509A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ae5e6d677cb8d5db13c3cf28e4d9045b0566343","datavalue":{"value":"1380.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$A5E9B89A-0C81-4406-9B3B-1B5F13C28888","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4e37b1e5a181ce46881083191c83b3574e4fb53","datavalue":{"value":"10.1145/3009837.3009861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$A1400B23-8096-4783-8F40-F95ED421A9AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370902$89E8C788-DD57-4E5F-912F-6D50384B2C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"596dbba080084470785342c3fb9c55afa9f34780","datavalue":{"value":{"entity-type":"item","numeric-id":5370901,"id":"Q5370901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370902$B1F06A5E-D595-4E80-BB6D-76EF4FA45896","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":"Q5370902$2C2A09F5-D1CD-4003-982A-0B7EE12F8716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370902$784292F3-5423-44DA-9404-868891BC6621","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370902$9E1B035D-37E7-4495-BFD3-172F7D0A5A5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$E01DA239-EBE3-495B-AB04-2A16B21D216C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$9E3760E1-3229-4517-AFAD-C4B37DE10391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$129B7884-12EA-496E-BA48-53F4664C57BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$702F72C9-05A0-43A6-9302-C5EA85CBF515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$32CEDBAD-DCB0-4DE5-B673-45350ADF3F29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9fc8620051ce9bbc72ea51b2178f3f52a1176c5","datavalue":{"value":"6794687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$92B98D3F-4E20-44E6-ACA1-EA3AA404C852","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370902$D334A46A-D81F-44BA-AAAC-2C32E56DCB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370902$E7303008-F567-4E8F-B73D-963A5A6CACFF","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":"Q5370902$759F5820-FE5E-4AEE-A750-2C87439BF4D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3bf2fa2a5198b77d04ec6691cf776b86303f5f8","datavalue":{"value":"https://doi.org/10.1145/3009837.3009861","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370902$75964CCF-C385-43A3-91B4-D342E2B2B61D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ead3569f7e059ba8b5bafbc0ec1b355e4f85f5a1","datavalue":{"value":"W2562854264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370902$73E1FD12-CBA4-4615-B9C8-44BF1E1A8623","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c97105b57c2ec928ab8765de32b71670d62d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2942884,"id":"Q2942884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51995ef04d10b8dfb6fe12d42e5cbcb4f060af90","datavalue":{"value":{"amount":"+0.8230716586112976","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":"Q5370902$27E59DB9-69F3-4A6F-AF07-7C08BF7BE18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1231fc8a3cc39649e6204eabfbf0e60d4cd17d3b","datavalue":{"value":{"entity-type":"item","numeric-id":1688954,"id":"Q1688954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d6935118f028441ee5a24ac022503725ec4446","datavalue":{"value":{"amount":"+0.8177671432495117","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":"Q5370902$F189C317-503F-47F3-B33F-BC0333743D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501c529457317a1a468b09972614a5df9d1d2ad6","datavalue":{"value":{"amount":"+0.8025946021080017","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":"Q5370902$C7EAA67C-761F-47D2-A84C-4FC51B752C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b82f244443386be345532129271c03a84ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88453eacee698e0d733ed35459d938f4e4da7570","datavalue":{"value":{"amount":"+0.7972410321235657","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":"Q5370902$359A4BF2-AB2E-4507-8113-4B00EF39F996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9f0bb3e23e9ef4020847e600b42c1a56f4949","datavalue":{"value":{"entity-type":"item","numeric-id":2938036,"id":"Q2938036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29f036a3a14822548b8f5a12da763850e4f0609","datavalue":{"value":{"amount":"+0.788142740726471","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":"Q5370902$FCB8C20B-7F6B-44EC-A3DF-AA9928562C1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370902"}}}}}