{"entities":{"Q5145682":{"pageid":7175253,"ns":120,"title":"Item:Q5145682","lastrevid":58455879,"modified":"2026-04-05T07:26:08Z","type":"item","id":"Q5145682","labels":{"en":{"language":"en","value":"Partial univalence in \\(n\\)-truncated type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299514"}},"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":"Q5145682$2F884C5F-9C2B-4802-B2D2-979774285F9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2917a2d34516f0c4f401d66beff6231cdb036c4b","datavalue":{"value":{"text":"Partial Univalence in n-truncated Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145682$A078397E-BB6F-45D9-A751-50CB28D83C5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15dfdac1f849357f90e99d035bd38765daf76220","datavalue":{"value":"1498.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145682$819ECC36-27EE-4A28-A6CB-6617D9826B30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"895166bb1566716acbbf107cca185a34c2bc6684","datavalue":{"value":"10.1145/3373718.3394759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145682$3D9FD24E-2B93-4E00-A544-F8071E5406FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9199f6b62b1c2d447cb8fb326815f8911fcd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2319984,"id":"Q2319984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145682$D45488C3-A79A-46EB-9063-FA04E5C7B266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7fdb135258dcfe93ae25455681fbed1804f031","datavalue":{"value":{"entity-type":"item","numeric-id":2013547,"id":"Q2013547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145682$1D36E8A0-C1D1-4D67-9312-21CD4C670064","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":"Q5145682$21F58440-36BD-4905-BD90-4FC4BFA50335","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":"Q5145682$5A038F37-5B10-47DE-8D35-D74AF3C84AA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22734d4fabde31e55c0df574cbd2e0cc2c736e90","datavalue":{"value":"https://arxiv.org/abs/2005.00260","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145682$C6CAC281-4409-4B27-9512-72A54FF95FAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145682$FBE93CF2-2C36-4986-88E6-21FBFF4FBDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145682$86B5DE50-071A-44D4-BE65-271F325AA42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145682$D35455FA-0602-422E-96FE-216F5E5BDE1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e5f3baaab92b4344c69d85c7ddf77e0980b35e0","datavalue":{"value":"7299514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145682$5296CC6C-2C0D-4857-BE12-764534588522","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145682$35B4FF1D-F98A-4111-8892-D50342EB0AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145682$3BA2362E-3841-487C-B805-4E35E82F6AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145682$0E5E7BB3-3787-4F71-9ACC-C18F163F609B","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":"Q5145682$078A5EC0-632A-452E-825E-C554D38FD2BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27ed4bda6a8bbf1de7614c805e698c319caea658","datavalue":{"value":"W3031831525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145682$2B35D412-0E2B-409D-BDB1-DAF2B63D3992","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58a42b478ce3b79ea5fc5be5cf0b55cb50e8490","datavalue":{"value":{"entity-type":"item","numeric-id":2957700,"id":"Q2957700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53fb8b5584310eed4c3c13084efd9383fa79a2b","datavalue":{"value":{"amount":"+0.7792154550552368","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":"Q5145682$7D01CAC0-C5BB-438E-8D82-41303C54BEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5176827a140ab785d8d708fd59cf12da7d32c145","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8cb8b15f696456ae6b363c981511c137222f5e4","datavalue":{"value":{"amount":"+0.7564236521720886","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":"Q5145682$184E9FA9-645C-4D65-8D73-CFADBC90D651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a36959a88b060b2451032d7ee05e2738ef77dbd","datavalue":{"value":{"amount":"+0.746303141117096","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":"Q5145682$94D1C047-9FC3-4588-8D91-4CB1265D20C8","rank":"normal"},{"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":"82d431c8bfb2513098862544cf51ed47b08e2451","datavalue":{"value":{"amount":"+0.7455071210861206","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":"Q5145682$370DC400-A887-4B36-8524-DD45E7CD6202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c33c176c1af02c7c955a44f3b4740fff785fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f3490f021e3763ad7e4765022b0d3b8253b1a4","datavalue":{"value":{"amount":"+0.743121862411499","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":"Q5145682$4FFC9951-A25C-421B-9B88-D001D0BC1A1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145682"}}}}}