{"entities":{"Q2265799":{"pageid":2276542,"ns":120,"title":"Item:Q2265799","lastrevid":48790009,"modified":"2026-01-05T21:01:52Z","type":"item","id":"Q2265799","labels":{"en":{"language":"en","value":"Verification of a class of loop programs without using loop invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892568"}},"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":"Q2265799$8C13DE0B-EE53-4519-BE93-EC5B18CB7423","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d66ae80687e0c9340a202b7f0f929373c8330798","datavalue":{"value":{"text":"Verification of a class of loop programs without using loop invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265799$090E7526-2343-4761-8FB1-EADCF34ADB7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5a9fb3ac09765d3b88b284f9a97312a5b099aa5","datavalue":{"value":"0559.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265799$9CDD3F68-AC3B-435C-89BE-4B872329C88E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c50091b1acc34242e7d2f40c8e18de55a3e8c52","datavalue":{"value":{"entity-type":"item","numeric-id":1052817,"id":"Q1052817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265799$C47A1940-8A04-456A-9506-64C7B9E0D32D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265799$6F8AFA5B-7D3B-40F2-BA42-F36C66281B2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2265799$829B0B37-B81F-4FE4-935D-76C1BCEE9915","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e2e6f707e48d1b04624d13bfed9be52f37651715","datavalue":{"value":"A method is considered for simplifying the verification of structured loop programs that do not contain embedded loops. An axiomatic system is described that constitutes a modification of Hoare's logic and that uses recursive functions instead of loop invariants, these functions being directly determined in accordance with the syntactic structure of the loops.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265799$CE6C9368-5634-46E0-9CE3-4EE7480B20C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265799$899A0D47-E465-4D2D-BFC4-4CC81D37ED83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265799$6D2777E7-9661-48E6-BB35-DBCED7956190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b054bdff9f76c7fc456ab1f7b6ca04a45d0c5248","datavalue":{"value":"3892568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265799$8B0A87E5-7649-4BE3-AFDA-75DEF1980230","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265799$D919F217-E679-4FB5-8AB7-F50C5251A47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed2541444e6e8dabba9da71c0b40a078669968d9","datavalue":{"value":"structured loop programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265799$478AAAC4-A232-4F4B-BFB9-5BB3C3933F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265799$75166A4C-3CFB-450C-AA54-C2A9E3AE4DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265799$419BAF53-D102-40DF-A9C8-4F907E2B9484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265799$A2F54C6D-B91F-46BA-AF15-04FA526AE86A","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":"Q2265799$17379895-E570-4856-8855-D25E7E5E3973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e4251c7d7c8287cb43fb5e0e28c5f0d5fdbdab","datavalue":{"value":{"entity-type":"item","numeric-id":1065537,"id":"Q1065537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8823853f6dfcfd2dc4e44168be808a644a70336d","datavalue":{"value":{"amount":"+0.8115476369857788","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":"Q2265799$FDB03177-695C-4E8C-B172-9054FF72BB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b98ae5b90138066d60d4f09aceea7fae0605e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b4a433111147f4a53cd0acbea1e43ac1a79e9e","datavalue":{"value":{"amount":"+0.7507411241531372","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":"Q2265799$7DD2C0AB-2C0B-41FA-BA1D-23153DC4594F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb466b9ae8ef59dc8c7c5d5df099f614b41338d","datavalue":{"value":{"entity-type":"item","numeric-id":3416386,"id":"Q3416386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023cfe37b8ad2bfe648ef2d8096999c8d477a2c6","datavalue":{"value":{"amount":"+0.7445517182350159","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":"Q2265799$0282C1FC-62BF-4790-A786-316705A0AC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2926bb22504cc84dd44c32153de12a2f8f517e","datavalue":{"value":{"entity-type":"item","numeric-id":5738909,"id":"Q5738909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea60240572abf594048c0c1f8dff84cfd416b663","datavalue":{"value":{"amount":"+0.7416985630989075","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":"Q2265799$7144039E-1671-47F7-B028-3F9A4C4D477A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729044d297e39b03dab2cfb6ca2442c52d6bfb6c","datavalue":{"value":{"entity-type":"item","numeric-id":1183788,"id":"Q1183788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debf8511cafea98c74613a736684736c16e61e65","datavalue":{"value":{"amount":"+0.7329485416412354","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":"Q2265799$3F093D44-0BD5-4C08-BE52-86085F9F3965","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265799"}}}}}