{"entities":{"Q2882991":{"pageid":2893716,"ns":120,"title":"Item:Q2882991","lastrevid":51463595,"modified":"2026-01-18T09:01:52Z","type":"item","id":"Q2882991","labels":{"en":{"language":"en","value":"The C\\#-light project: solutions of some verification challenges"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033070"}},"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":"Q2882991$0226079E-091A-4E41-A5FD-1544E9B5548F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e45d38f83c880ed9159a98c1575d75357f7882b","datavalue":{"value":"1249.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882991$AF5E12AB-17D6-41E8-9D90-4A5F464F0D21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdfabc961de007044d6acca713fb55d2515246e5","datavalue":{"value":{"entity-type":"item","numeric-id":2882990,"id":"Q2882990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882991$8A1F0CB4-4FF8-4B89-8CA2-588B3870688F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2882991$FCCA85A2-9CAA-4CB5-A96D-1EA04BF49870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882991$16865483-3F44-4201-A78E-5CC004CC1F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882991$B5BB79F7-FD0A-4D5E-A181-A6EB68F10D92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f82af5fffa7be347cbee6f0706f3cdce602987c8","datavalue":{"value":"6033070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2882991$DE55F363-30DC-4F2F-A009-537C5D73D8F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854c00e8d24a55ad2ac54a90d02cefdf16b5ce4d","datavalue":{"value":"abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882991$8E6804CC-09FA-46D5-A330-AFE58ED9A678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882991$1CFD2645-53F2-4B20-B79A-2B66A19EFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0e688ca2e450a1482c030ae64b44b9b0ae2617","datavalue":{"value":"classical Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2882991$1DA931E1-89A0-4B8C-A87C-3BFB491744D6","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":"Q2882991$E45AC251-5056-4776-9452-F24EF1B8122D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"560d4bea4c685d12c48fe58e6dd0cbd8a23480a1","datavalue":{"value":{"text":"The C\\#-light project: solutions of some verification challenges","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2882991$27275621-8E9C-4B03-9C45-AA97A8BE00B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f14cf405d03e3e34225cf632c752148a6369300","datavalue":{"value":{"entity-type":"item","numeric-id":6773840,"id":"Q6773840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2882991$B2F7CBEA-111C-4B9A-A5D5-072F89C5C081","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82345f4a3f91685d91f00052b977e423f917591","datavalue":{"value":{"entity-type":"item","numeric-id":3023540,"id":"Q3023540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19128f78451f864fa2a360ed2ea5d2a5e6ade56","datavalue":{"value":{"amount":"+0.8173364996910095","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":"Q2882991$F5BAA156-F16A-4593-A65B-17BEE8B89A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cfc1c13440aac9b577c59ab7eff8de6c98cc4c","datavalue":{"value":{"entity-type":"item","numeric-id":2643131,"id":"Q2643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc8ec097a933c6cfca51bad7a7f7f1941436295","datavalue":{"value":{"amount":"+0.8165134191513062","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":"Q2882991$4AC24026-A5A2-42A9-961A-0C7F86E7363A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e758030f03f95d7150fa6bd97e6f1a1723375f","datavalue":{"value":{"entity-type":"item","numeric-id":885853,"id":"Q885853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0fa703749951a2716fc0d963e3fe589745920d","datavalue":{"value":{"amount":"+0.8143219351768494","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":"Q2882991$58748C5D-EFC7-476A-8266-B1257CE190D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf1f5bc3f6fef01cce760bf61d7da9187ba065d","datavalue":{"value":{"entity-type":"item","numeric-id":2963876,"id":"Q2963876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4dbf83ddc78911646c131c01e4fa4f1cd08c226","datavalue":{"value":{"amount":"+0.7871381044387817","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":"Q2882991$2D41564A-B630-4B20-B68C-3D049C0D04D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796d9d1f6f94831578c765050e799ca397a5cd3a","datavalue":{"value":{"entity-type":"item","numeric-id":1403260,"id":"Q1403260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25608bcab5b9e1437fcc08c4974a62fb6b89923","datavalue":{"value":{"amount":"+0.7306559681892395","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":"Q2882991$0321B755-2106-4599-8DB6-A2EFB5AF3C6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2882991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2882991"}}}}}