{"entities":{"Q1575255":{"pageid":1585995,"ns":120,"title":"Item:Q1575255","lastrevid":72229434,"modified":"2026-04-14T03:29:40Z","type":"item","id":"Q1575255","labels":{"en":{"language":"en","value":"A complexity analysis of bisimilarity for value-passing processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493202"}},"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":"Q1575255$2EFF7BAC-5DAD-4669-BD8D-F77CF78A03FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"088741997e8732af1e52f5c109ce2c6b2db1eb98","datavalue":{"value":{"text":"A complexity analysis of bisimilarity for value-passing processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575255$1D32D0F9-A99A-45B5-9322-CDCB3593F8E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c3f501588283d91af413e8aa1f5dcc0207d9e7e","datavalue":{"value":"0944.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575255$DEBB6548-6DCC-4CB7-AC31-3E34D1B8E71B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8152d0618a290a8f436eedbac18ba560ff010459","datavalue":{"value":"10.1016/S0304-3975(98)00177-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575255$04A2398F-0A52-4CD5-B462-00E39F046718","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$1D7FCEE8-25E3-443C-9EBB-0CDE91F1024F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-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":"Q1575255$48044AE0-C7EF-42A1-B984-502BCF4FB640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575255$006B867F-4AE6-43CB-8788-26C98B7BBBD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a9b45d1c16ea0b20ad4313255bd8710979a315","datavalue":{"value":"1493202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575255$AC4CBD90-E026-48A5-9393-10CF4F4B7EEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575255$938ECBBD-4957-4DFF-B452-EAEB260309E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac09cf04afb05716f9f6658c033f15b5679177e","datavalue":{"value":"value-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575255$31E44358-0396-4BAC-AA9E-50B6B33E0431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575255$AFB3C777-5261-4373-8019-90A3C3A966F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575255$EC4F7035-C419-4537-A933-B1F096B94DDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$7E0C9B60-1CFF-4E9A-84E2-2FF793B44105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1983f394fcb7d4ca5dc4eeb99171e529ab181fb4","datavalue":{"value":{"entity-type":"item","numeric-id":190553,"id":"Q190553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$2DCB1D23-095C-4F77-A0D3-16E51EBDEE8A","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":"Q1575255$A65D4CA3-D61A-4626-BA54-8626117B4E17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd90f9daaeb4d762fab84117a161e37a40441abf","datavalue":{"value":{"entity-type":"item","numeric-id":4293543,"id":"Q4293543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$D649E85A-AB5C-4087-B640-68331EDBDED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$0606FEE5-6337-42A8-8748-EA4171F7D9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$1A93CC3F-224E-4112-8297-B4BF1F5E1E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$731A79BA-0DB0-4811-B5DE-B01F943B287B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14ae6b91536743b933c1ba4609c1171229026f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$7FC1C777-418F-4C99-8EE6-78C667490AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$6D7922CA-BE00-45AA-812F-7F377529CC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$C6F744DA-FEEB-48C5-B9F8-1A6FD63F286F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$E931A48A-4316-419A-814F-DA767065164D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$7073A58A-846C-463D-895B-F7B21FFE974B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$7D500D57-9E7D-43C2-9957-57E3832C7DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$685EB6BD-AEE2-4AAF-B9A6-47C6AE36DBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$D71A6367-C6BC-4F6D-A5AC-F0D1A918D8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$B84BE952-A6DB-4AE4-B44A-D0F685F3E4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30eebd202e1d23be9819f5cc5a73c6f27b7e94c","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$3343AD48-C3C3-4581-A0AE-D52AFBD39F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$E11B266E-1F23-4E9F-9491-7BFF722C203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575255$66047295-3C85-4B69-B8CE-CF427A586D32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555c40957cb4057560738a93ef9d464833312c06","datavalue":{"value":{"entity-type":"item","numeric-id":2956690,"id":"Q2956690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5695153a5c844f316dcd66d01ca7614389fbdf8b","datavalue":{"value":{"amount":"+0.9875803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$81493973-846D-4ADC-A048-2AFB728AF311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc26d4dee458877bff4d05a9af78fdd49268fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":4222870,"id":"Q4222870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddacdc2733091b742e2622f4e8296e73eec59f1","datavalue":{"value":{"amount":"+0.9458875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$02CD3EFF-C270-4D95-983E-BBCBB11ED95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c90ff0dfb68d7391e6d85244c7a78020c07120","datavalue":{"value":{"entity-type":"item","numeric-id":2754155,"id":"Q2754155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53c294151126052732010ff2da114a7f84563c1","datavalue":{"value":{"amount":"+0.9052211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$4106F061-D8BE-4A4A-855B-BD9123D8BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e6a61673b875a192093fd91815c6efc9400b79","datavalue":{"value":{"entity-type":"item","numeric-id":1401395,"id":"Q1401395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33636fcbf7fadbb026086d257ba6d3b88f22814b","datavalue":{"value":{"amount":"+0.88971746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$42A7F327-EFCF-4286-A2DE-A5BB464D2EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b88f8b4c8f8d15f85d372838ae120a9e18014","datavalue":{"value":{"entity-type":"item","numeric-id":2849919,"id":"Q2849919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb7c44c58bff06f40603f3332b53fddb3532627","datavalue":{"value":{"amount":"+0.8882995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$B489AEBC-72BF-430E-8102-6267CA07F52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ffb7a4bd9af8ecb8a112a6be113733cfef6d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2365394,"id":"Q2365394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63beb8b4dea46f16c06b7ab0a13a2b76e3d5464","datavalue":{"value":{"amount":"+0.88668036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$7BF8261B-125B-4417-B6D5-06923AA9A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f5d78f480b6921447ce39edef910ddae9b542d","datavalue":{"value":{"entity-type":"item","numeric-id":1424356,"id":"Q1424356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fbddd7b791b8adebbe1e4fe5bda3f3fb82d342","datavalue":{"value":{"amount":"+0.88547635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$E62ACEFA-0686-4AFB-A17E-4ACE48324E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f973a3cf740520663fbae48533770d730c008cf","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8b15872c819b925bc80d3c774cf673756e4a97","datavalue":{"value":{"amount":"+0.87967324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$FF44C190-6F56-4E95-9A1E-A8C8CC2E0566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d297bcb452728c934fc795e02fceaa07ca1c3","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6f9bf5f325a23e8ecb8c63d2d3473ed9e37d85","datavalue":{"value":{"amount":"+0.8793664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$705F6373-EB65-4620-BB8F-F7D5388383AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8f785ec1ccc034fd80e0369a8ef8faff0cf777","datavalue":{"value":{"entity-type":"item","numeric-id":703845,"id":"Q703845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c415ce2a1e7aa503949d58e25b3530c2ce3df4b5","datavalue":{"value":{"amount":"+0.87892294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1575255$4438A365-4BBD-4CC6-B887-EC358BF2F8D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complexity analysis of bisimilarity for value-passing processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complexity_analysis_of_bisimilarity_for_value-passing_processes"}}}}}