{"entities":{"Q2811334":{"pageid":2822072,"ns":120,"title":"Item:Q2811334","lastrevid":52551998,"modified":"2026-01-22T22:58:55Z","type":"item","id":"Q2811334","labels":{"en":{"language":"en","value":"A coalgebraic view of bar recursion and bar induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591815"}},"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":"Q2811334$A69D05D4-8749-4BEE-9C1D-86F5C3520388","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"139c7ea6eefe33f3511dc3da0f95668e7506cfcb","datavalue":{"value":{"text":"A Coalgebraic View of Bar Recursion and Bar Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811334$734773E0-3CD6-4BA1-B540-B309477BEB29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b538479199c36e107321fcfe0d844855e902e303","datavalue":{"value":"1474.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811334$AE622EA7-21A6-48E1-97CC-CB4385F9C224","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1fbe293d329c6c38ba3dd4f3a9159c882660cd9","datavalue":{"value":"10.1007/978-3-662-49630-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811334$DA35F95E-125B-41CE-8719-148BE3978F16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f305346d5b7751261acdf176028ec2b84c015b","datavalue":{"value":{"entity-type":"item","numeric-id":639642,"id":"Q639642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$31D9F389-8609-4A41-8523-037FEC2D0DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$9F05C619-17F4-41F0-B37E-D73293462512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$F8FFDD89-24F9-4A1F-A349-FB61E82A1BB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811334$EF6EDF27-7E48-485F-9F7B-979603987C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"677ada19df2279313825bd703c484787b8c34f0a","datavalue":{"value":"http://eprints.nottingham.ac.uk/33872/1/Barred_Coalgebras_FOSSACS2016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811334$882BBC90-C282-4C1C-B962-DB32C3BF0150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811334$C7A493F2-B623-4EB7-AB0F-A7385909E36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811334$41D41594-0DCF-46C3-A492-E28E630EF569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd44e2ad10cd2629200a7938c7a2bb97bde33f90","datavalue":{"value":"6591815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811334$37A487F9-E0AA-4143-87D5-767741162BFE","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":"Q2811334$DF293772-F89B-4345-A00F-5AC022B16865","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60b415f8436da9dbca14417f502479b222f9482e","datavalue":{"value":"W2437461174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811334$E273AA1F-E488-4A90-887D-8F19D65CABC1","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":"Q2811334$BBA4A963-F630-4BF1-B9A5-73554CAA7D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8752574af42d70f4a79095961b1ec973ec3b1dbb","datavalue":{"value":{"entity-type":"item","numeric-id":3512598,"id":"Q3512598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$A3C9DB5D-F19F-47FB-BE54-075746EAC887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff52d3aedfbfcaa9b89f86785a1f34e28707161d","datavalue":{"value":{"entity-type":"item","numeric-id":2846574,"id":"Q2846574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$9A9127C8-FB11-4B6F-BC28-F7C21CBC513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$11301703-0B8E-47B4-A9CB-93959102C0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1a90574c396a1ca159a0401d8596bb5f1e528d","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$C64D01A0-528B-49A0-9239-10080BFDE18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d8a1d1e241aced44f331721f2320ad6a6af4a0","datavalue":{"value":{"entity-type":"item","numeric-id":5481588,"id":"Q5481588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$E6E89117-755F-4A84-8AE4-863806BF766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c5ccb9996cb706daff0c922100e31395084414","datavalue":{"value":{"entity-type":"item","numeric-id":2495640,"id":"Q2495640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$C54B22D3-9D5A-45A1-87D0-DC99C38929F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7380c9229c383fd63df5c4e346f58a34d36e95","datavalue":{"value":{"entity-type":"item","numeric-id":3651278,"id":"Q3651278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$907FF561-585D-4BE9-9947-E03BD1B196DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$3293511A-9208-41E3-8BB2-289A9AE21A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2d5cf70957811b3c1a72086f7c66b724e20b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3559969,"id":"Q3559969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$C78360BD-2DD0-4622-8F69-2BB9CF0A534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a717fd62012577ad06d6a70ce0dc1bcbebd28f","datavalue":{"value":{"entity-type":"item","numeric-id":5277837,"id":"Q5277837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$D407F4D3-FBDE-421A-B946-CFBA4A1DB81F","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":"Q2811334$7111E196-A333-431C-9882-1CE01F3771BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57615c1f5632b5185c58110d29ddedec6b7c841b","datavalue":{"value":{"entity-type":"item","numeric-id":2863899,"id":"Q2863899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$CED31F4E-122D-4E25-8BB9-F32FFA252D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871fe04a4fdf1570318ebe8f55c4fb054e67efd7","datavalue":{"value":{"entity-type":"item","numeric-id":3401133,"id":"Q3401133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$705FC53A-8216-4760-A486-58D0F227BB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201cc6bcf0bea718c2cd517493f15cdc5a65520","datavalue":{"value":{"entity-type":"item","numeric-id":4405697,"id":"Q4405697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$C598254E-CBC2-4BE8-A771-41FD2A3EA17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$89D1700A-5E40-46DE-8C09-0F591D004B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63eead83a1f6030ac7a2c3ce88e8c75da72567af","datavalue":{"value":{"entity-type":"item","numeric-id":1843432,"id":"Q1843432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$CFE6AF55-E9C3-420D-8B08-EF0969F88A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$1D3F804A-8C45-4BC0-A0F5-1A739E8C8BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d546fdee9475d644453a4ed431102795f81c357","datavalue":{"value":{"entity-type":"item","numeric-id":5687312,"id":"Q5687312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$A34E2FFA-56AA-4BC0-B826-D620AEDF3552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5705a2bc71a85b7bb2d856c1cde9b4da8d7426","datavalue":{"value":{"entity-type":"item","numeric-id":4126323,"id":"Q4126323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811334$6791D61D-EBD0-4C2E-9347-CE34F9D5BC2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ceb45adb29cbe87f5851685a4063130dc3386bc","datavalue":{"value":{"entity-type":"item","numeric-id":2417961,"id":"Q2417961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558b56db579cc68eed4f1b7f4447086cf3fc77b2","datavalue":{"value":{"amount":"+0.7738074064254761","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":"Q2811334$0F692010-DAA9-4041-B0AC-963B6A6DA7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5956087ec7c6e66f3d37f7afb5d5e842d740d9","datavalue":{"value":{"entity-type":"item","numeric-id":2910991,"id":"Q2910991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d0c5ccb0d112328407810f20cec879df1bd616","datavalue":{"value":{"amount":"+0.7695552706718445","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":"Q2811334$F005BF93-EA8B-465A-AFA4-DB4B3110CA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db6c560262dea147d39c3c6ffea00c84eb2a79","datavalue":{"value":{"entity-type":"item","numeric-id":2219099,"id":"Q2219099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91df2aae0a72198bb45f51d7993421d8225d381c","datavalue":{"value":{"amount":"+0.7690480947494507","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":"Q2811334$EE5004DE-16E5-4951-8BEB-FE19D7290B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ac7e2522bcc8ba4ac44b829f3eca2eaf83bffb","datavalue":{"value":{"entity-type":"item","numeric-id":5144620,"id":"Q5144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1dde55f9a9b98460d90d6558ca557550906d160","datavalue":{"value":{"amount":"+0.767372190952301","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":"Q2811334$4243A58F-75E3-40ED-87CC-F3AD497F7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdee071d0a7a8d69125586fcd6f75c36326bab7","datavalue":{"value":{"entity-type":"item","numeric-id":3559969,"id":"Q3559969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"760531948127ce9e54f5e852d0f68560e890247f","datavalue":{"value":{"amount":"+0.7630083560943604","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":"Q2811334$B2205E43-8E55-4A80-AF93-48DF494FC6DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811334"}}}}}