{"entities":{"Q5711492":{"pageid":7741046,"ns":120,"title":"Item:Q5711492","lastrevid":92829929,"modified":"2026-06-05T02:51:30Z","type":"item","id":"Q5711492","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235908"}},"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":"Q5711492$4DF10477-2D8D-4137-B251-7C03D67012AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a02cd8b709edfe4ef5e948e182769b4812906466","datavalue":{"value":{"text":"Verification, Model Checking, and Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5711492$90E362C3-9AD2-401C-84AE-AEA26697617F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf512356fc82925238e9f289602abc68e30e98a7","datavalue":{"value":"1112.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711492$FA7A997D-6B78-46C8-A7E4-4BC732863E42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711492$26157E37-9BAB-407A-BBB9-F1F9D2F19EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711492$064B37CA-CF08-4914-AA81-3AF5AF38D7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711492$D002E48F-3AC2-49E6-B391-8E02B4EFA9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711492$03B346AB-CBA6-4250-ADE6-FC594A17E728","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711492$9A47C5CB-7D29-41F7-81E5-3E0C25D057DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5711492$1981FE69-5A68-4D75-8441-2A0201BF12F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711492$12E64D59-6E9C-4A32-A153-B194E078C69D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4dd148633078f420141f05e9e8083c335c89fc8","datavalue":{"value":"2235908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711492$625F66B6-C895-4396-9B95-1B676C2E6F80","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":"Q5711492$ADFD69F4-6439-447F-838A-E0BE2A74CF04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f97b7a53335c177dc0cb73f05e06789c64e85523","datavalue":{"value":"https://doi.org/10.1007/b105073","type":"string"},"datatype":"url"},"type":"statement","id":"Q5711492$8AF3B859-071C-4528-B1FD-222647D8D90B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711492$C392CA37-1B2D-4700-A363-D3AE36C201ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711492$1BD23390-7B00-4EB7-AB93-B6A863704865","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511aafe54df71ac3a65f5d2613e4113e6291cea2","datavalue":{"value":{"entity-type":"item","numeric-id":2643076,"id":"Q2643076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5b60f9ad2f088b118eb1c90c83015fad032a4c","datavalue":{"value":{"amount":"+0.8074527978897095","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":"Q5711492$92C9D5C8-431C-4B11-8265-36D6F61E1883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66b4fe52dca4fb899cd55869b801f54a5f2104","datavalue":{"value":{"entity-type":"item","numeric-id":3648707,"id":"Q3648707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb36af7ee2c2cdf46391f96989b824b52d8ccf40","datavalue":{"value":{"amount":"+0.7910970449447632","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":"Q5711492$14D298E6-0943-40DE-B0ED-A5A88E3191B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64399b0bf5dd74e68efb5cad3ea1bb72e9e83d33","datavalue":{"value":{"entity-type":"item","numeric-id":414899,"id":"Q414899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2e09830496538563ed2b4ecf754d50fb63ac21","datavalue":{"value":{"amount":"+0.7682657241821289","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":"Q5711492$CD0D8903-1BD7-4A16-ABF7-DC28AD6601BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9519d7a8809afea12f17beb7be7e7502b77169f1","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d5eed8e399fa51d18b708df7b9501e0fce4459","datavalue":{"value":{"amount":"+0.7671547532081604","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":"Q5711492$DF1D30E1-77D9-4285-8240-7E7B52871AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318749bc547ba59cc9121f8d427dfaacfb5ad229","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e6f4794e840d49bdf1bdcdfad4c1c32c080b2b","datavalue":{"value":{"amount":"+0.7630571722984314","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":"Q5711492$0FE0FD1B-F207-4A8F-99A6-EE3BB02FBFEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 2235908)","badges":[]}}}}}