{"entities":{"Q5891134":{"pageid":7926929,"ns":120,"title":"Item:Q5891134","lastrevid":51819194,"modified":"2026-01-20T05:11:34Z","type":"item","id":"Q5891134","labels":{"en":{"language":"en","value":"Indexed induction and coinduction, fibrationally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6206243"}},"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":"Q5891134$8E2EEF5A-7A8E-41F2-80CD-B1E97EF4E653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c14a9aeffc9bdff38699352d18766689e0c9fa1","datavalue":{"value":"1285.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891134$3508A83D-F8B1-4EC7-A4B6-486214CDD765","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4131d28f4db8e1237c37d08efbddd939e271f800","datavalue":{"value":"10.2168/LMCS-9(3:6)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891134$FA4BB8C2-D88C-4367-A377-4B2A714F939F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891134$03FB341E-796F-4DD4-9F66-1E074050492B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891134$E30CAE4E-4875-49CF-A1F6-E11492998EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c6924ad0a88ab7e054b45d5b003a84c37d69f2","datavalue":{"value":{"entity-type":"item","numeric-id":1630032,"id":"Q1630032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891134$91C580F5-939C-4294-94D1-DC69DA49A823","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891134$E3F82E38-D177-467A-8A76-D5D9390465BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d35d411e4bf86722d143db6d6ffe35bf7949be","datavalue":{"value":{"time":"+2013-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891134$D63E0B71-1669-4A53-89BB-389835451BFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891134$5D25258C-DD55-4AD5-8AAB-71E11DA9B955","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b57c6c494aa444eda36e0a90ce9a3b4503040ec","datavalue":{"value":"6206243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891134$B194F925-4B66-4799-95C5-18492A75421A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891134$D10E3DEF-24E4-4735-809C-85BC5ED54F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891134$DE326236-BC82-4578-9708-A1179B2669BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891134$F79F067F-3092-47EA-8906-179D4F776440","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":"Q5891134$E0050621-E4F1-4841-B3EA-FDB385B283EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bc5d071b8d5177f43ca8490f35a3638c31460d5","datavalue":{"value":"https://doi.org/10.2168/lmcs-9(3:6)2013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891134$BEB30B29-E248-44BC-9DE1-5C7E576CF948","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b854ed28967c9632612a216dfae5ae8a2ee4d4e6","datavalue":{"value":"W2619863015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891134$B0276C71-D22A-468B-9D5A-DAD78A8F5CD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dab7130d2477d03c7646ca2393db194a4f631315","datavalue":{"value":{"text":"Indexed induction and coinduction, fibrationally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891134$4C8855EB-D683-44C9-9226-DAB07FB8BC4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c585606a3cd43bc50be28c7d35db49b232102ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5894256,"id":"Q5894256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf6b62e6f734e74afc7d1b8e8a5e28cebdec7c3","datavalue":{"value":{"amount":"+0.9908758401870728","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":"Q5891134$F68E91F8-E925-464C-A010-EB75FC2E7166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d517c08e26e118f75fba9c29a3b7dfe2171e8e7","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b20d1f0c8b97817e8781db41e6d1822e0fc31c","datavalue":{"value":{"amount":"+0.8163189888000488","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":"Q5891134$DE6D2387-82AC-485E-B3BD-2BC48754D741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6152a5257642e9b57f19c9557440b78b1ad95b1","datavalue":{"value":{"entity-type":"item","numeric-id":2895473,"id":"Q2895473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee6df3092778a24e7e3c953e33d0116ef46314d","datavalue":{"value":{"amount":"+0.8050436973571777","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":"Q5891134$AA3B06E6-2316-4C1D-A147-42746F39E0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597237f1158986e01eb159ead08ab5e98adca3b6","datavalue":{"value":{"entity-type":"item","numeric-id":3586050,"id":"Q3586050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d92ff6853ddb814d8b53dc2c863fbc81d6dba2","datavalue":{"value":{"amount":"+0.803793728351593","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":"Q5891134$210C4587-9E6E-4A03-A6C8-1A22D53DB33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435b6fb182e54f10c1553925c1f8c8b9d230e522","datavalue":{"value":{"entity-type":"item","numeric-id":5271061,"id":"Q5271061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99030bbd4ca370f800157eb6dc5ca90ad5b17761","datavalue":{"value":{"amount":"+0.7984261512756348","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":"Q5891134$0C890C21-8CA3-49DA-BCAC-05656AF104BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891134","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891134"}}}}}