{"entities":{"Q5898626":{"pageid":8000927,"ns":120,"title":"Item:Q5898626","lastrevid":97514255,"modified":"2026-06-05T14:56:02Z","type":"item","id":"Q5898626","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124444"}},"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":"Q5898626$48C6310D-0276-4737-8FB9-784884C10962","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":"Q5898626$54AFD5C4-83DF-439F-BF84-0A8F410A1AD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5cbe50d005ddfdb98d74747156667fd3dab76b0","datavalue":{"value":"1176.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898626$0BADCE1E-B92A-4ACB-BC34-C6F33107F249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898626$C37FB3C0-C512-46BE-82D3-1448A147DBCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898626$04E1BE9C-A3F7-4312-B744-0910ED014BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898626$9AB71EEF-4888-4700-A21F-BED1670591E1","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":"Q5898626$41BB01B5-E077-4D45-8279-003AEB2FE256","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":"Q5898626$07275E23-FDAB-4E8B-8EB0-AFC52B93F454","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898626$6BF1908C-D19C-4BBF-A267-D96C955A40A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898626$5558974D-C815-4F0A-8A00-69C37B0446EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898626$AA399BF7-3606-4FB7-B389-4FA60523B23F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"087f0caf81dc7b58b85d1eb3bef68210dd728bc7","datavalue":{"value":"5124444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898626$D7A1CF1F-639A-4016-8AB0-0A14C77C8972","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898626$4DA45FDF-9082-4150-91BC-F47AC013C978","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":"Q5898626$6471A25B-E217-41E6-82BE-E1CAF692C034","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":"Q5898626$D1076EFD-6B66-4A84-8A31-2CF780B453A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898626$6F171B32-0FCD-491E-92CB-3CC152082307","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d31ed4d4ae0cfd57deb8fd16441f2355e50960","datavalue":{"value":{"entity-type":"item","numeric-id":3046762,"id":"Q3046762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c6f923fb30ca0a844ab2eb9a2174197922fe70","datavalue":{"value":{"amount":"+0.7379031777381897","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":"Q5898626$2A0EACFC-95F0-4788-844F-989732029480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f985c93ae8b44592b3663c5bf0e9637e209dd8","datavalue":{"value":{"entity-type":"item","numeric-id":462041,"id":"Q462041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e156fb54855141c527d3fc6fb65330593d9b03","datavalue":{"value":{"amount":"+0.7190285325050354","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":"Q5898626$9DC44562-23AD-402C-A512-E25F7630D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0ff43807cbb74368d871cad47a4b9d68fa4c8c","datavalue":{"value":{"entity-type":"item","numeric-id":428866,"id":"Q428866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e450d8c871ecc7c13b322b7ea1c13074e79cb933","datavalue":{"value":{"amount":"+0.7128342390060425","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":"Q5898626$214C9449-82D5-4915-831A-135C4CA76E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e86dbd1b5137564d0c6c434e8c1e14fe792f452","datavalue":{"value":{"entity-type":"item","numeric-id":751843,"id":"Q751843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62a2083a0954ad53436b8049ddb050d4cbec8d5","datavalue":{"value":{"amount":"+0.7122715711593628","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":"Q5898626$2FBA0E35-93D0-49AD-85B5-02C18187B9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27dfec99733c234128124f5405b16ea5e8e77105","datavalue":{"value":{"entity-type":"item","numeric-id":1749225,"id":"Q1749225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04697b88eef9643197cd806b8994f9f8e38c34c9","datavalue":{"value":{"amount":"+0.7057315707206726","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":"Q5898626$9F502F26-294A-4219-B358-42B9C6904F46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5124444)","badges":[]}}}}}