{"entities":{"Q5145691":{"pageid":7175262,"ns":120,"title":"Item:Q5145691","lastrevid":41115217,"modified":"2025-04-18T08:48:30Z","type":"item","id":"Q5145691","labels":{"en":{"language":"en","value":"A Constructive Model of Directed Univalence in Bicubical Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299522"}},"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":"Q5145691$351D5E48-A12B-4B28-9416-FF66BF7C77EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9344966e0228ed522f34e5074c8589b12c76326","datavalue":{"value":{"text":"A Constructive Model of Directed Univalence in Bicubical Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145691$30CD9A07-6C05-4898-983B-43E91854B945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0692fe226a186c0f3366374ba3bb984687c5a77f","datavalue":{"value":"1498.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145691$E50B564E-9CC5-4227-9AF8-F8CF770FA48F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eb64bf3e6894eafe51521acbc8417d1d09c4fd0","datavalue":{"value":"10.1145/3373718.3394794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145691$5EDC0B53-2AB2-4E26-943B-C0D8045E77A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"725927f854163d67af5ba91324d9113567756966","datavalue":{"value":{"entity-type":"item","numeric-id":5145690,"id":"Q5145690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145691$758BFF7D-A5C5-443D-8FDA-9752216845D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145691$9D6B884C-0A0F-4F64-9E2E-8CCAA7744F3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145691$7E7198DF-E889-4BC4-9E79-E60AD75436F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-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":"Q5145691$6212988C-5992-4E46-8DF7-A5D00DF16DAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145691$5F7A490F-282B-4EC6-9AD4-7A7915ED91A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145691$96D3D459-1EA2-47DD-B40F-9DEBDEBA3F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145691$C9CB40F6-7F77-4784-ADD4-1C771DDFA4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145691$BB7534AD-B131-4E79-A422-2275DE2EAEFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"981c4fffc7b672e78f35eaa7c3c0c0806afdd0fd","datavalue":{"value":"7299522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145691$6965FAEE-711F-47FF-BBFC-B40764DC008D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ceeabdc6b0a5e4a0308ce6d7c6adf7dfbefead","datavalue":{"value":"directed type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145691$A13BDC13-9FB4-4E19-AC13-428044A22055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff4414cb5eee9cce9c618ab1b26d653df7906820","datavalue":{"value":"directed univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145691$8EE8DAD4-66FB-48F9-BE7C-6E9F6D8A979F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145691$0273328C-D010-487D-A51C-2E93E7C3252F","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":"Q5145691$026F9BFC-C2D1-41F0-8E95-FC8B485C10FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d279a13c001d9f72b781f6829fbd3c4300c2fdf","datavalue":{"value":"https://doi.org/10.1145/3373718.3394794","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145691$21A47B9F-1394-46A0-BE9D-A57291754A40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fec7dae83a9a651623c0d2d18e4f91a2ae2eccc9","datavalue":{"value":"W3031494424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145691$188C95D2-F56F-476E-99EA-A701520275C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72af8d80e3297e09a8c3f557bfaa214a7ef431e","datavalue":{"value":{"entity-type":"item","numeric-id":2319981,"id":"Q2319981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892f6f0ff837f06fd94b54d892d1871f630d4820","datavalue":{"value":{"amount":"+0.8696277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$AF40C048-8DEC-46B1-B8A5-CCE29D2968B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de42dfdb54768b7f8e52327791140b9079c3d94","datavalue":{"value":{"entity-type":"item","numeric-id":6176777,"id":"Q6176777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a372a95bd63e27a18a986b318d4c62383ae2d0","datavalue":{"value":{"amount":"+0.84510016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$1C956FAB-30A2-4854-B55E-854EA7BE0765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bbe9d516ffe7f0cdcda4ec8276c87aa699651d","datavalue":{"value":{"entity-type":"item","numeric-id":912882,"id":"Q912882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429ca79fd6a0800eac9d38c79da2d9e779d2841f","datavalue":{"value":{"amount":"+0.84319127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$D24D353C-0164-45F5-8E24-08AF5ACEB69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7db184baa1e168100543dff01d6c6b8d9f713b","datavalue":{"value":{"entity-type":"item","numeric-id":3150821,"id":"Q3150821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c86a6a5d8d418b8690e8b2f892b02df04732b50","datavalue":{"value":{"amount":"+0.83063245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$1D027B62-1087-4B00-B290-6284EF625092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c485ebe1c0790fcd3dc85bc4f6b7a8a1e1307bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2035354,"id":"Q2035354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a7fa36f31ffce583af7895c76a3923db44d89d","datavalue":{"value":{"amount":"+0.8286643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$0E9C103E-2A1C-4CDB-A11B-B44C065945B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e4cfaac996a8ef6da41fe8f1656f352fb633c3","datavalue":{"value":{"entity-type":"item","numeric-id":507214,"id":"Q507214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9383d9bc37cdfff35e1547e11931af92a89a7226","datavalue":{"value":{"amount":"+0.82361186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$28143640-73B5-415A-9D80-5C3BE6C5B2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d373f2d9c69ff7c8cbbbdc9f53fa3fdfb7ae37a","datavalue":{"value":{"entity-type":"item","numeric-id":4366128,"id":"Q4366128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bef10231aebc449a01777e43b4e6d7b1e5e697","datavalue":{"value":{"amount":"+0.8230708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$5C0AE897-8EC4-42DD-BC55-5F866E51FDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd740f4465dd5e7891e0956be01300ae0a14f92","datavalue":{"value":{"entity-type":"item","numeric-id":2878786,"id":"Q2878786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3a6dccb7c16146a603ee6e3a6adf1c9949788c","datavalue":{"value":{"amount":"+0.82101214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$85AA073F-CBEF-4FE3-9EE1-E04D014A6589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37310dc9376333051d6cce50f8d9fb9912112ea5","datavalue":{"value":{"entity-type":"item","numeric-id":1076422,"id":"Q1076422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9dab953048f210d06fb438e5c1e1c0ef5d6507a","datavalue":{"value":{"amount":"+0.82047045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$030ED7EE-0C02-480C-B1C9-D51AA052460E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7958485b30656a25158341863d88212ed7432125","datavalue":{"value":{"entity-type":"item","numeric-id":4268931,"id":"Q4268931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26266b0e6a22b0a6a40f73d19e384a94df326057","datavalue":{"value":{"amount":"+0.82036185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145691$33491268-2BFD-485C-B958-EEDFE386A1BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145691"}}}}}