{"entities":{"Q3401141":{"pageid":3411844,"ns":120,"title":"Item:Q3401141","lastrevid":88112315,"modified":"2026-06-04T13:40:18Z","type":"item","id":"Q3401141","labels":{"en":{"language":"en","value":"Observational equivalence and full abstraction in the symmetric interaction combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664121"}},"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":"Q3401141$EDC8AC86-588A-4D0A-A1FB-4FA7FD16C310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a9af5f0e492f595b67b983937f2de7e09092fc0","datavalue":{"value":{"text":"Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401141$E6451A3B-C673-4D09-B38C-FAD1793A2053","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a2e918c21ab1f2897982ef86d4e859bbd3543cb","datavalue":{"value":"1187.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401141$9AC79062-56AF-41E2-A8FD-1178C2C307BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b35ec5b4a72afe252aa02898e57087784f61e403","datavalue":{"value":"10.2168/LMCS-5(4:6)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401141$D4F0D481-FF91-407C-A6E2-7DEB6A868C17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a303dc6c6ba96a46337e1d0e93092448decb04b","datavalue":{"value":{"entity-type":"item","numeric-id":1044840,"id":"Q1044840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401141$76419EA7-2556-44F7-BBE9-958FC278F626","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401141$A3C39750-4BA0-47A2-B9E4-76E6547CC0B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401141$939B0381-41E1-420A-8853-45E31096856F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401141$FB7602FA-9242-489C-BA25-2F10139C0A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401141$A5E6D2F2-55A3-40CE-9843-0F1328F17FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401141$8E68A8EA-E1B9-4833-888D-F776E8007922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401141$570705B6-5D2A-440E-B79B-5E4C40274CDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c45838646f261e63d4790031c055d4d9cca63d64","datavalue":{"value":"5664121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401141$5792B033-57AF-46D2-8E40-ADAFE9AA3E4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d3f33dba07f2ecf13943d6d4dff8b86dbe50f9","datavalue":{"value":"interaction nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401141$CF7501D6-868A-4880-BD44-5726A42C5B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401141$4349BD80-B8EE-4304-9F19-474A4A57FD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401141$C2CAFB7E-33B3-449C-870B-44E3E031CEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401141$A0E9E5C1-B171-4FC7-BE3F-AE47601F5F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401141$D1D71600-64D7-4948-822A-2B82E44575A7","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":"Q3401141$F0027657-1AF8-4CF7-9EDB-AF7B0B900AA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ade1916aa4812086b66e57a38fba5d161dd1620","datavalue":{"value":"https://doi.org/10.2168/lmcs-5(4:6)2009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401141$75E61724-0703-45BE-88EA-55A23C73A17A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43ff8d7d73f67a268e128f92b5133c8e7f220af4","datavalue":{"value":"W3105059550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401141$945D806F-5BB9-4F0B-92FC-1B0CA68DF98A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8e3c70135666d49cc927ff509520c99ccc4594","datavalue":{"value":{"entity-type":"item","numeric-id":3612639,"id":"Q3612639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310ead0f90ded0ea167559d5d22130fc4b6770bc","datavalue":{"value":{"amount":"+0.908411741256714","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":"Q3401141$E28CC345-E254-47E9-81EA-DC08A351991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4588bc0af8b63abf47fb0498a5b4aea866bae0","datavalue":{"value":{"entity-type":"item","numeric-id":2892780,"id":"Q2892780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d834bf4a9c535d4b33745e8a4c191f79194430","datavalue":{"value":{"amount":"+0.8994587063789368","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":"Q3401141$EC4F909B-66E2-4FB0-B4F1-EC346AB1C6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14fcb47f5f33cf2bdc773e622d16b92c4b2b6259","datavalue":{"value":{"entity-type":"item","numeric-id":5308098,"id":"Q5308098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d02f986a56f588463fdf32b44c82ddbb139c7a","datavalue":{"value":{"amount":"+0.8232644200325012","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":"Q3401141$C230A7CC-3E35-4226-A698-67357AEEE2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0c395be4bc5b4af49167268a06b0a17027c922","datavalue":{"value":{"entity-type":"item","numeric-id":2867902,"id":"Q2867902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32acc621d418d4ce41f174fc22ccf823f55f232b","datavalue":{"value":{"amount":"+0.8196356892585754","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":"Q3401141$20109BA4-5E9E-4B28-976E-F8EDC67F55A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304a6965516acd233825c6b42aca27cc97285809","datavalue":{"value":{"entity-type":"item","numeric-id":1401297,"id":"Q1401297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02165652e675cf7a321231a5d908ec06d5d23738","datavalue":{"value":{"amount":"+0.7415765523910522","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":"Q3401141$E19BF0F5-C7C9-4B8C-BA43-75653BAC79C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observational equivalence and full abstraction in the symmetric interaction combinators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observational_equivalence_and_full_abstraction_in_the_symmetric_interaction_combinators"}}}}}