{"entities":{"Q5879270":{"pageid":7908821,"ns":120,"title":"Item:Q5879270","lastrevid":93320627,"modified":"2026-06-05T04:12:27Z","type":"item","id":"Q5879270","labels":{"en":{"language":"en","value":"A rewriting coherence theorem with applications in homotopy type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7657637"}},"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":"Q5879270$95D3D3A2-B2ED-4BEB-9A50-DF3072FDB039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c609a4436f69fbcfa76f975750a0b6579ce8111","datavalue":{"value":{"text":"A rewriting coherence theorem with applications in homotopy type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5879270$818E25CB-6D49-4D5C-A4BB-97BC703505DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"456cd98d9507b13c09e1334a47b4d6e1e68d3fca","datavalue":{"value":"10.1017/S0960129523000026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879270$FFC19FCA-9109-4DAC-82ED-9F29038BC3D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$2A9C914C-EBA0-4200-ABF7-C82AF71180AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed91f18c49a16f542aacf01077ba8073712fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1687768,"id":"Q1687768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$7E9A419F-1B7F-469D-B624-A8857523066E","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":"Q5879270$CEB6B81F-91E3-4067-995C-D223E6590C3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f174891c4bb64e0ae9ce793b71bcd4abd9034b6e","datavalue":{"value":{"time":"+2023-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5879270$986D22B7-0086-48A0-96D0-052C5485618E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c408b7fb77d5db9519f9d9f2648f2f91e36cd2e","datavalue":{"value":"https://arxiv.org/abs/2107.01594","type":"string"},"datatype":"url"},"type":"statement","id":"Q5879270$C6A386D8-9D8B-4802-8150-FF9BCDCD876E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879270$939C7BEB-1D37-4833-96E0-65AC1B03109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879270$48BA992C-7E23-4D2B-84F6-AF6F7B1A9493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879270$DB7A7C44-4F8D-4AD7-8632-D8C8799D62A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"145331221efd093996e397c3544526221250057d","datavalue":{"value":"7657637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879270$77C90B7B-9000-4906-9B8C-7C97D3FAC88A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$DABA904F-4285-4B07-BCD9-A66CCE8D678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c7a67b020e5814c994a88f71e5885ee8a23b68","datavalue":{"value":"higher-dimensional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$380B30CC-02D3-40B6-97FE-EFDB716801B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$B3B4C688-C95C-4314-B3B6-5DE9DA32FE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb176cad1cc941386d45ad1ee146ba5329e26b8","datavalue":{"value":"coherence of structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$6C89A6EB-81C4-4352-BCD5-BC2CED31E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3964eb33c839f188c1f736a9b8e990e2a796b81a","datavalue":{"value":"wellfounded relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$A0E22E1B-10E3-4019-B63F-8537F7449772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$68AF8A12-DDFD-4BEA-9AA2-9762CAEDE43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd87f71e0e2882ae6861aad0074b0f9cfe1053e7","datavalue":{"value":"Squier theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$DE708984-018E-4EFA-B0FB-D18DCA23D418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b94a52dd79d72651d2920baa5ca807a73125bd","datavalue":{"value":"abstract rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$C4FCBE5F-C86F-4F6F-A7B6-043F83B2E833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c34cfe223316591f56cdf41b66e4b6aa918f66","datavalue":{"value":"polygraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879270$D50CAEC9-89E9-42D4-A2C6-C03EDD922E85","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":"Q5879270$51B43AA7-E02B-4200-909B-7FDB6C8DE3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$16A79234-7845-467D-914C-D3D9D8E0E73C","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":"Q5879270$24E03201-1ADC-4AAA-9D05-325DC290CDBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbad67c372b78d4e89fdcc7d1bf3491d1269881","datavalue":{"value":{"entity-type":"item","numeric-id":5278407,"id":"Q5278407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$B0294ADE-EF09-40AB-9F85-2B7E88C4D2CD","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":"Q5879270$B77E10F4-0284-4504-A193-0A45BB16764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$1D2A2058-584F-47A1-9A90-324DF542448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cef53c7037b1a86f6623b7127f9ba782e8f7644","datavalue":{"value":{"entity-type":"item","numeric-id":685405,"id":"Q685405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$FCF01182-F566-47AC-BDF6-7596AFBB3B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c68b2ac3a3d774b32e059e4518566d2ed42ee","datavalue":{"value":{"entity-type":"item","numeric-id":5351968,"id":"Q5351968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$A4BE3947-C762-4FFA-A7F2-623319742D1F","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":"Q5879270$A5CAC6B0-0488-4184-AC5F-715C92B13FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27f4896b2b37d7836caabde9e0c30bf3087be77","datavalue":{"value":{"entity-type":"item","numeric-id":4190106,"id":"Q4190106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$210A0F86-CBAB-403D-A5C7-10049F11E4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ea8a7d4ef565aa71df13cf7779dd8a77ba9ca","datavalue":{"value":{"entity-type":"item","numeric-id":4993341,"id":"Q4993341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$2B4564D4-557C-46FE-89F7-3985FF68523C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49223b1037075a2e154e1c6ecd68b35eb6569901","datavalue":{"value":{"entity-type":"item","numeric-id":2550737,"id":"Q2550737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$061D6201-6A86-4298-82B0-5F5F439409FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02a607e1ede23f8650cbf16a65e437b9ab59693","datavalue":{"value":{"entity-type":"item","numeric-id":5259734,"id":"Q5259734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$DAFBF0ED-9A11-4992-B635-F43BD904AA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c251ff64968624bbf95e3233239cb0900c318a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4649461,"id":"Q4649461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$08370B2E-C86A-45DE-BEF3-E7D9B315C742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2095e83a652b8b3099dbfa37f46838b1274a951","datavalue":{"value":{"entity-type":"item","numeric-id":2958386,"id":"Q2958386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$91ACFBCE-3FED-4C70-A49D-E12ABC7488CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ca978f86c65b496f5f825aaf964e9aaaa46200","datavalue":{"value":{"entity-type":"item","numeric-id":1678467,"id":"Q1678467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$84CE655C-4F16-4264-AA3A-F87B9DE6858A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659a0d1293f33f87f46524bf7e72b6e08b9389eb","datavalue":{"value":{"entity-type":"item","numeric-id":5740652,"id":"Q5740652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$1F8F0B2D-92EC-452F-A203-4DC635ABD81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5c7d5ef5c850ae0c8c6c7e82814cd77a617bd7","datavalue":{"value":{"entity-type":"item","numeric-id":5278408,"id":"Q5278408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$8D56B7F7-F376-4699-BBB9-6B2602D2B548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$ED296ADF-CB5C-4947-8556-F2844AD97838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f5926f885fc4f0aa33fee601a61278b518ca99","datavalue":{"value":{"entity-type":"item","numeric-id":5277974,"id":"Q5277974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$42A4220A-3FB6-4C5F-83FD-475CEF3D82C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd781ba0d7a796a2124cea157c1f792cbe4db37","datavalue":{"value":{"entity-type":"item","numeric-id":5145336,"id":"Q5145336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$B3FB6264-3F3F-4281-B411-519DDF017ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e635272d5ae7b61a390a2b2ba57e1d5bc493816f","datavalue":{"value":{"entity-type":"item","numeric-id":5145671,"id":"Q5145671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$F2319C7D-91E7-4237-91D7-361E3A999127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2773479012cc272f13c09b49bba269aa6bb02405","datavalue":{"value":{"entity-type":"item","numeric-id":3637194,"id":"Q3637194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$36D6E239-61AD-4EE9-A893-9F03B7248B6F","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":"Q5879270$1288E4A8-7EC7-4A85-8F3E-2A95AC62B6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda2f391ab725c016d8f7c41cd183a88c866e741","datavalue":{"value":{"entity-type":"item","numeric-id":5417740,"id":"Q5417740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$04163A4F-1935-4F20-B740-D4B5216BCAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$3B342896-A431-44A9-92E3-4EE36D64C340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7fb8dd267bfb595978db6cc0a348c3bd3eaf6b","datavalue":{"value":{"entity-type":"item","numeric-id":3026992,"id":"Q3026992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$F5854425-630C-40C4-B69B-DE3AB4DFE9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176b878b32dd9698208225bb09fc4b5ae95cc597","datavalue":{"value":{"entity-type":"item","numeric-id":1105040,"id":"Q1105040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$A4447819-8B54-43C6-A57C-2F2CA54AF827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c260958271d6aee451dc905aef247eb6564cbfa2","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$A11C480A-733B-4620-A7D8-A44F4A0CE062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ebb2a83f19a3a0b83f725cda3ca2e99678c846","datavalue":{"value":{"entity-type":"item","numeric-id":1112955,"id":"Q1112955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$32CA1875-7EB8-4DC4-A268-846DE63B301F","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":"Q5879270$965DDD8B-7783-4767-BAA0-732C25471DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$4728C7D4-DAFC-4F62-8337-6869AF4F5A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba28b68fd268a3fda8a1750f4b6808bf5f1090","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879270$E829F998-30A1-4A61-B0FF-1F9D466902D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116a4090d8a9cd20d0be1d5d20c4edaa9b1c886a","datavalue":{"value":{"entity-type":"item","numeric-id":5145671,"id":"Q5145671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f0d424bfb4897afa92f1a5659a6f2925b357b6","datavalue":{"value":{"amount":"+0.7153856754302979","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":"Q5879270$2630AA2E-E474-449F-BB96-33358B902BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041b6e2dc3f285b023550866f63befc4f1f267cb","datavalue":{"value":{"entity-type":"item","numeric-id":5371976,"id":"Q5371976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ecc44ce2b10729deb57ba9e7f5c8b95cc68b9d","datavalue":{"value":{"amount":"+0.6994990110397339","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":"Q5879270$331F0CE9-C719-42F2-97F2-C624A8741AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f73ee1bb8e26f0c782426232b0d23ce78bc9f9","datavalue":{"value":{"entity-type":"item","numeric-id":2819684,"id":"Q2819684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917a63d8c1b20fb1a440ced1317fd597c8b64185","datavalue":{"value":{"amount":"+0.6983572244644165","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":"Q5879270$9B759CA1-600F-4D4A-8596-93F33632C49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f596c48c099393d7cf5419c6bfb8baaa302376cd","datavalue":{"value":{"entity-type":"item","numeric-id":2695348,"id":"Q2695348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f702a49d9dbaf157d90d537670f09c0125b1a9bb","datavalue":{"value":{"amount":"+0.6953650116920471","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":"Q5879270$F663F307-A74B-4359-A552-72E99FB5AE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94c3d615144c9d2aecd32a1e49f21b329eede06","datavalue":{"value":{"entity-type":"item","numeric-id":4649461,"id":"Q4649461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56630ed03dfa8c189027f7c3108a331839983542","datavalue":{"value":{"amount":"+0.6946580410003662","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":"Q5879270$48E5B52C-CA5B-453F-8CB8-3BADBA06723D","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":"Q5879270$07AD76C8-2703-45E9-8036-BBB2F803C193","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rewriting coherence theorem with applications in homotopy type theory","badges":[]}}}}}