{"entities":{"Q2841237":{"pageid":2851957,"ns":120,"title":"Item:Q2841237","lastrevid":51779960,"modified":"2026-01-20T00:07:13Z","type":"item","id":"Q2841237","labels":{"en":{"language":"en","value":"Mechanical software verification: high level control aspects from a user's perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190932"}},"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":"Q2841237$188CB709-E543-4BEC-BB89-D403469973E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfacc0414a54cdf3835b5ff9b88e3c5c0eaee88d","datavalue":{"value":"1268.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841237$C075121A-DB88-4EC6-9664-11FE75C2BACC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01876a3630981ec1bba21ca4e1d57a17eab70b80","datavalue":{"value":"10.1016/S1571-0661(04)00282-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841237$2E1866C2-004B-4F21-A4C5-05883313C418","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa27917969707db0153a9d74d06ab855169de09d","datavalue":{"value":{"entity-type":"item","numeric-id":2729962,"id":"Q2729962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$D0A830DA-C9FC-4F7B-9A42-6538D870B8A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$B93B08F4-4D54-4E67-AAA1-15490C9277C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841237$8A70B174-9FEB-4825-8DB2-6D0B08DC3BC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841237$BF6D2D55-2BF7-4012-89C8-697C5C601041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841237$F8D08000-54D8-4926-91E7-9AF32CC6EF1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"942cb9a076eb5e30dfd773878cb33ba0cb5ef0a6","datavalue":{"value":"6190932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841237$259A510F-B3A1-46F9-A1AB-CE9FB20EC7D6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$8F7ED6E9-BB06-4192-92E5-C548F14D41C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf8f66ad72885149633ade231cc04fdff6629b66","datavalue":{"value":{"entity-type":"item","numeric-id":40437,"id":"Q40437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$CF461B40-98CD-45DA-B2F2-0508856C0220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06784b521f7335b906c8b43dc84006cfbf66f9d2","datavalue":{"value":{"entity-type":"item","numeric-id":40435,"id":"Q40435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$7758DDE2-A91D-48FD-A28D-B9EC3B8E84FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$501ADF3E-FBA9-4D3C-9FA6-1B53589B1DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$3D507F00-FEF4-483D-9142-16848FE63782","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":"Q2841237$4347C61F-B428-417E-9FB7-8C3435B3444A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44df906787402050ca7557bd49352cd749b2af88","datavalue":{"value":{"entity-type":"item","numeric-id":3212297,"id":"Q3212297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$77CBF5C4-B4BF-427E-B242-95BC23241718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f92c52a84c7083cc1ae951e69b68ad14d8067ff","datavalue":{"value":{"entity-type":"item","numeric-id":4934533,"id":"Q4934533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$325DE1E6-E07E-4D79-9872-237EAF39A78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$D87FF648-2993-4B37-94F8-2D009F1AB36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a024a65482721ef050e8ce052e9a36841c5d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4817537,"id":"Q4817537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$B543DD43-1327-423A-B4A8-AD4F55F14DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$A0A9A3EF-0C66-4B39-95C0-B8A53427F521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bde52dc3971c9bf865b543a75be1a784b143973","datavalue":{"value":{"entity-type":"item","numeric-id":3512442,"id":"Q3512442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$4AB60A83-4A16-4D57-BAC2-A61F986A60EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$D3AB3FFF-10FB-4940-9110-CB0F68D8CEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a9352b214bb6665e1007051a366365419422da","datavalue":{"value":{"entity-type":"item","numeric-id":4493896,"id":"Q4493896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$B540DBB1-5FD8-473D-82DD-9E6E1C12715E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176770ae40d24d71ed8218b1b621a296026799d8","datavalue":{"value":{"entity-type":"item","numeric-id":1162352,"id":"Q1162352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$3D02C173-B2EC-44D1-9D0E-79B870FAE8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f42ae09d3df649253729a263ac5e1eb41a052e","datavalue":{"value":{"entity-type":"item","numeric-id":2723562,"id":"Q2723562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841237$FDE90F3A-5D2F-4519-8698-303A215B4B73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74f31920c3451465e20aec4a789a5bf6784e73ce","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00282-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841237$E1312113-4FA0-41CC-9C8E-579A51DF716D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd486abde6a1f060f94fef6dbd35cf9934c4fc68","datavalue":{"value":"W2026989220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841237$6E342CD6-F7D0-4181-9479-7D50130B80B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d003d35e3dffa0d7f31f2711aa7002830379322","datavalue":{"value":{"text":"Mechanical software verification: high level control aspects from a user's perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841237$B9757CA1-5689-407E-81B8-A55AE0594E42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91644c24c42462af2acd2411df03615ac1b539a","datavalue":{"value":{"entity-type":"item","numeric-id":1856154,"id":"Q1856154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55ca26e039c9160f208af8c396d85c6c63f6fd2","datavalue":{"value":{"amount":"+0.758037805557251","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":"Q2841237$D22F742C-E5F9-47DE-89EC-AB2411B5BFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83028cd035a9ac61e5cf2a42518d71034174867b","datavalue":{"value":{"entity-type":"item","numeric-id":3308161,"id":"Q3308161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065dc438d99e337b8610521aaa9c9269b4d28166","datavalue":{"value":{"amount":"+0.7305730581283569","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":"Q2841237$916A5015-1A19-4EFE-B731-7FA1A95A3972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95534a651efba3d65a2767b50c89b962d50b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3021914,"id":"Q3021914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34531c6dbfbfa8fd4ae67f89011aaab02a3e101","datavalue":{"value":{"amount":"+0.7127532958984375","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":"Q2841237$6986C0A1-316C-46F4-85D4-8B4ECAE9FA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"236e052fc6fdb31ddf692ecdbeb48b254279be02","datavalue":{"value":{"entity-type":"item","numeric-id":1791178,"id":"Q1791178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2704e55f3534af22cd5923f8f4f6c08705382a3f","datavalue":{"value":{"amount":"+0.7111420631408691","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":"Q2841237$4344C6A5-0F67-4752-810A-F55FA3D34D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27834f8881d79d504650b55693f4830b894523f6","datavalue":{"value":{"entity-type":"item","numeric-id":4530805,"id":"Q4530805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f281a1b988802b039be06c6e380c230d537e82e","datavalue":{"value":{"amount":"+0.7110705971717834","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":"Q2841237$38DAFD60-65A5-49AD-BDF7-8024964D27C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841237"}}}}}