{"entities":{"Q1815341":{"pageid":1826083,"ns":120,"title":"Item:Q1815341","lastrevid":46409643,"modified":"2025-12-24T17:46:18Z","type":"item","id":"Q1815341","labels":{"en":{"language":"en","value":"Proof systems for message-passing process algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 943661"}},"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":"Q1815341$66E179CA-F2AA-41D3-BE9C-E907A4C9A176","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f7d3c38fe1a70adfbb37a2b249a55ed1021ed2d","datavalue":{"value":{"text":"Proof systems for message-passing process algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815341$CB980178-2C54-4C63-B1A7-827F081AE727","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9224e91b2f4e0883b9b4fd7ccad50b5ac3645501","datavalue":{"value":"0857.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815341$4EAADA1C-48C3-4B22-B4BE-C4B68D1918CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca9b3fb42a9eb25a7dbd99e338b0209c061cb510","datavalue":{"value":"10.1007/BF01213531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815341$F9DF96CF-88FD-43AB-851E-35B154B2F080","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815341$37FD02CC-7F92-46A4-AD89-698E90CB0E1E","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":"Q1815341$1412FB39-F3D0-4C12-BC36-9EC56F46B606","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a57270832a5fa2aef2c433a8fb31702b3e548c","datavalue":{"value":{"time":"+1996-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815341$9AB652CF-284C-4F87-A039-C68905D10D18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815341$6498C819-3FAE-4F63-A8FC-AED9F8EC19A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"739d5829492de0c0230bf611c04374f5b6b73cc7","datavalue":{"value":"943661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815341$0FD01F0E-758C-4896-95EE-B043B0715B3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815341$124ACA90-6AB1-4107-AE4B-B71803BD7666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142ad176b509766fc626fc5ad6b3d60ce7604d3c","datavalue":{"value":"message-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815341$9E2D4313-6D6F-49F4-91CF-BF9F3791FF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815341$D6CDEC46-08DB-4C55-9DC9-1471ABE21688","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":"Q1815341$0836C803-0674-451B-B1E2-3355A4E57EE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24fb73f0334e94937043851c5cd1e51e395fccb","datavalue":{"value":{"entity-type":"item","numeric-id":4312484,"id":"Q4312484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815341$9742A0DB-D09C-4B82-8EF3-01EB3CD75F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815341$164E96A5-4BA5-4251-B129-B1E39FCEA59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51860e3e6e78c9debcd7832f7e0ecb4acb6bba8","datavalue":{"value":{"entity-type":"item","numeric-id":1179808,"id":"Q1179808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815341$45469E91-2609-4DCD-B965-28EEB4EB6CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c285fbac4c0cc6de1d1ef52f1fe4ea0572069ed","datavalue":{"value":{"entity-type":"item","numeric-id":1317426,"id":"Q1317426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815341$CB1966B5-E51E-4272-8898-136E25D1A59D","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":"Q1815341$E835BB79-27DE-4457-9920-1F3E1D9C60FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e83cf139ac7f5ddd0bdf9e3501d9ca22e10f006","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815341$5BA26DEA-4620-4018-BA08-B14AAE05FD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ea564efc740124803ad16ff2c7c525657a956f","datavalue":{"value":{"entity-type":"item","numeric-id":2640348,"id":"Q2640348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815341$AE5C8007-1273-40E1-9DF0-83C49712494F","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":"Q1815341$124ECE9F-57D8-40AD-AFF8-A3C06206778D","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":"Q1815341$854B73EC-E00B-498C-8AA7-F592354ADBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815341$00B5BF5F-0798-4C2F-A209-DE23CEDFD6BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b58461ceef09df5bfbc9b79d50823d69a521379","datavalue":{"value":{"entity-type":"item","numeric-id":4494236,"id":"Q4494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343b524abb89dbeb90c141c4de48aa17758aec65","datavalue":{"value":{"amount":"+0.8990638852119446","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":"Q1815341$6289E180-FAC0-472B-AE16-989B0085CE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5f9bf7d33e601f8d5aa8dffe691e8d1990a5ad","datavalue":{"value":{"entity-type":"item","numeric-id":3355228,"id":"Q3355228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc2425c6b01307f34118e9dd29bf87ad9410fab","datavalue":{"value":{"amount":"+0.8316880464553833","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":"Q1815341$7AD39567-C9EF-4F7C-ABE4-CEFE9A00AED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff67ebd631b93ee4535f724780259830fbe098a3","datavalue":{"value":{"entity-type":"item","numeric-id":1179808,"id":"Q1179808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d50b8ed6cb4ac573e7927a7609ce60668fdff67","datavalue":{"value":{"amount":"+0.8148465752601624","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":"Q1815341$9B476F8D-BAA4-4EE1-A721-711DE23656FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bfce2bd16a86af783d90e27947458b64b5d463","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9876e138d1089ba0ca4859b24646b9fb367d43","datavalue":{"value":{"amount":"+0.7985199689865112","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":"Q1815341$E69CC78A-1B54-4B85-A870-3EFAAB1EABD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1815341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1815341"}}}}}