{"entities":{"Q5901904":{"pageid":8010395,"ns":120,"title":"Item:Q5901904","lastrevid":50656934,"modified":"2026-01-14T17:14:54Z","type":"item","id":"Q5901904","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554380"}},"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":"Q5901904$B56FDFF9-BA1F-4DEC-8D81-86F6AEB5EB69","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":"Q5901904$24540EAC-4D6E-4670-81F6-9F92803330AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70b4122be8ca3d3226024a6c6a47d499421e8722","datavalue":{"value":"1202.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901904$FB307830-46AE-46C9-BB1A-5C0B22172892","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e4757389edbf44ff9df80633fa169671a98af04","datavalue":{"value":{"entity-type":"item","numeric-id":2848421,"id":"Q2848421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901904$D503D1D4-BD3F-42F9-B412-3DF9AAA0645B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"764dc920edb8b321640d6d8191b1ec243d6b4c52","datavalue":{"value":{"entity-type":"item","numeric-id":2478550,"id":"Q2478550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901904$C672098F-E0B7-4FDC-9F78-788F6E09DC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73e53992c06418a54155da23939a80346059c428","datavalue":{"value":{"entity-type":"item","numeric-id":2766876,"id":"Q2766876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901904$830840D9-9940-4211-A950-D52BA0CBB50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4ec90d133e47d0c18aea7f6eb0155ee89eb2f7f","datavalue":{"value":{"entity-type":"item","numeric-id":630593,"id":"Q630593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901904$0292C9F1-C9E1-435B-AF69-881EB19277E4","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":"Q5901904$476D29D2-3047-4A13-9403-BFB02F938027","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":"Q5901904$8FD7AEF5-5628-4C40-B379-0859C4023951","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901904$BF803183-79E6-43B0-9C04-AD6BDBD0430E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c57faf9d69541de569cbf57231a288d40fece87","datavalue":{"value":"5554380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901904$9D69E262-CF5C-4BF4-ACF9-FE7FD98A1658","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901904$5A3E0566-7901-43AD-97B9-E5205F511532","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":"Q5901904$5A74A204-1445-438D-8278-CB132D37BC9D","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":"Q5901904$EB37CCDC-4862-4921-A588-4B71B16D9F22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901904$50BF49FD-56B6-41D6-B7AF-6517C3E27A3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901904$7F95748B-663F-4B31-A375-CC7A1F3C9D18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11151f9884af4846a2c2083068fabda4e8fe0464","datavalue":{"value":{"entity-type":"item","numeric-id":2478551,"id":"Q2478551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adaef94a0c70b95d5480825a6c9e7ddf8b6933ba","datavalue":{"value":{"amount":"+0.8799314498901367","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":"Q5901904$70D08A99-34D3-4E55-A8F9-C6B46DF5CF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d95f9ff0e557036db4bd04838a3a48c8c4c21b3","datavalue":{"value":{"amount":"+0.8342164754867554","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":"Q5901904$529385A1-1BDC-4CF6-A770-07842A54171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78a4e01ef966b2546dad9e9cea051c3d7e17817","datavalue":{"value":{"amount":"+0.8326958417892456","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":"Q5901904$AC02CA4E-04E7-45EE-8D2F-0DD2CA24A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6592fe64c578df98ebc9a32850ef70e2972f9f7","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded1c4b83efb71d6197a255d489812bd10eae6f2","datavalue":{"value":{"amount":"+0.8181713223457336","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":"Q5901904$604DD1F9-BE66-4AC2-A85B-A392C57FCA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b28be15f4094b77ff04345904a366f4adf8cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded1c4b83efb71d6197a255d489812bd10eae6f2","datavalue":{"value":{"amount":"+0.8181713223457336","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":"Q5901904$C091E2D9-C7BD-4C04-A231-5A0974DA7682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901904"}}}}}