{"entities":{"Q1887152":{"pageid":1897894,"ns":120,"title":"Item:Q1887152","lastrevid":48380674,"modified":"2026-01-04T13:29:30Z","type":"item","id":"Q1887152","labels":{"en":{"language":"en","value":"A spatial logic for concurrency. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118417"}},"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":"Q1887152$F27BB86E-2B0C-4392-AE1B-DBC56CA21A77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb0598344bedac3d1ea6eff503899a3ed5f0cd02","datavalue":{"value":{"text":"A spatial logic for concurrency. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887152$76EE8EE6-566A-45B4-8645-BB69E26DEACF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba79e7c3af463addd337c7a268d21a5ae329366f","datavalue":{"value":"1068.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$22DA8F1E-957F-4736-AB8B-856F6C4D5458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63d5ee215af12642c54111e1d5b0c2143dd387b5","datavalue":{"value":"10.1016/S0890-5401(03)00137-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$BAC26C2C-8F7E-4CC3-BE52-016BF0895B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$77CA53E4-4E2A-4916-B52A-0124B5B96A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$DB289DCE-732A-475B-A763-171B76DE9882","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$11E4128A-C0EA-4572-8798-CD239A52BD49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887152$CB6C404E-839C-405F-9F94-A7E4C1112AD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85e0187c69d8036985a49a6197cdb7c91374c2e4","datavalue":{"value":"A logic which can express properties of freshness, secrecy, structure and behavior of concurrent systems is presented. It contains spatial operations corresponding to composition, local name restriction and primitive fresh name quantifier. At the beginning short review of the asynchronous \\(\\pi\\)-calculus is given. Later a detailed presentation of the syntax of the spatial logic, its semantics, and logical validity are studied. At the end, fresh and hidden name quantifications and the recursive definition properties are motivated and discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887152$371CACBC-B253-4C04-A5C8-B037AD3B7135","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$039E8645-BF62-403D-BD29-EAE7EDA6C08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$D3FFFC11-092C-4270-A94C-B5738D9B0FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$4C4A9391-8ADF-474B-BA66-4CDB9B07957A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230f8c62c1e4a77f2fc0137f1860a025a9ee9cc4","datavalue":{"value":"2118417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$5D98BC74-E75A-4D5A-9674-29C93D8AF707","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887152$7F924763-7ACC-4FB5-BA33-292169A08431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887152$EFD5FD6B-D6DB-4EA6-A521-437A2F2F0448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887152$39DE8C6F-CF65-4F3A-B823-39DE77E69D8F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b234cd8565acf343e923779b4644df5899e0b7a","datavalue":{"value":"Q56982113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$21C69F30-07B8-49B3-9D94-013E9DE89870","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$BAF46BD9-8AFD-4159-B9F5-1E5AB9537F81","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$6A4D837D-DDC0-435B-A8B5-45DBB3EEFECA","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":"Q1887152$59518C5E-7249-454B-84E0-5D737E5FE874","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfe35b9599eb4737f70f7b21b49d7c03e204b7","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$7656EC16-8A4F-426F-9965-2AC74A2C7CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7319e933ba15aa6f8a1d39375a8d279be83de2","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$CE15198D-088B-4E2F-91F2-4720D09040E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507038406dd5427cbe447a50c2fccf66314e1457","datavalue":{"value":{"entity-type":"item","numeric-id":4737192,"id":"Q4737192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$F0A10B69-F845-40E4-8B28-0496A0387FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafb20e848b55dff1b955613627b4dad19b3832","datavalue":{"value":{"entity-type":"item","numeric-id":2763663,"id":"Q2763663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$9BD13782-6237-41E8-A38B-00FC17E56D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$05F02266-9359-4DD7-8F0C-98E75E167EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0c813dd7e5d6c8b64e607641d3edca46e67208","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$B019A8D0-60C3-45FD-A9C4-9FD2716853DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b50b46c7b2ad4740d4400217ee7695ad85aef0","datavalue":{"value":{"entity-type":"item","numeric-id":4783317,"id":"Q4783317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$FA07E0D9-DDD4-4FE6-A12B-E3844FC0A497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c519b1ea6a9004bb401d13cb797dc280ec42a45e","datavalue":{"value":{"entity-type":"item","numeric-id":2766526,"id":"Q2766526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$CD87715F-F8F7-4556-97E5-400A4719F0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$7D79FB97-845A-4A19-AE79-1AFBFC8E8EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b659a64d64fcc84f5a1ad960c1f4f10079e5da7","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$CCD21952-2768-426F-BFC6-6AD3978C0053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d1d1f09b79b3df33d18da85a1ba2aba4775cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1274455,"id":"Q1274455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$ECA8354F-0A0F-416F-AAB6-2D354A263E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$43A93C0D-9F83-46F6-8E79-332D73F6DA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e287ced0ced5819fb9280b7e391be1cde9fb53c","datavalue":{"value":{"entity-type":"item","numeric-id":4536594,"id":"Q4536594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$1B5EB5F9-E037-400C-A5DE-C40487935AFB","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":"Q1887152$7326D4CA-AD7A-48CA-A5C3-6D1F7D52E163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3378751f7f748516dde2341c325d9b024a4a3744","datavalue":{"value":{"entity-type":"item","numeric-id":5191522,"id":"Q5191522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$9A5A5754-A277-476C-958D-E27026802FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$652C3E8E-F777-43DF-9C6C-9C46C581EDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$C4A636CD-565E-40FC-AAC5-63CFD6DE0B4C","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":"Q1887152$08F98CBB-E86C-4D1F-83DA-9A2938B93D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$1232AC97-E672-437C-88D1-E6EA906F1243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$3A212E29-A093-4FA8-92A2-439520A7723F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae1ae279a482446bb78d37be8963f369d811b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$0DE20F8C-0730-4100-A2E9-7C69DFD46162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887152$B825E809-D9E0-4B42-B3C7-32C19A582BC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65abcc6d034af83a7db0c551baec856c84a0fba8","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00137-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887152$DDAA1D8A-BC66-43E5-A96B-467A1979E422","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b7bdf0c704e86c5c76132239416aee75db760e5","datavalue":{"value":"W2076632469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$B21512C1-B121-4704-A901-EEAB8337C36D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5931a434824dfc698184add5541e5dea2706dba0","datavalue":{"value":"journals/iandc/CairesC03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887152$13626A5E-ACC8-4B51-AA2E-187DE2D12A38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4423e52504676f2d9bf4ca9891774bae9807242","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0287f9c2bd4cbe07d085ca71a029920d1a251a57","datavalue":{"value":{"amount":"+0.9977707862854004","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":"Q1887152$2FF512C2-4A97-4D46-8A18-A62CA129EE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d245440d6e7b24402aaf872d7e44f524f66bc750","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67142d8be2bb02318fd3614e1f7658b9ee85e248","datavalue":{"value":{"amount":"+0.9048357605934144","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":"Q1887152$919C7BB8-FCCF-415B-AB24-95B99467A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d43645f6077dccf9c4d1b373141fd9ac598d44","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67142d8be2bb02318fd3614e1f7658b9ee85e248","datavalue":{"value":{"amount":"+0.9048357605934144","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":"Q1887152$A2969E11-7D92-4097-9D11-F55B3C15DF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428ab980dbe46bc1607b3b6894d939c4a458d849","datavalue":{"value":{"entity-type":"item","numeric-id":1881257,"id":"Q1881257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16dcbc19c5cc1ae2cd575a654c614bab430620ce","datavalue":{"value":{"amount":"+0.8790839314460754","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":"Q1887152$D685D62F-C421-4BFB-ABEF-43672D4B7BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cf888c9cbdd1ca8863b343b33f00a8dd680c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f574fb0624a4febbff6e611abca21ca75ad133","datavalue":{"value":{"amount":"+0.8457030057907104","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":"Q1887152$4A551017-FCA4-4A87-8339-943259F02B35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1887152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1887152"}}}}}