{"entities":{"Q5178839":{"pageid":7208411,"ns":120,"title":"Item:Q5178839","lastrevid":91474007,"modified":"2026-06-04T23:15:40Z","type":"item","id":"Q5178839","labels":{"en":{"language":"en","value":"A framework for combining analysis and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416196"}},"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":"Q5178839$62121992-6A58-4755-8765-FD43A3E65974","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bdd911bef4e26e40d5b5b708c7075d362e96f8a","datavalue":{"value":{"text":"A framework for combining analysis and verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178839$5A7C5F24-42FA-4A95-A889-EFA0D32E4F30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8809613a79f8d4a65c4fbfdd456aaaddf027061","datavalue":{"value":"1323.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$1E426072-4B65-407F-A3E7-D81318350CF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac5b3e9be5d0a31d2b73a830965d72cb3386eb79","datavalue":{"value":"10.1145/325694.325700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$D790328F-E084-4910-A139-4865A215073F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37ced33a70cc35d707ba20ad52c7779b45990769","datavalue":{"value":{"entity-type":"item","numeric-id":688562,"id":"Q688562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178839$E4EB1607-F3B3-4DAE-A049-FC656EAD4877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178839$2D62D3AA-7852-40A8-BB28-B5B27D9ED562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9e51092d8ce3d361ce322bd610c6d3c3dd7b4db","datavalue":{"value":{"entity-type":"item","numeric-id":2866339,"id":"Q2866339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178839$41516804-86F2-4E9B-A1E0-68885E8C1AC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00ace0ec2df838fdad7145b8dfd170c033f275fe","datavalue":{"value":{"entity-type":"item","numeric-id":5178836,"id":"Q5178836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178839$ABBE8337-0881-4A05-ADFE-8B0552B20219","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-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":"Q5178839$272C9A7B-C524-4209-99D3-32569B565F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$A78D31A7-521A-4A7A-811A-077075A23D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$20F8B4AF-289A-40EA-A66F-7B93477C2C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$96A400C2-C8A5-42DB-974F-1EEB3ECFFC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$47606FF3-8EA3-4A8B-A455-AF788279E2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$53091D7E-257A-4B9E-8B42-E7414FC8EF21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b11822b4b2b5ba134eee37c0bba82d681b0a7d52","datavalue":{"value":"6416196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$DE1AE68F-041F-4AD0-90A5-F05959A9D1B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178839$674E54D6-54E8-4F92-B299-83A4EC92F7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178839$13C0597D-BD3F-4E75-B8D4-D3FD232737E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178839$D5F6FF8C-6D4D-4DD4-9C41-C0D2D8383C48","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":"Q5178839$10C268C5-1DFB-4189-8795-3CC7042BC796","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8f20563b9070802646c5af0848fab4d29f451ae","datavalue":{"value":"https://doi.org/10.1145/325694.325700","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178839$A871C179-D8DB-4BA7-A636-B21A7EE4A0B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cf290e26f8a8638f39f7da5932057cdace97197","datavalue":{"value":"W2065725498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178839$6EF8921C-FB09-4B71-B78F-D67FCD84D2AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f8b09071262dd8f0552ff8611f89a2f66d5cae","datavalue":{"value":{"entity-type":"item","numeric-id":2642983,"id":"Q2642983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e25c84f83f2b9ee0fa4e4c9d446ee91937de745","datavalue":{"value":{"amount":"+0.8213551044464111","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":"Q5178839$666936C0-DB24-45E5-BDC9-19EB540F4B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870c2e03a38995fe33f258545bf679f624998186","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4500a05d95aa9f74370ffe5ee443c7b58ed6bb9","datavalue":{"value":{"amount":"+0.8212833404541016","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":"Q5178839$C584A078-EE27-46EC-8C30-FEF58B0403D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e75fd6a7a667c878559547437708d6953acf8","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde93d977d6577591f73f95beaa6e43785f598c9","datavalue":{"value":{"amount":"+0.7749497294425964","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":"Q5178839$FCC940D2-B0B8-4917-9860-B517967F0FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ddf3328117c594970fdebcfe0a169658535262","datavalue":{"value":{"entity-type":"item","numeric-id":3176374,"id":"Q3176374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1371ae6f49fa21d16758cf34f612329fd836708c","datavalue":{"value":{"amount":"+0.7739376425743103","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":"Q5178839$3352D2CB-4D11-4F36-A69D-5B1A7DA75FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3133f4c42e5fbbae7f82e7a19aeb192c8d744aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3460078,"id":"Q3460078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ae3e5162d28de50c61b1e918aa14240946191e","datavalue":{"value":{"amount":"+0.727959930896759","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":"Q5178839$75269C7B-E4DC-49B9-87FD-D62C6BD00611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for combining analysis and verification","badges":[]}}}}}