{"entities":{"Q2169119":{"pageid":2179862,"ns":120,"title":"Item:Q2169119","lastrevid":82567445,"modified":"2026-05-06T21:12:47Z","type":"item","id":"Q2169119","labels":{"en":{"language":"en","value":"Symbolic verification of MPI programs with non-deterministic synchronizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580905"}},"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":"Q2169119$914C323C-5341-4FDD-9B24-99947C0ABF03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6930e0a006731a37b7ae0fd01da082ed01b67539","datavalue":{"value":{"text":"Symbolic verification of MPI programs with non-deterministic synchronizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2169119$30C6710F-3471-4EF4-9C15-8FD5797B8BFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7590b14962c7be8cd76f3dba811ec2a048182d98","datavalue":{"value":"1503.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169119$1B2A07E4-3FC7-4DCB-AC66-6818C011B2B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cfe5a1f01a2b2c8ecf45ef40b9792d5f7e075e9","datavalue":{"value":"10.1007/978-3-030-62822-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169119$CC64E5A2-1940-4C4F-ABF6-DF626CFA86B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce475cdd22315ad134f7a53dcc8be7c770c946c","datavalue":{"value":{"entity-type":"item","numeric-id":2169118,"id":"Q2169118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169119$7EFD5E1B-5429-4088-A4DF-CA3CEB65E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be944286afc345df75c2ec6bc9a42c95fc82cd58","datavalue":{"value":{"entity-type":"item","numeric-id":714876,"id":"Q714876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169119$A2A4BF2D-062B-4CE1-98EE-CDD45B658A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f3e3d66b48a09c97b05af019807339e741530ce","datavalue":{"value":{"entity-type":"item","numeric-id":471647,"id":"Q471647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169119$7AB08160-D54E-4AC1-8B30-E8C959634EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a987699fd23888733c3cf6186ec5b68180cd27f8","datavalue":{"value":{"entity-type":"item","numeric-id":281290,"id":"Q281290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169119$F719A825-361D-4693-B278-91983A0A9E99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2169119$47372B37-A762-4961-B9E0-B6537668F9A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169119$E1F98AE2-A169-4644-A06F-2457B6370B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169119$ED48E411-9648-4892-A6B8-EFB57411D3E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbca8e09365cea9bc99bbddcd3331391a636e914","datavalue":{"value":"7580905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169119$D4069BBC-227E-4CA9-BFE8-72B399000C16","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":"Q2169119$F25854DC-5A42-48CF-8FCB-D5A351FED123","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ac89cbb1ccb41078a40f127cdccd3d615d5ae0a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-62822-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2169119$3113EE9B-C79C-4485-9B47-CC83352396FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b004d70bf97cababd83ba8ef790beb5a8d30ecaa","datavalue":{"value":"W3106072295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169119$10533B1B-F9BB-43CB-AA67-3428A9FABA6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b8814c0b742c3435becefabb4f39599d6a0bec","datavalue":{"value":{"entity-type":"item","numeric-id":2024366,"id":"Q2024366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58e494cb358e40fa3ad06ea5a5363e5da173581","datavalue":{"value":{"amount":"+0.8343501091003418","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":"Q2169119$2B3842FF-6161-40E6-A387-DFC22F78B518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621b20e02a8851c6e7b19f3af8e9fe5c779e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":5452594,"id":"Q5452594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3043ebd848ba36f020534615fce2c8fb6bc541c0","datavalue":{"value":{"amount":"+0.7876337766647339","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":"Q2169119$5A203596-C310-4ADE-A868-45ECD1DF5068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67ee98c39a0ba0c7a58194ec4e130f1415aed8","datavalue":{"value":{"entity-type":"item","numeric-id":5711505,"id":"Q5711505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ade1ed7c8090a5c12a59489fc0834317912fa2","datavalue":{"value":{"amount":"+0.7681669592857361","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":"Q2169119$BB1A8DA1-943D-49C3-BBD4-1F0409AF8874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86219494db5d1c2b1f54c0d8fe746625d19da530","datavalue":{"value":{"entity-type":"item","numeric-id":3512483,"id":"Q3512483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c13e8f8e00ea7c76f493c9669131395545608d","datavalue":{"value":{"amount":"+0.7675853967666626","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":"Q2169119$22A9E6CF-10C9-4B8C-97E3-A7FE2E02FD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89857a3b5fc33eb5dc295edeb2408e8dbefcde3f","datavalue":{"value":{"entity-type":"item","numeric-id":2281630,"id":"Q2281630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb5893e82a320fd9710c3e6d49bddae78a6a665","datavalue":{"value":{"amount":"+0.7591561675071716","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":"Q2169119$1CF3D375-EF1B-4E53-82C1-EF08FAEFA59E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic verification of MPI programs with non-deterministic synchronizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_verification_of_MPI_programs_with_non-deterministic_synchronizations"}}}}}