{"entities":{"Q2881094":{"pageid":2891814,"ns":120,"title":"Item:Q2881094","lastrevid":83682296,"modified":"2026-05-07T09:58:07Z","type":"item","id":"Q2881094","labels":{"en":{"language":"en","value":"Static analysis of run-time errors in embedded real-time parallel C programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021343"}},"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":"Q2881094$CB1366B8-4815-46EE-90D9-4230CC408427","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"146cac1a8ff4dd9edf9bdf9f89cfa52f3a241394","datavalue":{"value":"1238.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881094$E6575900-7B80-4D9B-A4A3-517758776F66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d356af70051ce05c3af917e2a4cdf530cb8615f","datavalue":{"value":"10.2168/LMCS-8(1:26)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881094$E4350374-0927-4CDD-8D22-2D6CDD357D2C","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":"Q2881094$CF56FF1B-7FB6-45C4-B4A4-1FFB7A0C1E53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881094$770F9D06-CB95-4490-A71D-B84527823F7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881094$446DB9F7-D958-4DA5-B176-C5C7E8DB3C67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881094$1B9EC094-F68B-40A7-87DB-CF6B1A3DD650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58948e477e6240a97c654a1f71eaf56731185aee","datavalue":{"value":"6021343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881094$FB05696E-5EBB-43FF-9598-123BC2C2C209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881094$FAA6207C-15D2-4D0C-B448-5AA6793FBBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881094$068EE2F2-02F0-4790-9229-0670349616E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c6535c88ecd22182bd382f813371edcacf6c5b","datavalue":{"value":"run-time errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881094$09298E51-CAED-40AE-9898-8D7D26A12B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881094$67D2B77E-E880-41A6-B297-37CC18EB4C4D","rank":"normal"}],"P1463":[{"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":"Q2881094$5A5704A0-365B-4AAB-A72D-807FCC452731","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":"Q2881094$1FB942D8-FA54-435D-AC12-7F1B58A54F1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dd396c9704f80d398bb2bbe16c2bc8ba364ce13","datavalue":{"value":{"text":"Static analysis of run-time errors in embedded real-time parallel C programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881094$A047A297-D867-4B4F-BE3C-576CC9D6328D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e06db314ec25da2a1cee9aebaec70236f210d58","datavalue":{"value":{"entity-type":"item","numeric-id":3000591,"id":"Q3000591"},"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":"Q2881094$3D2E82CF-0D46-4027-AD0E-0BC7B81ABA58","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":"247cbee282975858ac691b8d7b291847ec3a3f89","datavalue":{"value":{"amount":"+0.8807671666145325","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":"Q2881094$91D32701-7102-41F0-B000-070733AB6627","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":"855e204b11ccb2eff7496f1ce481f1f541318ae1","datavalue":{"value":{"amount":"+0.777649998664856","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":"Q2881094$75F0B536-CAF9-478D-B3EF-EC88D62E8EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89a2b3589400e89342c2bd9f340e4bf75822aa2","datavalue":{"value":{"entity-type":"item","numeric-id":5408535,"id":"Q5408535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9048898f277c7d9b70de665bf1fd2af58fa5c914","datavalue":{"value":{"amount":"+0.7585851550102234","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":"Q2881094$79FCDA12-4F92-4623-A451-FCAC52791EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e119e4eb04887160b9cb7d03680877ce2a9ed7c","datavalue":{"value":{"entity-type":"item","numeric-id":2938060,"id":"Q2938060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8946f97fcffa60491b0907b6e8267837bdedc9a2","datavalue":{"value":{"amount":"+0.757300853729248","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":"Q2881094$6B28BCFC-FEAB-478C-850F-86A7ABDF3577","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static analysis of run-time errors in embedded real-time parallel C programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_analysis_of_run-time_errors_in_embedded_real-time_parallel_C_programs"}}}}}