{"entities":{"Q6869433":{"pageid":20713189,"ns":120,"title":"Item:Q6869433","lastrevid":84235145,"modified":"2026-05-14T00:40:23Z","type":"item","id":"Q6869433","labels":{"en":{"language":"en","value":"Fully abstract normal form bisimulation for call-by-value PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149920"}},"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":"Q6869433$3101C58A-E73E-4A9A-87F9-7C5C62DE95D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61dcfe29f69c68d54055f98b8ee364219cf0833d","datavalue":{"value":{"text":"Fully abstract normal form bisimulation for call-by-value PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869433$FFA88036-FEA4-482B-BA0E-B26F0A033842","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42ac30b025581a25b7f8141afeeee4a204ae71fc","datavalue":{"value":"10.1145/3765737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869433$04DB6E6B-2FC9-42F8-9E83-E8BA8A83499C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea96b392951ec1833f9a7654afda9da933112fd0","datavalue":{"value":{"entity-type":"item","numeric-id":456464,"id":"Q456464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$CEFF74FD-07B7-4C0C-9E61-48E364EACF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"caedad62fe7642ef3b70c2321bcf420b47adf4bf","datavalue":{"value":{"entity-type":"item","numeric-id":6851659,"id":"Q6851659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$09F8E5A9-BC23-4C94-B885-3CE945B7BC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$29B016CD-880D-44F5-BBE4-BA4A2A85215E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$D63F7C72-499E-43FF-9314-F927C93E96A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed0acfea66d72dabedf8248efd6bd273a34db1fe","datavalue":{"value":{"time":"+2026-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869433$0DEAE7E3-CE89-4DF3-BFBB-F4CEFC4C3A82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869433$40B75FB8-7754-4F29-B650-D7CD1C954C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869433$10D5F5E8-12CB-4A56-9312-0388FA7E7E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869433$3BA0BF8B-DC0C-497E-92DC-3D8FB9B5E318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869433$31237330-0D7A-4335-A884-78DF85EE7C12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e912bf096a911f4e64cb56c8df46d9dcafe5a60b","datavalue":{"value":"8149920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869433$8CBD4AEE-8CE5-4347-98A4-5B4356531EB3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$64BA372C-10E3-4FA7-9B1E-F4A58C904FF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf375d9fe37ebf3812da3b3460c537441710a309","datavalue":{"value":"call-by-value PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869433$26C6FC64-C09B-4E33-B643-0A7C30F1E80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869433$67C0479D-43CF-4385-B26C-C0C3982748A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128d6b73922bd37f5cd2a9ca0d63e6251fb93768","datavalue":{"value":"normal-form bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869433$AD5DBD25-9957-4315-A6E7-AEF3F5687F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869433$5FE4A193-BA7D-44B2-A78D-7160950A25E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869433$8ACC7C46-A65A-420A-A446-61460F61E3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869433$E0A1A526-B98F-4FC8-B848-3E1E3B7466F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869433$4750E39C-AC5B-42C2-A3C8-35A1152F43B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4dcafac5ea63b47a066ee009d381f31f6547","datavalue":{"value":"bounded program equivalence verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869433$93FC54D6-26BF-45A8-8EB9-20C9BCD81676","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":"Q6869433$A0827445-D4C2-4ABC-8D02-0FBF247015D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$EA6729F6-16CF-4E0B-ABE0-9FCBA9FEEF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$D5ACAC91-582C-4D32-896A-82BF88916EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac2906df9182a44b878cf3c672c11aee3448129","datavalue":{"value":{"entity-type":"item","numeric-id":2900257,"id":"Q2900257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$4799C4EE-0F7C-4068-A15E-71B260567CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a09cccdd730facc51bf400b37836cd56dd3b94","datavalue":{"value":{"entity-type":"item","numeric-id":2289066,"id":"Q2289066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$48C8E7C0-5093-418F-B6A7-A4CBC572E79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385740d7b36e16bac5817543ff7ccba2a459b5c","datavalue":{"value":{"entity-type":"item","numeric-id":3178283,"id":"Q3178283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$CAF1FB43-DDF4-4351-94A2-539BDE0B27DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$002B755B-0908-4969-8947-0AC6BB6BB8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$D77D866B-2DA2-4044-B4F5-B7C8E268F0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$84B53380-D51D-402B-8C36-3738DB724CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b345af04bd6225fe1bc7f8496b65e5563679e251","datavalue":{"value":{"entity-type":"item","numeric-id":2949444,"id":"Q2949444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$94357ECD-4F1B-497B-B9D8-C2D939B0D734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb7d511f8aba8436e91765e2ab29c0ba2c0f389","datavalue":{"value":{"entity-type":"item","numeric-id":3636798,"id":"Q3636798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$17524161-24B0-4BFC-A909-9DB280996A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e23ad7f02426eb9734b3fe6d68d72ea663383e2","datavalue":{"value":{"entity-type":"item","numeric-id":5739359,"id":"Q5739359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$9F837D60-2AF8-407C-AAD7-A44944A24BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d2def1d0479543da9657837e12b5ddb50097b","datavalue":{"value":{"entity-type":"item","numeric-id":6535615,"id":"Q6535615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$DFE85F2E-1F6A-42A6-81CB-64B90809F072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d3e86ef9beb1da039ebfc32fde3222c113689d","datavalue":{"value":{"entity-type":"item","numeric-id":5899014,"id":"Q5899014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$C9066AFF-5BB7-45AB-8C70-25BDC1B92F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$CCB327FA-F3B0-44E8-AE34-40C04D3D7114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4b79829f8fd84af3b54b011e9baecc4634b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$5F287E05-F770-4BC7-A98D-338EAF2F5083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f064cf159579794bfae00dee95adb9cea90f6","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$EC5E7CB1-DAEE-416B-AD86-3D6C14E6CC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad7ebf57980c5216f7584d984651a399f992271","datavalue":{"value":{"entity-type":"item","numeric-id":2852363,"id":"Q2852363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$4FF5AA70-0C8B-4D49-B3A7-E443ADF9F2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5583e5c752f6e319df38e82d83799f2bcbd1ad81","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$F4DD7F19-AF3C-4DF9-8A3D-C911B989D161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d61fd0251775ecc89999c54c5093919d359a307","datavalue":{"value":{"entity-type":"item","numeric-id":5958762,"id":"Q5958762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$63292809-B71C-4421-B545-9E3ED8BC87C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1d8d1db407a3c808a8dfe6a8cdffd64d3b3560","datavalue":{"value":{"entity-type":"item","numeric-id":4231031,"id":"Q4231031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$662444AD-6FC5-49FC-A7C0-C6D9E7D28009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$4A4D4DE6-2B74-4444-A3EA-ADE8878EADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$42B80718-DBB3-4E3D-98DC-38EFA4A226F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a44e53117e2b5122cf3411e07466ea55fcf7f2","datavalue":{"value":{"entity-type":"item","numeric-id":1898483,"id":"Q1898483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$B4E14C10-2CAC-4AF3-8670-C2AAD4A254D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$28552D61-9BE8-405A-962D-CD3A5A5905DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$5351947F-5044-40E3-92B6-FC1B3C802764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$7A4D8CB3-80BF-4CC1-819D-BD62EBE0BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$E0556532-F896-4D25-B9DA-CFAD5C03A3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956598292838c18761f954571ae7abd804f61a56","datavalue":{"value":{"entity-type":"item","numeric-id":3189795,"id":"Q3189795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$79639869-2517-4C9A-B452-5E685F4A49EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5389926d68ebcaebfaab33d4737b906a344c1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5899331,"id":"Q5899331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$C99C5181-3536-4569-8988-E12759EFBC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e540469eeca447506cba8553e8dbe095c6a67a","datavalue":{"value":{"entity-type":"item","numeric-id":3546343,"id":"Q3546343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$D3FEDE1A-A426-4ECE-862D-16D6EF3EAEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d720f0c7d01ab48ba569f9365b68151360f293d7","datavalue":{"value":{"entity-type":"item","numeric-id":3401132,"id":"Q3401132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869433$9B99EA42-918A-4A0D-9C3B-B6329425CD08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully abstract normal form bisimulation for call-by-value PCF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fully_abstract_normal_form_bisimulation_for_call-by-value_PCF"}}}}}