{"entities":{"Q2038040":{"pageid":2048782,"ns":120,"title":"Item:Q2038040","lastrevid":54041885,"modified":"2026-01-26T03:46:05Z","type":"item","id":"Q2038040","labels":{"en":{"language":"en","value":"Hoare-style logic for unstructured programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370064"}},"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":"Q2038040$C6DD5EED-4641-4979-9C2E-30180DC70E94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e15b860e02efa8085eb52303be2648bf0ef20a29","datavalue":{"value":{"text":"Hoare-style logic for unstructured programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038040$EA333CAC-60CE-4E2C-9E51-7EBD52632A06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d974718a623ef74dd03403656d4ab5a92f01e48","datavalue":{"value":"1476.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038040$7FD5B798-BBF4-4745-AEAD-2097117D2EF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bdea9059972adf285e97dc50ba143bcbfc31791","datavalue":{"value":"10.1007/978-3-030-58768-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038040$A2CCD063-B1BD-41D3-B430-733CB5CB5B8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9bf92928efef94dccc083b562e756d7d7b67ecb","datavalue":{"value":{"entity-type":"item","numeric-id":2038038,"id":"Q2038038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$EC29D284-58F6-4190-B602-0ECFCFC7367A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f95717811a026225809e113617e8ff45010ffa","datavalue":{"value":{"entity-type":"item","numeric-id":988168,"id":"Q988168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$915FA27C-27F5-40AE-BEB3-71B013CF04E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9b8670217b353328ea82ff053dbb41dd80a7467","datavalue":{"value":{"entity-type":"item","numeric-id":2038039,"id":"Q2038039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$A5F7F838-4107-4ABC-AFC1-4211B2C33930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$0DC3ADAA-9EED-41CF-A3FE-E7137A752AEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-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":"Q2038040$CE252BE8-C509-4F2B-A0CA-E87225AD6CE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e49e9efb648963fef82ea24d4a8f44db078fe36","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-281691","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038040$2D7FF6B7-7633-4A00-8DEE-E968A53ED23A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038040$240474A4-C089-4116-99AF-898DE8145821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038040$6C8FBF6E-BF64-4B54-94C4-71669E84DB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038040$A829B211-C521-4F78-8855-A42475BF52D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e438f7214512c2b2cef7d19c10efe5ae7c7a654f","datavalue":{"value":"7370064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038040$501CE8E2-06C9-4D4B-9E7B-C95081FD0155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038040$D9668ED9-6B38-46C0-AA33-85778E05C68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038040$E85D114C-01A1-47A1-9D22-6425CFC6C489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038040$6F52DA26-BA7D-434C-B7B2-43CA906DF978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b17dc4feb1404a16d1f4fca7f819cd45aefa2b","datavalue":{"value":"binary analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038040$74D8078B-BABF-41E2-A54C-1BDEC64CA237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038040$4842022F-2FE4-4FEF-8BA4-1A8AC413BFFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$52F9C1B1-BBB7-4836-8DE0-69A084835CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"88efec313c4c661cf00cda66a3e0f5bea7174db1","datavalue":{"value":{"entity-type":"item","numeric-id":43020,"id":"Q43020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$D1B2A7E0-8546-4C57-B4DA-1A309EA0A5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebc1aa5a19ff9b7748ab1ccf043454a6a70c9481","datavalue":{"value":{"entity-type":"item","numeric-id":5974950,"id":"Q5974950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$14BA6306-8960-4C96-9BB0-4873E4C0E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$94F72659-DDC6-45A6-8927-C00615461FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7cc90e3a9bc43e21c528da8ee18b2654a863a7c","datavalue":{"value":{"entity-type":"item","numeric-id":30118,"id":"Q30118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$715E33F6-1DB0-4DC7-96F6-E4398F2E33CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93403021c48a812d9127910dbcaae98db02c160e","datavalue":{"value":{"entity-type":"item","numeric-id":33328,"id":"Q33328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$B7F99DC8-A12C-40FA-A2F8-932DCC844D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038040$E5996307-C5FD-4632-BDEC-85ADD4B4751D","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":"Q2038040$FFDD3129-CEFA-47B1-9490-836688EB9F13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b612ea7ef47ba140120ca480d10b604e1c494d1","datavalue":{"value":"W3086076508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038040$A91224CF-5C48-4DFE-A6EE-40583BC6948B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82591264ebb39f3da7354f5b26f0c8340e158859","datavalue":{"value":{"entity-type":"item","numeric-id":3508532,"id":"Q3508532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c27229b0fb034373163362c4a603dd3f643e2df","datavalue":{"value":{"amount":"+0.8230533599853516","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":"Q2038040$9B800D8B-35E3-45AB-A95A-D3A021A69D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35748ffee00ce724a7ead9e1f30b786018fda879","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0f9c67a0312c0bf9199bc93d538d7dd8f2b542","datavalue":{"value":{"amount":"+0.809292733669281","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":"Q2038040$1A2D2202-17D6-4BCD-B718-D95AA34E96FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91238b58ee337808c67418828dc75cdf05d0f370","datavalue":{"value":{"entity-type":"item","numeric-id":5898611,"id":"Q5898611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc66768efc76f468cd27193ae120f91264b7715a","datavalue":{"value":{"amount":"+0.7812798619270325","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":"Q2038040$5590B844-9394-4AC1-862A-A5B324D749D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfec3ced7587ca1876c7fa59a35e6c50dc496243","datavalue":{"value":{"entity-type":"item","numeric-id":2931805,"id":"Q2931805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf0852f2d11d023197a53c21a68fd660270ac4e","datavalue":{"value":{"amount":"+0.770229160785675","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":"Q2038040$09C54E70-C123-4A3A-BE12-AFFADBE9BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed5fc69a0769e8b5b9d82deafbd535b33ecd37","datavalue":{"value":{"entity-type":"item","numeric-id":4621203,"id":"Q4621203"},"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":"Q2038040$E81BC162-0180-40A9-A6C2-E4ACB83855E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038040"}}}}}