{"entities":{"Q4704763":{"pageid":6734340,"ns":120,"title":"Item:Q4704763","lastrevid":82440620,"modified":"2026-05-06T20:54:49Z","type":"item","id":"Q4704763","labels":{"en":{"language":"en","value":"Coinductive characterizations of applicative structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369692"}},"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":"Q4704763$30BD5DDA-A3E1-42C8-BFD8-C6F2762B0CBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b6b101e488c9591f76109708f76bdffdae8805d","datavalue":{"value":{"text":"Coinductive characterizations of applicative structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4704763$25A85EA9-E39A-4457-8840-178B03EE90F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f4c7278c4cc2a4f4db9e3bdc53880995885de77","datavalue":{"value":"0935.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$6BD2623C-4244-4E16-BFB7-E3C297F9DFD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c78125da150f86163f7212df125a1a87877d6fe4","datavalue":{"value":"10.1017/S096012959900287X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$5600E9F3-3C2B-47A7-8772-FAE671F94203","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704763$7C81CF7D-0146-44F5-B119-D4C08E28276F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704763$890BD48D-9643-44D5-BB4D-CB7BAF3922A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4704763$B2FC8227-F82F-4928-943C-8A7EAA685BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f29977b3c78240439e6d7adfdac0711f36ba14f","datavalue":{"value":{"time":"+1999-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4704763$617A84B0-2F13-4BF2-86D1-072AB0F1F7E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$069A395F-A585-4130-BF76-B8F41A81D2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$A4313399-34CC-4670-B0F5-3F94E7BF7795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$117E7A73-EDB0-4EAB-9A0B-840334CB0A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$134339E0-F109-44CE-97E7-9486141E274D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$AFC89FE7-CF58-472E-A961-5AC7BAB68E4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f8c4122c6ef1073198b33181971160623a1628a","datavalue":{"value":"1369692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$CE1E6A50-7701-4027-886E-9F43BD69B26A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$B3D12FF2-F8F2-48B2-AA8A-9273AA618315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32574e273be454b84f44093051c6ec0f1b349db","datavalue":{"value":"maximal fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$90E18CA6-9914-46BB-8F91-56553BC65976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d04e3a846b6c818c11d5a5d10d65cd81ab16f4b","datavalue":{"value":"monotone operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$BF1C5AF3-EB3B-48A6-B455-A3A42287ED44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a9f32cbfa5c8d7cfb2ab1e2b2c8b3fceff3b471","datavalue":{"value":"observational congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$3A9908DE-29B7-4238-BE45-BEE9D3904684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29cba2ff63e2e5c2375e9d1b5275ceef6a1d771e","datavalue":{"value":"applicative structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$B11E1FE5-DF6E-4025-B749-22B89F794A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$105AF0B7-AF87-434D-B36B-9DB29251FECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42cdfa36bb554707a47bcb36233647168123c908","datavalue":{"value":"reasoning on program equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$427A322D-6EA7-4BCC-9360-F70FE3DDA25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b25bb6df7dc6ee689daf362506e5ad447d0eb00","datavalue":{"value":"Cartesian graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$D351A5EF-46A5-4825-B1EE-C50687F54766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9121ca30f3c29be40c4af288d0d7a086e491469a","datavalue":{"value":"final semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$6219BC88-237F-41A3-B48C-D9C07E9A1B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c465b7ef00e5c6935fcf58aee983d7f5d7dfda25","datavalue":{"value":"strongly extensional coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$620C4235-94F5-4B4E-A434-6364BF1D21AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$F2DECCDE-D24F-4877-BC15-381EDE9295B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0636deed5aa2016f414be6e90aa152a72f61b966","datavalue":{"value":"observational equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4704763$A542E0A8-2192-4E53-9745-C0725331EAE1","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":"Q4704763$7D4DE5DE-7F62-4662-B50A-269D4807EF5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4c95a8e886a6dfe1bdb8b2a5dbe2325948434fe","datavalue":{"value":"https://doi.org/10.1017/s096012959900287x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4704763$4C8D6993-9A50-4E0D-982C-AC5A07F023CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d47f8f6a4525ace9593247484fab2352ab434722","datavalue":{"value":"W2110860127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4704763$F5A4EB17-ABBC-4B36-BEC6-49D7B812F8B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41c4d0a8b5b2af9d1b0eaf03ff14cbc5c60d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d671f80ffa7d6802105af8a7811e00523d53b7d","datavalue":{"value":{"amount":"+0.7945793271064758","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":"Q4704763$2FF449F6-CA83-43B3-B1DE-9B211A540160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92342e9c3b1f5bd8a024e285c17302d52df80dd3","datavalue":{"value":{"entity-type":"item","numeric-id":3024911,"id":"Q3024911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed7ceccc67b590c21009aa925b248b071a45826","datavalue":{"value":{"amount":"+0.7690452337265015","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":"Q4704763$F0263216-BB15-4414-B7C0-C906F8429F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc2b9b0cbcbd5120d72949824f2aac9554dd44d","datavalue":{"value":{"entity-type":"item","numeric-id":5890042,"id":"Q5890042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddff1d3d68a355aa699acd9d15642a92fdcd5df2","datavalue":{"value":{"amount":"+0.7449148893356323","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":"Q4704763$EFFD49C8-3EE2-40F5-9511-E1DB6214AB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb0ecb65a119c9d7fd6bc8a485baa7617b2694","datavalue":{"value":{"entity-type":"item","numeric-id":4870806,"id":"Q4870806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb429cf4bbe02e3b93fd82ecc0421d39969cde7","datavalue":{"value":{"amount":"+0.7433592081069946","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":"Q4704763$9B285145-C298-45E4-B702-4F730B861DF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinductive characterizations of applicative structures","badges":[]}}}}}