{"entities":{"Q1177158":{"pageid":1187907,"ns":120,"title":"Item:Q1177158","lastrevid":46246417,"modified":"2025-12-24T09:42:02Z","type":"item","id":"Q1177158","labels":{"en":{"language":"en","value":"Co-induction in relational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20015"}},"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":"Q1177158$09379579-7E0F-4A6B-91FD-8506B53698B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d1aacbde210b0ff5221cf1471b8711dd23195c8","datavalue":{"value":{"text":"Co-induction in relational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177158$EB6658C2-6760-414E-975A-285ABC96DB64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1574dd8791bc0893bf39fcc7b70ca6f637921332","datavalue":{"value":"0755.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177158$E439D464-E369-4669-8C6F-268CF57500EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12829a5269d78bc3be0e0097f892346f42128648","datavalue":{"value":"10.1016/0304-3975(91)90033-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177158$F6B9346E-37DE-436B-840D-17412E212F16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6332147b50c225be5cbe9a3e5f496e4ebb21d0","datavalue":{"value":{"entity-type":"item","numeric-id":607409,"id":"Q607409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$EE39073B-6210-49DB-9BA5-1881EC47CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$EAEC33B8-65DB-4B60-9E4F-73B8594A1932","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$B8647BA7-EEAB-44AF-8D0D-8005F8C3FCE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177158$612F32C1-89FF-4FF5-9E99-904D7ED1901E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e824a19e8ea55bf13134a5b934f20bd90404a15c","datavalue":{"value":"The purpose of this paper is to present the use of non-well-founded sets in the study of programming languages semantics. The authors show how co- induction may be used for proving properties of non-well-founded sets (objects), in a similar way how induction is used for classical well- founded sets.   Co-induction is presented as a variant of the fixpoint induction principle of Park. In the paper, co-induction is an important proof technique associated with the maximum fixed point of a monotonic operator. This technique is used to prove the consistency of the static and the dynamic relational semantics for a functional programming language. This language is essentially the lambda calculus with an explicit construction for recursive functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177158$9D929E02-7A8D-4B5A-8100-BCC6B7537BA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177158$70D2A463-522C-495D-8FE6-A37CCD381D43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a6a40a01c6aa8d0fd195a3296def33565efabba","datavalue":{"value":"20015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177158$CF57C589-33E4-4ED9-81F3-0584E30604C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e7fca66ddafadac503f68e90207f9a11016ee9","datavalue":{"value":"fixpoint induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177158$76464807-13D8-4D1B-B58F-B49F69AA64FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177158$F672063B-92E9-4EAB-B7F2-7914C8ABC812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177158$01298E7B-7203-4EF1-97DE-D3C2A9C94DCE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a15109437d833303a14fd0218e3039f04ef1e62d","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$0D84FA71-61E9-4B1E-9B33-DF203C5B5235","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$FDAF3872-6B65-44C4-B3CC-D623B033E3CC","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":"Q1177158$20218BB5-E5DE-4BD9-A074-00B47A050DFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$523866CA-072A-4E0E-A439-EF1C11B2A0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$20EACE85-B6D4-4E7B-9709-67404A459B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$A5B273A8-3FDE-4056-B591-832EA5067E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$639A0976-BAFA-40A4-A95D-992F4F250759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$198A4E4E-32E3-4E5E-848A-18A952674A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$7C4C09E0-10CB-4590-9971-FB84406BDD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$DEE06DE2-89C0-4FA5-8F78-B0B8E4B82B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ace9385f5e19244160232de5aab0108b07038e","datavalue":{"value":{"entity-type":"item","numeric-id":918190,"id":"Q918190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177158$700135E7-CE61-440D-BAF6-273FF2E25993","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"354ea68f2b1ff1e272ced79445586f05b179179a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90033-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177158$3FF52B28-9043-4FBC-B9A7-F0B64AD6281D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66aa6494871bfbc163ec9837d5d52e33c245889a","datavalue":{"value":"W2071095465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177158$B24596CA-C5F8-4B87-9426-BA2AFFF1E9BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43e6abb7322519c47645f624de60e94c9ce4bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8099aa5fdba3e594ae0da5654025338810973906","datavalue":{"value":{"amount":"+0.7700510025024414","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":"Q1177158$910AA30A-5584-44AE-B095-4AF2259485BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f6037fd9d5678ea779a30d2cfdbbb6385214ce","datavalue":{"value":{"entity-type":"item","numeric-id":6116571,"id":"Q6116571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20d6e9fe735e1b0eaeef72a3c9c28419e31b5ec","datavalue":{"value":{"amount":"+0.7582645416259766","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":"Q1177158$CAA8F490-573C-4112-8E77-35AE5BAAE975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2331ec4df3b5429b5494c641126472a7edd5ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f0c1a568a426272cbb3e4413f0c6556676c70a","datavalue":{"value":{"amount":"+0.7472196817398071","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":"Q1177158$F17B1054-08FE-4B18-B845-C2CFA084C1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b97095a387083d4829b242d2a1a3f0b04cdcbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d988450468a409daa2c2f2544019272a59b4a89","datavalue":{"value":{"amount":"+0.7453601360321045","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":"Q1177158$A1AF1042-B371-4987-A6F7-9149CBF152F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1177158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1177158"}}}}}