{"entities":{"Q2133175":{"pageid":2143918,"ns":120,"title":"Item:Q2133175","lastrevid":55407292,"modified":"2026-02-17T15:47:27Z","type":"item","id":"Q2133175","labels":{"en":{"language":"en","value":"Towards a directed homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7515962"}},"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":"Q2133175$F6EDD5C3-72D2-4A81-A94C-F4C18C897689","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"326c621939e3703274aa13000a7752b3183121ae","datavalue":{"value":{"text":"Towards a directed homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133175$D8034A12-381C-4169-B575-B2F2BAC52CD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9058d92f2f314c3123d77c015e024f1830dc9f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2133174,"id":"Q2133174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$2A414DE5-8976-4820-BA3E-513840257FF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133175$B9A67F1F-E1A7-4601-B4AA-F85F4F4093B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5db880700b43c752a417f56c410a64274f9c536","datavalue":{"value":"https://arxiv.org/abs/1807.10566","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133175$AA1D418D-1CC3-47DA-8E67-42D7F0FDDFFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133175$FA099781-D584-4495-84EB-7D1CBE5CFDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133175$26B1D1A1-2E24-4D04-8B98-981B5F83E3B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecf68659531765469114af9f66ab9df45a073e50","datavalue":{"value":"7515962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133175$5C724F69-B5B9-4FA7-A1F7-B8103C024A87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133175$83F5B222-C07F-42A2-BB38-891441E9E008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"699479d145ac80cd297971b1a318acf1f8c08fbb","datavalue":{"value":"directed homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133175$1E95DE17-1094-490A-A5BB-13F8F3B2163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e0fcb56e8981cc6a9e7c68a735a976878ec73c","datavalue":{"value":"semantics of type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133175$AC1FAD00-2706-4382-BBBC-1361E22D7BC5","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":"Q2133175$D23EBD4C-3320-4545-B697-75944C2FDDEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d208a662851b1f41d8ebaee574bb7eb97d456f3","datavalue":{"value":"W2995356144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133175$89CEDA40-D907-464E-963B-4D16576DAD30","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f0366e12c32dcbd0c784a40464b2947c28e92c6","datavalue":{"value":"Q113317351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133175$B14DEA2A-CFA8-47C2-B128-4A97DC1B5114","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"703f24f0ddf8e9723982d67cc6c8ac78262ad4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5657402,"id":"Q5657402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$EB818F3E-DD87-44A1-8018-C9F01744552A","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":"Q2133175$997D375E-ABE6-4A38-82D7-36904347CBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$A4F552E7-41C4-4F9E-9E46-036269F9CA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$9D6D90CD-582E-4F07-B934-E009EBAB6FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$1EF1299D-292E-402B-BD30-AFD7F87CC0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$B9B29FC1-841E-4DA3-9894-A86F6A89C2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace08aee50aa7ed1e67a219ab235e0e0445c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5739362,"id":"Q5739362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$D8BFC279-74FB-41BD-8985-DD093DD01CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$56EE9330-A492-4F8D-A628-9419F515BF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a79fad678f967c6528bd2993b5707c57ab0cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2530658,"id":"Q2530658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133175$E32A24CA-048C-4966-815F-FB169A8B1F88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b34ac02c56b6219bbbb39a2ffade6217c99309f","datavalue":{"value":"10.1016/J.ENTCS.2019.09.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133175$47434BD4-7E4A-4E41-BA85-ACB0C8940675","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b0e950a0ea98bb23fe11f9d5098bedc711a256","datavalue":{"value":{"entity-type":"item","numeric-id":5739362,"id":"Q5739362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40eb5ab116dc6cfc56508239200d05acb58460e1","datavalue":{"value":{"amount":"+0.8102210164070129","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":"Q2133175$ABA75E58-D5FF-418D-9EAC-680506E49C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7964a8e5035386e080207603af2219d2a78d4e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4581462,"id":"Q4581462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9de4d138e1de6e025abc14ef73af4392b4df8f9","datavalue":{"value":{"amount":"+0.799048125743866","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":"Q2133175$111ECAAE-820B-42D9-B75F-2650421C0C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a52e653143f9f0797fe1aa345f9cd78c96e9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5145691,"id":"Q5145691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d112a8ec1dfdec3472283f1ef39f0002aa1b998","datavalue":{"value":{"amount":"+0.7974812388420105","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":"Q2133175$F5771C2A-3EEB-45E4-A0A8-7B13B623F40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f9e8952c90f9ac03a449ed010ba758d7f8e474","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b14a80f8df2db7030d78f1bd007d961a6eacab2","datavalue":{"value":{"amount":"+0.7899340987205505","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":"Q2133175$D9F65521-0440-46EF-923F-3B40C954B449","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":"6465e15f834f2a0b621898999248bc3de65211c7","datavalue":{"value":{"amount":"+0.7795990109443665","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":"Q2133175$B9102C51-A47A-4B98-83C5-65ACF03AFFAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133175"}}}}}