{"entities":{"Q3179291":{"pageid":3189999,"ns":120,"title":"Item:Q3179291","lastrevid":52706339,"modified":"2026-01-23T07:58:11Z","type":"item","id":"Q3179291","labels":{"en":{"language":"en","value":"A sound and complete bisimulation for contextual equivalence in \\(\\lambda\\)-calculus with call/cc"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667492"}},"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":"Q3179291$3F3E7921-1189-433C-9F89-337958284CB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a23b763b7da3c6832c8894f21b457aa9c5e42c42","datavalue":{"value":{"text":"A Sound and Complete Bisimulation for Contextual Equivalence in $$\\lambda $$ -Calculus with Call/cc","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179291$EF03114D-3D4B-478F-9D77-91A61CEEDC99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d956436561d48d393ca410298232d8f0fa88d80a","datavalue":{"value":"1483.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179291$A97C4D68-4EB0-484D-A641-F50271E46147","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a4be1113000347ed850512fff210ff46318030c","datavalue":{"value":"10.1007/978-3-319-47958-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179291$8DBF9C62-F486-46F3-8899-C3818F7A663C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cabbd4101ea5030d21e4f25d00027bd6bea8f461","datavalue":{"value":{"entity-type":"item","numeric-id":3179290,"id":"Q3179290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$8AAAEE42-4614-4E13-9135-9AA2EF4BF3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f570b16f91c28c517fdac836475d6b0031f634","datavalue":{"value":{"entity-type":"item","numeric-id":238499,"id":"Q238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$7AEE02A0-7097-40BE-9AF0-92297E35BA98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$E34ED11F-5B4E-40ED-8B97-410429D5D05C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179291$E8B9D82C-6637-4AB3-BE43-284C61035415","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179291$52C92915-3F67-494E-A1A6-E4E273C542A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94edc892ad17db3865e5e45927b63d50828181ca","datavalue":{"value":"6667492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179291$AAF8F9B1-EFC2-4C71-BD3C-E75EFF1C9BCE","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":"Q3179291$8939C894-5C2A-46A9-92AE-4CC3FA727ABC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba29f692bad0a932a199df58b41c7331bfc6cb0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-47958-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179291$25C98502-FD97-4632-96F7-D85C151ADC2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cec0bf6f4cabad539a118d9fdb797664534670d","datavalue":{"value":"W2527872993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179291$1B1988DD-75FD-490F-A16B-AF79760530AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0b2b719ed8be92433e1b57b1f5d1a9cbfed6e3","datavalue":{"value":{"entity-type":"item","numeric-id":5369474,"id":"Q5369474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$6D5F7DA9-BF78-4280-86EA-41F206685D0C","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":"Q3179291$2C8C3DF1-6142-4CAE-86AA-C4BEB6E54133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff7f1b6e19f2ec28c1ed48f078aacb35f9f8696","datavalue":{"value":{"entity-type":"item","numeric-id":2937796,"id":"Q2937796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$7C8574C9-2D4E-41C8-9206-FE9CE9513372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff33ec0f70d39b662faf6224db55ac78dbb9cc20","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$2B5CCE7A-0C00-4545-B7FF-B56816FE71D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$70CE039C-9D3F-4CAD-9EE8-060EEC3DA269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$33275D92-7905-484C-88A6-9EF749D2EDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfda309eb42a5b38774d05c4351d124f0ce0084","datavalue":{"value":{"entity-type":"item","numeric-id":2942857,"id":"Q2942857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$0086657F-198A-4483-A829-5C64D6CB9C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61faceffb3f750bffd90088b2ab74cece1f02958","datavalue":{"value":{"entity-type":"item","numeric-id":5261274,"id":"Q5261274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$27A7A78A-FAF3-470F-BA3A-1A45BB9C366A","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":"Q3179291$4B1F1ABA-3004-4822-84DA-69C90A036A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9a991a2c760ee7428a40bd667df868cd32c9f9","datavalue":{"value":{"entity-type":"item","numeric-id":3184753,"id":"Q3184753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$49419880-DB37-4C36-987E-FA543A8436FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d57d6e758a53af039fd322c1223d44649cdeb7","datavalue":{"value":{"entity-type":"item","numeric-id":3644766,"id":"Q3644766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$8F454E20-D739-4820-A3DD-8E425F8F0461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25d503739dfb5bef7232e5c56d10b9c20660a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5899513,"id":"Q5899513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$6DBCC090-6920-4E9A-8C9B-1C2675F053CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2c941835a5c82b5329ed38a363d3717f39c681","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179291$80EFF84A-2A40-476F-A23B-0EBB9C2690FE","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":"Q3179291$846C4934-D610-4D46-ACC4-C18A1EC00E87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87be3d9c9b78f748d2f4fca63733e135a824b888","datavalue":{"value":{"entity-type":"item","numeric-id":5377471,"id":"Q5377471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d41b5d2851818692bc51fbc318e24c112bd24f","datavalue":{"value":{"amount":"+0.8256176710128784","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":"Q3179291$2ABB4517-3B07-404F-8C34-F098019E84BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce4d8c7ff41d622ab5ed6f37af63a8792dc372f","datavalue":{"value":{"entity-type":"item","numeric-id":5376646,"id":"Q5376646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fc1809ab397de015ff44a3ecd61515165a9429","datavalue":{"value":{"amount":"+0.8149226307868958","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":"Q3179291$71ECA17A-58D7-404A-BC0A-AC1254914107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e93a2885fbfcad8c8d7d7bba6bb88774a65db06","datavalue":{"value":{"entity-type":"item","numeric-id":2892764,"id":"Q2892764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf72bc0b0a42131bc99aaf405f97699f292baae7","datavalue":{"value":{"amount":"+0.8139949440956116","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":"Q3179291$6E7CA545-8758-4973-8EE0-1F2761598C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bdfeb7906f3d46cde956192c2f4d2ed7dfd31a","datavalue":{"value":{"entity-type":"item","numeric-id":2900257,"id":"Q2900257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa57221e616d1a811e41186daa40dc6e958faad8","datavalue":{"value":{"amount":"+0.8002570867538452","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":"Q3179291$A00C7588-38F6-44DD-B5F7-B6D5439B9557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97213f4abcf4e8b14ba06467622adfaaf23c0640","datavalue":{"value":{"entity-type":"item","numeric-id":2937796,"id":"Q2937796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177f56d88eb98c2eab1e9344521c805319ce6eee","datavalue":{"value":{"amount":"+0.7963956594467163","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":"Q3179291$DB9381C8-5A13-4875-BD96-3F66B97B0BA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179291"}}}}}