{"entities":{"Q1575889":{"pageid":1586629,"ns":120,"title":"Item:Q1575889","lastrevid":47034342,"modified":"2025-12-26T02:37:40Z","type":"item","id":"Q1575889","labels":{"en":{"language":"en","value":"Bisimilarity as a theory of functional programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495179"}},"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":"Q1575889$A20A023C-B723-47D9-9D38-66494BCF51CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dc72c4f2d8e0e43465f05480fb422fcb18531e1","datavalue":{"value":{"text":"Bisimilarity as a theory of functional programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575889$48C5FA87-A544-435A-A675-4C70793E64C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ece3b55a51a71c81a0426c6c1a02a7cd57af292e","datavalue":{"value":"0968.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575889$D27B5E55-4259-4037-8DC5-109A9DD93D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"380c74e2f8c0648495a516855abf8de21f938955","datavalue":{"value":"10.1016/S0304-3975(98)00353-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575889$D2EA2038-A13A-45C8-B704-FB178FC54EAF","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":"Q1575889$DFAA0F36-F1E6-4D08-A3FC-2C25C1AB55B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575889$67CF705E-B2E5-4E18-AE60-CD4528D032F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37f28c133ccec327a8f7f62c233618fa695b1334","datavalue":{"value":"The objektive of this paper is to use CCS-style labbelled transitions and bisimilarity to offer a new perspective on the behavior of functional programs. Morris-style contextual equivalence is characterized in terms of reduction behavior and production of values.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575889$B02132EC-CD2D-4EF1-9B6A-3A477D439693","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69b631cb0080527edb154b506f00f292c6a500c","datavalue":{"value":{"entity-type":"item","numeric-id":585680,"id":"Q585680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575889$B4DAF4AA-34A5-4B64-AEDC-9FB6254DBD0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575889$49973C80-96A5-4769-8147-E43E4C96C9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575889$EDA3666B-C206-43BC-BF99-81109D297B56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dadbc653eebfe291072221bd7387a34ac4622b45","datavalue":{"value":"1495179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575889$6497109C-150B-420D-9CA6-9B5209F9E848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575889$7A59DACF-9240-433C-A2B0-B554AF6883E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575889$78385CB0-7C1B-46BD-A358-DCA20D11DF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e28abc9ed4103b97c3b983522b8597ab9f30596","datavalue":{"value":"co-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575889$99965251-322B-46BD-B2AE-FE8E68CB31E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575889$B8EE286A-868F-485B-AAF2-FA7FE8282A68","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":"Q1575889$B1233477-6C17-4082-B6AA-477254E0002D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d9043c5000e4ffc20a57555ca1ffe9dc9f9914f","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(98)00353-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575889$70CD164A-7FC0-47C8-8A48-2712FA39DC6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6da722ff3e93d80e8420684a1d2930301d0b948f","datavalue":{"value":"W1979328536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575889$A464A00F-EA10-4785-BA3C-1903736EC3F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e96f794f195212c52036e4aadb67f10ff32e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ae97189dc1cec45fe566ac8ca27ae63369eaaf","datavalue":{"value":{"amount":"+0.8623058795928955","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":"Q1575889$0A465871-7CD1-40AE-AA2A-2CFEF1C3E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86fffbf2b110759b555950f6d521d8d7229e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d5572f5a27bf5330c56fd9f3f5cd7c4206f1ff","datavalue":{"value":{"amount":"+0.7918656468391418","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":"Q1575889$58C8043C-9632-4145-85C9-4E7C29FCCED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3ad0f1ecb1ddd3c0cfbeb76073648fefbd8395","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93119d4efbd6bdf4efe7098be3b65018fb752484","datavalue":{"value":{"amount":"+0.781000554561615","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":"Q1575889$BD29CF79-16C1-4951-8525-2ABA3CD787B5","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":"08a0459d018b6f60336139156156e7f1db19949d","datavalue":{"value":{"amount":"+0.7760114669799805","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":"Q1575889$D1E169C8-D24A-4E7E-9EF2-663D1BD02E86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1575889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1575889"}}}}}