{"entities":{"Q5711494":{"pageid":7741048,"ns":120,"title":"Item:Q5711494","lastrevid":92829947,"modified":"2026-06-05T02:51:30Z","type":"item","id":"Q5711494","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235910"}},"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":"Q5711494$4A157D10-E7D2-4A86-8A35-7EC2A219690E","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":"Q5711494$25B15AC3-F874-430B-9D56-D79114172154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5495f2f81427e5f87de5cb88461c73397eba38e","datavalue":{"value":"1112.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711494$E48AE925-C5A0-45B1-81C3-D9E47F7D6BB0","rank":"normal"}],"P16":[{"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":"Q5711494$39D84CDB-811C-4077-A7EF-DE96DB097088","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":"Q5711494$A539DCD8-BE04-4AD8-9F74-C03E5AF2AFDB","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":"Q5711494$D01EB26E-A155-4854-94E6-7EC558F03FFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711494$D45A1E02-094B-4EDF-9AF6-34D47043642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711494$24B39D42-90C7-4940-BDE6-4F43BD062351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711494$6F9D692C-CE2B-4F62-8665-92F68F35EB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711494$887E3F3D-853F-4F30-A299-7C0F19A310A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bf31089705189767cfaf9339d3a2b5b6d24c1d7","datavalue":{"value":"2235910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711494$000814E3-899F-4D48-8C00-B90BC60DA84D","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":"Q5711494$FB4DF5AB-B8A1-4162-800E-EDCD545BCB5B","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":"Q5711494$9B4F6638-03B4-42EC-9C92-DC0DB2D789DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711494$B1515EF9-2FCC-42A1-A57E-D9B37E4A1D3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711494$0D797BE3-E192-4BFD-8E44-046CD44FBB1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b99b0d336ec39f1a64da28f184aad157c30ffa","datavalue":{"value":{"entity-type":"item","numeric-id":6109597,"id":"Q6109597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3df2f08afbc4ab79777f55d613355870c951652","datavalue":{"value":{"amount":"+0.8944509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$E206E243-9C8B-48F2-AD6B-BDAB6E668ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79214af768596456d18635cc590eec2201e08a19","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbac8a3ef4fb14adf4a7ae6e86883c5fde038ad9","datavalue":{"value":{"amount":"+0.880677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$E6DE4EA5-FECC-41EE-AD9E-0C5EB256C09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6def29c8473e82c891650ee23e5458d6b36c19c7","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87eb7eb372a25408b64f701657118f9b9ddb5f3","datavalue":{"value":{"amount":"+0.88000077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$A8DC2B38-A0A3-47F6-A8F9-F4E358E3348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db7617df6c23cf77f932c20c0ae71dc8a1dde0a","datavalue":{"value":{"entity-type":"item","numeric-id":3406322,"id":"Q3406322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f5c02310e24029a272e4a75a7e079fdabbb256","datavalue":{"value":{"amount":"+0.8765844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$12EB8B34-5C20-4B0C-9BFB-5F590B27F195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e11bcd41e83c5baa5f190dac5c64fb23793e23","datavalue":{"value":{"entity-type":"item","numeric-id":2817904,"id":"Q2817904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25350ee8036f4fb997813e8f6b8d5e9eaf382dba","datavalue":{"value":{"amount":"+0.87257624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$2FDE63B1-E025-474B-BCDF-511429C5939D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1cb744e836204235a33b303d4115c8b81e3aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2754058,"id":"Q2754058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8d106da12a864a93d89e155aa25bbe91a9f13b","datavalue":{"value":{"amount":"+0.86674863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$86EDA5FB-63E4-46B1-AC9E-8BC38FFDDE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bf06fc5b450fb6ce8226ac7157dbd379b14a85","datavalue":{"value":{"entity-type":"item","numeric-id":5090957,"id":"Q5090957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a131c3244b985f4ae01590f3dfc1b54185eba3c9","datavalue":{"value":{"amount":"+0.86569315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$9ECF945E-94BA-446A-BCFB-645D44045AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f995146a9272129c155b2c9c0f3a99d95792b74","datavalue":{"value":{"entity-type":"item","numeric-id":805253,"id":"Q805253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26007baecebaab65889472d033fc66df864e9e8","datavalue":{"value":{"amount":"+0.8638914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$D8BCAAED-570D-4CB9-A2DA-C9904EF5BED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72759b6f84446c00b4869f94bd50cc5c75b15889","datavalue":{"value":{"entity-type":"item","numeric-id":4539644,"id":"Q4539644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fdf5d8d3299a6a4e50f4f8cc2b3459f60fbd34","datavalue":{"value":{"amount":"+0.8629233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$F4A9D10E-3612-4627-9856-4243AECFBDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dbdf74c1ec0d4a353aed606166a98baab7921d","datavalue":{"value":{"entity-type":"item","numeric-id":2842604,"id":"Q2842604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60b3d26965f43a7425bc3e73512f7dbd1759cdb","datavalue":{"value":{"amount":"+0.8591522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711494$0B15F813-A4B5-4907-B2E1-804B0DF30D10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 2235910)","badges":[]}}}}}