{"entities":{"Q4621203":{"pageid":6650786,"ns":120,"title":"Item:Q4621203","lastrevid":58303845,"modified":"2026-04-04T15:42:13Z","type":"item","id":"Q4621203","labels":{"en":{"language":"en","value":"A Hoare-like logic of asserted single-pass instruction sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020197"}},"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":"Q4621203$23D2E363-B07C-4BE9-8144-55670620F058","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d43042ec42cf17523b0f5e2b13532d1500eb7268","datavalue":{"value":{"text":"A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621203$414B4297-9F91-4CE8-8011-9C291C1C95E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b23d1a8cfbae9551c49ab49713863346367467","datavalue":{"value":"1424.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621203$71FF55C9-56F7-4EC7-B09E-0062705DCEA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2285e85bc78709155785e0bab456d66fe75b66f","datavalue":{"value":"10.7561/SACS.2016.2.125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621203$36D16DA6-80BC-4EAB-8CD4-647F3AF244F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621203$07C8CED1-887E-40BB-BF82-095EF1E1EE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621203$E2EDB385-323C-4B74-9BDE-D20F5F4F8142","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621203$8C136FB8-5531-43F5-9F0D-964685FB2386","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621203$369CC143-960F-410E-A214-3F59690F6AA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1d02d7f6d9676b49598593da3bc94a9ace27f0e","datavalue":{"value":"https://arxiv.org/abs/1408.2955","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621203$9B74A8EC-C91B-4448-9CC4-EA2F612DDE9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621203$6EFD84FB-8DCA-438D-B97D-97C681F16905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621203$FF22FBF1-D268-40F5-8411-525A822C4460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621203$F7F2C64A-A420-4DE4-B477-877907947F40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9e5c080b85d069049e2257fbf34fc9870059629","datavalue":{"value":"7020197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621203$9526C36E-A5E5-4459-B5A4-1D82EDF4A953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621203$E3B049A1-0B43-47C8-94F4-82A274FE0412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6012bca3a2052d1411f0ad5cc27be0d42593875b","datavalue":{"value":"asserted single-pass instruction sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621203$635C6926-DDE3-486A-9CA7-6A4DF137890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621203$F2E243F2-3B4A-4E84-BC2D-DDA33476EC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621203$9F6F7F61-EBF0-469C-9512-B08DE7A3344B","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":"Q4621203$2FCBD747-AB23-46DC-980F-12DB51603A49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849f75c5a6e8b0c6538786d519488b33480e2443","datavalue":{"value":{"entity-type":"item","numeric-id":2038040,"id":"Q2038040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d653b12d4c593e6d3ff7862fcc756379b9f3f428","datavalue":{"value":{"amount":"+0.7698594331741333","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":"Q4621203$5A13BCD5-EA4C-4E82-BDD6-55E9A761DBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9532b3351e8835fe56e92bb8a3b7acdf46846876","datavalue":{"value":{"amount":"+0.7518783807754517","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":"Q4621203$5EFB542F-F60B-4B24-A05C-D09897BA2183","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":"9d4ca1b6e2d07fa37564e1e2b2b42140fb6870fa","datavalue":{"value":{"amount":"+0.748346209526062","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":"Q4621203$C3B2B11E-A8BE-48D7-BA10-8732F4D87631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd351a1f1b6be08ee0ff2a81b30b13a0c3907eb","datavalue":{"value":{"entity-type":"item","numeric-id":877026,"id":"Q877026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fd3d2948e2105911360623f5b9af27b8879a03","datavalue":{"value":{"amount":"+0.7445072531700134","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":"Q4621203$DDE08BB9-F9A1-47DD-8E43-CE953A2D2FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505f8601d2f3a55ecd156f93bea2ba67fe5ba85","datavalue":{"value":{"entity-type":"item","numeric-id":2852100,"id":"Q2852100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d150d6fc6ee4a14065b96cedecd5c1bb893243b","datavalue":{"value":{"amount":"+0.7408612370491028","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":"Q4621203$62052B10-43D2-4475-9DB0-BA3C7CEB83E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621203"}}}}}