{"entities":{"Q5458401":{"pageid":7487960,"ns":120,"title":"Item:Q5458401","lastrevid":50334023,"modified":"2026-01-13T20:28:31Z","type":"item","id":"Q5458401","labels":{"en":{"language":"en","value":"Open Bisimulation for the Concurrent Constraint Pi-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262448"}},"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":"Q5458401$8DC18921-2CFF-46DB-A548-17E47C4A194A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a14e6cc1886d187eea61f0995f6454134c45a7ea","datavalue":{"value":{"text":"Open Bisimulation for the Concurrent Constraint Pi-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458401$F297A6C4-FA82-4BCB-B82F-E3088F1DF647","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf121024ee88448efedb25e4b7d976f76b317381","datavalue":{"value":"1133.68384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458401$CB5051AE-FD78-4B3D-9B7D-B67F0061DB0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcd4066e64bdf8dfe9bf047154416a3d71d91689","datavalue":{"value":"10.1007/978-3-540-78739-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458401$42933D5E-E137-452E-B064-ED7C367BDC72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e166654a480097b2e7c0b22d90b463ff5b599da8","datavalue":{"value":{"entity-type":"item","numeric-id":458464,"id":"Q458464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$5BF1B19E-AEEF-44F6-A6B5-E0339E0C54BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$94B23D6C-0099-4AAF-9618-5917723FF943","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$48DB9ADA-784C-437E-8F7A-F83A779A2675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458401$80F17162-836A-4365-AB15-5CEE825EFCE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458401$A82E8C60-99DB-440E-B7A4-F0F708120D78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a40b86f96cd95da77de6c0d83ba47c9f9eb7cfbf","datavalue":{"value":"5262448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458401$032CE30D-D7F9-4CCC-BA1D-FBDD0286B8BE","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":"Q5458401$33F50E0A-B645-4DA7-BB0C-F530F5188D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a62df82ae7ed74acc53eeafc1397230c31b7fab2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78739-6_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458401$AC90AD80-CAFC-4800-B04B-8FC2BB3FBC53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3905214d0bad73c7e1ade869174dde7ca7a3d625","datavalue":{"value":"W1539807509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458401$84F1355A-8EDB-4CE4-B509-3EEA265E3843","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$8FE10533-41B9-41F0-B9E0-A039680F4993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$C6FFDB2D-4A66-4CC8-B1D3-BC75B49BE80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c30143ac0412207498d22d9d4521cbb7abf1f3","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$ED048DEF-D8B8-483F-B58E-743A1A12CB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00333b8c091e6b82fbc0cc7a0877cc914b98fb94","datavalue":{"value":{"entity-type":"item","numeric-id":5756485,"id":"Q5756485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$79486F82-E4A0-427A-9136-63A820833DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c96bdb3d4f2f9d3aa5992eb44173f44559327d","datavalue":{"value":{"entity-type":"item","numeric-id":2767080,"id":"Q2767080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$22A9DFED-E78F-488B-9A03-2C21570403B0","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":"Q5458401$AB495A46-6D44-428A-9543-741BE8529E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$BAA32407-A2E2-45FB-A6EE-85714BA10E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6256b2db2c711c529394796ba7cddb346118eb58","datavalue":{"value":{"entity-type":"item","numeric-id":4475640,"id":"Q4475640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$5A8BEDF4-414F-4AC8-BE07-A897696896F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"048f941ca2ca4e6b0896d35023aa4be947f94d24","datavalue":{"value":{"entity-type":"item","numeric-id":4823419,"id":"Q4823419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$64F79445-D62A-4D68-ACC1-2165A17FC75A","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":"Q5458401$326E1213-0873-47E5-BAAA-4A6DA9A5C62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d804fe269a486a6aa4d7695e92fb3ecbf24d84","datavalue":{"value":{"entity-type":"item","numeric-id":6044121,"id":"Q6044121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$46D59C93-22E7-4402-9FEE-F11F8ADB9225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9f5f2dd713fe09ea324837c63fc620228dfc02","datavalue":{"value":{"entity-type":"item","numeric-id":5308470,"id":"Q5308470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$709A0222-62E7-42EE-AF0C-18C45D0D0D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cb876fd4dd36ff31fdabc99386e316ba8491e8","datavalue":{"value":{"entity-type":"item","numeric-id":2566040,"id":"Q2566040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458401$FEA6D6E6-B3FC-45FB-A54C-FE0DF6CA0D92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2163ab4a933b71c87343422da3c7d64470c87115","datavalue":{"value":{"entity-type":"item","numeric-id":3000605,"id":"Q3000605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c590f552717a438f1b4a5b07b840480e3851945b","datavalue":{"value":{"amount":"+0.8062059879302979","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":"Q5458401$7CD4099F-5832-47D2-AAAE-EE82BF4D8B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b64544da2481ad3e4d805a38a96b52c34f80141","datavalue":{"value":{"entity-type":"item","numeric-id":2465030,"id":"Q2465030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e6170a465318a506e2d3a254a262e4e6f398ea","datavalue":{"value":{"amount":"+0.7834771871566772","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":"Q5458401$C1528D96-13EC-4B4C-80B3-01017D55E515","rank":"normal"},{"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":"f898717c6654e44392b3ce03c2cc10e3fc132e10","datavalue":{"value":{"amount":"+0.7793333530426025","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":"Q5458401$0FA80B09-F173-4226-A373-A090191DC4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d406a7f1e8ed290248a08608149556f1b57bc6a","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11877c002d75cc327dd5f5553664553e78b76234","datavalue":{"value":{"amount":"+0.7763833403587341","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":"Q5458401$8C75D0E3-FD44-4C14-B17F-1A84DF9ED755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222e2133091bfe0c0c8aa8de7a6640840cd51bf0","datavalue":{"value":{"entity-type":"item","numeric-id":2852066,"id":"Q2852066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fc8a4f4020eab69a1bf1ea4b7e96f5581073fb","datavalue":{"value":{"amount":"+0.772774338722229","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":"Q5458401$1E6D1D3D-C8C4-46F8-94AE-C1A35C72B9E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458401"}}}}}