{"entities":{"Q2266579":{"pageid":2277322,"ns":120,"title":"Item:Q2266579","lastrevid":78389642,"modified":"2026-05-06T11:28:37Z","type":"item","id":"Q2266579","labels":{"en":{"language":"en","value":"A new approach to program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3894448"}},"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":"Q2266579$BB93E2F6-B020-4E3D-BA5D-37E7C9457E7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6d8a5daab4a5ad0ee154d389f5f21152cb8ed58","datavalue":{"value":{"text":"A new approach to program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266579$D0A34754-EAC1-46B6-9B39-96C264C88994","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08b8bbd2f786c8feb0433606e237e2ae69e364fd","datavalue":{"value":"0561.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266579$3C76B857-F3B9-4157-BBF3-F548A769F082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"895de70657d824d64ad0774886c656321ac02c8e","datavalue":{"value":"10.1016/0045-7906(84)90009-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266579$E5EC62BC-60AE-41FB-879E-4EE95738ED1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d13ddd97b641bd4f60a6f61a03ab2dd9a02ad38","datavalue":{"value":{"entity-type":"item","numeric-id":676655,"id":"Q676655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266579$12E242D9-AD79-4122-9B22-071E301BC64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15a413ba492d4f5eb84d39bfd07a554501040666","datavalue":{"value":{"entity-type":"item","numeric-id":216249,"id":"Q216249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266579$4158626F-A45F-4233-8788-27B896635271","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0c7aad96454ebf15855bff247eced4d8759b694","datavalue":{"value":{"entity-type":"item","numeric-id":209796,"id":"Q209796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266579$ED411873-0F2A-4EBC-A4DA-11947A0F4A41","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":"Q2266579$1E475E2D-1AD6-4BDE-8C02-95C6A1162E4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ad6847410bac35448d610aea531d294ce547590","datavalue":{"value":"In this paper we have described a new methodology to verify a given program flowchart containing single loop or multiple nested loops by using the technique of mathematical induction. First the cut-points are created to cut loops in the given program flowchart. Then at these cut- points, the assertions and partial functions, which should be true for the given form of the program flowchart (may it be correct or incorrect), are proposed intuitively and then verified by applying the rule of mathematical induction. Finally these derived assertions and partial functions are utilised to decide definitely whether the given program flowchart is correct.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266579$70376D3D-D748-4378-AD44-5EBF16D5A466","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266579$CEFAFC11-5D8C-428D-AE3D-8BF80014FBDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fcddcf2e77ac5011bd7491edcc4be77913af6d5","datavalue":{"value":"3894448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266579$B2EFE3CB-4734-4373-B91D-BFBDBD8D814C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266579$5525BFA1-1E92-4425-B71C-D57687A947D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db3627ab17ae1237b5b57715f31c044547dcf86","datavalue":{"value":"program flowchart","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266579$FD8B67EA-A6CA-477A-9705-FC1253315547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b069937643b327914e4906ee5a83ccdb9325465","datavalue":{"value":"loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266579$97C6683E-4E2C-49F6-839F-85E16BD7EDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266579$1B63DC46-86F1-49CC-9CE0-DD6B4D4602F2","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":"Q2266579$FC317711-13C2-46E6-948D-ED96C33FE3DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"002075c5d71009d7c025dcb88b43733144be2cb9","datavalue":{"value":"https://doi.org/10.1016/0045-7906(84)90009-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266579$EF274E9E-70C6-4595-A178-F1AD01043AA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f5e2c09544a48a7ec20a929fd1d8183f39ecaa7","datavalue":{"value":"W1984708782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266579$E2CC5239-307A-4FE3-B1AE-BF8FB9741FF8","rank":"normal"}],"P1643":[{"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":"709d901a4226cdc80cc5c707e3fac90519a4e6ef","datavalue":{"value":{"amount":"+0.7590502500534058","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":"Q2266579$01A8A949-6B13-43A5-996C-552E01D633C9","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":"d9cf3a056366dfaeb44ca3b884e0d95dee66d200","datavalue":{"value":{"amount":"+0.7554509043693542","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":"Q2266579$6D0BAFBB-5B67-4FAF-A0B2-31468D4EE327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678c0c38f6268df2cba63533bb44a641d219e574","datavalue":{"value":{"entity-type":"item","numeric-id":3197301,"id":"Q3197301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207de85713fbb582236c70cbaa3402cc0a23db0d","datavalue":{"value":{"amount":"+0.7523022890090942","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":"Q2266579$64E747E5-074A-4CAD-92A9-4665AF20D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17682c45ad22062752de03fc036fabf4b8dda8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4692775,"id":"Q4692775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466222730535344201659ed2d2f63613655ec902","datavalue":{"value":{"amount":"+0.74054354429245","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":"Q2266579$F76DA827-DE25-438F-AD11-CD4E0A6D6E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34c690009d6bd4f58b9228785dd105282f9ac2b","datavalue":{"value":{"amount":"+0.7401025891304016","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":"Q2266579$38A13CE9-6A26-4859-AE8D-B80462B7EE5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new approach to program verification","badges":[]}}}}}