{"entities":{"Q3000591":{"pageid":3011315,"ns":120,"title":"Item:Q3000591","lastrevid":58095228,"modified":"2026-04-03T19:03:19Z","type":"item","id":"Q3000591","labels":{"en":{"language":"en","value":"Static analysis of run-time errors in embedded critical parallel C programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897353"}},"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":"Q3000591$0997E6A7-7699-40D4-901E-AAF776DF6B61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d0e7c5516c914a6cf1f1a53b3294e76113a0b0","datavalue":{"value":{"text":"Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000591$5AF337B2-A1DB-462A-9F7C-AE22A8875BC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac6182de31227883780fd0116f15ff5a7de82dcd","datavalue":{"value":"1239.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000591$4D67C556-AE17-44E8-8B79-1A26B9C7D4CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf0325f244fc1daeb3a9d4c2d485d40eb5aba0ee","datavalue":{"value":"10.1007/978-3-642-19718-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000591$DA25D4FA-E2FA-4357-AA12-FCDC52D28E7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79110293abe8df1d1b69baf84d1546747a32f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":681348,"id":"Q681348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$E891CE93-597B-4937-BB55-56519C926265","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$9E3BC15E-0E97-4002-BC65-D8AB0CDDE249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000591$5B2F3E73-73FC-4EB2-821C-095472572B77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"202e9fce39fccd1432bfa88037d2df83b760914e","datavalue":{"value":"https://arxiv.org/abs/1203.3724","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000591$CA938802-BD7D-4C7A-8D82-E881A8F3CED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000591$1A715952-BC57-4159-9268-86D6E8E3DD14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d410a548f388a784419e33f176a3fbe88cb2a29","datavalue":{"value":"5897353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000591$322A3DE7-498C-4207-86CC-C61A835468A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000591$0782F8EE-CC37-44A7-A09E-28BD888CD3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000591$AE91EE44-28D1-425C-802A-364058A23ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000591$45303832-99E5-478F-83C2-E0B8577046CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c6535c88ecd22182bd382f813371edcacf6c5b","datavalue":{"value":"run-time errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000591$6FF9D28E-B6D2-4F0B-9E6F-57ACEB86160F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$4420BB08-90FE-4754-BD5E-8B140AC5907F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$0ABCEE3B-1812-4355-A83E-84773F7A44E0","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":"Q3000591$86AFD827-E9FD-497C-8DBA-261C2526A4F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b398fadc1ba632254d15c934da20eef736494320","datavalue":{"value":"W1531955077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000591$890D5262-380F-419F-AB4B-8539B6A82F54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4ebf12cf2eb62c6833574ce09cdeadc67088b9","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$917DA2CE-0E3A-475E-98FE-B5B863E94B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$42105761-7654-4EEA-B879-C7F846F76539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$BF4685A3-DD50-45BA-BF06-5495F2A37F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220d65aa33cdf4e0caf20a2d02b14afe0a0b5e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5458814,"id":"Q5458814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$314A0443-AAB4-4900-8669-E26375E72BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$1C8C35A1-5F77-43E1-9437-582B48753AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$2877FEB4-040A-4914-BF4E-F99E736A3958","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":"Q3000591$D1B20AF0-D88F-4DF8-A3C3-B18BF6A23433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$8ED88CA9-6D4C-41EF-85A4-24478C716A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$6099BA78-D4BF-40C7-9D2E-2378D779314E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$B7088CAA-4622-42F4-9678-6CC94D2A4C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$3C8FF8F2-2DEB-4844-8761-2032840841D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$20AC4107-053F-4C0B-91DD-5A7B42DCC9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$3D23E205-038E-43B2-B9FD-644E9D660AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17e8ae9c5653aa5723cc546879365e78cc6cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":5465879,"id":"Q5465879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000591$B6B6851F-6805-4ADF-9BDF-86B456D8F8C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3868f8ea6395f505d03b8bdcee704e920ccf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2881094,"id":"Q2881094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1588c477dbbabffb3e7294a9af6c09a3d5dcccc6","datavalue":{"value":{"amount":"+0.9767654538154602","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":"Q3000591$75AA173D-9A7F-4F67-A186-49205AFD14A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebc2e13a83292040a2e400e32fd2c36af55e57a","datavalue":{"value":{"entity-type":"item","numeric-id":1650954,"id":"Q1650954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255e8062bc5d49dd10cde9dac7a83012e4a1978b","datavalue":{"value":{"amount":"+0.8504281640052795","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":"Q3000591$D0107904-6A54-44F8-8519-76B41C45F1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeca5ee0ddb82b4e5a2a9cad091d0caed4fe13b5","datavalue":{"value":{"entity-type":"item","numeric-id":5493376,"id":"Q5493376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f983fe4f93c712c6b83ef446e2cb4d9c5a25979","datavalue":{"value":{"amount":"+0.8018865585327148","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":"Q3000591$77F598FA-BA1E-41B3-A885-E09A2B17E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4caab1d5f772bb28fea8c05e2c3869add078458d","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eab7e47cf9b53afbf1fbab57aaca5581ae865a7","datavalue":{"value":{"amount":"+0.7551394701004028","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":"Q3000591$1DBDA744-402F-496A-BC48-3A6F630030F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed45ab43b89f200a5452d446bedf27d1a756a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23daa6086f7de3780da43b79634df96c61e9eaf6","datavalue":{"value":{"amount":"+0.752223789691925","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":"Q3000591$2E0A5686-B62E-4681-9BC7-3BCFF7A2C411","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000591"}}}}}