{"entities":{"Q2319981":{"pageid":2330724,"ns":120,"title":"Item:Q2319981","lastrevid":57845172,"modified":"2026-04-02T18:55:04Z","type":"item","id":"Q2319981","labels":{"en":{"language":"en","value":"The univalence axiom in cubical sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7096712"}},"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":"Q2319981$02DA798B-B70D-4B4A-9477-16DAEC3F5941","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b87b7c2ea41bf99b487443ed1800bc559c383854","datavalue":{"value":{"text":"The univalence axiom in cubical sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2319981$FE924ECA-974E-43E1-848B-E92A41857E1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"531fcafe68f1370ac7d7a1f3644f17018d7a1c5d","datavalue":{"value":"1506.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$0D8503B3-BDBE-4755-900C-BD93689D11F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319981$F982DFDD-93BB-4002-945F-7E224B47AA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319981$556B80D2-19E8-4C54-9164-9B96216FF8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14376caa07db3f1fa1adc4be796c3dca3ec648ce","datavalue":{"value":{"entity-type":"item","numeric-id":2311882,"id":"Q2311882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319981$25C4A11E-9BDA-4FDF-AC1F-8370335F0F3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319981$3575E3B2-05D4-4860-B765-AC6D62F8777D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a464f6c7eab966071a88066cc0d05cf39328258e","datavalue":{"value":{"time":"+2019-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2319981$FA0A9794-0FF6-4BD1-B1F0-C9155CF59C47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6abf4566af28dde25ff0aa83e2d108453d77bbfc","datavalue":{"value":"https://arxiv.org/abs/1710.10941","type":"string"},"datatype":"url"},"type":"statement","id":"Q2319981$A8F768DD-8909-4037-889E-B0F06DFBF802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$DB3C12B3-7943-47E7-9618-187996D5587B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$60EED857-B692-4F91-958D-8C266BBB5DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$3A15F371-127D-4002-9D8F-3D7ADE4A6774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$06AA63A2-C750-4B70-AC7E-D6C166CC18C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7973c2a273204466ab8eda76a51bbcfce94dbb0","datavalue":{"value":"7096712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$3A84E9C6-F350-4A82-B9EA-596098F4D0B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319981$9BFEB1FA-AC6F-425D-BEFA-7526DEBD1EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3fe3f5ce79cef43b16740889fd3395c13c03fc1","datavalue":{"value":"univalence axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319981$8FD0BCA3-C907-4678-A2AB-3E01AEEFD1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc006ff6c858158529f0c8fea632be308d5c4ab","datavalue":{"value":"cubical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2319981$829ACFBF-8EEE-46A8-AE8B-C23BC3795814","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":"Q2319981$09BF31AE-43A8-43F4-8832-706D0B0FF766","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":"Q2319981$1A235A88-147C-494A-B666-384222E9DD33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7228fbfab81321e8112f79aaa7b176843995a4fc","datavalue":{"value":"W2963912390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$1A738E23-0954-4B16-982A-B59430BAC1E9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"be78ebafa1f5a85a2681f876ce51e8521b76674b","datavalue":{"value":"Q114017561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$A79E00F1-0754-4063-ACBC-84897D11DA02","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":"Q2319981$39489440-10CE-48C4-9450-AD292EE8D725","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":"Q2319981$8BDBF99E-10D3-4703-9360-F305870F9604","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":"Q2319981$039995EF-4C29-4F5C-A8B7-A2EB4577608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357562bc67ef501f6f56141e147b07e88424eafa","datavalue":{"value":{"entity-type":"item","numeric-id":5896982,"id":"Q5896982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319981$703CA78E-31F6-459F-9192-2E8C7CB94E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289ab5ea3338f7c7e8e70f9e0a2117be23a476f4","datavalue":{"value":{"entity-type":"item","numeric-id":2974664,"id":"Q2974664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319981$C122D25D-DF7B-4042-8EC8-41DB3E376561","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37afe25874b2002f9156c6c98d35b6d038921b5d","datavalue":{"value":"10.1007/S10817-018-9472-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2319981$9EE44649-C39C-497D-B5EE-7E94F32A0C81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"127ec34cd1ccc42a91d99d7cf839c5d1fb20b07e","datavalue":{"value":{"entity-type":"item","numeric-id":4260846,"id":"Q4260846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edaacda89d32501960431d619c93d77cb8bc5b8d","datavalue":{"value":{"amount":"+0.7818576693534851","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":"Q2319981$4219A1BE-1AAE-45E4-B6E2-6BBA848C9D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7944c607a94a77e21c497db0862b17b6aca171fb","datavalue":{"value":{"entity-type":"item","numeric-id":3970509,"id":"Q3970509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac98982d8225006f765f6aee262c4a3d7e1c48b","datavalue":{"value":{"amount":"+0.7586071491241455","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":"Q2319981$5F1F5558-BA38-48AA-B07A-1D0C55B66E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802e6c203243dfdf8f642e666eeba23cb8f95a9b","datavalue":{"value":{"entity-type":"item","numeric-id":1209296,"id":"Q1209296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0282c00cf65b32aeb8c2005b751c4ead4c068294","datavalue":{"value":{"amount":"+0.7549768686294556","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":"Q2319981$45D1450C-E7BA-4DDE-8ED5-878F4EF005AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1440893350db7d6f7fdc074de2c1a1f6035a80","datavalue":{"value":{"entity-type":"item","numeric-id":5324216,"id":"Q5324216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cefe811e8dd2427f6a8b9df05612ad548b1104b","datavalue":{"value":{"amount":"+0.75135737657547","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":"Q2319981$F9763881-8BCA-445A-A0BB-511991954558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9c326e2403416fc0541f235144a2d13758162f","datavalue":{"value":{"entity-type":"item","numeric-id":4239606,"id":"Q4239606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f27122c213ac07a5be83dd88cf25069a4ef2de6","datavalue":{"value":{"amount":"+0.74980628490448","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":"Q2319981$C021FA6B-9057-4B11-AA30-3C9B6A50FE55","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2319981$C0674885-F557-4AA4-BF7E-C240AE9669C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2319981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2319981"}}}}}