{"entities":{"Q5901907":{"pageid":8010411,"ns":120,"title":"Item:Q5901907","lastrevid":41530307,"modified":"2025-05-05T04:35:55Z","type":"item","id":"Q5901907","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554383"}},"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":"Q5901907$25331411-BF29-4B42-B8D8-62EFFB0FCF5A","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":"Q5901907$800C1106-5D38-4591-9994-50037A762569","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ba685e200d842e9953d90c921feb7c9be6b92fc","datavalue":{"value":"1202.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901907$5D183ADB-0230-4DA9-B133-E9540EEC8A8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94229b96c71d77298697de05e94c9bf7fba20fdb","datavalue":{"value":{"entity-type":"item","numeric-id":2008290,"id":"Q2008290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901907$B095B7F9-7F10-4A4D-BE21-3A734DC7D70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb82b840f2cb52b344ebb7a6a6575033a768c","datavalue":{"value":{"entity-type":"item","numeric-id":418140,"id":"Q418140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901907$96247DD4-4231-407A-9BAD-5489E132BA36","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":"Q5901907$BDB891EA-EA2A-444C-9519-CB4ACBA65A47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408a918e70ee5b19afcb31048964c12b8f75a07b","datavalue":{"value":{"time":"+2009-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5901907$6D56B3C4-8865-40FC-B61A-7C538F859537","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901907$B33C09BE-5C9B-4202-9284-7FD36AF81E53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b9388c77ddf8267b8d4816e53de4ea4136687a2","datavalue":{"value":"5554383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901907$6B37A125-BBF1-4EF8-AF1E-FB9C5FA847FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62a1ea0d3519b65526ba538a2cb1a3a6659f2f68","datavalue":{"value":{"entity-type":"item","numeric-id":13640,"id":"Q13640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901907$9845E377-401F-45EB-9590-1AC6C06CE3B8","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":"Q5901907$135AED7E-A756-4873-913B-7669F3CD2F22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79b0db9d5a63dbbf112231eedb1ea3402e4a8184","datavalue":{"value":"https://doi.org/10.1007/b94790","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901907$A73C41EC-DD8B-425F-97EC-A013EECB470A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901907$FE5703A0-E1C4-4F36-B9FB-0410A67AB5B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901907$C20EE335-478A-4F56-A1BA-919E628E91E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93afce5a882bb00f86b73ac092423dc53a2d66a","datavalue":{"value":{"entity-type":"item","numeric-id":5902425,"id":"Q5902425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baccdc9889c670b7a5992717fe88831e843205bd","datavalue":{"value":{"amount":"+0.8549481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901907$0524D5C5-3350-40F2-A8E7-45B2E21AA6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16da89c8f46b2f5c3b4217f3cd77fe9df99bfe9","datavalue":{"value":{"entity-type":"item","numeric-id":4658726,"id":"Q4658726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba8f39efbd0a4046dad7e28ca224abd8dc41fd4","datavalue":{"value":{"amount":"+0.84830624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901907$6AFCE999-BB8D-4101-AFEB-0665A83874C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d874f3b38c28b230549372e210c7299f9822c18","datavalue":{"value":{"entity-type":"item","numeric-id":3525148,"id":"Q3525148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80dd929a283c56fb3727e7b313808d2a9c27a614","datavalue":{"value":{"amount":"+0.84133065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901907$73EBF170-FA5B-44A8-8CDD-50212D033753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4af28d1e8484177ae73a26159b30a5e7d0d5215","datavalue":{"value":{"entity-type":"item","numeric-id":847645,"id":"Q847645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a2bea989e6629b22b43999e5a39aea6c16d232","datavalue":{"value":{"amount":"+0.8349721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901907$4515DCB7-A2D3-4D70-9B8C-AB3CBF336E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cafdb148e236970a73742b65ae42114ed53fed","datavalue":{"value":{"entity-type":"item","numeric-id":6092950,"id":"Q6092950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7319a6e35107c3c317775e0554f3dcad49896f0b","datavalue":{"value":{"amount":"+0.8331501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901907$1E60AA71-A8F5-4AF3-BAC0-68FBEB7D7D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbff8101529514a9f81c5cd261580a1e7338cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3306501,"id":"Q3306501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db97f470a602c4abe49db8ebf6cc77b887a5fbf","datavalue":{"value":{"amount":"+0.82649404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901907$8FCF1349-7C6A-41B8-869B-E39E7BA73B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f0c16e3332067018746f8a0c840eb993938ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4279558,"id":"Q4279558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56337b6fdf129fde8b7cd0311fa336f086ffce24","datavalue":{"value":{"amount":"+0.8251059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901907$D599D5D0-17B3-41BF-81B8-5277054A676A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40ca42c0fedf8062fadb4570f9e1ddbf8e0bb52b","datavalue":{"value":{"entity-type":"item","numeric-id":2789127,"id":"Q2789127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d86473008edb9da4b92f242062087b6c29104a7","datavalue":{"value":{"amount":"+0.8238046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5901907$27D941B3-200C-4505-981C-F62964FCC48F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901907"}}}}}