{"entities":{"Q5898622":{"pageid":8000909,"ns":120,"title":"Item:Q5898622","lastrevid":97514186,"modified":"2026-06-05T14:56:01Z","type":"item","id":"Q5898622","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124440"}},"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":"Q5898622$A59C9161-276C-4EDE-B390-D274C95C7365","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":"Q5898622$8F687E78-1D2C-4D51-8F29-D24740D7A93E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e24db187a84c2245256cf892eb430853721e61a","datavalue":{"value":"1176.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$4048B79C-0750-42C2-8E00-DED53B098F1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$9B5FA78A-7736-43FE-95D2-13F5499425C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6a7cb3c5493905f4f11b4b43b70229bb4854ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2048939,"id":"Q2048939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898622$5DA13D22-DDB2-4622-B21D-7BAA48C4D77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898622$4805AE49-A3AA-44F1-A097-814E7EADCA97","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":"Q5898622$35D36510-944D-41EC-9267-5BADCE291DDE","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":"Q5898622$14B79E76-ED24-4F27-808B-8A483FE3B2FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$962B473C-EC90-4EDB-AB5B-E7C7F3415ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$6DF06CD8-4D6C-421A-858A-E8B1C103AF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$504B25E5-9DA5-45CD-956A-8B4964E790D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$849BEE51-4595-4D0D-BAC5-DD472F0D8B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$63860F33-F99B-4F88-BC14-EC30724304AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d896de513af9c04114d7c7d1b9eff250aca9b7d3","datavalue":{"value":"5124440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$BE337EDD-5467-4B6F-8725-91DE9ECD5D21","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":"Q5898622$E4A4EE17-A1E5-42B5-B6D7-485084DB4BD6","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":"Q5898622$B1649A32-20FA-4D9C-96EC-F7810E38AFB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898622$F4EA76C0-4A80-4A3C-88F9-567CBF336824","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"337b9dbe9d89a15e6266618126b12dbcb2e68051","datavalue":{"value":{"entity-type":"item","numeric-id":2946655,"id":"Q2946655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cafdfa93a8bc633c01866b256cd5babeb9facfe","datavalue":{"value":{"amount":"+0.8636460900306702","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":"Q5898622$C2F32332-819B-46D5-9650-E3C4A48D7FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e1de48eb9368b976fa9d6bf8dad0127564eb93","datavalue":{"value":{"entity-type":"item","numeric-id":2848411,"id":"Q2848411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669e50508e395dd77c035d67b59ec5b63ce99a4f","datavalue":{"value":{"amount":"+0.759494423866272","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":"Q5898622$DD0C1468-D3F9-49FD-8449-4EE884EF2C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5fa1af277d99d56ea61a4c7f0f751c5a18ebb8","datavalue":{"value":{"entity-type":"item","numeric-id":1059399,"id":"Q1059399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dcf5790244cbaff2f7f5d32e34077d154eb0cfa","datavalue":{"value":{"amount":"+0.7412267327308655","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":"Q5898622$1AADACC6-8642-423F-B17E-EBBE1BB139FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00cae722b12f7a01cc12312fec47841441c4121","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f9983fc9feb5048e237768be1bd4a874c1fa96","datavalue":{"value":{"amount":"+0.7346851825714111","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":"Q5898622$069F8073-6A24-4D01-97FC-3556FFC1B176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b3f5068312cc696349a71119adb1b78a809840","datavalue":{"value":{"entity-type":"item","numeric-id":2683034,"id":"Q2683034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f9983fc9feb5048e237768be1bd4a874c1fa96","datavalue":{"value":{"amount":"+0.7346851825714111","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":"Q5898622$4EBB3A89-18F2-4238-BBD9-B943EF0733FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5124440)","badges":[]}}}}}