{"entities":{"Q5898618":{"pageid":8000893,"ns":120,"title":"Item:Q5898618","lastrevid":97514117,"modified":"2026-06-05T14:56:01Z","type":"item","id":"Q5898618","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124436"}},"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":"Q5898618$A629C915-0EC1-4998-923F-298A8361D517","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":"Q5898618$E5C16ADC-4D53-40D8-8B58-82AF02566CCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b7c1a9d52f5c3df5464332790659513261cc8eb","datavalue":{"value":"1176.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898618$2325730F-FFF8-48E8-896E-E71240D19163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898618$B304ECC0-25BA-4710-88F6-EBB2EA390B4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83faf1cb57e4f42336f69858382b0373cf03868f","datavalue":{"value":{"entity-type":"item","numeric-id":3421012,"id":"Q3421012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898618$E39A1DD5-0436-4BF0-9D9C-CADB95C574E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37aa7b49232af847f60c0e647a97771f753e1c9","datavalue":{"value":{"entity-type":"item","numeric-id":216151,"id":"Q216151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898618$12DBA528-AC1D-42A8-8E0B-78C7BB65AE03","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":"Q5898618$EBB3D8E6-F17D-43F2-BA36-AFD3842CC0C4","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":"Q5898618$C03C5471-4603-4B75-9BCB-58E86E615BE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898618$4BFCA2E6-3C54-4614-A797-9FBA5109B1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898618$2CD2CB12-C4ED-45CC-BBF8-CD3E1ABEBF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898618$285042B4-5C44-49C6-99B5-6DB320A62DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"944985410a9ab32c9dad00760c08cf8c6986a241","datavalue":{"value":"5124436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898618$E0EE3B6F-202E-46C5-A639-3980DE26BE8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898618$F19B5F4D-F8CB-4E93-9076-5F638AF835CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898618$D44216F7-3112-4AAE-B1A9-DFC039ED256D","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":"Q5898618$1A34B6E2-D25D-4DD4-8AE7-6010FC4A1C19","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":"Q5898618$46E6F49C-7A80-4F13-A8D4-0A07DA93BF36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898618$21958360-DB1C-47FB-A22C-7FB1497C2236","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e76549a817b933483b9daa432aa031e220ae87","datavalue":{"value":{"entity-type":"item","numeric-id":2424879,"id":"Q2424879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8301a673c41e975792a0763f08daa5d86636bb","datavalue":{"value":{"amount":"+0.8309358954429626","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":"Q5898618$A8F7B049-ED76-45D2-AFAF-21FB039AFC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07577d90b863174edcdb7cdfdb8e6c4ab41bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e4139f5c0d6546651ba6d6722a16389ff4dc1a","datavalue":{"value":{"amount":"+0.7990441918373108","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":"Q5898618$DFFBB765-B27D-4086-BDF1-E4353D83ABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7db2e6c90798e3e7be3aa35f58d3f4a6a178630","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca24f976cf8f468646de547cf57c56647ca3b8c0","datavalue":{"value":{"amount":"+0.7972736954689026","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":"Q5898618$37A6EA3F-97C2-4E67-BA1C-F04EFEE8C524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea9ea125d27c953753988458edfd6c4cfa5662b","datavalue":{"value":{"entity-type":"item","numeric-id":2373715,"id":"Q2373715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40251448146e3efa83b84ee3340949ddfcb8a6b2","datavalue":{"value":{"amount":"+0.7931066751480103","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":"Q5898618$84595698-2991-43ED-9DF3-BBD628864BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7976f532916d3e7382cd475cd6c0d4253a61e1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6113e0be82209a0c30bfd760c9246ff02ac6c9f3","datavalue":{"value":{"amount":"+0.7914717793464661","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":"Q5898618$5FC06E8D-7056-4929-B9E6-58EA56B52B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5124436)","badges":[]}}}}}