{"entities":{"Q3613377":{"pageid":5643283,"ns":120,"title":"Item:Q3613377","lastrevid":50603663,"modified":"2026-01-14T13:13:29Z","type":"item","id":"Q3613377","labels":{"en":{"language":"en","value":"Static Analysis of String Manipulations in Critical Embedded C Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528245"}},"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":"Q3613377$6EABBABF-551D-4122-BF59-612C371749C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b057e7bd9bea0e83502bc797a4f6f88afeca0ffe","datavalue":{"value":{"text":"Static Analysis of String Manipulations in Critical Embedded C Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613377$9D8CA040-22DE-4754-A90F-53E45379847C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbe4f64d403fe788d80899ca2d92becebbf1f81e","datavalue":{"value":"1225.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613377$517D4141-6B75-42B3-974F-CBF8DBE242B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4af816909885e3a88cd6b0fee09141f585a1d12","datavalue":{"value":"10.1007/11823230_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613377$5FC4C395-B4AE-4728-BDFA-1E4E72000A1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e933ea87aef097da70304e73218e0ff9af4a74","datavalue":{"value":{"entity-type":"item","numeric-id":517788,"id":"Q517788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613377$1BF010C4-BC5C-42A5-9205-8B22B638B538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17128915f068f384ade138292ee70464dfc646d3","datavalue":{"value":{"entity-type":"item","numeric-id":3613376,"id":"Q3613376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613377$EC2BA5D4-D8B3-4A21-BE6C-22A97160B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"996ba0cd600947396fa3049b878d9f3cfb883153","datavalue":{"value":{"entity-type":"item","numeric-id":3404122,"id":"Q3404122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613377$BE1088D6-8026-4FD2-90C8-E50DC5B487A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613377$A3E8C8EE-ED39-474A-BAD7-7FFF4926C192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613377$B2B9BF83-E3A9-4F93-9420-4FA5B10402D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613377$1EB5ACD2-CB00-4C66-A97D-5135DCE2B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613377$4136FD77-4592-4FFE-B9A3-360E99353733","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e714c65c7aca58fa496acd2d5e8577f32eb9489","datavalue":{"value":"5528245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613377$929B5EEF-5025-4E43-8315-BED5B3E620BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613377$43B6F26F-F0F7-48DE-AD11-B9FA5D1E3A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46ff34e1d84d0a4729956c7d4ecfc0d65ecd906","datavalue":{"value":{"entity-type":"item","numeric-id":25615,"id":"Q25615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613377$06A8B2E2-360F-4B80-8C12-053DD80B392D","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":"Q3613377$83E7F8E2-2195-46BE-B56B-00039A014871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485a32029ef6cf8a7d4b729c4914603bd4c84164","datavalue":{"value":{"entity-type":"item","numeric-id":25617,"id":"Q25617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613377$20BA4C3B-1390-4B26-A12D-6D7951FF4D35","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":"Q3613377$860311E0-1821-4DA0-B00A-FFCBF8AAB487","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08050127c51f2d7d8edbeec417e879054464c8e7","datavalue":{"value":"https://doi.org/10.1007/11823230_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613377$D470AA61-3826-4AA0-B6F9-1A42C0FDFBA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d77ebf55240095c15637ced4fd1089908cf62c09","datavalue":{"value":"W198958201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613377$0D071BD2-CC51-4981-9E95-43710397785B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15405dfc7bfe364ae8fcc7e0b3af79941bdf943","datavalue":{"value":{"entity-type":"item","numeric-id":4778703,"id":"Q4778703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ec8d0b4c9c89dd2b2f08f0ba92d7f467fdf1d8","datavalue":{"value":{"amount":"+0.8165912628173828","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":"Q3613377$2FB0729D-2C52-47F7-8A90-1707BD9DCE8B","rank":"normal"},{"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":"03ec8d0b4c9c89dd2b2f08f0ba92d7f467fdf1d8","datavalue":{"value":{"amount":"+0.8165912628173828","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":"Q3613377$0EFBCC34-DB98-466C-8B28-F2392C94EC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4050b25181aef71f3813cc25ec235c187b56253","datavalue":{"value":{"entity-type":"item","numeric-id":3499221,"id":"Q3499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f54c951d788a60f5a9b649fd9718dfe202a48f0","datavalue":{"value":{"amount":"+0.7762929797172546","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":"Q3613377$7A75E2F9-8ED1-47D5-A2A7-5DB900065DCA","rank":"normal"},{"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":"87aa88ffa333cc431092d7f484e36bbff2436116","datavalue":{"value":{"amount":"+0.7484734058380127","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":"Q3613377$7374AD12-4DB1-4191-B0A5-AAC6A150CF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf2e3c6d1b927b908b15c7440f5918641032651","datavalue":{"value":{"entity-type":"item","numeric-id":835770,"id":"Q835770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ced17ec811cd43069eb947b4c9567db4da68b8","datavalue":{"value":{"amount":"+0.7479527592658997","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":"Q3613377$EB13DA63-539E-4553-8551-2A3BD8D41F06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613377"}}}}}