{"entities":{"Q5089034":{"pageid":7118610,"ns":120,"title":"Item:Q5089034","lastrevid":55415377,"modified":"2026-02-17T15:57:18Z","type":"item","id":"Q5089034","labels":{"en":{"language":"en","value":"Cubical syntax for reflection-free extensional equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559297"}},"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":"Q5089034$8D6CD519-2632-4293-8685-031743D2B99B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612a55672006eb32b94e9a3be5b3448080647058","datavalue":{"value":{"entity-type":"item","numeric-id":5016214,"id":"Q5016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$1FFEF1AB-E297-44A3-BF68-75BC03F4998E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$387D428E-3B79-4812-9D0F-E39D96527AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3791877866e06c575a0d5afd18962bd487776b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1688953,"id":"Q1688953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$82F1F0EC-3D8F-4CAB-842B-98957B959E4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089034$7C8EC678-DC45-4980-80E0-69A8008A9BDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"796dd9207be7d41e140b8112d1d8d57370762b83","datavalue":{"value":"https://arxiv.org/abs/1904.08562","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089034$DF7F289D-EA13-4BA9-982A-05506A1235D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089034$5BD24600-C848-4543-9E81-48CD329C1499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089034$0B801A9E-6160-454E-B12D-EDB95CEE515B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74e265da003b101a972e4e87676dff273b0555f7","datavalue":{"value":"7559297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089034$78B08B57-3FCC-4687-A83C-DC301DD0B865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089034$C9636636-98CB-4622-8F9D-AA52FA0C74E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155740c5a14a65c1457131ce490db1e40a5acbca","datavalue":{"value":"extensional equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089034$E1309431-9BDC-4CAE-835E-1479ECE5E0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089034$B66C0754-D449-48D1-A68A-E0327686BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee6f9dfa2dc3b38a9c8cb00fec70f239107e180f","datavalue":{"value":"categorical gluing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089034$EEFB764D-987D-47DC-8A23-02D0D179F64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089034$175B24AB-AB67-46F4-8E7C-E280F2552543","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":"Q5089034$6C48FA72-6AA2-4296-8F32-2076BEEE3D00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d336268e40135c3453860ef42d03950683322d","datavalue":{"value":{"entity-type":"item","numeric-id":5458424,"id":"Q5458424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$7717B602-AEE1-4472-BE9B-56902956EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$30A89C16-68C3-41C1-8FA8-B3A165126997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3196c52ecefe6bbfc4fe1f8084810a6dceb61cc","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$C3C702BE-BAE4-4CDB-99D9-717CFB4E1973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$4D826C33-1F64-43B4-8B1E-98592A84E16A","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":"Q5089034$A53A82FC-F33B-4127-BD13-C461E788EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$2CFD7F18-AAD1-4680-B8C8-9B4E5F5039BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$08A6582A-BF62-4F7E-822F-7DEE0654C432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c5b82bf43ba82d0f895b3819d3e9998df3b835","datavalue":{"value":{"entity-type":"item","numeric-id":3329520,"id":"Q3329520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$FEC7B179-BDBE-4194-9A96-8CF1CB4C2D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$78384C54-1C98-42C6-943F-DD7948009825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e508be069d81029970c36f442f6dabf87294a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596801,"id":"Q4596801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$F9116336-9493-45B4-9EE9-880FAD0FC2CE","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":"Q5089034$77F63E71-23CD-4B3B-9F47-566A05FA7210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$7640EC57-296A-4772-96A5-DFB142187417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883e8a301f9d9a1270f265bcc8f905803e1f963","datavalue":{"value":{"entity-type":"item","numeric-id":5300900,"id":"Q5300900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$4B792407-D320-4A00-850B-FAD83102FC90","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":"Q5089034$446FE367-3D38-45B8-9BF9-66703304003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27fd93c1b5d93bcea3172146c72a26a046a3b1e","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$0DDF700B-4DDC-42F7-B7EB-7BB40DB7ADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a86a2916d0db0c2fd5d3c89f43e0f228fe085b","datavalue":{"value":{"entity-type":"item","numeric-id":4281477,"id":"Q4281477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$60BC1BCF-69C6-4514-8E2D-B4580EE4617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$6E181E15-A8A7-4EE0-BD6D-BFD22FE78A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$E499BDA0-BF72-4CD2-B581-03149AA5DBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$01CFC427-B40F-4414-852B-521C6FFC2076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$E3E7128E-03CF-46CD-B295-E33567DA16EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$A28811B3-AADF-4D2D-89E1-D1D6E877BE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$9158E263-F323-46F0-BF02-DB73B3A2DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$0C1EEB90-167A-439C-839D-BCF3A7002F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089034$14D62661-6958-46ED-A24B-5721960123DA","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":"Q5089034$76190730-FC5C-4408-992A-5740C0C6A204","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74b068f10f489d2a6311683b30de414be6cfe9d1","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089034$E7AE08F8-1A17-4378-8C39-CED106C07C20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd14b77b7d334fde8c101427f4c4d499229575f","datavalue":{"value":{"entity-type":"item","numeric-id":5094128,"id":"Q5094128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5256b8c6645d1330dd5464eb73ecdc55382bcdb7","datavalue":{"value":{"amount":"+0.8297790288925171","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":"Q5089034$6D80DCA0-BC9F-4EB0-9C4F-E67827C8CB30","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":"65d423828a05eae9259d36026e55a8d895fe4c39","datavalue":{"value":{"amount":"+0.7935371994972229","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":"Q5089034$4FBC4F55-9BDD-43EC-866A-62BF8EED0EA1","rank":"normal"},{"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":"11c6376d19d3c7eab2e7b19a757e19b2a2d8dbe8","datavalue":{"value":{"amount":"+0.7821764945983887","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":"Q5089034$BF397907-6BA3-47BA-8204-F706EA417297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7a33b967f081e59b026cdba18dadb0f9312c05","datavalue":{"value":{"entity-type":"item","numeric-id":2319985,"id":"Q2319985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be1eeab72afba79c5363e7cbd1882a6c9ef4650","datavalue":{"value":{"amount":"+0.7619181871414185","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":"Q5089034$81679BA2-260B-4D7A-AC1E-4ED2A6055061","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089034"}}}}}