{"entities":{"Q855274":{"pageid":857122,"ns":120,"title":"Item:Q855274","lastrevid":49991497,"modified":"2026-01-12T12:31:46Z","type":"item","id":"Q855274","labels":{"en":{"language":"en","value":"Verification conditions are code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5081849"}},"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":"Q855274$C66C2DC2-9339-48D1-B68A-FE14511E0526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"745cb3aeee0a8a5cc8f8819eec110ee5d3f77326","datavalue":{"value":{"text":"Verification conditions are code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q855274$7D0C62F0-DE5B-4A36-9BF4-D74CF8E55CD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e9f192bcca9a372cd3b266983b9d61acc187184","datavalue":{"value":"1106.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855274$5797A3E1-191B-4D18-A45F-B6AA95CE2936","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"584cfb99c8f3c956780c16f8041bf0912f02516e","datavalue":{"value":{"entity-type":"item","numeric-id":855273,"id":"Q855273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$D94E4410-93CA-45AF-8960-63A2FBA7268D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$344003AF-0AF0-4708-8B66-7BE5CDF2BDC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b49c4130e82f4f2e09378c6e735678f785d509b","datavalue":{"value":{"time":"+2007-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q855274$C628938E-6085-4D84-B6F7-EB15329C0949","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3148af8fcbf447a381d336fbb93162265590af2","datavalue":{"value":"https://eprints.soton.ac.uk/262472/1/vcs3preprint.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q855274$7E150CFB-D20C-4A28-ACFC-B306602B306C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855274$7A7FDFDC-22F2-4BC0-91F2-1CFFADB6215D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35b5286bfbc18a698263e02269ff327a8cfdd9ac","datavalue":{"value":"5081849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855274$086D3488-E92F-4ACF-A520-392DA947AAA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q855274$BE25A034-E746-4E01-8750-B9AB2BC8FBA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$24E96807-B3DD-40B2-AD36-1FED3508CA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$8C515C71-4E3C-4D47-93E6-EE38DF165748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$2E4F4E52-7299-487D-8C2A-1683A7E2B688","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":"Q855274$43F93186-2197-42F2-8F40-B5CE925F800C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52b4079dc8c2abab11b196f52680fa7fcc8b183b","datavalue":{"value":"W2117210984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855274$1BDB1E77-C48D-4203-8AEB-7E7C3E274204","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$3C6EC96D-4BD8-4774-A468-F37F441F4E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$F86A6F08-3DA4-4733-A0CF-971D31BCA72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$F22D07A7-DEB2-4205-9A05-8624CBA8C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$B3772C3E-7419-46C6-882D-BE8AE1264420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886197320a13bed067ef49da43f81f748c9608c7","datavalue":{"value":{"entity-type":"item","numeric-id":4162454,"id":"Q4162454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$D758E22A-2435-4CAC-8790-8FF03B19F856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$A1854156-AA67-42DB-8F24-CF91ED2EEACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$613DF0F9-85E8-4448-B1AB-416C634A14FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad1c90ed17e8255c91fb1f6820cc35a9faf5cee","datavalue":{"value":{"entity-type":"item","numeric-id":1080649,"id":"Q1080649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$9F9CEF90-B844-419F-BB65-A908715E1FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e27ad4b2994da46e11c5d31647a6af63a7a804b","datavalue":{"value":{"entity-type":"item","numeric-id":4282663,"id":"Q4282663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$AB22A66A-BFDF-4810-86C6-F96E6542EE42","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":"Q855274$BA49640C-E130-4459-B0E7-9D522E2D4ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$CA5EC84E-C95F-48A4-85B5-62632AA0C4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$9CFE8DD8-31DA-4B7A-A47C-2360B1879C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$3FE4BA38-5F5A-4EBA-9B0E-76B238D72478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a36780cb372ebe85c36f61a428142fe662be788","datavalue":{"value":{"entity-type":"item","numeric-id":3833654,"id":"Q3833654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$07843DF4-A755-4D70-8D16-BD8F1F60BF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$63ED507B-E5D7-4D85-98E5-D8006E4D201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$049300A3-CD66-46FB-AC24-801569CDABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03f0d58636ba080342733786a2e2395ad4e7bde","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855274$A9D9FA21-A555-4DC1-8EFC-BCC692E17BE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1aeb0dc03832bdf26be5cc72761d405340f6665","datavalue":{"value":"10.1007/S00236-006-0029-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855274$3659E5B2-68C4-483B-A359-B2DF28FC53A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79daacd80091bde89a54cb32e28332e739a62c10","datavalue":{"value":{"entity-type":"item","numeric-id":465685,"id":"Q465685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4f28d17499ab8df3eb9d003dfe2ff08028abc2","datavalue":{"value":{"amount":"+0.7914257645606995","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":"Q855274$778BB161-3378-4DF0-A0A7-A22C1A601B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625c29a357fe64598c5a92b1711c7e6f96979381","datavalue":{"value":{"entity-type":"item","numeric-id":4018961,"id":"Q4018961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2f50a130bf810f574af094584186d0eeafbdb8","datavalue":{"value":{"amount":"+0.7762315273284912","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":"Q855274$8EB284AE-A280-4A06-AF21-AA4BB79BCD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3837bff51a8965eb05cfb30010f82c90ec901b","datavalue":{"value":{"amount":"+0.7761877775192261","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":"Q855274$34214467-53F4-4820-8FBC-28241D08A87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191093e40a4360c3e676efd56941fbb08ded846d","datavalue":{"value":{"amount":"+0.7676370739936829","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":"Q855274$63704AB3-F752-48BF-83C9-253B919283E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9fb2a4001763b6152d694225102b92248736bf","datavalue":{"value":{"amount":"+0.7635420560836792","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":"Q855274$D1F38CE1-6ED3-4050-9BEE-3C4D56D3E0F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:855274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:855274"}}}}}