{"entities":{"Q5898607":{"pageid":8000858,"ns":120,"title":"Item:Q5898607","lastrevid":97513919,"modified":"2026-06-05T14:56:00Z","type":"item","id":"Q5898607","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124425"}},"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":"Q5898607$949EA777-2319-4416-81A4-0452181C4DE5","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":"Q5898607$410B28BB-B8F2-4DBA-A98C-72F459CB97B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65205a09645ed53b7c4afce5148a8f8079f2c3d0","datavalue":{"value":"1176.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898607$EE38D3B9-4D59-4B84-8AE2-031B0FACA9B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898607$13844B45-2151-4570-BA81-165A8CB52980","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898607$0B23FB0E-A010-42AA-9167-9B5F8EB99DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46b2f59a448ac155d692577e3e17c3794156bac","datavalue":{"value":{"entity-type":"item","numeric-id":2903125,"id":"Q2903125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898607$4BC34FD7-91D0-401D-8C93-C624B4F66D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9e51092d8ce3d361ce322bd610c6d3c3dd7b4db","datavalue":{"value":{"entity-type":"item","numeric-id":2866339,"id":"Q2866339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898607$A1B03FC4-9444-41F3-B33D-E134E35EB6D8","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":"Q5898607$A6A97842-CCD9-432C-995A-1CBD8A37DA29","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":"Q5898607$5870FEC9-6313-41B0-B60C-A013A9F56FAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898607$0F937E53-9BFA-4039-B20D-F2E265E5B09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898607$53E204E3-3775-40AC-A22C-3AD3680901C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898607$539B2100-6F14-4CDF-98EA-540801A2D2C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49032a62a4a36230c0764a2f26e22cf9094e7f99","datavalue":{"value":"5124425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898607$596EA0AF-CC39-47CB-B531-17737C2B0A23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898607$77F2183C-20BE-44F3-BB75-2EC21FD250AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898607$066E9BB8-0A4C-4795-92A8-46369D37845C","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":"Q5898607$EC58AF4A-7DFF-4619-9004-D826CEF36FDE","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":"Q5898607$DAEED9C1-5E2D-4823-843E-774C20298EB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898607$D8816408-E0C5-4552-BFF7-26A4000230A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c204e76bda9af58d8dc573b49f1f84b436e5dc","datavalue":{"value":{"entity-type":"item","numeric-id":5191104,"id":"Q5191104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4e113c91eae021a8e3c1346c70853c741de3e6","datavalue":{"value":{"amount":"+0.7106105089187622","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":"Q5898607$1F51A5C4-1804-4368-A0E0-58293C9C538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309308e6c0234e18c4fd7a6153702c84127b593","datavalue":{"value":{"entity-type":"item","numeric-id":5429340,"id":"Q5429340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086b450f563adc16516fbcff15a0674a073aa6cb","datavalue":{"value":{"amount":"+0.701379656791687","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":"Q5898607$C6B91144-9DC5-4692-B98D-AFE669656BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd4cf7bbbfb99f3d4855a1a4e443e817c997ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b28fae42865598928b1ab1d059fc52fce6d0a7","datavalue":{"value":{"amount":"+0.6981379389762878","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":"Q5898607$8F478954-8E43-4B86-98AA-4EF1E026F9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcb699756df25a31694772574fad73e45244a0f","datavalue":{"value":{"entity-type":"item","numeric-id":3454115,"id":"Q3454115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871b2e1ffdbbf2ce404ca4e752110c6c41df78ea","datavalue":{"value":{"amount":"+0.6919185519218445","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":"Q5898607$EC47ABF6-50DB-4365-842D-2ADA973AEEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc07928af4949a1dcefbdf5fbfb948d733cd720a","datavalue":{"value":{"entity-type":"item","numeric-id":3540067,"id":"Q3540067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8eb3fbff7a9068bc640c4e7c5f0aa430e0290a","datavalue":{"value":{"amount":"+0.6915030479431152","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":"Q5898607$7C5B162F-0F06-401D-9CDD-3EE4E14DBF51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5124425)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification,_Model_Checking,_and_Abstract_Interpretation_(scientific_article;_zbMATH_DE_number_5124425)"}}}}}