{"entities":{"Q5739359":{"pageid":7768911,"ns":120,"title":"Item:Q5739359","lastrevid":52576001,"modified":"2026-01-23T00:37:06Z","type":"item","id":"Q5739359","labels":{"en":{"language":"en","value":"From applicative to environmental bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6603854"}},"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":"Q5739359$5F8486FA-35BA-4E43-BD1E-417530BCDEE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1ff346476a751d6444d5fb8dc0ec2ea6c7fa75d","datavalue":{"value":{"text":"From Applicative to Environmental Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739359$B4429F7C-287A-47A5-AE37-C9F903D79196","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91339557cdb4d214f6ddbe5e9a000cfdb62d0ed8","datavalue":{"value":"1342.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739359$8E4211EC-815F-40AD-B5A2-CCE69CB969B2","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":"Q5739359$186112AB-4DE8-4129-9497-F693ABA4BB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0859f0264c06097e37f924eb5410948debb1e134","datavalue":{"value":{"entity-type":"item","numeric-id":857914,"id":"Q857914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$124037B5-298A-412C-BD96-6BB1DA995869","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":"Q5739359$F44A640E-16A8-4672-81AD-3AD8B63713FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$0CD64C21-2E01-4719-A9F2-41335DE1D3AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78adf6e76276ee5d7f342d12b99cf64bd7a4e40c","datavalue":{"value":{"time":"+2016-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739359$7D104C39-91D5-49EC-A157-CF1952FCB0A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739359$BEFE0A3F-FF75-44E5-939D-901F50AE40E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739359$6C71D3E2-96B6-435E-A874-6B7BDDDA0093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739359$A830BEA9-2E9A-46C7-B5AA-0FB48DB42933","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6472d1fd4e4b15eb1268d8b817a65a1e692c7546","datavalue":{"value":"6603854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739359$0963805F-7580-4C05-841A-58CDA9D9E249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0b6b561661f7ff738af74c31debb838e599d93","datavalue":{"value":"environmental bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739359$4C77ED0A-4365-4268-A332-98962819DB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88604c932a4378b4fbbfef3c13b130a9daa220f7","datavalue":{"value":"applicative bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739359$2F03B926-C068-4F5E-BA26-E9B593E0DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5f96ee27011412b92d5d55f9acaf0f31ccacf2","datavalue":{"value":"local state","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739359$FE7E139E-EA66-408D-BFD3-36C12E1822A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000a0af24a17a8e2618537958e1d4878d42da202","datavalue":{"value":"existential types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739359$2E1970CD-8F7C-4346-8141-6D7631B1839D","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":"Q5739359$C61A4495-8602-4E51-83D4-DA1BD9A0AB9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c0dd3c4180b60e3dbe04f2ef1ea00d199d61a35","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.09.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739359$9B699392-540B-4F8C-A43F-5F960E61429E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff8735a94e321678521722bf602406a78cb2d83c","datavalue":{"value":"W2038116769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739359$3523F068-D641-4FDD-BBEE-248FA7738070","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"29df929e831178b410102b0ec2d0ec019320b538","datavalue":{"value":"Q113318222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739359$02B98CA2-2259-4C94-8DAA-406D46606754","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e1d51906565a89ff0371f44397b9aff5039a00","datavalue":{"value":{"entity-type":"item","numeric-id":2757081,"id":"Q2757081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$1A354929-8B70-4EC4-AA91-EF8660084D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145e622600d34e2e2f04dd6d81034ed240f20627","datavalue":{"value":{"entity-type":"item","numeric-id":5176935,"id":"Q5176935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$A5898B7C-3A09-4E2F-8230-9E4DE90C797B","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":"Q5739359$08FD3FA5-11BD-4AE6-8ADE-7A7F41273441","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":"Q5739359$C241A492-EFCF-4691-9909-49DE1D2928F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38afda5b02f7521f890d112a8cba2020fcff83","datavalue":{"value":{"entity-type":"item","numeric-id":1882896,"id":"Q1882896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$045DAE45-0142-4C41-A193-D5DF4649D3E3","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":"Q5739359$20E9E54E-26E3-445A-91FB-E9B59FE5188D","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":"Q5739359$519A636C-2F9E-4A1C-AEB1-CE7A750AD27C","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":"Q5739359$22410F6A-A87B-465C-8B68-F2FF36B34067","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":"Q5739359$D7EED1A3-CA1F-46E1-B5B0-B23070CD5FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80be655ea2068c75ffb129d49e2a04a12b4cd9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1314360,"id":"Q1314360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$9F8AFFD2-D085-4395-B70D-EBC42204F6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$03B71474-0508-42C0-B67C-A9079F0FAA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$3CEA7EDA-86C0-4076-99CA-158099AF3619","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":"Q5739359$7A4B9172-8A3E-40B5-8ECA-3ADBA86B2185","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":"Q5739359$2E02B7C3-6422-44B2-9D72-38062ECB56B5","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":"Q5739359$91145A02-C85A-4CC8-B734-E521F6770952","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":"Q5739359$BC9EDBBE-ACAB-4D4E-B2FA-26764095F605","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":"Q5739359$8B9380AA-3FE2-4CA6-BEE2-4FDB5E1BEDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c84e7af85fc692c87baa7ebb91f8c4491e61e0","datavalue":{"value":{"entity-type":"item","numeric-id":5878918,"id":"Q5878918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739359$D0B8869A-5C57-4353-BDDB-045B73788F64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42886d51b6c4d156490c941aa8dc9558191d026f","datavalue":{"value":"10.1016/J.ENTCS.2011.09.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739359$95CB430F-C536-4DE0-9D88-A0939C1569E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f08ea074591f94ccf2b61cdcc111f99470400f","datavalue":{"value":{"entity-type":"item","numeric-id":2828300,"id":"Q2828300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3510aae12c9bb2b5595e5ee456dbcb87539cbd93","datavalue":{"value":{"amount":"+0.8125976324081421","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":"Q5739359$98C10AC3-2EAD-422F-B991-E660A87F497A","rank":"normal"},{"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":"55bc5f2cd272f3c4e158aedd6396f1b2fabe0412","datavalue":{"value":{"amount":"+0.766469419002533","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":"Q5739359$4928C134-83CA-416E-8445-E2E75B28D1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d781ebd667996ff8fd8e7b634b7ff841beaaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8970a8e85fe1eebe023909155ad5ee5f838fa65b","datavalue":{"value":{"amount":"+0.754185676574707","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":"Q5739359$DC25B700-2548-4B9C-9B3F-FC60D3C23031","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":"e68b498bb9ea045a5cdae0918d67fa8cf1ce560e","datavalue":{"value":{"amount":"+0.7435234189033508","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":"Q5739359$8B8BBEF0-DFBA-41FF-A403-CB3EB06A9563","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":"74a339787dd46c2fb1de36812f7aba70f83f1aa5","datavalue":{"value":{"amount":"+0.7401759028434753","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":"Q5739359$007AD700-DC99-4E94-B2AF-9BA0566BCF5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739359"}}}}}