{"entities":{"Q5898615":{"pageid":8000881,"ns":120,"title":"Item:Q5898615","lastrevid":50024374,"modified":"2026-01-12T17:01:57Z","type":"item","id":"Q5898615","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124433"}},"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":"Q5898615$1E10BB09-2A17-436A-8723-DE7D8A6F8346","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":"Q5898615$FB8C1CBC-CBD7-46A0-8763-70F8A1CAF6B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"577137d1ebf5615f9fcabfc7a5a42c482b010d56","datavalue":{"value":"1176.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898615$FBCF67FD-23AB-4213-BC10-B390D0221ED9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898615$670BF1E6-4421-4017-9ED0-14FBB12510F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5b32a226edf387007e27470756606e0bc701d86","datavalue":{"value":{"entity-type":"item","numeric-id":2509357,"id":"Q2509357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898615$E73BB92D-050C-4A5E-9B99-D47C08565C9C","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":"Q5898615$0F2AC8C8-7B27-4B41-80E8-5E73A98A25FA","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":"Q5898615$DF258339-9CF2-4E68-8C50-EE5A548818C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898615$31B8A011-1116-4940-A1E0-C4F5F70139F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f5d8b23d745e755d179ceda17cd04e2d3d528b7","datavalue":{"value":"5124433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898615$5EC139CB-9A5A-4061-BE6F-2EB49C011910","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898615$32B96AD3-A649-4817-BB80-D7C07BBD0BDE","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":"Q5898615$71D6AE37-426B-4098-B8B4-06DE8F071C21","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":"Q5898615$71267BE0-1EDF-4126-81FA-F50DF8F73C3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898615$BF0362AE-4186-4566-AD24-0A036EB67323","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b907b276bb16e8a20587b4b2fea5eff33147dcf","datavalue":{"value":{"amount":"+0.7938047647476196","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":"Q5898615$C1C5FDDD-3ADD-457F-AB0E-F0394B2BD48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937c9b62b697da236956f69bf83df43263cd25a2","datavalue":{"value":{"amount":"+0.7840519547462463","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":"Q5898615$3742ED11-D70C-4823-95F2-F0E09FC1DAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b9929da7c2777f750c0897bc4b8499e470e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122d04f8acd959253695cc86b9da41c70dbc518c","datavalue":{"value":{"amount":"+0.7684043645858765","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":"Q5898615$5BDB961F-F380-4DC5-97A4-D32FF6859B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c3028a7c2258f7f94fd5edcb4b7d18a73e9a005","datavalue":{"value":{"entity-type":"item","numeric-id":4899147,"id":"Q4899147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a571a8a49bbee6c5f4adfd99e9adf5cd2ea4adf","datavalue":{"value":{"amount":"+0.7671486735343933","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":"Q5898615$0FD9FBE7-B648-4AA4-8D81-A74CDBDE591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfec6b3a03c5f4610c8c700d29930cf42eb3b5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3528912,"id":"Q3528912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce431ed8946cdaca15ccc63fa1fcaab4215d354b","datavalue":{"value":{"amount":"+0.7650752663612366","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":"Q5898615$B45D157C-97CD-4247-B128-966AF18C3BF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898615"}}}}}