{"entities":{"Q5711506":{"pageid":7741060,"ns":120,"title":"Item:Q5711506","lastrevid":48607045,"modified":"2026-01-05T09:01:06Z","type":"item","id":"Q5711506","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235921"}},"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":"Q5711506$300437EA-1D76-4A34-B906-039ADF78DBD3","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":"Q5711506$E17EF431-A5A0-4676-AC93-8A9F663FB7CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"890967b4088b92e05e4afe62ee469571cf68053c","datavalue":{"value":"1111.68509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711506$0F6476A0-064D-46EF-AB8B-9CA783C9EB3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f04770c79f4e4d61f1c2977c0368718bbdec4a2","datavalue":{"value":{"entity-type":"item","numeric-id":997193,"id":"Q997193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711506$F2F350D7-C6C2-40FF-9111-9D86DB72EAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711506$3E5DB6B0-FCD7-43C0-9353-C2242CFE2F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3818a1716b8610e195be4975a458855618b9d1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1268805,"id":"Q1268805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711506$AC23A901-07D3-4067-8E81-F2F26C7CF326","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":"Q5711506$EB7D6DD5-F365-4AB9-9FDD-49B420CAC279","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":"Q5711506$F6DCBC10-F335-4578-A379-9963A9D78C74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711506$FDF1E75A-128A-4A51-AB6E-7509C43659F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711506$ADFF3E2F-BBC3-4DF3-8DAB-9A0D81F47404","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7d9b10a3e7cf1aec5824dd6835456385744b384","datavalue":{"value":"2235921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711506$78AE8011-1AA9-4C4D-B5A7-8E94955A3D3E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711506$F8304672-8C5D-4BA8-886E-7D87ABE14468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711506$310C825C-CEB6-4C01-91C9-D0C4D94F2B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711506$01038747-4122-4E6A-90A2-A872BF55AEC5","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":"Q5711506$E8250929-E27D-4C15-8648-137E3AE57D14","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":"Q5711506$F548A738-AD46-4E23-8F92-D22259808CF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711506$508E5001-37E0-4809-B487-A83AC8E34960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711506$B116A853-247B-4103-9D9D-185C97650102","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272f003716b927e5cad7ed558b39d2224006a33","datavalue":{"value":{"entity-type":"item","numeric-id":2917408,"id":"Q2917408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef0a19a499afbb35e35676bf9e07c1c26d2ba85","datavalue":{"value":{"amount":"+0.7546716928482056","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":"Q5711506$85A11A7E-62F3-440C-A256-3E7CB6194BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae436d9585bbf3571bf8cac098212fd99f8b71e","datavalue":{"value":{"entity-type":"item","numeric-id":2568446,"id":"Q2568446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ea787dc71fdb4a063d9c7f70a4a79aa3e1cd61","datavalue":{"value":{"amount":"+0.7368161678314209","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":"Q5711506$9CB02F51-B3CB-47C8-AB51-AF1117EF5548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8417069816bf63c12f47d43777f723b0af5355b","datavalue":{"value":{"entity-type":"item","numeric-id":4813415,"id":"Q4813415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6255b750053ab33def0235e893f99ac317f3c4","datavalue":{"value":{"amount":"+0.736778736114502","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":"Q5711506$0229FB9E-51F7-49B6-9B6F-8E2D4B4B3202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bfc5d9c6ac936c095a6c4ad2d904988d9787df","datavalue":{"value":{"entity-type":"item","numeric-id":5898616,"id":"Q5898616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992e38211864fab6724dc64ae9a02c241a56f776","datavalue":{"value":{"amount":"+0.7211587429046631","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":"Q5711506$5F1BB50D-0D40-4B8A-96ED-27E5150DF805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f929b2b078f05c9b7b73c3dc0c1edaf1d0368100","datavalue":{"value":{"entity-type":"item","numeric-id":2145329,"id":"Q2145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fa7a869d7c361964856e5e65fc25c14f73b552","datavalue":{"value":{"amount":"+0.7050895690917969","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":"Q5711506$A2B74586-3429-4821-8AEB-041061730422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711506"}}}}}