{"entities":{"Q5458841":{"pageid":7488400,"ns":120,"title":"Item:Q5458841","lastrevid":50342465,"modified":"2026-01-13T20:51:59Z","type":"item","id":"Q5458841","labels":{"en":{"language":"en","value":"Synthesis of Safe Message-Passing Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267231"}},"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":"Q5458841$BF577871-5AFF-4CF8-915C-7AB8781CA585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54063f27bc7e0456a8ba70a100ec280fb5a209be","datavalue":{"value":{"text":"Synthesis of Safe Message-Passing Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458841$D16AB459-8FAE-4522-9BAF-E73AD439D3AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a18abb6d1f442693d6a11a07a5532624f462acc4","datavalue":{"value":"1135.68497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458841$F278FDB3-B30E-4144-8F81-7C12F4AF8702","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"845c0c6752f79e87ee234a0aecec00574d7747c0","datavalue":{"value":"10.1007/978-3-540-77050-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458841$20E5861A-BAF7-410D-869C-D5D532F6403C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e9373c218e1dec4e3ca7734c7a5012646c3005","datavalue":{"value":{"entity-type":"item","numeric-id":551201,"id":"Q551201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$0A18971B-99CC-4A62-8EC4-4E33977C7208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"849b60e05a4a17ffaa164c32ba2a356f11ee6926","datavalue":{"value":{"entity-type":"item","numeric-id":2769438,"id":"Q2769438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$74BFE53B-23EA-4EBD-A2C9-394D0A6EEDDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$923F73FF-C9DC-4368-997D-AE91ADF375DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458841$8095C3C3-DAFA-48F2-81FE-078CCD74A7C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458841$38FF6E49-00D7-4FBB-BF1E-EEDF01597C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458841$7E963999-F828-4C83-B83B-4D221490C672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb1abb06c9d0b567af80a171c1764ebcb4901bb6","datavalue":{"value":"5267231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458841$0A259259-4765-41DF-B6D3-D347A1122C8F","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":"Q5458841$77ACE9F2-0F2B-4A84-9063-9F381E232F7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82c447e76c2a6f2827312cf284c7f2fc779f3c33","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458841$CDBCF06D-D29C-4123-ADFB-11EEFFB40ACB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53d3c7fd809e2da46f361ef079a6f1130c2d438c","datavalue":{"value":"W1533264240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458841$ACDCBDE8-E17A-495B-A223-517D448E69CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2182b7779cb179b39a2d6903978c52b8f514522f","datavalue":{"value":{"entity-type":"item","numeric-id":1770427,"id":"Q1770427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$EFC0BC1D-89F1-4836-91E0-5E6CDD5571BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44215fba535e4838ff9ef2f49cee6494643d177b","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$FB805528-D364-4859-90CE-110B80CB6919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cd8f03852f6c6d4863ae1aa71dedf8b7c9c087","datavalue":{"value":{"entity-type":"item","numeric-id":1269906,"id":"Q1269906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$112D3794-B912-43ED-9653-0E1C0C03690B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5baf8d517b0d89ae3bb55fd96f78940d3b48865","datavalue":{"value":{"entity-type":"item","numeric-id":672317,"id":"Q672317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$3564D0A0-6D4A-41B5-875D-3B6E7278BF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$8C10AA08-6F39-40C6-ADE3-10336F48979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f0b1fa2a8ed3d2cfd6123630a8d878f8be8b86","datavalue":{"value":{"entity-type":"item","numeric-id":2495403,"id":"Q2495403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$6FE80236-8DC5-4DA2-A4CB-2E617067551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$45D5542C-0679-4CDE-9E3C-DFBDAF458B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c706cf525e1e8895186e5fdf1a56f877c4c63f","datavalue":{"value":{"entity-type":"item","numeric-id":1887140,"id":"Q1887140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$9B9432C8-B602-4EB3-86F1-3703E4E6E036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ed90663610c2947c001a61c7919ce27bbf349","datavalue":{"value":{"entity-type":"item","numeric-id":1853588,"id":"Q1853588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$D967D4DD-AC3E-4C45-B6D4-08AFCCA7CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d64c4b5dab72504cdcbb4f6c6095768fc09cd017","datavalue":{"value":{"entity-type":"item","numeric-id":3835040,"id":"Q3835040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458841$A43810AD-42E8-4DEE-94AD-85443516590D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ad64d50b9da82ebdac39eeb74d3088927f0c18","datavalue":{"value":{"entity-type":"item","numeric-id":4536625,"id":"Q4536625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa278d0e59e2c3256149f7e135487f549815159","datavalue":{"value":{"amount":"+0.7956883311271667","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":"Q5458841$4B7E0A6E-35E9-4066-A254-59259B185227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db771a1598d4117dae54813bbc0be06a7c43031","datavalue":{"value":{"entity-type":"item","numeric-id":3219124,"id":"Q3219124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fffee5ff6d2e0a72708ca13649a83aa75a429d3","datavalue":{"value":{"amount":"+0.7883067727088928","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":"Q5458841$5791B423-4088-41FC-84C4-65EDF6AEDD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8683d71b417090b00b3cc29a0b3dd2193e9661fd","datavalue":{"value":{"entity-type":"item","numeric-id":5479148,"id":"Q5479148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97850f91b91b4ee9464a33709c73c8579c6b567","datavalue":{"value":{"amount":"+0.7464544773101807","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":"Q5458841$E097EC86-E4C7-4472-A1C9-5B7F458D09E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d594c5126deb09a5eff2cd988ccfabfa173b4d6","datavalue":{"value":{"entity-type":"item","numeric-id":2495403,"id":"Q2495403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d5a1a41933ed5c9537ff522686b43767102aad","datavalue":{"value":{"amount":"+0.7423386573791504","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":"Q5458841$B1EBA1AC-D290-45D8-8136-A4E3E926167E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a196d9c5f3bff794461cf0bbea2064fec39a530e","datavalue":{"value":{"entity-type":"item","numeric-id":1323365,"id":"Q1323365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bf39ad3cf52f0452675815aaf0b29bd2fe9192","datavalue":{"value":{"amount":"+0.7421828508377075","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":"Q5458841$AC89A0D6-EAE5-4AD5-AEC8-53102372AC83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458841"}}}}}