{"entities":{"Q2987193":{"pageid":2997917,"ns":120,"title":"Item:Q2987193","lastrevid":52808096,"modified":"2026-01-23T13:29:04Z","type":"item","id":"Q2987193","labels":{"en":{"language":"en","value":"Program security verification based on abstract invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6719593"}},"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":"Q2987193$51C8392B-E7AD-483C-9EBF-7ADF15D558C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8084736fe01bfb07c568fc68e268d7d0bd11bede","datavalue":{"value":"1374.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987193$12469C5F-CAA8-42AC-9BB1-770A5D573380","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05fec685191ef220c8eb7e437b0201b1e8c5979c","datavalue":{"value":{"entity-type":"item","numeric-id":244693,"id":"Q244693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987193$13309D1E-B576-4C7A-BC95-9A992EE14EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e1a1f93d0c0634a7ecf5d8b922902097d44856","datavalue":{"value":{"entity-type":"item","numeric-id":2987192,"id":"Q2987192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987193$F522EA74-3CDF-47A4-A5ED-571F6EC28245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c58569846d61b472550f2efc872275f83e776b","datavalue":{"value":{"entity-type":"item","numeric-id":533184,"id":"Q533184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987193$0DE3024A-9FF1-4B99-A67D-BD881120FF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce6797af440e9baff970804a9b63c90579ba7dd","datavalue":{"value":{"entity-type":"item","numeric-id":488400,"id":"Q488400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987193$3F80464D-08C2-4E8F-AC30-BF53EF78A229","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987193$2B3914E1-FBB8-472E-B6C8-E80B3534359D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987193$A9B17DA4-0AA1-4936-A7F5-3D95D09DC0D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b9ceacb3faa493ed9a57617b622e376afe550ee","datavalue":{"value":"6719593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987193$2B6A3D66-23D8-4367-A6BA-E0DE977C7E1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5043b213ec0f7a3a180961f38e43ef8588e48287","datavalue":{"value":"abstraction interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987193$54FC4556-87F6-441E-9429-EC21621514BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb207aab40ef4f13904fb4c468e87c8bb1dc564","datavalue":{"value":"invariant verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987193$83DC657A-3711-4638-A1C3-62CC9E0F00D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987193$32D6F498-FEEC-4979-8A23-A445574A3712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba61d808b6f042262781a1f08388d2524177fab1","datavalue":{"value":"program security verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987193$702D2F52-C224-441E-95A3-AB45D62BD353","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":"Q2987193$7C7A403E-AC11-43D7-9438-DF78E75FA21A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04214c2852687add5ca4a892843003d33c0f5172","datavalue":{"value":"http://jst.tsinghuajournals.com/EN/10.16511/j.cnki.qhdxxb.2016.21.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987193$E846B343-C24D-47CE-8D24-7DF8F8BC3458","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"437bf0d8695481abab80d0bb1feb8a67269880c6","datavalue":{"value":"W2594013111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987193$8901A67B-894C-4B8E-97B4-D30C176A3097","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b7615c95b671f9d84b4b8da48f9df5619ef267","datavalue":{"value":{"text":"Program security verification based on abstract invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987193$5E0F39EB-AC0E-4169-8A69-294F9E3510A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fdb02cd77d94265fc8712cc5af0e4bf7b7db578f","datavalue":{"value":"Q118385566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987193$F3A9FD71-96FF-4EE4-BB93-6D36476453EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ecd2dbe32328ce15f82acc1f9c0e972d75ed677","datavalue":{"value":"10.16511/J.CNKI.QHDXXB.2016.21.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987193$4BF4319C-4A2D-4163-BB1B-706DB4D1AB11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373742fc965010fd074e22a4626740c12d295c85","datavalue":{"value":{"amount":"+0.7334402799606323","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":"Q2987193$3CEF31D4-BC6F-4768-BBC6-F54A3A6A1706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76b3577a7618bb02f9806580f51d2b7da93b94","datavalue":{"value":{"entity-type":"item","numeric-id":5900551,"id":"Q5900551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17aaaed6aff76558b22ae36fac23f54e4c1f0e9a","datavalue":{"value":{"amount":"+0.7314810752868652","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":"Q2987193$A0AD6C88-50EE-4AB3-84BB-B9EE1F1DB80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c7fbbc5031372e4bf31dded1a5696cb2b6ba4f","datavalue":{"value":{"amount":"+0.7206243276596069","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":"Q2987193$E0291089-7FAE-4188-88F8-C64B6CDFED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df382d8d1b86451a6937787c5c53ef4f54c6c488","datavalue":{"value":{"entity-type":"item","numeric-id":2842643,"id":"Q2842643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58219b51750d2ccebc601c1a7b5b8be611ab4230","datavalue":{"value":{"amount":"+0.7104865312576294","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":"Q2987193$57F2E43B-B9EC-491D-92EB-CC5718808486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3203e0aca31a66fbee939bf41f88a322886ea8f","datavalue":{"value":{"entity-type":"item","numeric-id":2248058,"id":"Q2248058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e1a227b83c4acf1c00b11941f81e658b10777f","datavalue":{"value":{"amount":"+0.7098203301429749","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":"Q2987193$87368462-298E-401D-A260-5C2AE5D28A55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2987193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2987193"}}}}}