{"entities":{"Q1886450":{"pageid":1897192,"ns":120,"title":"Item:Q1886450","lastrevid":71063874,"modified":"2026-04-13T19:14:22Z","type":"item","id":"Q1886450","labels":{"en":{"language":"en","value":"Reasoning about layered message passing systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116451"}},"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":"Q1886450$A7F64058-D0D1-432E-9053-B84B1126F0A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf62d11e65e985e3cf5f6edb637a83614d4cecb1","datavalue":{"value":{"text":"Reasoning about layered message passing systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1886450$ACB414DE-6947-40B6-AA4E-C61FFDCC3A01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6981f2c06f3d9ea5f38ff1c7a39fb4e7412cfbce","datavalue":{"value":"1072.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886450$8526C9FE-0FDB-4877-A962-9E303876F7ED","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":"Q1886450$30EDFF82-0F82-41A7-B9BA-357CC094B8FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886450$6D86406D-BE15-4313-BB21-0B941165BF70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037fcf95f864ae0e38f5b6894c4f594ea5ca568c","datavalue":{"value":{"time":"+2004-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1886450$72868CEF-2B85-40F1-AC1D-7E7E3AA30CD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886450$8275C435-F8D4-4DC5-AB99-3D6985995F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886450$45FDC3AB-0C21-4080-92F0-BD4352A23734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886450$3D735D2E-D003-4CBA-B104-CA85BDFC5113","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c47b9d4e11c288976137735c06dc54e1ebfab12","datavalue":{"value":"2116451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886450$B6E5C984-C1E4-4AAC-8BE1-7FC642A05ED2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2fa9e3a526fc5bd94b012859534aa70bd0e2c75","datavalue":{"value":"Message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886450$5E132BAA-805F-43A4-8072-AAB9C1F95835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb19c6dcaf50823d16fbcd81768a13b4a1d3494","datavalue":{"value":"Partial order models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886450$851DAED3-F963-4D64-AB7D-FBF53E5C8A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2535e98ed92266e61ec9063c6ea160324e3c3f","datavalue":{"value":"Layered diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886450$108BE4D9-3A06-4F8F-AD01-7B44B73E505D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3229e08d0343cf425663a372cc93dfae5b2b63","datavalue":{"value":"System specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886450$FFE64F39-7954-4DF6-A9BE-513579FDAD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad78fd6b0c0211fd15605a760dc5898d6f24f6bc","datavalue":{"value":"Linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886450$30669CAE-E4FA-4265-9F4B-6B92FBE42AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886450$0F6FCFEF-F941-4B70-91C2-6230585E680B","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":"Q1886450$8A362A27-6BC7-45EF-9B8E-3D76F2B981B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3d874d43e2c71838f6154e650ea6621f138b24c","datavalue":{"value":"https://doi.org/10.1016/j.cl.2004.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1886450$09DBEE34-76C4-4738-9649-30629FDAB8A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0927b347348c41fcaed68f7a4a4c782c354f6868","datavalue":{"value":"W2023577083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886450$B022DFE4-3A02-4E76-89BF-BE77AC9140A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1409cb70fda59fe3d2b6c9b96c0b2febd70386","datavalue":{"value":{"entity-type":"item","numeric-id":2754167,"id":"Q2754167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886450$63364126-61BC-4B57-8A82-168E2278EBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886450$FC328E95-E64F-4D95-8B5D-2CB2B7423B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57923dfdab0dcb10df81a87e63ba3b2dcffcd49d","datavalue":{"value":{"entity-type":"item","numeric-id":4630294,"id":"Q4630294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886450$BCE5F7C8-7F73-4787-92CC-FD64D107866C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f230e0c6f84622662a17f7b7525f9c1408851","datavalue":{"value":{"entity-type":"item","numeric-id":1051420,"id":"Q1051420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886450$50472D3C-6C45-4557-9221-33AB45AFC977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93aa871708dc7ab5a796c4482ad3e672a2407752","datavalue":{"value":{"entity-type":"item","numeric-id":4536376,"id":"Q4536376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886450$3CD0A4AC-C294-4E86-B5EE-91E0B7A4AF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f72e649cc1f434125c8fb4e3befb6685036fce","datavalue":{"value":{"entity-type":"item","numeric-id":2769610,"id":"Q2769610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886450$910E21C0-AF22-475B-B535-7028CD31EBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886450$39852551-30BC-4DF9-8872-4D8696A7119E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8f7abf7f69cc00a4e7d57ff4fb63df17374ee56","datavalue":{"value":"10.1016/J.CL.2004.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886450$B668F9D3-DBFA-4C1C-82DE-899BE3375D58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71b22ccc0264f13d297e53e242567a8304d8cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4414394,"id":"Q4414394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f968c4598642cbe26af9f16015522841611f2277","datavalue":{"value":{"amount":"+0.9941837787628174","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":"Q1886450$D08B647C-0BF0-44EE-B467-277023BF6D20","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":"cbf5886b16a1429e8fe45d5c7230dcc4bec8377b","datavalue":{"value":{"amount":"+0.9933722615242004","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":"Q1886450$7AFC8567-5B39-4A20-B99C-A597217C1F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16ed4a2d03c148d7119de96fda3bc4332052c36","datavalue":{"value":{"entity-type":"item","numeric-id":2754167,"id":"Q2754167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c096eeeb64903c9ee3b94164f6e23444eaced1","datavalue":{"value":{"amount":"+0.7793435454368591","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":"Q1886450$00304EFD-A35C-4DC2-873A-69DCBDC88E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db1c006014bb83c86f491b44ab0dec43113a496","datavalue":{"value":{"entity-type":"item","numeric-id":3719805,"id":"Q3719805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17b4d61bf19913a667f79ab485588c44289994a","datavalue":{"value":{"amount":"+0.7513559460639954","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":"Q1886450$CE022672-AEBA-44A0-8F21-A7C005E81BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26472a0d6508529930bc67010f7c69ffc025a76c","datavalue":{"value":{"entity-type":"item","numeric-id":684564,"id":"Q684564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553e37a8577032e44a1171559cdbfc3dbf5b65d3","datavalue":{"value":{"amount":"+0.7403578162193298","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":"Q1886450$CFE2DC35-F29F-4AC4-B076-6320D1220DB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about layered message passing systems","badges":[]}}}}}