{"entities":{"Q939161":{"pageid":941009,"ns":120,"title":"Item:Q939161","lastrevid":50433716,"modified":"2026-01-14T01:18:02Z","type":"item","id":"Q939161","labels":{"en":{"language":"en","value":"Bisimulations in calculi modelling membranes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314957"}},"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":"Q939161$DE303776-A6DD-48F3-8812-65C826D6BDFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"801ca8a785f7ef65974f2fa25c28f7a98766d5b3","datavalue":{"value":{"text":"Bisimulations in calculi modelling membranes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q939161$45158C57-8019-4777-A4CB-B8A842B9FCDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4659b94c4f51a7c84f780795353cbda31aa9e71b","datavalue":{"value":"1152.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$6C5FE227-4A7C-4CEA-B3E9-BB5DE3E8B84E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ede3fafe483c29884e9afb23f7dfc1d9bca1147","datavalue":{"value":{"entity-type":"item","numeric-id":264545,"id":"Q264545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$C21D4313-3CE0-405C-AD92-661A19828ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$DAA605A8-8BB3-437C-B974-7A07B187F550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479d1038b6b48ff3b38084f7171d92adb9c96ad","datavalue":{"value":{"entity-type":"item","numeric-id":256971,"id":"Q256971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$E00D50E0-7F88-45D7-81EE-D5F8928BD13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24875f9ec8cab93424313cc3583a741f82ef4ce","datavalue":{"value":{"entity-type":"item","numeric-id":418835,"id":"Q418835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$AF7D4910-D288-48F4-8AFE-19B3501194CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$7FB5CD71-E721-4BEC-A322-896DC17A7DF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecf47d86a87dfc936a87ed03391c6206ce3dbddc","datavalue":{"value":{"time":"+2008-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":"Q939161$E6613337-3D89-4015-AB92-EDC4B4F1CDA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$69724C60-3C6C-47CD-BE96-E85A766EC191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$1515C7DF-6A76-4A40-8393-DC0D9D2B73C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$7743091E-5362-4015-AFE8-A7AE751B2E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$FC055266-08E0-4726-810D-99FFB6E250DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$24937DC5-B3C7-4FBB-BCD0-B88200E90C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb6ff57da5c76ad659aeb94b3df9cd98b4ae6e1","datavalue":{"value":"92C37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$38294DF0-E084-4AA7-A369-96CFEDF48EE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c546c9409489cbc7ff759bb9742171356274e70e","datavalue":{"value":"5314957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$F6C618D5-FF94-42C6-A3FF-4F436875F917","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2962fd3ddb4237f81dd6e3a648bf8e97748724","datavalue":{"value":"Calculus of Looping Sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q939161$A378201E-8654-4678-8250-9F06C773D002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9083f7d922866f3833031706db89313f301746b2","datavalue":{"value":"Brane Calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q939161$EC22D27A-0BEA-419C-94F9-CADFC752A6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"413bb7dfb7c3ba583f1666462276cb2fec8f17f4","datavalue":{"value":"Labelled Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q939161$504242DA-457A-4AC1-9695-AFF61E291085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"160cdf8e154b0dd8422a87931f35ce57ef434a38","datavalue":{"value":"Bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q939161$9C2D6893-7890-4FAF-A9E7-874D50AB835D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edca574774da9379b192e772b25e7a9ea845a009","datavalue":{"value":"Bioinformatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q939161$687353F4-4CA4-4469-8ABA-5F1A4EA5731D","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":"Q939161$EDCC8FCB-0175-4E61-8029-9DB2B72E8280","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"340717094b6d64a6f08363a243cf7ab66bd51741","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0071-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q939161$7D6984C1-CCED-42A9-B333-C5277AB4D232","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fd7a6db232d88f5ccbef6a8763cbe2ef6b3a5e6","datavalue":{"value":"W2040270674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$6E4A5684-8118-4E2D-A65E-AF86185252D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f553acea82991f68f999bd4ad304bedf513f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":1884863,"id":"Q1884863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$23873930-7A3D-42E3-8A08-67C23EA6F677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccea8d988076b7864922035450bc8bfe1bc57cba","datavalue":{"value":{"entity-type":"item","numeric-id":5486047,"id":"Q5486047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$E3AD9E96-8601-4E6C-B65A-069175F91E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6caa6919ed7964ebf22f03b8a0d762ea789580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3525142,"id":"Q3525142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$E52EB38D-3C7F-4CA1-A79B-93C0643B4922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557c8e6f58a6cf3a18d88c4cab8d603ee71fd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$2F553C23-F86E-4227-B2D6-E452D395876C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986dff955b3323903dc04ef58ae4ff4b0eadf895","datavalue":{"value":{"entity-type":"item","numeric-id":1884862,"id":"Q1884862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$FF6A82F6-5F4E-4939-90A0-5CC8D7146791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180ece59e5bcaf3f44118be7fe836a1a57329f9a","datavalue":{"value":{"entity-type":"item","numeric-id":1884867,"id":"Q1884867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$218AD333-9107-4CEC-8814-C3C5A4A37850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49a241346a72d41a7eed6a4ace2f8994bb45cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1884864,"id":"Q1884864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$A588A856-FE9D-4729-9084-D9D9FB80D9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$3B59413E-7047-4999-8082-2224305F9E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$7CAFADB3-EF42-4A43-94E4-EB02472EE0DA","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":"Q939161$1C2BD7C4-C4D3-4055-8DA5-590EF2AAD92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$619B188F-DAA5-4B71-BBE3-2EFE42F520CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb41d95ac6b19b3c7aa547d272e7788124eb1be2","datavalue":{"value":{"entity-type":"item","numeric-id":5712405,"id":"Q5712405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$81AA3102-CBCB-4BF8-B87E-0077F4E15BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$26201AC3-73D2-4B91-9D58-41669059BFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$7B7618A7-E3B2-450F-9A5C-55940D819FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd7a451b47e8f1a3592e5ad136aaeb22af8ce40","datavalue":{"value":{"entity-type":"item","numeric-id":5958468,"id":"Q5958468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939161$40505410-4D02-4B8A-835F-DE2764A73BE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23cdf556a0a7aaad2562d3ff6017c97240962eee","datavalue":{"value":"10.1007/S00165-008-0071-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939161$EAB79793-884B-4EA5-BB8A-12B480960FD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0a89eef2aa26b376dce94b948f91a4d3f56ece","datavalue":{"value":{"entity-type":"item","numeric-id":3525142,"id":"Q3525142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069eb17d8ed05a619211bf5b404a527feb6e277d","datavalue":{"value":{"amount":"+0.8047225475311279","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":"Q939161$6549A626-9D02-467A-A761-8EC299E94F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8062d0c018ee3d448e3661c879dddb77159207","datavalue":{"value":{"entity-type":"item","numeric-id":5452048,"id":"Q5452048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355f82ea7374688268a61ff14de1d3409d07e42e","datavalue":{"value":{"amount":"+0.7788637280464172","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":"Q939161$DF9D64B3-AA22-4908-9EF0-BC235DD7883C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d373c8b8ec88bd14af3c6789034143b7541d40","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091b95e90dd62b5fd0596661aea9b55f4687a420","datavalue":{"value":{"amount":"+0.7311417460441589","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":"Q939161$1A690EA4-8190-49C8-9D3A-D4274071D1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3842af06f5596bbd6da4207773eaa820d634d7f5","datavalue":{"value":{"entity-type":"item","numeric-id":5262542,"id":"Q5262542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec9fe4edefa3b2bc27863bfb1293ec52695b28a","datavalue":{"value":{"amount":"+0.7241872549057007","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":"Q939161$0FE955BA-2F1E-4C05-ACAD-4D62DEF2A207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeccf65ec7f49d6286f34a1ca7e5b0cebd5fa14b","datavalue":{"value":{"entity-type":"item","numeric-id":5958770,"id":"Q5958770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1eef360bb49e323ab0dadd361b9c418cc55a9c","datavalue":{"value":{"amount":"+0.7216061353683472","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":"Q939161$8C12A4D9-292A-47D4-9712-3442DDFC072D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:939161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:939161"}}}}}