{"entities":{"Q5216301":{"pageid":7245871,"ns":120,"title":"Item:Q5216301","lastrevid":94477757,"modified":"2026-06-05T06:55:14Z","type":"item","id":"Q5216301","labels":{"en":{"language":"en","value":"Signatures and induction principles for higher inductive-inductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168146"}},"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":"Q5216301$08BA8EC0-68B5-42AA-8F88-58801B89EB71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7cbc48b481a6b830ab14eacad20738b43bab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2176676,"id":"Q2176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$059ABF18-301C-46E6-98DC-DDC9DEC26237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ce0e0cdedd491f2be40b586710d257b049396c","datavalue":{"value":{"entity-type":"item","numeric-id":421064,"id":"Q421064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$6A8B2023-5E8A-427F-9014-E8511A0A6888","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c9d6c0100675744974eb3bd7cd696e575460ae","datavalue":{"value":{"time":"+2020-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216301$070BE05F-4AEF-4EA5-8ACF-A544FD1487DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e50adbd6513d4ac54d7578fb576894b5a789718","datavalue":{"value":"https://arxiv.org/abs/1902.00297","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216301$BA4D05FD-D103-4288-B91B-6E3C7187E4D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216301$B84C4E2C-C752-4072-A4D7-6ADD2A12D9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216301$1CC0C9FF-1B37-422E-9EFD-B2810B9C53C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fbe209ce54acceeacec8ff4c6f6f878dbbc3088","datavalue":{"value":"7168146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216301$F2A1F575-28BB-4E1E-9480-CD6390E93AA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216301$93D7C517-4AD5-4308-B4A8-1C34F738A317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216301$4BCE2D4A-652B-4262-B85A-BF6E6806638A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216301$05D2A805-921B-4A0E-A63D-529D7F9D8B4F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$A757F683-A7E5-44D3-87E5-254A92CF36BE","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":"Q5216301$F5CC3992-1D54-4A8B-95FE-32E982C86F25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$38FFE8E4-15C1-4192-9C41-D73752F3BE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bcf33a5f992d181e7e78bbd8db6166cca7b5d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$E4C7F243-F280-46EA-A267-0C752C3B73A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10e46b1e0cfb4bb12a7ff92b5fe74e9b2afacba","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$6E5FA28C-275D-4C0F-B017-A7F749D0E64F","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":"Q5216301$DFF5D89E-7F13-4756-AEDB-D16F3BEBB814","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":"Q5216301$DC0CA0C5-8FF4-4B52-9E82-01AB6A6E72E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$94B6BD78-1068-43E6-84A5-F18FDD2C4847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8b75f0e49d9cef046d4a84d906b1de8953a19f","datavalue":{"value":{"entity-type":"item","numeric-id":4635888,"id":"Q4635888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$8EF52689-04FD-49E5-B390-9ECF0283A781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e154aa9118f1cfec335fe4b3f0ee878903e59e9e","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$EE322A18-A10D-4B17-8081-9B877085BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fab8824d82d4ca6fefb7d000ea15dc3e260bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$DF815325-909B-46BA-B531-8F025F58F58B","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":"Q5216301$4E640F5D-A029-4C65-AA7A-C4A1AD5629CB","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":"Q5216301$703E1BB5-7693-44D9-8459-B641BC2853A1","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":"Q5216301$F2DB7E5F-8874-4937-9F3D-EBEBC036F797","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":"Q5216301$E701F9A6-D91C-46B8-92D6-491D36839014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$BCA20140-77BB-492F-BB38-CD53B171425E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$2A578238-51A9-400A-B977-4857BB1CCFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670b0cf2adae33c7590dfeacbd93de769c0fc86c","datavalue":{"value":{"entity-type":"item","numeric-id":2130587,"id":"Q2130587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$83073DC7-9BA8-4768-B513-6D4D5F447453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$3359BBD2-E46F-42FC-8361-70935A7A2E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49862011e061c40f77cd7e82e87d964c5d5edab7","datavalue":{"value":{"entity-type":"item","numeric-id":3395310,"id":"Q3395310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$8D7B8F99-2DBA-482F-966A-A8CD36B63909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$9D14CD3D-2359-4D02-B682-48532CD4F3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0960af88a219be75a74665ab7538b65eed52d581","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$74CF7FF6-459E-4C3D-BACC-99B37A9880B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227ed32b547e0189aa789e582cf93de4da5af35a","datavalue":{"value":{"entity-type":"item","numeric-id":5371043,"id":"Q5371043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$ACEAD0ED-0463-4066-A860-D4D4E75E130F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8458337cd3a4cd3d74d2907223943a8275b818","datavalue":{"value":{"entity-type":"item","numeric-id":4993350,"id":"Q4993350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$4D506A38-BBF1-41F7-9387-36F543F064BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129baccb9ec914278b9a5678f35aa75814ad23bb","datavalue":{"value":{"entity-type":"item","numeric-id":4635920,"id":"Q4635920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$6853414F-6A3E-415B-BE8D-3DB8813C50BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062480f97a81d260cf760081be6431a87b424b78","datavalue":{"value":{"entity-type":"item","numeric-id":283766,"id":"Q283766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$EBE4F08D-AC04-431D-95DA-ED3770E3407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ebfdec21f1f4eef9e25ed177c9a08b306f38bd","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$7D025B68-CBAC-4A53-B791-84B8F19C41BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$6440CFCF-D7A2-412C-947C-3034E5C47336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615fa71f9ac381c1b1417bf5e79adb133d890653","datavalue":{"value":{"entity-type":"item","numeric-id":2848936,"id":"Q2848936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$20107F28-736E-4299-AFA1-6FDF391FAF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$7C978056-8FE1-4D3B-A06A-B831492F5E84","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":"Q5216301$AC6FFB1C-7B31-4448-987B-5E7E96BC406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff01d0710054224f955bac4bb082ed40f5e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3121017,"id":"Q3121017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$7F6E121A-2051-49A7-B35E-FE62B9717315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784f038b41cf6a95136e868957e992da42f29715","datavalue":{"value":{"entity-type":"item","numeric-id":2819787,"id":"Q2819787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$DAA7E100-D8E2-4B78-9478-A3CDA224C097","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":"Q5216301$116B9CA7-0969-4999-9EBD-4903B84A4A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe36745702f6f36f5525e8f9b3fb5d99fc53c497","datavalue":{"value":{"entity-type":"item","numeric-id":5145692,"id":"Q5145692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216301$9815A74F-3623-49BB-B077-6C53241C500F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5045d469091b2aad0fb30f11c21619d52a0114","datavalue":{"value":{"entity-type":"item","numeric-id":4993350,"id":"Q4993350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec65cdadfdfcc760c65acb51ab667f153a7d6717","datavalue":{"value":{"amount":"+0.922130823135376","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":"Q5216301$50BDD187-8FCD-4C8A-B068-468E1135F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac67a273a6ae0afefb612f1d3784f5bcff8aa55","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a5ad5faf9d75740b1f44cfe35a0f72f526fcae","datavalue":{"value":{"amount":"+0.8160393238067627","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":"Q5216301$957109A9-5385-4BD4-ACB1-A946C06F9FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7481824813bc88cada60c52a3086eccbcdeacdae","datavalue":{"value":{"entity-type":"item","numeric-id":6079233,"id":"Q6079233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749af235d973fd6bdc5f91c0b78091eb1743b82b","datavalue":{"value":{"amount":"+0.7937633395195007","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":"Q5216301$5A6E3956-68FC-4B62-B864-307B56ED460B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db510cb49ecd6ec2e89879a9048c53e8778259a","datavalue":{"value":{"entity-type":"item","numeric-id":5145670,"id":"Q5145670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55d53d8a6b054c870c913dd2d88223bfc446f86","datavalue":{"value":{"amount":"+0.7598651647567749","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":"Q5216301$A854246E-F29E-49AF-83DE-3C285239CAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f41360694a342b01d91d781884215d1a8bc1092","datavalue":{"value":{"entity-type":"item","numeric-id":2289082,"id":"Q2289082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96822db0472d6329d573d18d5cbf962538fc7ab7","datavalue":{"value":{"amount":"+0.7518934607505798","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":"Q5216301$66845A49-6CBF-4FDC-A3BF-ED8E92548F06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Signatures and induction principles for higher inductive-inductive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Signatures_and_induction_principles_for_higher_inductive-inductive_types"}}}}}