{"entities":{"Q5898625":{"pageid":8000923,"ns":120,"title":"Item:Q5898625","lastrevid":97514237,"modified":"2026-06-05T14:56:02Z","type":"item","id":"Q5898625","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124443"}},"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":"Q5898625$E1D75131-5314-41FD-9340-581530D5C15D","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":"Q5898625$16CB357C-CCC0-41E7-8BBF-BE2850A74E2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"640c5ba469471c989c040829e35dd1e1fc057294","datavalue":{"value":"1176.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898625$C6C9EBFB-9553-4EAE-893A-6D3757245A61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898625$9A7A7940-22A8-4410-8CEA-415E41AB2929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898625$D8B51E12-280E-4084-93B2-0B46FA3E9F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0424aed08dbbf639f7162eabe730fdbbec3679","datavalue":{"value":{"entity-type":"item","numeric-id":784141,"id":"Q784141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898625$3052951A-974C-421F-AB24-278CED1F3CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89dcda0b84a0a92fd0f69b94e97a6947d52d77f0","datavalue":{"value":{"entity-type":"item","numeric-id":2384925,"id":"Q2384925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898625$E730FB3C-3DAD-44E1-9F0F-1415A0DE1750","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":"Q5898625$017916FD-B233-44F2-BE33-7F80E6BF65B4","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":"Q5898625$519E1238-1A26-4CA9-BF4C-5B9422831C14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898625$4398FAB9-ADE1-4078-ACF7-88ECB25D5185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898625$C7E16DB9-F15D-4160-A1C7-5F4F03E2DE36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95dbf018fcafde7b4ab224ca38f0ecbb47f8b06b","datavalue":{"value":"5124443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898625$EFF4FE70-FEE7-4424-B68B-F3CC43D2C618","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":"Q5898625$E34498C7-8491-41B0-853D-9AEE2988E4A1","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":"Q5898625$66931F24-5ECD-4E7A-BEE4-70DB2FA01B41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898625$0F3C59C6-3F82-4921-AA1B-A4DA355539E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708f96d0fd2676f1f5ca438a298b0bddb7ff2002","datavalue":{"value":{"entity-type":"item","numeric-id":5310663,"id":"Q5310663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbca6b611e3cb0e3b82166e8ac762b5fac35f172","datavalue":{"value":{"amount":"+0.9983768463134766","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":"Q5898625$85BF67F6-F2D6-4921-82D9-3DA209DE4629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5d51ab9b7dfd5541a7f0d2b2f1eb27c4f4b3e9","datavalue":{"value":{"entity-type":"item","numeric-id":5758038,"id":"Q5758038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0f9e6e3ebe6b300a0b97f935662658faf0e9aa","datavalue":{"value":{"amount":"+0.839044451713562","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":"Q5898625$7C0EBCB4-BCA3-481C-8997-9CF02395621B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b72d7d3a0fb1daa603d4d0c6514e935242f6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4370350,"id":"Q4370350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a6b18237c18133171ccf92f27ac55ff520da84","datavalue":{"value":{"amount":"+0.830683708190918","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":"Q5898625$53467DFE-69C7-4F82-9CF5-C4C3CEEDE2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f5cc3f7fd19147ef69fe2a03df5bea76cc3fc6","datavalue":{"value":{"entity-type":"item","numeric-id":5739364,"id":"Q5739364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01ea26baba36999aac7d52ae33b2980a60ebf32","datavalue":{"value":{"amount":"+0.8213524222373962","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":"Q5898625$625F7F69-135A-42D5-AE81-508248243AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3241a575b8b57b58712e360bddbb79429cfc1d92","datavalue":{"value":{"entity-type":"item","numeric-id":4673436,"id":"Q4673436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca07524bab5ce8b436324c8a3008b8bf157fcab","datavalue":{"value":{"amount":"+0.810967743396759","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":"Q5898625$6EDFC182-8DFF-474E-A4D4-86A2E40CAAD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5124443)","badges":[]}}}}}