{"entities":{"Q5901910":{"pageid":8010427,"ns":120,"title":"Item:Q5901910","lastrevid":50656427,"modified":"2026-01-14T17:14:34Z","type":"item","id":"Q5901910","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554390"}},"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":"Q5901910$3062CF68-B746-4BC9-A06D-ADDA3613F141","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":"Q5901910$14C47E04-5024-45CE-999F-10209E2C002A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebe8a2b78f5f950212065bf5cfce0173e039335a","datavalue":{"value":"1202.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901910$155E496E-D7B5-4DB8-97FB-0F03BD445CC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901910$F4641573-006F-4FBF-9559-36999C362AD5","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":"Q5901910$0D94AA06-453D-445B-B4E1-6504D1136F60","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":"Q5901910$BD79FFDD-92F9-463A-93ED-D4517FAF7B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901910$F4FC4E98-1F90-4918-889F-9AFC28FEA3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901910$90A6690D-B26E-40D6-A82B-040B88DBEF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901910$6BCDB86E-0471-4AFD-8BEE-3BA0C5CBAD44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"752fc62bfbcbaf05c30913bf653d072ccf960a3d","datavalue":{"value":"5554390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901910$10A2D61D-0315-4FD8-956E-26EA821013A9","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":"Q5901910$D1BB8B51-725C-4853-8398-D7F67CA01B63","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":"Q5901910$6CB96AAD-4C26-433F-9DB8-ED782E6185D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901910$56A6936C-890F-41DF-BDDA-A5C18DFB1E33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901910$274DC862-E0EE-47C2-B2AE-AD125A0C9417","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27dfec99733c234128124f5405b16ea5e8e77105","datavalue":{"value":{"entity-type":"item","numeric-id":1749225,"id":"Q1749225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d9eaf5c29bf2e0bc271bdb76083f685cdc4351","datavalue":{"value":{"amount":"+0.9183511734008788","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":"Q5901910$DA080624-6C9A-43DB-91CB-D85E6085A130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf4cc98e354fb0a43b976c9b90536575083ec81","datavalue":{"value":{"entity-type":"item","numeric-id":4813390,"id":"Q4813390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f652c355a9b5c80b291001da53ed7e1bbce3cc","datavalue":{"value":{"amount":"+0.8319149017333984","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":"Q5901910$BD20ACC8-15AC-49CA-BF24-361A1E7FF351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540c260737e4d2b312c3fbef94b4940936e1a8af","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012d2cf5ef4cf2ff8a3b9164b530054da6e6b796","datavalue":{"value":{"amount":"+0.755855143070221","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":"Q5901910$5D53D6D1-745F-4295-BD33-FFFC7689D490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953ffc7eb8657e6462c8e3217812eb9060de6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":3811682,"id":"Q3811682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bc4113c8907089c5c6fcc2f3f870f08a973a69","datavalue":{"value":{"amount":"+0.7163145542144775","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":"Q5901910$CE4DBCDB-F7CA-4892-8510-75DB4F63F3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dadef89bf53d9a3f9aeb58005ed076173c336af","datavalue":{"value":{"entity-type":"item","numeric-id":5466580,"id":"Q5466580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b4885d2a1cf7b3ab29b1d3f024b1679cd610c5","datavalue":{"value":{"amount":"+0.7013518214225769","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":"Q5901910$571ECD2A-C216-49F4-A605-F48AC1570BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901910"}}}}}