{"entities":{"Q5870863":{"pageid":7900414,"ns":120,"title":"Item:Q5870863","lastrevid":57589749,"modified":"2026-03-31T12:54:42Z","type":"item","id":"Q5870863","labels":{"en":{"language":"en","value":"A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7645068"}},"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":"Q5870863$DDFAE583-EAB5-4845-828F-5B4CCF52DA07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c14c4d4316e3c383b567947d68c9199ace17d83","datavalue":{"value":{"text":"A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5870863$F4EF1A55-7F7C-4159-AAF4-D2C2C0DE2B28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d21502d0f0326bf0ad2ec68d4ac1fb5cba9ffc7","datavalue":{"value":"10.18255/1818-1015-2021-4-394-412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870863$4F25EEA9-1671-4A22-BFFB-C9456FA478BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d4d8c6a476d6f8c67f64c22f7b1cc60dad4f81","datavalue":{"value":{"entity-type":"item","numeric-id":906252,"id":"Q906252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870863$53F46811-1304-49D8-8298-2BB51710E143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e4ff69d98581f0e60171b74a0d3744b7741d0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5060051,"id":"Q5060051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870863$68B45033-561A-4F39-B672-635E4BA364AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d36de95218092651053d86e05f8c2ff076590975","datavalue":{"value":{"time":"+2023-01-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":"Q5870863$8FEB17C8-DA2E-48A4-83A6-F2EC7DCA0BBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaecbb434caa474c210c209e0579671aee104831","datavalue":{"value":"http://mathnet.ru/eng/mais759","type":"string"},"datatype":"url"},"type":"statement","id":"Q5870863$A3A324CF-035A-4120-849A-ACC6FDADEB87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870863$D992A73F-4ADA-4B7A-91DA-E0B763842EF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5aa8520ebd1a79594a6ef873c6f8522a2388320","datavalue":{"value":"7645068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870863$D9C5738E-CB41-4EB7-BEC9-8ED22007FDC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870863$73F4587A-D5F4-4E7E-BE4D-27EE80AFBCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2da9fd1628e4e78bc4fbbc0d264846e8ed6b432","datavalue":{"value":"MPI","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870863$3D7A67B9-9252-4EE5-8E3B-FBD40CC44DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e772678ab5196f34364867459559399796974d02","datavalue":{"value":"distributed processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870863$0475C47E-B292-4C54-8A13-5F7386C4C4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870863$262AB932-4479-4D59-B6B7-D264FF2EF342","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":"Q5870863$DE9515E4-6240-41C9-B3A0-296F8A5F1FF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0fc72352b036af98c727cf32030f176054c21a0","datavalue":{"value":"W4200299094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870863$C874CD6B-D314-40CA-90A9-6547C0D7FE21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74e617c9723e99d44b7e1123eb6be42a553b53c","datavalue":{"value":{"entity-type":"item","numeric-id":5267442,"id":"Q5267442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870863$8264D7AA-CE16-40B5-A10C-1AD0478EA036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543ba9b6ea5c546c9186cee04b12561ad5cf8d60","datavalue":{"value":{"entity-type":"item","numeric-id":5452594,"id":"Q5452594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870863$4224CF7F-FEB4-4ADA-BC36-5F280A67104C","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":"Q5870863$23C7B44C-F365-4D44-8D45-2CDE37810B91","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870863$317AF83E-A195-402D-ACC9-936B79B77094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5870863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5870863"}}}}}