{"entities":{"Q5901902":{"pageid":8010389,"ns":120,"title":"Item:Q5901902","lastrevid":50656931,"modified":"2026-01-14T17:14:54Z","type":"item","id":"Q5901902","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554377"}},"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":"Q5901902$5A3CA0C0-5B39-4754-B268-9FBC677CC06E","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":"Q5901902$25C573F3-DCA9-4026-9B6A-7221BA686F55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90ed74154af02a386efffaf16020902a923bf2da","datavalue":{"value":"1202.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901902$01124F32-C5B2-4484-8DFD-BAC96ED6125D","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":"Q5901902$90B70F02-5456-4B58-9D39-4AA80871391B","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":"Q5901902$FDB4A114-D649-4BB3-A09E-58FAB40DA9A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901902$CEA96002-DDB9-4A11-B024-F5110FF80E4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc1032c6cf79053040956bd3af774b5c60ab5ddb","datavalue":{"value":"5554377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901902$B2AB6AEB-FBC3-42C5-8F1D-397B2BD0F2AF","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":"Q5901902$5C44D75A-8DB8-4A78-9A21-5D163A8175DF","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":"Q5901902$BD67DF41-808F-428A-863F-EB6E6BB3CF9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901902$E41199CA-EAC7-4A53-8381-2AB7C03D72E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901902$42FCF2EC-C43A-4A05-8024-47C0D530693C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"138f6d777ce23c93e68f709f87441ece5b12a5e5","datavalue":{"value":{"entity-type":"item","numeric-id":3569196,"id":"Q3569196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdef3f24fa016a55ee1652013d5a5cce4aa8cd2","datavalue":{"value":{"amount":"+0.8680708408355713","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":"Q5901902$9B9C4242-4D89-488A-91F2-7170798C2E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b036a19e6b9efe4301f1b71090aff3642e95c8","datavalue":{"value":{"entity-type":"item","numeric-id":4997237,"id":"Q4997237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e760aa22bae2c6c14b80dc537bda7f6245c393","datavalue":{"value":{"amount":"+0.8322269916534424","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":"Q5901902$A00791A8-6720-4014-B02E-C101172DAED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab94aeda0c95ed5c4c94b16752c4cc41d273ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5217308,"id":"Q5217308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6febe115829c677f15c6a1ca614593d5e3ed395f","datavalue":{"value":{"amount":"+0.7814170718193054","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":"Q5901902$00D3EBCA-E095-4D4E-8E6E-2A0ACC47CCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329b2c3867c2fc24814a79b54c5628f1c26b459b","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d914d76f73947e5ddaf48368c8393ef9259c19","datavalue":{"value":{"amount":"+0.7753821015357971","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":"Q5901902$76DD7450-60DF-4DA9-9209-FABC8B47FEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6fa5b219cd9dbff8327c5381cd0da670c7baff","datavalue":{"value":{"entity-type":"item","numeric-id":2075784,"id":"Q2075784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5e153d902d95a1339221501395f2084d65443f","datavalue":{"value":{"amount":"+0.7693710327148438","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":"Q5901902$519FD534-725A-4789-BE0A-F5C340617024","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901902"}}}}}