{"entities":{"Q5711488":{"pageid":7741042,"ns":120,"title":"Item:Q5711488","lastrevid":92829893,"modified":"2026-06-05T02:51:30Z","type":"item","id":"Q5711488","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235903"}},"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":"Q5711488$47DE0BBE-D939-4D5D-9AAC-4E335A151B51","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":"Q5711488$E1FC3E4B-5FD7-4A39-8F72-C3FC151D334C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c537d8ac5ca0a3ad53600be78afc80df0437976","datavalue":{"value":"1111.68397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711488$DEF9AD2F-8CED-402A-9B5F-3B5E678E917E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec4bc11f85fec3cd8651169b233d6ebf4d4c0600","datavalue":{"value":{"entity-type":"item","numeric-id":2145337,"id":"Q2145337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711488$C5057D51-5C26-4EF1-9277-84AE73932E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e0c2c58ff8fd4ec1edd435e868f3bbbace9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":633284,"id":"Q633284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711488$110E3D0B-DF9B-4A03-B784-D2B15929AECE","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":"Q5711488$091075C9-E356-4A26-8759-03BAB0F003D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5711488$2ED6AA3A-F17A-4E56-9B03-7A429574D450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711488$8CAA2595-692D-46D8-8EF7-578A135AED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711488$FE8D2F03-AF1D-47D5-93A7-5F8D6AD2982C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711488$DE581AA4-CB9F-453E-9AE4-2C8819744D75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb87c9e08ad4ff8820112bcdaf934c16f5911cf2","datavalue":{"value":"2235903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711488$3698110E-A599-4A2D-9930-3C5F417C08AE","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":"Q5711488$8F7823C0-12C9-4B8C-9416-022D012AF68A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f97b7a53335c177dc0cb73f05e06789c64e85523","datavalue":{"value":"https://doi.org/10.1007/b105073","type":"string"},"datatype":"url"},"type":"statement","id":"Q5711488$765F3359-B23D-4CD0-B597-920855484DBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711488$73266812-866E-4AA2-8851-93D8D5992F2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711488$8502F696-A776-4130-9054-1E9FF1359EE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246bf7daa41b874a61be5d2dc7fb40368398be8a","datavalue":{"value":{"entity-type":"item","numeric-id":5429331,"id":"Q5429331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa14c636a77dc621e42983ee7f98bb42e07ea35","datavalue":{"value":{"amount":"+0.7852052450180054","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":"Q5711488$9AAFC85D-197C-458C-A2CA-9F560F899F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14d0c6f6e75ce015a354930927a435ffbb164bd","datavalue":{"value":{"entity-type":"item","numeric-id":5204344,"id":"Q5204344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d573516fdcd057f5ccd54850183034cc8d6646f","datavalue":{"value":{"amount":"+0.782978892326355","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":"Q5711488$15AD3E9B-E5AE-464A-BCD4-B65AF4EC275C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5ca0ef69fd9bc3dfbaf7db7ef189740e9061c","datavalue":{"value":{"entity-type":"item","numeric-id":4518879,"id":"Q4518879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87342211411b01630bf3b51ee1985eb15dd5fbdc","datavalue":{"value":{"amount":"+0.7715123295783997","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":"Q5711488$4FE168BC-D974-4D48-8D25-8DE85388624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f595f1f3162ee239095e0c417d87d9af99cb19","datavalue":{"value":{"entity-type":"item","numeric-id":2769434,"id":"Q2769434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97320a41b9596c7d7f36a72dd3756640dd1aa6bd","datavalue":{"value":{"amount":"+0.7675631046295166","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":"Q5711488$307E6681-DADA-4871-9253-88A9AA803670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef98b6dd93032e81d6555f005dab5c31c50b9947","datavalue":{"value":{"entity-type":"item","numeric-id":5466566,"id":"Q5466566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c04036952c38a2b48fc35f33113762f4023cb55","datavalue":{"value":{"amount":"+0.7554411292076111","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":"Q5711488$86875F4A-59DD-44D2-B73E-7070CA6B7BDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 2235903)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification,_Model_Checking,_and_Abstract_Interpretation_(scientific_article;_zbMATH_DE_number_2235903)"}}}}}