{"entities":{"Q5898628":{"pageid":8000936,"ns":120,"title":"Item:Q5898628","lastrevid":50024530,"modified":"2026-01-12T17:04:22Z","type":"item","id":"Q5898628","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124446"}},"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":"Q5898628$B51902F2-4B45-4F67-9E6A-843C0016BD32","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":"Q5898628$031BCF44-2D6E-46D6-9907-B24D19C2E297","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f826e566a9a61ac0a253860b5c3e501a871b9f6c","datavalue":{"value":"1176.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898628$957E032B-C2A1-4DDA-B4B9-F1F8C5924825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898628$C39B8C6E-D6FD-4E50-8742-93FC8CCB5354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79110293abe8df1d1b69baf84d1546747a32f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":681348,"id":"Q681348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898628$5D03CE49-FB33-4D5C-B3BC-805C6DD50AB3","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":"Q5898628$00CEBA42-437E-469A-9A39-2105880C74E4","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":"Q5898628$FC9E5308-426A-4E8D-9FD2-86FDC6C69EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898628$F043E651-44FB-4E98-9477-FF7262E54691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898628$78E8D84E-6A6C-40E0-9FB1-001E924EECF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81efeaee0c207fb19ec70838a8cc3c468afdbee6","datavalue":{"value":"5124446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898628$20FAB299-5A3E-485D-A1DA-3D9E5AA8488A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898628$CDCE7A81-2EF9-4214-8CB6-C02136F597D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898628$F7B42BD4-E2C8-4A4D-BAFE-610121381AD4","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":"Q5898628$F6625DC7-2D5B-4482-BDE9-EC69F8389120","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":"Q5898628$B070311A-5C5C-48AC-860C-F8C68B197120","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898628$B2760B7F-801A-4302-AB48-A5A11B390585","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcabced946a4d7bf997a769b35f56f1df5f86bc6","datavalue":{"value":{"entity-type":"item","numeric-id":3613375,"id":"Q3613375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c498cac33fdb97420894adf123552c68adbcbda","datavalue":{"value":{"amount":"+0.789673924446106","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":"Q5898628$59E0CB5F-0D62-466A-9C74-EDB5C82FF6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d198dd6645ca3725c03bfd2d1553d43a00bcd19","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1658cf43d266d873989d6a5d24730d9332c48d15","datavalue":{"value":{"amount":"+0.7656896710395813","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":"Q5898628$D74579B4-E156-43A1-90E7-C1BCD5281ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824da8d710ac7d355dab169be1bc4c3fa6a19686","datavalue":{"value":{"entity-type":"item","numeric-id":2814099,"id":"Q2814099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ccbb3305634a66bb526a3f37610cf3eea360e0","datavalue":{"value":{"amount":"+0.7645933628082275","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":"Q5898628$8901C261-E643-463C-A822-3A6F4D8DF6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d177f0820fe98d1caebee378ac8913e7651c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3191738d8028fe793e4bfa12b7cab6a2f2583376","datavalue":{"value":{"amount":"+0.7631496787071228","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":"Q5898628$14AFEC74-6793-4726-A16E-623BFE294F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec570d5829beedbfc349d0394b951142f0e8197","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41a122bb1825d5d4d929d062b502bbaedb7cb6a","datavalue":{"value":{"amount":"+0.7602556347846985","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":"Q5898628$A3F30333-CA0B-42DA-B585-E3916367BDC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898628"}}}}}