{"entities":{"Q3584942":{"pageid":5614846,"ns":120,"title":"Item:Q3584942","lastrevid":49628557,"modified":"2026-01-08T12:08:05Z","type":"item","id":"Q3584942","labels":{"en":{"language":"en","value":"Efficient Bisimilarities from Second-Order Reaction Semantics for \u03c0-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776473"}},"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":"Q3584942$3D8D7EB7-F9DE-48AF-8DAB-FB1DCF2EB7AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d2225d9a74b62bbc2c19045691cf4f6308b8b72","datavalue":{"value":{"text":"Efficient Bisimilarities from Second-Order Reaction Semantics for \u03c0-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584942$010DF629-DBEA-4DF6-9FD6-19E6E5DC542D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ece5b2679c4db485845fdd9f2cbc1d0913b1ee3f","datavalue":{"value":"1287.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584942$05D6FA8A-72D2-46A7-845A-BA743E3EA87B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa54a0072fe3a2c00327c427edafbb88606528c6","datavalue":{"value":"10.1007/978-3-642-15375-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584942$71547F35-273B-4192-9D90-906785A9DB8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f97058f80ad0e559576a478b1123296489a1948","datavalue":{"value":{"entity-type":"item","numeric-id":817857,"id":"Q817857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584942$29F617B5-871B-4320-AFA2-A55674CDC7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af0835098c10711bbf76131ba3fe865f1ec95c02","datavalue":{"value":{"entity-type":"item","numeric-id":315292,"id":"Q315292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584942$FEE7277D-7179-4757-B4FA-242EE8E5F42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584942$666E5E33-02E8-48E3-B6BF-F0ACFD7F44B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584942$E7AA20A4-95CB-4CB8-9B12-36E9AA483FDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584942$6A7F4E9A-8D6A-4F92-8CF4-92A9AFEC1CD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584942$D347E4B9-41B8-44D7-84E8-FFAAC43843C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8934077452e61543d1680e2ff28222e54ebc847","datavalue":{"value":"5776473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584942$01DFCE75-8058-4646-8A7A-D9099AC76417","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":"Q3584942$0D52C89B-2679-44D6-9D58-D5F23BC3175E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7322d8a8821bcf6e39a2a35d35433bb6861ade32","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15375-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584942$0062948D-D01B-4DE1-B31A-6F1FB03BCC57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00d7c21560ba086200a18e2d6b5278cd32f3f2d3","datavalue":{"value":"W1852605438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584942$FB700043-D9E6-4075-9E31-19D5BE8FDAC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad769446f6773c77e1349e410de920fc633db87a","datavalue":{"value":{"amount":"+0.9142803","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":"Q3584942$9A6EA11E-05DD-4232-A35C-545FA3B434CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c903a5fd9b14189beb7ffc5773f6f9730b64c2fc","datavalue":{"value":{"amount":"+0.9020343","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":"Q3584942$94C654DD-ED03-48F0-BE21-E59C5DFCE502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614872894ff3feaa35db7566d946b74376376a07","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7fde04f41fed62b4615ad8712e13973abbce8e","datavalue":{"value":{"amount":"+0.8967693","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":"Q3584942$784FC4B9-DCCA-4EC2-A823-81062FA298B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89accc791434a16b308b1bd728dd09f8527ef6","datavalue":{"value":{"entity-type":"item","numeric-id":442289,"id":"Q442289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618c7c4e3ad25d9d6e60f394820f8bfc537b49fc","datavalue":{"value":{"amount":"+0.89676917","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":"Q3584942$1E7BD5B4-8672-4DA1-9EC9-452A442727CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f840d22194c8aa13253958c6ebed44b80dda263f","datavalue":{"value":{"amount":"+0.8858801","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":"Q3584942$608514C0-5ECD-4FC1-AF23-922BC2EBF286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac78d05937bf3807a8aee553455b9b8ad121f36","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5b59d284d27703173068be11ffc890bfc1d3b0","datavalue":{"value":{"amount":"+0.88358396","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":"Q3584942$CCE002FE-0BC7-495B-9238-4E6A38E946DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bd208339a4b17c15aa25bd556ceab95a02bd96","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0872b858e793f5e4855ba9ba6b45fb86bda4130d","datavalue":{"value":{"amount":"+0.8802198","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":"Q3584942$B4ECC78E-80D3-4677-8DBE-1A61BD14FA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e74d2b53c8b1403baf62edc50d4d6ebbca298ee","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0872b858e793f5e4855ba9ba6b45fb86bda4130d","datavalue":{"value":{"amount":"+0.8802198","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":"Q3584942$3BA6DB6D-A902-49F5-83F7-5E89C4FE5C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07490e1bce39583a5e0e8b2142a40bbd51002c14","datavalue":{"value":{"entity-type":"item","numeric-id":5096731,"id":"Q5096731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c82882fdb5cebeedf0da4b1080b34e4f209b394","datavalue":{"value":{"amount":"+0.8796518","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":"Q3584942$D46593FB-FAAB-4D82-BA13-0E45745DE751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becad3aa3627e7507addd85d604b6bb3606cb39a","datavalue":{"value":{"entity-type":"item","numeric-id":3525077,"id":"Q3525077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e781a821eabc52cd7544f59734f0d50d9cfa51f","datavalue":{"value":{"amount":"+0.8792101","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":"Q3584942$0516E096-4471-4607-ADFE-C802E1C1DC54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3584942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3584942"}}}}}