{"entities":{"Q3586050":{"pageid":5615954,"ns":120,"title":"Item:Q3586050","lastrevid":90339458,"modified":"2026-06-04T19:55:21Z","type":"item","id":"Q3586050","labels":{"en":{"language":"en","value":"Fibrational induction rules for initial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779256"}},"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":"Q3586050$B9583877-97D0-4602-928F-6919BF695A90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb1f974bc527541bfb9f5165752b361955130ab0","datavalue":{"value":{"text":"Fibrational Induction Rules for Initial Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586050$E7B94087-8044-41CE-BDF4-49C8563344D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31afc6f0ff13195a7f3628090e3f435621c6bc37","datavalue":{"value":"1287.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586050$B3DD93F5-F677-43D1-8A1F-26FF0D8750DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a88070b59b50afa28a8e6a3cfc7b35262d43ef7a","datavalue":{"value":"10.1007/978-3-642-15205-4_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586050$70CE9549-8700-4B16-90C0-FB4507C84048","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":"Q3586050$D0138FE9-FAF1-44B4-BC64-D114E2DA45A9","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":"Q3586050$16171277-B2F6-423B-98DB-4B894E088FBD","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":"Q3586050$74106828-ED76-4448-8363-3B68763ACC72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586050$C4E7AF8C-D7D2-4710-B0C2-C45D3202FFE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586050$53E1B0E4-3873-4773-A226-82C719DE2D82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586050$ACC1F2B1-7DBD-48DC-A93D-33668248E711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586050$71186E18-7E58-427C-A215-93F60423D119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586050$789DB79D-802E-42E2-A18A-F1ADF550A152","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddff038ccf25d79521b74bc2cf0966fdad4ee5b2","datavalue":{"value":"5779256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586050$874E01B9-8259-455B-BC47-8C9767A9B5AE","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":"Q3586050$3F7E5CA9-53A6-47BB-BFDE-A554F15DE564","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b695bc72a497bd2d599de5be6440a25455328e0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15205-4_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586050$CD998C44-AAA3-4AED-851E-3B538DC5E02F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b6c268409912a53095516373231e6a1e593185d","datavalue":{"value":"W2151828545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586050$8A9CB1F8-ECAD-47F1-805A-4639359A2B22","rank":"normal"}],"P1643":[{"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":"1dcc594203a55e4d145a192f76cfb0b5fa6299cc","datavalue":{"value":{"amount":"+0.9714263677597046","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":"Q3586050$CE74B7D1-95A1-4BFE-B5D1-FEFF690263C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163de49cec43416857e5f066df8dd0ac03af53c","datavalue":{"value":{"entity-type":"item","numeric-id":2892757,"id":"Q2892757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9157b56cb03e7c38855ebfe71d528f9a891e3547","datavalue":{"value":{"amount":"+0.8776646852493286","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":"Q3586050$4271C590-52C6-469B-BAF6-3523FF7C871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c5c7cc65fa7605d234cc789f21aa130bbc4dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4474856,"id":"Q4474856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7f79cf5701bc4249986dfdc853ab3845f5b6af","datavalue":{"value":{"amount":"+0.8152655363082886","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":"Q3586050$8A630F04-86B4-47D8-9E6E-57F9CC89FD6A","rank":"normal"},{"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":"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":"Q3586050$B1D351A6-F535-4B13-A2AC-CB4662ED4C1E","rank":"normal"},{"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":"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":"Q3586050$5DD5432F-F641-4B07-90DF-E0A3DEE27148","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fibrational induction rules for initial algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fibrational_induction_rules_for_initial_algebras"}}}}}