{"entities":{"Q5055495":{"pageid":7085072,"ns":120,"title":"Item:Q5055495","lastrevid":55430269,"modified":"2026-02-17T16:13:52Z","type":"item","id":"Q5055495","labels":{"en":{"language":"en","value":"Naive cubical type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7630474"}},"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":"Q5055495$32D9D68C-09FA-4C4A-854E-119666E80DA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79979ef29d2d176e5cb43028382fc73d0aacd6fa","datavalue":{"value":{"text":"Naive cubical type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055495$15B39CA2-8AF3-42B0-91FC-5F0DCAA5B4C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3978041889a76438bcd3ea746d4a29ab38fbbfcc","datavalue":{"value":"10.1017/S096012952200007X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055495$3DC1040E-7058-4387-9145-46D1BDB17431","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e1ef40bef9bb0611f6243ffc364a5e627a8bf9","datavalue":{"value":{"entity-type":"item","numeric-id":2295735,"id":"Q2295735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$D528D1EB-2229-4ED1-9539-AB1149CBE6F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$9E37F326-25FF-4FFF-A60E-1DF204DCC9FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055495$D4E4D656-2209-405A-8081-C8359BFD65C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"821e61ce1b09fa21d211f96a794c64e38fb8b4aa","datavalue":{"value":"https://arxiv.org/abs/1911.05844","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055495$D5668D9C-A4FB-4A29-B4B0-27F31C5DE356","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055495$BC10086E-AB1C-4073-A71C-3098C53C31D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b984a781b1c1e779298da13fc83d027fa35e500","datavalue":{"value":"7630474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055495$0451C941-4BDD-4760-BA56-9BF737142257","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055495$501528D3-1364-4F87-92A3-CBB4274B0503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfbef8b074ea7a3d6f942ec5fc7baef3bb3b0","datavalue":{"value":"naive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055495$69E7CDC1-6537-4183-8188-37259DACC70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caa225e8279574bbc849e2140d23352838d19cb0","datavalue":{"value":"informal type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055495$988E854E-7857-418D-962E-DC4D2BA25E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055495$FAFFD480-F5BA-41CA-9243-ABD5972EC88A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70ecc88dbe8ae0b3981f98a8d0dfe72c1cf716a8","datavalue":{"value":{"entity-type":"item","numeric-id":46473,"id":"Q46473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$2C39DF8B-3B96-4C2E-B54F-B835559562E9","rank":"normal"},{"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":"Q5055495$16F93677-1415-4403-A93D-EC8E790CAD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$6B59789A-5155-4C82-98C9-D09D1B9F70A3","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":"Q5055495$75A58341-3F63-434B-A3DE-FDB444143420","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eca5296ba525c0b1a3697dd4d6e2d75f3679cba","datavalue":{"value":"W2985011261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055495$14EE32B0-02DF-4AAF-8641-573E7E7A3B5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f184a7e95d4411e97f9dd56c8d04a055a00991","datavalue":{"value":{"entity-type":"item","numeric-id":6075423,"id":"Q6075423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$672D0BF6-F929-419E-A29E-07931B71A6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f6f04e0829cea3174d08000975cc9f5ac02599","datavalue":{"value":{"entity-type":"item","numeric-id":5022926,"id":"Q5022926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$605E1208-3A0B-4C49-801C-F59F6CCF08DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0ef29a899e04b29094c76761a58b7b71ec5b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1799035,"id":"Q1799035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$428CB81D-C3AE-4F07-8101-4A11C8993B7B","rank":"normal"},{"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":"Q5055495$90B23E21-BBBD-45AA-99D1-59CF91E5E5E7","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":"Q5055495$247D45F3-0C50-439D-A859-3BF354442378","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":"Q5055495$7E6B212D-B908-4C44-962B-498D1CAF21F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d35cfac3bac0a6ec08d36fbcb92f32a2072ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":4823137,"id":"Q4823137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$A6B9D4F1-123A-478F-8A26-9B3AE369581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee069e777fe710074f53e5c93bcafdd2ef8123c","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$04150E4A-0775-47DB-A0C0-781CD4AFC334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46bcbdedd496fd335764cbe8b300c8286ea7ecfa","datavalue":{"value":{"entity-type":"item","numeric-id":4773706,"id":"Q4773706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$FCA49789-DF0B-4E0F-BBAC-08751ACC92AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c1932fcd604b08170234cf1e4d4077530e5faf","datavalue":{"value":{"entity-type":"item","numeric-id":5241229,"id":"Q5241229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$C37832CB-2F6A-4E98-B0B4-821711F81088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67dcf2f4dbbcf76866eccb2b8f11648193617fe","datavalue":{"value":{"entity-type":"item","numeric-id":2786141,"id":"Q2786141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$79AC812B-BFC6-45F7-97B8-51AA7FD1F5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$C702C8EA-2540-44AE-BCBE-43E50802F53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbbe15d022eb0f715525fc153b38bd21e01f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055495$CDAA4E66-F0C6-4AEB-9874-8C800E813295","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d083df6128f15efa78ee573dc142d4f07a02fa","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae038d06134b2908a1b2ad9fb9b151a224ca00e","datavalue":{"value":{"amount":"+0.8005959391593933","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":"Q5055495$DF4D6E7B-14F5-4CDA-AB78-ADE2984E7F1A","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":"a0ed86c4c3defd7349f282ffa33559c6d09507d4","datavalue":{"value":{"amount":"+0.7989399433135986","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":"Q5055495$4AFF1BE6-BEE9-46E2-900F-791C0CC87F5F","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":"cd7a9a5d9c03298ac5a4ba0546fb6ba14bb57b53","datavalue":{"value":{"amount":"+0.7965639233589172","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":"Q5055495$AE552A0B-B5B2-4B0F-88C0-CEB79C03D4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76600fd4ad8a6a6ef0fa43597ded056e8bb3165f","datavalue":{"value":{"entity-type":"item","numeric-id":5022926,"id":"Q5022926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42177091696ab845bbe1339f8bcfac0e09d072a5","datavalue":{"value":{"amount":"+0.7895310521125793","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":"Q5055495$05C326AD-2B40-47CC-83C1-ED04E4AF420F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0734ab6ba3243b859753e27f8481096e62e0da8f","datavalue":{"value":{"entity-type":"item","numeric-id":5055493,"id":"Q5055493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0623688fd47181dfc63d47d5e83f54ebda44a3b0","datavalue":{"value":{"amount":"+0.786654531955719","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":"Q5055495$AC3F6C87-A836-469D-A975-C8CE8E0C740B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055495"}}}}}