{"entities":{"Q5711503":{"pageid":7741057,"ns":120,"title":"Item:Q5711503","lastrevid":92830028,"modified":"2026-06-05T02:51:31Z","type":"item","id":"Q5711503","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235918"}},"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":"Q5711503$BE7FDB5D-FC5F-41B6-9F4C-5F4119E2A5BF","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":"Q5711503$015F1FA3-50F2-483E-97FB-B636C41E5B15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1377a05ff200d75aa5e618ee1826b2eefb95bea","datavalue":{"value":"1111.68510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711503$3E51D0B5-7191-4A14-B3F7-D5D176FCE82E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3d63802dcd3ac1e4433559bd1c461faf8469ae","datavalue":{"value":{"entity-type":"item","numeric-id":4426371,"id":"Q4426371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711503$31B079E9-D36B-4080-8903-08F1731BC984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711503$825BD436-0EE6-4F31-B7F5-A288035F6A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711503$B0F4D2BB-270A-46C6-AF8F-9EA56ED9CC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711503$AB7E4909-D237-43B0-8043-C32B7BC98A36","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":"Q5711503$4E73A9E5-22D6-4827-A417-01A7718C8869","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":"Q5711503$36715452-848C-4097-B3F2-BEDD5413A2D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711503$A592347E-EA35-4793-84FF-0BF655AA667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711503$FA1E9FC9-6436-4844-929A-DB322BE1FC01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48515b2139276234c59d58915589a7ed7c7f6f85","datavalue":{"value":"2235918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711503$A13F3CF9-33E2-4D4F-B4F3-475ECC061282","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711503$7CA46C45-EB3F-40CE-971E-8DD8820730A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186758f9c8803bfcc8d9f38b2680b034a18d2bea","datavalue":{"value":"past LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711503$5CCD7040-E2B4-4339-B439-7C6C5AE3BE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e6e7fbc044e24a636f416a29bbfa6df53e6435","datavalue":{"value":"NuSMV","type":"string"},"datatype":"string"},"type":"statement","id":"Q5711503$87C27D89-2C31-4571-BA3C-6E0D9C62DE0C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711503$7C3FF8DE-6186-4C8F-A0EB-938D95F12A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711503$FC54CAB7-6963-459C-BD69-0247E12D2956","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":"Q5711503$135025EF-6FC0-4988-9214-454FB2812CA7","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":"Q5711503$20F74492-1D8C-4C2D-A5DE-B078457378D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711503$0A28A449-D639-4A71-B76F-FDA0F6BC5CC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711503$4E35577E-BAF2-4BB4-8F25-F9D44475E54C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7fcafc978887724a703456a7cb4823f9823f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4417910,"id":"Q4417910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75d828a57146cf99ab458c3c7cb0d2de354132c","datavalue":{"value":{"amount":"+0.8972790241241455","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":"Q5711503$95F1A620-3FFD-4864-AA53-3D6963D50170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705e36b314f5b7e4bde40f91912b46554747cdc6","datavalue":{"value":{"entity-type":"item","numeric-id":5492984,"id":"Q5492984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcaaff41833db052ac173399954fbc9dff08f94a","datavalue":{"value":{"amount":"+0.8478597402572632","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":"Q5711503$1DFEF3E6-5333-49A4-9B48-539F3DDF0E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8079e18fb15a15b0d06c52bce8360e7866f53dbb","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28f148740b1df814c13d788602ab4838434a9d2","datavalue":{"value":{"amount":"+0.8454769849777222","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":"Q5711503$76EE1C9C-B0AB-4970-9F2E-980DADACC58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8b7bc506570e1ffa0717751930e8078f520df1","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dd0afb7a2c2024ad2242f28a3d2cbf8eb595be","datavalue":{"value":{"amount":"+0.8156179785728455","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":"Q5711503$6D502663-69F1-462E-9AA4-134BE80B3FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f436796ae869c7866cb24a7b8262c489995b6e","datavalue":{"value":{"entity-type":"item","numeric-id":5492980,"id":"Q5492980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ac5a64327eadeac6f95eeeac218aa1e2397099","datavalue":{"value":{"amount":"+0.8011090755462646","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":"Q5711503$1EAA5AE4-44A1-4DE2-B5CE-2571C58E7022","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 2235918)","badges":[]}}}}}