{"entities":{"Q797985":{"pageid":799833,"ns":120,"title":"Item:Q797985","lastrevid":64450650,"modified":"2026-04-11T19:57:29Z","type":"item","id":"Q797985","labels":{"en":{"language":"en","value":"Strongest invariant functions: Their use in the systematic analysis of while statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870575"}},"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":"Q797985$3B7DFFA9-ED8C-4DD3-ACC7-CBCA9BE9A9FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69f772e52c5bd9342435aa3641104d9ca5571757","datavalue":{"value":{"text":"Strongest invariant functions: Their use in the systematic analysis of while statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797985$BFBAFF4F-BC04-4490-ABF5-BDB5A90B85DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f3fda3b6cae1c754eae76724d6ceb9af6611591","datavalue":{"value":"0546.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797985$8B6B562A-405B-4BD9-8145-3D6370E0B94F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5c1ae56223698ddce85302a1df2b47e72ba8b38","datavalue":{"value":"10.1007/BF00290145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797985$4553C991-C4BC-49C6-A41D-28FAC14EF71D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$76221FAA-F4C0-44F3-938F-58B9274CF383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$89A8F52E-AC1B-4C74-8D3B-4BFDC3F980D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81820d767eef8c8fed51a6d6c49033814d04c661","datavalue":{"value":{"entity-type":"item","numeric-id":679337,"id":"Q679337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$3F0CF187-E1D1-4B85-B674-A93FE269B3A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$B9CF0311-4B93-4A4A-89B9-21CBBF095A08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q797985$55536481-1CCE-4F86-A6AB-0919BC7D6FE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19cb0331fdebe83cfd01ef90b2dc82f6161ba4a6","datavalue":{"value":"Strongest invariant functions, a useful tool in the analysis of while statements, are defined and discussed. Their relationships to loop invariants and to the function computed by the while statement are investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797985$90CA2902-E074-442C-A7D5-DF38FFD7E223","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797985$9248AA3B-A466-40DB-BA44-1086F28C1F7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccfd0d72178730dd9bfd1fa3a1096dea5a0dbc66","datavalue":{"value":"3870575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797985$CA2FC39E-BCAD-4AC5-9208-8D29690BF7D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52001ed991073c22c028aa6815ddffea18d40b86","datavalue":{"value":"Strongest invariant functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q797985$3E8B86D2-5E1F-41DA-883F-6A539819F651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e201bfacaa01c164faf2b9fa5e8a5198e5e0baf","datavalue":{"value":"while statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q797985$5E864043-2B18-4998-AFBA-D46FAD74E6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q797985$55AF021C-B498-4797-A62D-FA12996E0844","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":"Q797985$F89DC1E9-3AEC-47C4-BBD8-989654EFB9AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e586b232265e764e610de46755ea65e297cbd7","datavalue":{"value":{"entity-type":"item","numeric-id":4191568,"id":"Q4191568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$060BB57F-BA2E-4C98-BBED-9017AFCFA01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bce71251b2dd309582b0fdab5b56b765823992","datavalue":{"value":{"entity-type":"item","numeric-id":3949952,"id":"Q3949952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$F2E94536-30BE-423A-A725-E046E25E9826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$7638A46B-70F0-4540-AF82-DF3CEEE96659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$3462649A-1400-4889-B251-26F099A81BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$0D40FBC2-0DC7-470D-A0D7-9446871E280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09c1ddfad6d9ca736a7dbfcbc46541b4fb42dcb","datavalue":{"value":{"entity-type":"item","numeric-id":1050765,"id":"Q1050765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$6FDA469B-13C5-41C8-85C1-93CABA6EAB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845f50c898faa769e96652dc140b68cd780db83c","datavalue":{"value":{"entity-type":"item","numeric-id":4045610,"id":"Q4045610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$E9497629-E7BA-46D3-9CF3-04F656B274C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5784128ea999e1d5180c302a7a64ba9d6e03cde3","datavalue":{"value":{"entity-type":"item","numeric-id":3666245,"id":"Q3666245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$B54A219E-C8F2-469E-9CF5-855E43C1C548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dde1d797ac6e87da0be86740f4e799b83e8fbb0","datavalue":{"value":{"entity-type":"item","numeric-id":1145496,"id":"Q1145496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797985$E460516E-DC71-4578-AFBB-19AF7A5A24A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d76739f8cefe7406cad15ef543b7567872b982","datavalue":{"value":{"entity-type":"item","numeric-id":1760096,"id":"Q1760096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab51135edf9e55dc447e2ce3d77a036921d462e","datavalue":{"value":{"amount":"+0.7970478534698486","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":"Q797985$B72EEEA7-AE69-4D8E-9817-98AA675BDD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd6d49d6735aebdc28dec0abc2fbe5ffe2dffef","datavalue":{"value":{"entity-type":"item","numeric-id":444373,"id":"Q444373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd76201ebbf6482d48881f1e949fb9329c0b763","datavalue":{"value":{"amount":"+0.783575713634491","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":"Q797985$16B4CA4B-83B9-489F-AE93-5B6388EDA9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd63ad96a99d0f11f0b6fd0a8a03865b72f596d","datavalue":{"value":{"entity-type":"item","numeric-id":604384,"id":"Q604384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb841805d2df960812506401e280569ae302837","datavalue":{"value":{"amount":"+0.7662233114242554","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":"Q797985$81F4F687-B734-4142-A9D7-6C1F3506D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b240ab2720e4b415608f282418040bd96af4c696","datavalue":{"value":{"entity-type":"item","numeric-id":3651520,"id":"Q3651520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82531f39dcfe55407128899689657d092b6b6df2","datavalue":{"value":{"amount":"+0.7390661835670471","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":"Q797985$D687FD3F-BB7B-422E-AB54-33507A679C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61609c5aab92880d5397107649aee40b83ba8207","datavalue":{"value":{"entity-type":"item","numeric-id":3105751,"id":"Q3105751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2c6523d8b192b913ea2999cb02180c83ecc240","datavalue":{"value":{"amount":"+0.7137361764907837","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":"Q797985$D8D3DE70-0251-4A88-B366-CD2A8298BFB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strongest invariant functions: Their use in the systematic analysis of while statements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strongest_invariant_functions:_Their_use_in_the_systematic_analysis_of_while_statements"}}}}}