{"entities":{"Q5014439":{"pageid":7044016,"ns":120,"title":"Item:Q5014439","lastrevid":58404306,"modified":"2026-04-05T01:51:21Z","type":"item","id":"Q5014439","labels":{"en":{"language":"en","value":"Dependent inductive and coinductive types are fibrational dialgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437706"}},"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":"Q5014439$C5405949-EE14-4ADC-AD10-61046BF211A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f647c72416dd1fc0caa41e9ad242db67d1b2589a","datavalue":{"value":"1476.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014439$330C6912-9C62-471F-8A4D-15FC4ACD36E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c4579b04445885ccce3d16d5b0f09ea564b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2233466,"id":"Q2233466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$48601D54-63DA-4871-A83C-8DE6E69288FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-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":"Q5014439$E5FFF8A6-5B1C-4A4D-8A53-0DEBEE50D54C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"063bd9cea451ac5487ff129a8110faa3e6937b41","datavalue":{"value":"https://arxiv.org/abs/1508.06779","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014439$DF8E125B-4B54-47F8-8882-2C1044B1B092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfdec744b2f0313dc388979c2d4f065c06b660c3","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014439$53DC72D1-5968-43CB-8172-01BB046E7C20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014439$E1732205-BE6B-4778-B101-BA392B1CEDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014439$982C8D36-3897-4D3D-8863-7571DB14EFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014439$D02537F2-9F72-4215-8FD0-F73053BB07BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014439$32518807-4A94-484A-A56A-821A04320C15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"358057fc10968fbb9d2062363ecb8c644c2ee06a","datavalue":{"value":"7437706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014439$531C2F6E-847C-4F32-BCBF-D64F3B67058D","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":"Q5014439$D3A8F27B-CEA4-44AF-9810-B90651B89835","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$57DF8881-A97F-4874-B1BF-108A08AE45D0","rank":"normal"},{"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":"Q5014439$D8A7AF22-8225-46F0-A572-5F430C5BE19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015256e4360c025094b2ad5c855ea10121fc5943","datavalue":{"value":{"entity-type":"item","numeric-id":3090862,"id":"Q3090862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$9F03AA49-DB61-4D11-93E7-607FD93803FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f32d68962ab886e92e44b6ca8cc3a34c8f7b357","datavalue":{"value":{"entity-type":"item","numeric-id":876383,"id":"Q876383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$E9E3A06C-1276-48EF-A4AA-423BC3EA2850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b036afb6c48675fb24ccf34d4ee6da4f94a82636","datavalue":{"value":{"entity-type":"item","numeric-id":5176923,"id":"Q5176923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$36968261-48F4-4F10-B3BA-85DD00D553F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aea8e681efb8035e811bf81566cee467f9c1736","datavalue":{"value":{"entity-type":"item","numeric-id":5271091,"id":"Q5271091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$10D5DF9F-A297-47F9-804B-8C7B461DC3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82980b2f7e903b310db1324221ad45eb5e5e8e6","datavalue":{"value":{"entity-type":"item","numeric-id":5894256,"id":"Q5894256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$242BA4A4-62BC-44A5-BD8B-0BB3EA850C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$B08D2666-D08A-4F7F-9DA4-EC03B72A170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$B77D7135-44BD-4658-8CDB-D2C3DAF51794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$45BCDFD4-D308-4020-AFFE-875C1C0F2E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$D4A17EBA-965D-4BDD-AC10-4C4101614458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$BB92C39C-00B5-4BA2-B8FF-307F1AF32FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$4615384C-E18A-4AFC-B232-20BDD20CBE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a99427d08b8a1237e8a479745abd4484ee2649","datavalue":{"value":{"entity-type":"item","numeric-id":2919455,"id":"Q2919455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$EC11EA3C-AD87-4D98-BE84-B723BA496574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$63B76CE1-22FA-4FC4-AC2F-CEBDB3D19AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014439$32275E41-1F04-46EB-B703-10F121A239EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f123167db0e80ec2d75bc744cc578e44a7167f","datavalue":{"value":{"entity-type":"item","numeric-id":4635888,"id":"Q4635888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ced021179585326e3e7dd89d266472c74d1114","datavalue":{"value":{"amount":"+0.7973324656486511","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":"Q5014439$0035F7FF-C4EF-432A-920F-6C6A26D0D65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5d922db37ef1718202e561077e8c4a52fe341f","datavalue":{"value":{"entity-type":"item","numeric-id":5492817,"id":"Q5492817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c613631c286ec7fecc2aba2b95c670e13b035595","datavalue":{"value":{"amount":"+0.7800974249839783","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":"Q5014439$523E60BA-2F21-4FD9-B2FA-DAC85F10176A","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":"3c00c4468ba95f4cf494b05b267aa77e19d81fc4","datavalue":{"value":{"amount":"+0.7791834473609924","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":"Q5014439$539CC045-FDB5-4DC3-A48F-ABBB5FF2A2DC","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":"c3ce9fb7afb5c37e176788bfb391eee960228efd","datavalue":{"value":{"amount":"+0.7756280899047852","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":"Q5014439$6FFD5B80-68E2-4993-BAF3-00E4D2A85845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ed348b0a35c2a6bf56c4bce9f1bd324eddbb65","datavalue":{"value":{"entity-type":"item","numeric-id":3090862,"id":"Q3090862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb80d513219c2acff4667450b32931c567b634f8","datavalue":{"value":{"amount":"+0.7624664306640625","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":"Q5014439$35E4FEBC-1195-49CB-9203-758DD38CDA0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014439"}}}}}