{"entities":{"Q1898483":{"pageid":1909225,"ns":120,"title":"Item:Q1898483","lastrevid":71105733,"modified":"2026-04-13T19:31:24Z","type":"item","id":"Q1898483","labels":{"en":{"language":"en","value":"Kripke logical relations and PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 797323"}},"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":"Q1898483$7F24F1FA-AC07-4526-9803-FCF469CD5313","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb7211c042c1b4aaf178ae82d5b44ef24ad39250","datavalue":{"value":{"text":"Kripke logical relations and PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898483$AAB9093E-1499-46D3-93B0-22F00AD93DA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5238942e2f31a9285c2dd6e71863461bafd9102d","datavalue":{"value":"0912.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898483$969A4728-1C7F-4B62-9112-E6E818E112E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898483$CF67172B-0F9D-4C06-AD00-368683EF37A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bfdeb93be10447055be91b480f8993068817647","datavalue":{"value":{"entity-type":"item","numeric-id":1854491,"id":"Q1854491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898483$FC9A808F-3A04-43DE-A9F2-A7EA7A306D81","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":"Q1898483$70E25906-544C-4180-90EA-57EB857F93E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0458f783ed98c44f749a976bb095dc4c84da09c","datavalue":{"value":{"time":"+1999-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898483$C705143B-6D3C-4080-B405-86B10DB19AD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cc6b512f5b2914120d710bf6dd2ac02edebc6bf","datavalue":{"value":"https://surface.syr.edu/cgi/viewcontent.cgi?article=1002&context=lcsmith_other","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898483$E79DFF0E-5D7D-49FC-BFF2-0A05941FE199","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7feee40d0ac8423487f7395a5942c54311eef40b","datavalue":{"value":"\\textit{A. Jung} and \\textit{J. Tiuryn} [Lect. Notes Comput. Sci. 664, 245-257 (1993; Zbl 0795.03021)] introduced ``Kripke logical relations'' to characterize \\(\\lambda\\)-definability. Here, these relations are used to show that \\textit{K. Sieber's} model of PCF [``New steps toward full abstraction for local variables'', in: ACM SIGLPLAN Workshop on State in Programming Languages, 88-100 (1993)], consisting of continuous functions that are invariant under certain (finitary) logical relations, is fully abstract at all types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898483$3A6FA043-1EC7-4E01-A2F4-F27CB6CD6DB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898483$3B1744F3-CDB1-4AFB-8FF9-00F6A70561E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898483$6C172DCD-85BE-40F4-A0DA-F5DF16267B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898483$9472E301-CA1A-45F9-AB87-D3D032917868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb34ef4ea56733c79fc56c3b27eb5ee5f7b8a874","datavalue":{"value":"797323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898483$79019A38-A16E-4E8E-A2BA-A81D0093244C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8bdb025f936231b9b29a7044b58cbcee05cb73","datavalue":{"value":"logic for computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898483$8F1E7D72-53F2-4B93-BD33-C53750CA4023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb8bb414005f2b26adc63ec7daa96119fe3754d","datavalue":{"value":"Kripke logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898483$83239D89-BC9F-4F0A-B1EC-9EFD6340324C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898483$3B774286-A0F9-4DD9-ADBB-1A6794C1B8C3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1f30fc88fd00e520b1fb7511e62d5960bb388b60","datavalue":{"value":"Q56092885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898483$CDC22A46-A660-43C9-B56E-5EED981D196B","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":"Q1898483$F2841D1E-C587-42B9-A4EC-335CDDC76FD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51450fcd2576bce69699c24d9484f02fa5dc047e","datavalue":{"value":"W1965557765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898483$917564EF-B503-4A83-A0A2-587210102E9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38fb1b328a24b5a600c677deb5da9208fe047848","datavalue":{"value":"10.1006/INCO.1995.1103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898483$3717D435-BD26-46DE-B315-AA900C7AFB23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6268706f54479d0447e20898a25422fdbbefa565","datavalue":{"value":{"entity-type":"item","numeric-id":3138547,"id":"Q3138547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b5c735e38633ff4f6fd7e545ea3324341c3213","datavalue":{"value":{"amount":"+0.8030709028244019","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":"Q1898483$B16717F0-0BF4-4750-A3FB-D4D34E8DA7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac6f1f9c9cf6136fdd09d3abd658c561700a608","datavalue":{"value":{"entity-type":"item","numeric-id":5426073,"id":"Q5426073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fe7481a7f1ea5e18a91e08d08a8768b29873d9","datavalue":{"value":{"amount":"+0.8019893765449524","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":"Q1898483$00306B2A-784D-4938-9BBF-F55E8332B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ef2a43b6053055e5fe036f9c47acd43b6d57d","datavalue":{"value":{"entity-type":"item","numeric-id":4511324,"id":"Q4511324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40780a9ae9df91b221b7177cfa28118fddc7f8b4","datavalue":{"value":{"amount":"+0.7936163544654846","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":"Q1898483$837E83F6-013A-4AAE-95BD-9388BC746BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82440d75f6230f8e0a8adecf6d808dec059c173","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff041e05f3df7469dfd1f6faef7ca95f53ab3efd","datavalue":{"value":{"amount":"+0.7728921175003052","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":"Q1898483$5BDEDC48-C9FA-4851-A3E9-0E24A2257C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531aaec7c6d5487fbf93740282443c343b70c7e9","datavalue":{"value":{"entity-type":"item","numeric-id":3680264,"id":"Q3680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff041e05f3df7469dfd1f6faef7ca95f53ab3efd","datavalue":{"value":{"amount":"+0.7728921175003052","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":"Q1898483$FAB20D29-7907-454E-A64F-2C3696F63208","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898483$D51879FA-43EB-4CD7-877F-D17977C9C8B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke logical relations and PCF","badges":[]}}}}}