{"entities":{"Q5898608":{"pageid":8000861,"ns":120,"title":"Item:Q5898608","lastrevid":97513934,"modified":"2026-06-05T14:56:00Z","type":"item","id":"Q5898608","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124426"}},"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":"Q5898608$D8082E01-D4A8-4931-B90A-7A98F4789C73","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":"Q5898608$52A1256C-538B-4B11-97DD-30BE33C7BB2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"828b1f9d1ef06bc6e2bcdc18981ac69f8fbc7c6c","datavalue":{"value":"1176.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898608$A047ECC7-9C86-4CC7-A65C-5DAF688DEBC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898608$12BF5837-3727-4106-AF8B-DF3677A4ABD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"441a85c6b465dee46f509fb5bcd588c09979fced","datavalue":{"value":{"entity-type":"item","numeric-id":3421009,"id":"Q3421009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898608$C59BFFB2-71B0-47F3-9329-9A3AAF86C125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70e9ce9a5b5c46f7bf37a00c51034be3896ba64b","datavalue":{"value":{"entity-type":"item","numeric-id":784126,"id":"Q784126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898608$4F837E30-127D-4366-BF44-8F1D43D2CED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898608$02F10E2F-00C0-4B2D-8996-968667BDDA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d392bae63e87f1ece8a83acc163167fcc66d9928","datavalue":{"value":{"entity-type":"item","numeric-id":2568454,"id":"Q2568454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898608$74249576-D9D1-4D56-BE8F-31EE91337077","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":"Q5898608$0F06F0EF-5863-4907-92D1-FDBDF7149A24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a45291ee8d7b5555553b7864c822d601856c674","datavalue":{"value":{"time":"+2007-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5898608$ED10C0F4-13A8-4840-8341-4A6EDD75B132","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898608$8290E648-C4B7-49EE-A952-8A245DCE4543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898608$F12A9CDA-50AB-4FDE-95A2-2B9B8722C3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898608$7D3781B7-DBE6-4322-8D29-715179DDF01D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae85021dc3851f50a4d7d334dc929cb8c7b7752c","datavalue":{"value":"5124426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898608$C3D2EE9B-2C84-4F0D-8F98-7A4D5D225F40","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":"Q5898608$C64863FB-1E9D-488D-B70E-5E5122DCCDB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e910ccb6553d3b0d560facef2073cf9971ef1604","datavalue":{"value":"https://doi.org/10.1007/11609773","type":"string"},"datatype":"url"},"type":"statement","id":"Q5898608$E9D5CB7D-5232-400E-811B-A78BD9E6093A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898608$A3B38B28-BC64-49D2-94B6-13420B1D1CFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef98b6dd93032e81d6555f005dab5c31c50b9947","datavalue":{"value":{"entity-type":"item","numeric-id":5466566,"id":"Q5466566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1adf90b2be47e4d17965b1163fde7f03f14129b7","datavalue":{"value":{"amount":"+0.806271493434906","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":"Q5898608$F4280D10-D800-46BF-863D-81CBC112780B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4598224ae51aa60636ba3a4d893329afda85778","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168e928535670d1792453eecc47f94ca856e8b78","datavalue":{"value":{"amount":"+0.7805842161178589","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":"Q5898608$19624A9D-872C-40A5-BB86-CD25F922534E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170eb1989887cd4eb3d3e5e3b9980a6ad02ef68f","datavalue":{"value":{"amount":"+0.7750216126441956","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":"Q5898608$1DDEFD36-5E6B-4DA5-A0BE-65EDB8207A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b666a4e263b0f5d41ffd5516632087fcaf6092a3","datavalue":{"value":{"entity-type":"item","numeric-id":2938073,"id":"Q2938073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a836c20282ab5b2f137af05f656d6b5f1444c8e","datavalue":{"value":{"amount":"+0.7654265761375427","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":"Q5898608$FB1A8263-2E88-407F-9AF0-BFAF09DE698A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5291b9b1607e541e9d0488c090faa6f672eb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60929407dacec607eba7b69012d68cd39fa8679b","datavalue":{"value":{"amount":"+0.7426931858062744","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":"Q5898608$416900F1-F684-409F-A0D3-9DF9223A7938","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5124426)","badges":[]}}}}}