{"entities":{"Q1917068":{"pageid":1927810,"ns":120,"title":"Item:Q1917068","lastrevid":69086517,"modified":"2026-04-13T04:37:51Z","type":"item","id":"Q1917068","labels":{"en":{"language":"en","value":"Proving congruence of bisimulation in functional programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 896625"}},"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":"Q1917068$9711E37B-D911-40AE-8894-DF40852E01BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f4ee1f784fb2feafaeee5deeb69475ac9806389","datavalue":{"value":{"text":"Proving congruence of bisimulation in functional programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917068$2D5587A1-24ED-476E-BE6B-A92D97D71DA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75869924b64ca2460fdea2d21ccabb3ee8771e8b","datavalue":{"value":"0853.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917068$83EDC40B-DAF1-4B5C-9E68-ACFCC0135BB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d008c0652adbb92fc29f999e1cff965654b89fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1917067,"id":"Q1917067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917068$5C2CF104-4E45-4E79-9460-3AC22C18CB6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917068$54AE7F4B-0307-44C2-A2DA-2649ABADB7DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8bc2e68a7a4ba958744d9a0d3480daad10515d7","datavalue":{"value":{"time":"+1996-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917068$BF71DFD9-332D-4959-9815-03A15DDAD4E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7078f8b25a796e214d165989a1fd21f5bff39ac","datavalue":{"value":"https://semanticscholar.org/paper/20c81467bbfc707169c5aac3e064e8f43e9de5b9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917068$3AADC09E-93EE-45D4-817F-0B01A652F527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917068$0C508828-148D-41E3-91BA-1487782A1AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"908028bd816033170f5e459d9f7ee5eaf6c4a5a2","datavalue":{"value":"896625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917068$D2DBA136-FD3A-435B-8085-51235D981436","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917068$7AB7C124-7441-4AB3-9EAA-9F2BCBF2AD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917068$498FF038-8AA7-4045-AE84-D62E191C837F","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":"Q1917068$A585022F-A410-4793-90D7-FF50169CEEF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22a45e6c059631e3baffd016c37b5a2d9f2e7a3a","datavalue":{"value":"W2092367588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917068$3FFDDDAA-B460-44D2-B531-27599A46E553","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ef809bad14bdf783a911695747bc478c6fc272e","datavalue":{"value":"10.1006/INCO.1996.0008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917068$05AC7CE0-A3EE-4AFC-93BE-329F284B717F","rank":"normal"}],"P1643":[{"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":"8555418b3143672c2459a618591c3326c679a453","datavalue":{"value":{"amount":"+0.842073917388916","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":"Q1917068$A5409E6C-9659-44BA-84A9-1954F43FD997","rank":"normal"},{"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":"564da242728dcb40788edf9134279bf4e01672b0","datavalue":{"value":{"amount":"+0.8005606532096863","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":"Q1917068$1FC14ADB-180A-4F4E-958E-EFDC4476097E","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":"c36e8d2df6aa5232460d8a828652b6aecb37fc2c","datavalue":{"value":{"amount":"+0.7925302386283875","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":"Q1917068$386BB634-BC05-4369-A8EB-AEC95FD72F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c9ced6938c34c0a2b503c3a3b3421018d94bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1575889,"id":"Q1575889"},"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":"Q1917068$1643F6D8-6A25-49F8-89B1-D8A4BC371B8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving congruence of bisimulation in functional programming languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_congruence_of_bisimulation_in_functional_programming_languages"}}}}}