{"entities":{"Q5894256":{"pageid":7932837,"ns":120,"title":"Item:Q5894256","lastrevid":58612740,"modified":"2026-04-06T00:21:13Z","type":"item","id":"Q5894256","labels":{"en":{"language":"en","value":"Indexed induction and coinduction, fibrationally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945227"}},"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":"Q5894256$EDD97DF7-6544-45B7-9EA1-2154BD71B688","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4b656f5672f765a46458317b1a50a6a979b8268","datavalue":{"value":{"text":"Indexed Induction and Coinduction, Fibrationally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894256$4F156466-6B12-41C2-B86A-B42CF48B34D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b251786627b2f9f31c1136d752c806bba1aaf4bf","datavalue":{"value":"1344.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894256$4B70F39B-16E6-45E5-BB78-0EB252C2EF64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dfeb8d650227e44d4e6cff2d0252651267323dd","datavalue":{"value":"10.1007/978-3-642-22944-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894256$AD66A218-FD38-4ED2-9284-CEBDD8766627","rank":"normal"}],"P16":[{"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":"Q5894256$B77B155D-495C-44D3-9925-257510C8DAC5","rank":"normal"},{"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":"Q5894256$517B33C2-F5D6-4E48-ABC7-54F526C9E981","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":"Q5894256$EAEC4033-C494-43A8-88D5-5FD4D5280A07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894256$D9084629-E98D-4973-8A90-F8594F23FBA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894256$98B41B2F-202E-44E6-A79D-C12721AB4246","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95a963427d3d3eeb31c4540734d6529162a68c23","datavalue":{"value":"https://arxiv.org/abs/1307.3263","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894256$39DD3A15-8C1A-4D2D-8EB5-53FE3F9704C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894256$895CB554-C1FA-4277-87E3-4EB3DF1E88CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9505d1442d708d0c2b3321f54454dee708173b3d","datavalue":{"value":"5945227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894256$77ED7EAA-D672-496E-BFB9-74B7BA53D7CE","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":"Q5894256$4D82D6B9-5B4B-4D55-BAB3-57C3DECDACFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d50ec7d58c52b0418c51ca73787ebb91358236c9","datavalue":{"value":"W2165929896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894256$ED61C326-EDE9-40BF-9F71-426519D924B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f972385af25e3e851d1004cf8235f4f37e9af31","datavalue":{"value":{"entity-type":"item","numeric-id":5891134,"id":"Q5891134"},"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":"Q5894256$05710A15-A627-4609-98BE-509CE9792DC4","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":"5fe6eae1b9cf3336504c761ddc6338bf9fd120ba","datavalue":{"value":{"amount":"+0.8257290720939636","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":"Q5894256$9CE9ED85-F951-4ABE-B379-52FADCF1BA79","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":"07e581cc52097d5c6a60cc3d5e8ecdac138b80ca","datavalue":{"value":{"amount":"+0.8129273056983948","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":"Q5894256$F9D27E1A-8742-4B5F-9701-0BBF493C6B6A","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":"d78912c4f7a29d3f67a2c11b314189327a09b371","datavalue":{"value":{"amount":"+0.8103699088096619","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":"Q5894256$C2AE08A8-87BE-4D81-B7EB-26921A6230CA","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":"d8a0efa63d8bc85bd32bcae0324c532087d87164","datavalue":{"value":{"amount":"+0.8080382347106934","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":"Q5894256$272BD157-1B0D-42E3-8301-2B1DD89B36D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894256"}}}}}