{"entities":{"Q2492941":{"pageid":2503684,"ns":120,"title":"Item:Q2492941","lastrevid":78873875,"modified":"2026-05-06T12:38:06Z","type":"item","id":"Q2492941","labels":{"en":{"language":"en","value":"To use or not to use the goto statement: programming styles viewed from Hoare Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5030786"}},"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":"Q2492941$488C51E2-AB2D-4631-AFE9-76D9F7E05ED1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ba35f00f6599fc91ad6742eb02d95cd5e8b3e30","datavalue":{"value":{"text":"To use or not to use the goto statement: programming styles viewed from Hoare Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2492941$29EB1658-AC44-4913-9629-BC170C1366CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dd1898d8edf169c1a4c5196d232c865ca893636","datavalue":{"value":"1101.68446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492941$7AB88BAF-25E6-4C37-A7DD-4685FB8B808B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5ab07620d357b76b728eda2c5355ef528473e29","datavalue":{"value":{"entity-type":"item","numeric-id":1423533,"id":"Q1423533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492941$EAF2CB32-8817-4119-A27C-18B628F51714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492941$A4AB280A-526A-4318-9664-E2291842D95C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492941$479370B3-98E2-4383-A12B-9C81D7C12192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21437c544db1978eeec04a4cbdd682f98ee3c97e","datavalue":{"value":{"time":"+2006-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2492941$438CB72D-4DF9-47DF-9B8D-167BB8CCDFB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492941$D1D04CC4-4CB3-4E21-8EFE-3972C6029B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492941$78A607B5-3DF4-4CDA-97B0-486CAA3BA107","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6a496475bc71f6ffc27d4a5e4f5d3d76b2f0fda","datavalue":{"value":"5030786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492941$8FD45924-4180-4293-9C18-5DE65CF7D6C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ed1720e648e83f0dc91cbb7eafb0be5f4086a9","datavalue":{"value":"structured programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492941$A2CD7D65-904C-4723-A12F-4D0A65DBC71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb8301f95c13ee1e4c5366b95fb08f05fff27ed1","datavalue":{"value":"verification pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492941$742FFF00-0ECB-4EB5-80D8-7F3A59A7CA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492941$35B845B4-E824-4B54-9984-DA9E9A1EA270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"479cf145d3ab956d17e883dca3bbd14c3f29360e","datavalue":{"value":"finite state modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492941$502D44CD-91B9-4A87-8C5F-24C27CA4F6CE","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":"Q2492941$1E1508E3-17EE-4F85-B6CC-0075C5D0690E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa113891d5c6cea664080af2954547816c4e2b59","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2492941$E702B076-2157-4EE2-9155-63DC22039E00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc39ac50be3c0a4e02c19d23f8274fe27dbd15dc","datavalue":{"value":"W2049127009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492941$3E58FA6B-6752-47AA-93D5-11A35D988F5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e61a9e7f88b540b7574b47bdb0e0052012b0cfa1","datavalue":{"value":"10.1016/J.SCICO.2005.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492941$1B94FD0A-51D2-4C61-90B0-4205E1CA138B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea773d0caef6592c619edd894529eac745da8ff","datavalue":{"value":{"entity-type":"item","numeric-id":955712,"id":"Q955712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869ff265002009b24554974b31d6513ed305cb42","datavalue":{"value":{"amount":"+0.7122514247894287","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":"Q2492941$6604F670-4E34-484B-8EE6-84A80AFB6603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd8899ea8033fa4d0963fffe16b2c42f08b37f3","datavalue":{"value":{"entity-type":"item","numeric-id":5184376,"id":"Q5184376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f0f9e0f2a22f5905d96fc4653abab981c81a57","datavalue":{"value":{"amount":"+0.7031425833702087","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":"Q2492941$4C36E000-35C0-4C86-8C16-12196AF68F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e060333405d0e85b5618f79a0c33dad4a0900cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3813271,"id":"Q3813271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666e2c56a0f69c6772f85c3db0b708266ec5a609","datavalue":{"value":{"amount":"+0.7006087303161621","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":"Q2492941$57E1A839-CFE1-43CD-AD8F-060FF7381C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01954ae201689a17df7505ab0b2b38c5b4edf307","datavalue":{"value":{"entity-type":"item","numeric-id":3323249,"id":"Q3323249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6457070e6601455871f493422f91581e3d5a32","datavalue":{"value":{"amount":"+0.699120044708252","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":"Q2492941$1C6396DA-0BDD-4D5A-BFAF-101770A56A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907c5fb16a1d0bb1e3df0d5837e251e52288eb30","datavalue":{"value":{"entity-type":"item","numeric-id":3732933,"id":"Q3732933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2b2f26792513efb2bccee79350331fa948ff4e","datavalue":{"value":{"amount":"+0.6949172019958496","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":"Q2492941$3842028B-EAC8-44BE-9738-6080EEA899D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"To use or not to use the goto statement: programming styles viewed from Hoare Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/To_use_or_not_to_use_the_goto_statement:_programming_styles_viewed_from_Hoare_Logic"}}}}}