{"entities":{"Q1799035":{"pageid":1809777,"ns":120,"title":"Item:Q1799035","lastrevid":53239667,"modified":"2026-01-24T12:59:45Z","type":"item","id":"Q1799035","labels":{"en":{"language":"en","value":"A cubical model of homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958068"}},"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":"Q1799035$F268E02C-AB4D-4A43-A873-A2BF55EFAC0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2108fe249e8bdf3329fafe8557c4c0c0bb11894","datavalue":{"value":{"text":"A cubical model of homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799035$5E3C2269-ACCD-4B86-8D29-B39560BC0E46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$EA277A5A-2590-4F81-8C9E-53C0BB5181C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799035$665D7C53-0E62-474C-B4F5-7D33E11B7639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"422f724a62844d39c286c3489d73ead7d0694ffa","datavalue":{"value":"https://arxiv.org/abs/1607.06413","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799035$D559AE4F-C2C0-4FD2-8436-622EFBBA5A59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799035$8927B439-9545-4291-87AF-FFDF99530BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799035$80FCDF5B-8753-4FD6-A4B3-7FD2072B0F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799035$DB8C8503-4767-4E2E-BF4D-10809B3533C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799035$0CC2C5DB-CEEF-4859-9684-6FAC97BE8391","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a46719da8e271febf243a3caa59908598e4d4d40","datavalue":{"value":"6958068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799035$A97A9A59-DC9D-4157-97C6-6C40A17635C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799035$EF359D42-400A-468D-BE08-544340DAA8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4869b93ca8f82bfd717953944e659cbdee466d45","datavalue":{"value":"algebraic weak factorization system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799035$0B1E6490-36B7-4E15-AB32-B56A97BAB7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb55d8fade8acd84da08bfc22f6860003878d8c","datavalue":{"value":"path object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799035$555DDD90-B52C-496B-892F-E7EFF83ACE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef13a89c6778f2a25bad254dc33f67d3057db91","datavalue":{"value":"identity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799035$CCEC3D34-2CCC-4CE3-80D0-8448DCCBD1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799035$9E16DFFB-B2F2-4E42-9EFC-B9D06AC9CC0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$51B05266-9A17-4678-BE44-2E2CE4C731A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$4FD46DA6-F721-4581-868B-B4A9EB7AD325","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":"Q1799035$CE0E860C-107C-4F7B-8888-4CA0D421CB4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ab6019226f09736a59d1dec04be1f0a5f4c2907","datavalue":{"value":"W2963736979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799035$275CEC48-5412-4148-A1CC-281338A7EA07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$5699B373-F373-4C3A-A28E-D95D1C903084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$90CF15BE-DFC7-40D1-A1B7-3BB719C9C1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797a69c329b33f562486ada5802c77e44cf06af","datavalue":{"value":{"entity-type":"item","numeric-id":5283204,"id":"Q5283204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$E9E49484-6284-4CF5-BA99-BB8E8989C5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$23BE77B3-82B7-4ECF-9258-F1E56604B0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$FF2A7651-2A6C-4876-8BCA-1598DBB75A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f63fdb0bf0e39d4ce8cf3d427b93284ad6f8e","datavalue":{"value":{"entity-type":"item","numeric-id":2013548,"id":"Q2013548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$1670605D-05BD-4583-A20B-C85861A2E745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0276781e145b53eadab474fc79da14a1d32ddddf","datavalue":{"value":{"entity-type":"item","numeric-id":5891786,"id":"Q5891786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$B0BE6C97-872B-4C35-B064-99B515271B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$58C60B5A-CB7F-4A77-9BF2-4016FAF1B9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b7f7f274eb6713b62fe2f0ba801e1bbcfcfa90","datavalue":{"value":{"entity-type":"item","numeric-id":2957763,"id":"Q2957763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$57254E0D-B3B1-46AB-89C0-71732B9C728E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab5253ac879eac01b75fc4c22a1a366d2585e79","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799035$95DA3BF9-7DA7-4F1D-8C3B-D016F8455A5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9da39bbf6e3c25e0350859937fd108cee91a6122","datavalue":{"value":"10.1016/J.APAL.2018.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799035$7C33A2A2-E230-4F1B-AB85-DE4BF1000735","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb32953fadb42291f4a6195a76a0bf3d3570953","datavalue":{"value":{"entity-type":"item","numeric-id":2974664,"id":"Q2974664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb8f3e47a6d75c4c4f920bfbe8750cd2300bd2e","datavalue":{"value":{"amount":"+0.8235278129577637","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":"Q1799035$7C6433BC-B2CE-4857-B64F-BF068B67290E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b26fe5ac7a27289dbae817b7d5587d50b620974","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7888a771d00d7675eabbab4f36f135059731ceed","datavalue":{"value":{"amount":"+0.8060198426246643","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":"Q1799035$EE26C5EA-3096-415D-9A27-1DAFDC621630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc3fc35599d25d8ab7cc56fdf4080e2f961540b","datavalue":{"value":{"entity-type":"item","numeric-id":5277978,"id":"Q5277978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1f73748da65bcad36815c48549caab67d20f6f","datavalue":{"value":{"amount":"+0.7978826761245728","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":"Q1799035$52E62B02-A301-4F61-8170-C6CBC809A82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e0f7bb7fceb3fadcbe8d2ac5700e675b8c5206","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab3e0ea67f15917125eb654ba31c9913aade21c","datavalue":{"value":{"amount":"+0.7787050008773804","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":"Q1799035$2C5B2FD3-1879-48CB-B7B5-D10DF696A713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3ede721a1499eb0c2f13685f75c7528d53092a","datavalue":{"value":{"entity-type":"item","numeric-id":5028486,"id":"Q5028486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e89d262cb8cdf91045c92de5d38b6151e34610","datavalue":{"value":{"amount":"+0.7782824635505676","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":"Q1799035$CE310E76-E559-4131-96E0-7FF76A3677F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799035"}}}}}