{"entities":{"Q2024366":{"pageid":2035108,"ns":120,"title":"Item:Q2024366","lastrevid":53991278,"modified":"2026-01-26T01:14:58Z","type":"item","id":"Q2024366","labels":{"en":{"language":"en","value":"Dynamic symbolic verification of MPI programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7343228"}},"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":"Q2024366$8FA85C88-FA60-44CE-8EF3-4AEE2B83DC4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef9aafbb04dba6dad6ad363189c415c3031b4361","datavalue":{"value":{"text":"Dynamic symbolic verification of MPI programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2024366$5AEC0CD3-051B-4A59-965B-8BFFCB082F2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"700373ed0d1dc66cbe462271ddc0a7fdcb47b83e","datavalue":{"value":"1460.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024366$B095BB3D-673A-416A-B7AF-95ECE2661E5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"973a400380d65fab38dab3b13d6cf719114b633d","datavalue":{"value":"10.1007/978-3-319-95582-7_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024366$C383F7CC-BF73-4980-BEFE-1BE2ADBBE107","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"041ccf49ff697fe0bf5dbfccc668565e68c5b345","datavalue":{"value":{"entity-type":"item","numeric-id":2024363,"id":"Q2024363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$32CEAA87-E839-4CD0-BEC0-F050F6AC9F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"040604660a63a682627443b4aaefc8f3b655e258","datavalue":{"value":{"entity-type":"item","numeric-id":2024364,"id":"Q2024364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$5E56F330-C3C0-4668-B26E-93BAC884918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7e74fc81033469e57e8f9cf85ff29248af5638","datavalue":{"value":{"entity-type":"item","numeric-id":443728,"id":"Q443728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$2F94892D-358B-48A3-87D1-A82FEB95371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"740acd9f99b50700aa40192c896a537f267df41c","datavalue":{"value":{"entity-type":"item","numeric-id":2024365,"id":"Q2024365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$9EEAA4D9-371B-46BC-9ACE-C9A20AB17844","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b4f774fe31084737b70f784f8ab95c7884e6162","datavalue":{"value":{"time":"+2021-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2024366$11C8490F-672E-424D-97E4-FBD20C3E181C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024366$56A486A0-71D8-4824-9113-9E628ABA390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024366$57770325-37CF-4603-AEDC-A8954F813DEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc74f0eed02a425c61f6c01a9fd71066b3c78097","datavalue":{"value":"7343228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024366$DC6DB1B0-609F-47A4-8F33-DA7F0109B61A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe2afdabd2f4d22d08ba1ea7a9af6b0c6ffd0e36","datavalue":{"value":"dynamic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024366$FE0171FA-BB2F-4B9B-BC12-B59D47482521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43a0065bc459850e5fd4d1b68d4d6419c7caf521","datavalue":{"value":"message-passing interface","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024366$D9A8564F-D6B8-482E-B331-F89C4CCEA9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024366$16D0D44E-BA91-4FE1-90F1-EEF9235F8302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5a2118985672c14d8705c6d71a2b5ea0a244b6","datavalue":{"value":"symbolic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2024366$C564B2C6-A57D-4670-B3C4-7AC182C39570","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":"Q2024366$9B7945ED-58B9-469A-A8BB-BEDF04F0C26D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce5b4a649b42c2829ced328e2f62be5d847f1c17","datavalue":{"value":"https://doi.org/10.1007/978-3-319-95582-7_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2024366$F4202BC3-F33D-45CD-B5DC-3A0F94136677","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0bcbe4e6819f68235afe67205034819d9b95625","datavalue":{"value":"W2808769940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024366$D58497A4-1CA8-4C8E-B782-918C504083BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278f450e92c60aefd3ce7b062893c4212f063b7","datavalue":{"value":{"entity-type":"item","numeric-id":5326305,"id":"Q5326305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$15951F14-6A5D-4AC6-A768-A24443BF7F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9581019c2a2c5c56cb806d8e4642df7d78efd19c","datavalue":{"value":{"entity-type":"item","numeric-id":2281630,"id":"Q2281630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$CA3ACCA4-6B9C-4BA0-BCE6-7787162763F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf88b863390c55f20b48d9d9cf11f1e3b8797c5","datavalue":{"value":{"entity-type":"item","numeric-id":671443,"id":"Q671443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$36A20953-9C60-4880-B474-95B21CAE2D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f93d69da6e26814e40414b7dbe18ff9f6ff264","datavalue":{"value":{"entity-type":"item","numeric-id":4790937,"id":"Q4790937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$A1930F33-094D-45DB-87AA-77694C9C2116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fa5ff9449009ec37fbd285a9e4b4117b92434f","datavalue":{"value":{"entity-type":"item","numeric-id":5711505,"id":"Q5711505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$8D2806F2-6ECD-4C18-9A43-2A0598242EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cf430b0c1d1a0558d17147cd14f667b18d078f","datavalue":{"value":{"entity-type":"item","numeric-id":1949768,"id":"Q1949768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$5EE6CFCE-2709-44CD-9E81-B00D4C9F0349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3fbcffebf63faac2b2674799d1cfa73059f096","datavalue":{"value":{"entity-type":"item","numeric-id":1949767,"id":"Q1949767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$23C5A906-79A8-4AB3-95BF-46EBAA484FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a60227210b8f9db3cbd6f6e1eabb09f430f0446","datavalue":{"value":{"entity-type":"item","numeric-id":3512483,"id":"Q3512483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$860302AB-78EB-4F83-A548-87E743EBA3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a1d28221cd7f44309c5138a7240e37eb5a3453","datavalue":{"value":{"entity-type":"item","numeric-id":432146,"id":"Q432146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$595D00F4-1A00-4B50-8920-1023092A7800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ce8d03e45008968e4095b1b5887ef26b7916f4","datavalue":{"value":{"entity-type":"item","numeric-id":3557086,"id":"Q3557086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024366$1B3C4A1F-7301-4CC3-B484-ABE1E9B63096","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2afa560a1a20d9e842b28f33e03fce0588455c9","datavalue":{"value":{"entity-type":"item","numeric-id":2169119,"id":"Q2169119"},"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":"Q2024366$0CB9E1B3-5CB5-42D8-967A-2E1D5D2A8EF5","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":"a914efa312b174f47ec19e34a0ad49086066af80","datavalue":{"value":{"amount":"+0.8176458477973938","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":"Q2024366$E8E1229C-CC78-4298-A886-EA7BD08B320F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46cf3622a4b4cdda592b8090a5f5ab81ce85d9b8","datavalue":{"value":{"entity-type":"item","numeric-id":5200486,"id":"Q5200486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6267984bf6dc9e44a762a03b0e214c832decba44","datavalue":{"value":{"amount":"+0.7855023741722107","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":"Q2024366$473E2718-F579-4078-99B8-9AA0B4CE6990","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":"9b22dfe016513e69fbf9cdd7fbbe60fe6bf3a68e","datavalue":{"value":{"amount":"+0.7634521126747131","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":"Q2024366$42F6E03B-D542-4990-9CA8-88C1823C7219","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":"182d90de07ee72475996c2d5fc5bf0a900bb2710","datavalue":{"value":{"amount":"+0.737450897693634","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":"Q2024366$B8B1DABE-9900-46A1-8BFE-CBE7B390BEBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2024366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2024366"}}}}}