{"entities":{"Q4017458":{"pageid":6047240,"ns":120,"title":"Item:Q4017458","lastrevid":55184383,"modified":"2026-02-04T13:26:17Z","type":"item","id":"Q4017458","labels":{"en":{"language":"en","value":"Functions as processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 91489"}},"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":"Q4017458$34B51CD5-F9F7-4747-82AF-F613B8F4B88D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a941c28af24f43750d30feea9851111205ba0f4b","datavalue":{"value":{"text":"Functions as processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4017458$1F3A525B-59E3-4E55-8A0E-308FE3F9F44B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3744d250e2ff9b5cd5cbd5d88f8baa4467789624","datavalue":{"value":"0773.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017458$521BAF90-293E-4B54-9739-AA3D73FBD989","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a84697df54abc3bc9809db1ad4d15bb365f4abc6","datavalue":{"value":"10.1017/S0960129500001407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017458$999ECAD1-D841-4E5F-8D08-60322CE996E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017458$7B551C04-DB3A-40E9-8A96-48260EE281B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4017458$8EBAC7E5-F825-41EE-88A4-F0D76DC667D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017458$389D2CE4-C827-4B77-A0D9-1C9405C3B847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017458$A4C58D0B-1326-4A58-B911-194629939094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"142f408eae0208269398ad608134df4e0201f221","datavalue":{"value":"91489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017458$A5F1923D-38D7-47F3-A2FF-3984066AE781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88604c932a4378b4fbbfef3c13b130a9daa220f7","datavalue":{"value":"applicative bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017458$3884A2F2-0D46-4DAD-92A1-95E64949882B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017458$42C66B56-112E-4DDE-B8A9-6A7F562059BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017458$20ACDAC7-0EB2-405D-8AD3-97567DB6208D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017458$A8079479-3802-41AA-8E19-57F2BAC4D8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"118df20405df10095a484a0f13c1394b0e814c6a","datavalue":{"value":"encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4017458$6E9E70C3-55FA-4D12-BAFD-7B8CA4777888","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"00ee5d3c07e4dce3b1d52675664f65a2ec62155b","datavalue":{"value":"Q56019900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017458$FA0BB220-95F4-4F4B-881F-205357B160FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017458$91C84DAA-F257-4435-892E-B171B4BBF649","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":"Q4017458$4C71FC40-8F6F-49D9-9501-96D8167F7141","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017458$E165493D-D749-4ED6-A5AB-C13082700C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017458$E0F8AD38-1C5B-43CD-8BEE-0B4E5FA91134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4245995a5f9f440bfaac6125f37b7015daea0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017458$9E91AA96-E6BC-4292-8DCD-77CDC8A5B4D8","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":"Q4017458$4D6BB1EE-2B82-49E0-9D92-23DF0B3EF4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017458$0C4C77A0-BEF1-4A80-B73C-4000C582D4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017458$143C1C83-C7A2-497E-A096-1C8BBFAF498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4017458$1CD7C3CD-3841-40F0-8745-90626172CDA9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"20ccf4598dae735fd37f34438bac95b823419aa3","datavalue":{"value":"journals/mscs/Milner92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4017458$53840EE9-6569-4B58-82D2-DB481F6153E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8376a9b693fe02a6200b18de9ede56ae80f4083","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680cc9d9f853e9ee4fab3afde76a7840dba86fd7","datavalue":{"value":{"amount":"+0.9674559831619264","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":"Q4017458$A487EF38-4BC4-4878-B308-E0CBB12446BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4271cc3f791f0052fc51806960c4cd8ef56f02","datavalue":{"value":{"entity-type":"item","numeric-id":4585071,"id":"Q4585071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125965158b1d4b31560a90f1700dfb7871ce846f","datavalue":{"value":{"amount":"+0.9660344123840332","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":"Q4017458$59D081C2-E80F-401C-BA48-AA14EDD521EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9545d657b5f295c82a9048a453e54de77d9f99f2","datavalue":{"value":{"entity-type":"item","numeric-id":5890045,"id":"Q5890045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60564ae5969a4bbb242208537fb8b9d714711757","datavalue":{"value":{"amount":"+0.8977603912353516","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":"Q4017458$9AA72450-B628-400B-B565-FCE60CAFDA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e287a1bb505c1bdb8986b18e47f0b5149c76f27","datavalue":{"value":{"entity-type":"item","numeric-id":2123050,"id":"Q2123050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ef20e642b3fe4ef766c32499bb513e5c8db3a9","datavalue":{"value":{"amount":"+0.8575040102005005","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":"Q4017458$833E9670-46DF-4BFA-B8CF-46E13077D72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c0ee0588193979780294db39c97d3549d287a3","datavalue":{"value":{"entity-type":"item","numeric-id":5145310,"id":"Q5145310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad00b1964ee68b0002dfb954aa60ad7814e5f02","datavalue":{"value":{"amount":"+0.8575036525726318","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":"Q4017458$AD082225-774D-4DC6-B0CE-9313C4F271EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4017458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4017458"}}}}}