{"entities":{"Q1077159":{"pageid":1087911,"ns":120,"title":"Item:Q1077159","lastrevid":70062219,"modified":"2026-04-13T12:10:44Z","type":"item","id":"Q1077159","labels":{"en":{"language":"en","value":"Non-standard algorithmic and dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956430"}},"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":"Q1077159$699597B3-3A7D-4221-8618-E525DCE49B3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aece3a6de2a2fad77a33b214f3f6e5a4447b058","datavalue":{"value":{"text":"Non-standard algorithmic and dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077159$B4E71E79-7A1F-46BC-ABDE-5C2F0B3DFEE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ba0230c7fc103a7995b6270ca469f248a6fdd59","datavalue":{"value":"0594.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077159$46015542-157E-46EC-A29A-B3FF96C3E3E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7401ab5356d13e201ce91fc4cfd08b3d78391d7","datavalue":{"value":"10.1016/S0747-7171(86)80013-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077159$057AC82F-46A6-447D-8BAC-A254797761D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$A46146BB-1B04-4CFD-978A-B756D4AB7167","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1077159$56C641D8-4F76-4418-A50C-2515A4C913C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33fb496a43770d118583403f9fc9abb015e8a6e1","datavalue":{"value":"This paper surveys the state of the art of formal methods for proving both partial and total correctness of programs focussing on non-standard dynamic logic established recently in the fundamental papers of \\textit{H. Andr\u00e9ka}, \\textit{I. Nemeti} and \\textit{I. Sain} [Theor. Comput. Sci. 17, 193-212, 259-278 (1982; Zbl 0475.68009 and Zbl 0475.68010)].    The shortcomings with respect to the completeness and decidability of the proof concepts conceived by \\textit{R. M. Burstall} [Inform. Processing 74, Proc. IFIP Congr. 74, Stockholm, 308-312 (1974; Zbl 0299.68012)], \\textit{C. A. R. Hoare} [Commun. ACM 12, 576-580 (1969; Zbl 0179.231)], and \\textit{Z. Manna} [Mathematical theory of computation (1974; Zbl 0353.68066)] are overcome by results of non-standard dynamic logic (NDL henceforth). NDL is a complete first order logic with decidable proof concept for reasoning about programs. The notion ''non-standard'' refers to non- standard model theory, devised by \\textit{L. Henkin} [J. Symb. Logic 15, 81- 91 (1950; Zbl 0039.008)], to turn negative completeness results into positive ones, thus making proofs of non-provability feasible. Further on NDL is defined in algebraic terms. Based on the algebraic notions of NDL the most important results are compiled with special emphasis being directed to the characterization of program verification methods within NDL and corresponding completeness theorems, and to the comparison of reasoning power of program verification methods and deriving new methods from NDL.    The Floyd-Hoare-method [\\textit{R. W. Floyd}, Proc. Symp. Appl. Math. 19, 19-32 (1967; Zbl 0189.502); \\textit{C. A. R. Hoare}, loc. cit.], \\textit{R. M. Burstall}'s modal logic [loc. cit.], \\textit{A. Pnueli}'s temporal logic for proving programs partially correct, the Manna-Cooper-method [\\textit{Z. Manna}, loc. cit.] for proving programs totally correct and \\textit{D. Harel}'s [First-order dynamic logic (1979; Zbl 0403.03024)] program verification method with respect to standard dynamic formulas are re- visited in view of NDL. The relationship between the reasoning powers of formal proof concepts is built up by lattice-theoretic terms with the notion of partial correctness as ordering relation and NDL being the appropriate model to build in. An elaborate bibliography offers ample opportunity to the interested reader to thoroughly study all known formal proof methods for program verification.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077159$EF34131D-E2B6-4B43-9A81-459A941BD52B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077159$BF5BE121-AA2E-47B1-A97C-6A9A8FF495FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077159$9C24F6B0-5F94-4849-B3EB-39F1D0FC9794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077159$33570159-FEE8-4F9A-9D8F-855D525E4AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077159$6EE29488-D3FD-42AB-8273-0B0F1B790838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077159$F8BCA173-5CDA-4371-8E0A-DFBF0C13EBD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f84e4fc6eb5020a036c1b28181386d3bc817e276","datavalue":{"value":"3956430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077159$1E9F9A99-E3E2-4A49-9D35-6D1720887268","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683875c73cf528736440972633911569a401ca2d","datavalue":{"value":"formal program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077159$0E5D8811-230E-4281-9949-0AB0F5D54D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7ee6e96f54cf8fe0cff5fea3d208243ec01383e","datavalue":{"value":"verification methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077159$44535278-805C-4BDC-B6E4-782E35173F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077159$448211E1-5FE0-46DA-BED3-69B58041E502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c67f88c9afa6c4ebee5f09127fb1e4d2a7eba4","datavalue":{"value":"partial and total correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077159$A98C77C0-3FB2-4472-B78D-8494C86628C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1165cb6c16b41ee225eccd14ed837f01c62c0242","datavalue":{"value":"non-standard dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077159$59B211FB-7887-4569-8806-9B33F5CE4717","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9928cdf0614f460d2d0788ab060b18ff6bd5ab9","datavalue":{"value":{"entity-type":"item","numeric-id":585345,"id":"Q585345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$0C9E2F57-0881-400F-9F0D-E805000045F6","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":"Q1077159$DFFEF4FF-A00D-487F-8138-F0FF6F322EAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95424454d8bc3f84a57ba0475f1936732a8371ae","datavalue":{"value":{"entity-type":"item","numeric-id":4193440,"id":"Q4193440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$7F4DA211-2C09-41FB-A4F0-A47E9B6F8768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df73d085f7f484eebf146358dd83e1d8e603ca67","datavalue":{"value":{"entity-type":"item","numeric-id":4198727,"id":"Q4198727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$D90581CA-F6E4-4883-B6B6-A6026FC08DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11203684130893cf54423f7adf4d373f04cdb7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3208642,"id":"Q3208642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$067D8772-0EAC-4836-AD6F-DAEE413EA13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a489883163b0629f382c633035df2e4752b66368","datavalue":{"value":{"entity-type":"item","numeric-id":3883472,"id":"Q3883472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$7B6216BB-3374-48C5-BAF3-365EFB60F18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19265f999b20cea182763ae6835a9a83234c03e1","datavalue":{"value":{"entity-type":"item","numeric-id":3939224,"id":"Q3939224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$882E599C-150C-4E7C-816A-1770CCBBFC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28056ed53ef07a9d6632c6440711fd2b65f1640","datavalue":{"value":{"entity-type":"item","numeric-id":1159461,"id":"Q1159461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$16B79F7D-5E81-4EF7-80DB-C57B2A5360ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb041c142f8f3b9d02136ea04003c55bffb62e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3309036,"id":"Q3309036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$9BD64C04-16A2-4450-8029-49C80025A856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$2C2ABC14-F933-4DCE-B463-7F46D638BE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc6dff5272c1f6d0d6ad6935fd237f526bd8347","datavalue":{"value":{"entity-type":"item","numeric-id":3674630,"id":"Q3674630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$22CB3E3A-8800-4D50-9A50-F4D70CE365E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb34e8e68d077a3526fe5131150a2af8c3ec8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3939223,"id":"Q3939223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$DCCC8F29-343C-4EB2-B4AD-8136DA054A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$2C540076-DAE7-4D48-8F67-298208079CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$91129398-978A-4F6A-A9B9-EA01C0660072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"592b0b973336ab5f416b16cf5df7b855a725e0d6","datavalue":{"value":{"entity-type":"item","numeric-id":3681906,"id":"Q3681906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$03E6FF18-B278-4B9C-BCF9-6C48C95A5878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d1d1d6600b73e9904b75158c85b84176a7be86","datavalue":{"value":{"entity-type":"item","numeric-id":4194453,"id":"Q4194453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$1B65947C-7926-4DB9-B55A-D319A273E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$8F5DFD57-BBC9-4BB0-B0CD-D8F8EFF0C081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b321d4839099a1e1e5f4e8f95f3f401b587fdf4","datavalue":{"value":{"entity-type":"item","numeric-id":3919064,"id":"Q3919064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$4571243A-79CE-4D01-893B-C6729E7121F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c203f2409c439961b262fdb31afb295bd77ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3883474,"id":"Q3883474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$7BA791F8-B6C1-4FAE-8447-5C72F64F7992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b21e90a23a5672c558c84dfaa27ce2856c251a","datavalue":{"value":{"entity-type":"item","numeric-id":1162355,"id":"Q1162355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$DA706801-E612-40F7-8CDE-1BCF221EF4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eba57e430a2abba28b46a66dc03de0556ca2296","datavalue":{"value":{"entity-type":"item","numeric-id":3341880,"id":"Q3341880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$DD941424-B399-4EEE-AB50-9291F70A6210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b574eb8201de1c69670482529051b9a7ccee76c","datavalue":{"value":{"entity-type":"item","numeric-id":3677763,"id":"Q3677763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$50E8BFA8-03CD-4BAA-8AFC-53C755901666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$61CCFF19-B44D-42A7-99F7-96A6B7232589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc78cc53ec9fc1ef0125e17f7579f4d3856d4283","datavalue":{"value":{"entity-type":"item","numeric-id":4174209,"id":"Q4174209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$6FF0E033-6E78-489A-A51D-EF51650F5B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29efafae21fc70a6a0b7f5195dee085e015ede8","datavalue":{"value":{"entity-type":"item","numeric-id":3886835,"id":"Q3886835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$0DB79D9D-1DC1-4989-AC8D-1B6D2BD8B697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1820c23955b4fdf05c16f6b7b19650e00ca1b28","datavalue":{"value":{"entity-type":"item","numeric-id":3960106,"id":"Q3960106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$1398C6BD-F9F2-48E6-958D-4BB1640455FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a2a914cdc5d152de5759fa2edc239a5c3429e0","datavalue":{"value":{"entity-type":"item","numeric-id":3917483,"id":"Q3917483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$72D0E353-6DFB-4AE6-8924-3232CDAF686B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62c3a8ecf9c9b7567028314aebdf59fa05ed6c8","datavalue":{"value":{"entity-type":"item","numeric-id":3337454,"id":"Q3337454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$E437D9D9-2A61-494D-A6A8-B127BFA4D9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$C9AE29F7-9F20-4514-9140-CCDD33901246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$A4AF7EB5-72BC-4324-890B-F9795C0547CF","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":"Q1077159$4923AA22-7BE8-4EAF-AF52-48E87AF9D473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$C4B45597-E2B7-4FAD-8303-0C79A3F36A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8235033d3487a4527cbf868c1a52945216c1fa72","datavalue":{"value":{"entity-type":"item","numeric-id":3671141,"id":"Q3671141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$A433811F-AE6A-41C2-97F7-8B371AC0B2F4","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":"Q1077159$C453F7C6-9B2D-4006-997B-8C696D9203AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56485b9a4814bcf88c5da509c43cc487af1d7b47","datavalue":{"value":{"entity-type":"item","numeric-id":4144164,"id":"Q4144164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$866B6882-BB00-42A5-B2B7-3B9A9A130115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bde352de7529b3727f2dfe868ebf2842f0d7ff8","datavalue":{"value":{"entity-type":"item","numeric-id":5626601,"id":"Q5626601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$D4BD02EC-3A37-4AEE-8DEB-B83F5BD98698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7a3316329cfce249f69c13171c2ebaf3fd06f7","datavalue":{"value":{"entity-type":"item","numeric-id":3956390,"id":"Q3956390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$3DCA2D36-905D-4E27-BF38-911A8904EA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b442c0652cecd13949bfcaacefa5a01aa5e253","datavalue":{"value":{"entity-type":"item","numeric-id":3668824,"id":"Q3668824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$92897E15-815C-45DF-BC28-D30D5985A2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$D22BE901-2A3A-4955-8161-6E96EB65C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$7CAAFBBD-1E17-4CB4-B792-D965D8858A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c58698a601ad88e9de7fc1a25166a184d7467e4","datavalue":{"value":{"entity-type":"item","numeric-id":4744268,"id":"Q4744268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$31975261-0673-45C5-827F-552887466282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1fa5d6f6c733523cd9ea7f235a2f6db60ee340","datavalue":{"value":{"entity-type":"item","numeric-id":3956920,"id":"Q3956920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$2C3E8649-0910-48CB-9EDF-BBA02DD6E9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e627f000d23ceeb4c663da6d19a9d077d9e3958","datavalue":{"value":{"entity-type":"item","numeric-id":3325017,"id":"Q3325017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$1DDB79C7-4B6F-4A64-8796-CA1E04A5E07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac09f0ca0f36729a8d14fbaa62e0e06b4e8b2c85","datavalue":{"value":{"entity-type":"item","numeric-id":3345770,"id":"Q3345770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$5514FCC6-6BC3-4A15-AAD2-ACC9E6B0A59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$43BFBF30-BEA7-402C-B100-33DDDB9CE2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be75b3c2c8b29881cb129000864c6e7d6ca37951","datavalue":{"value":{"entity-type":"item","numeric-id":3922158,"id":"Q3922158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077159$89B84972-0E62-4F58-A6D8-BCDFC76A0912","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462ccb45add6f04c6de72dbc62e31a4ff085e986","datavalue":{"value":{"entity-type":"item","numeric-id":3325017,"id":"Q3325017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff5bda4019d2267d085de700c27b0dfea4ec3f4","datavalue":{"value":{"amount":"+0.8342404961585999","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":"Q1077159$840AB3C3-72EF-4120-B301-A003E719BC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494f82ef33661419430b7d24eb4c97150d0078ab","datavalue":{"value":{"entity-type":"item","numeric-id":580955,"id":"Q580955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ab14a875d99e793df11ffef61e20cde482610b","datavalue":{"value":{"amount":"+0.82457035779953","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":"Q1077159$38441773-DBFF-47C4-8949-8FAE4C930E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128de154af4bfeeccec8bd32ac5fe733bbc20959","datavalue":{"value":{"entity-type":"item","numeric-id":3683528,"id":"Q3683528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a29d09da206be8d9c55dd6d17975a3d015514f4","datavalue":{"value":{"amount":"+0.8224745988845825","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":"Q1077159$9377969B-8E4B-4F58-8A7F-8811E48DE4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564d497665b46c0c1d4a8904a118b7917bd17534","datavalue":{"value":{"entity-type":"item","numeric-id":1822934,"id":"Q1822934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6084a537ee1565a8f2274e8b769191de5640b177","datavalue":{"value":{"amount":"+0.8150169253349304","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":"Q1077159$A8D64FD6-FF51-434E-B1C3-8EF63F5A2560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e62ffbc79872d6d9d9e1b33ea0221ff655d767","datavalue":{"value":{"entity-type":"item","numeric-id":3696488,"id":"Q3696488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7bba2fc93fefabe255cc6880b04a73ecd1a418","datavalue":{"value":{"amount":"+0.8063595294952393","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":"Q1077159$E5DDA34C-3999-475F-9D67-F9BB9C05A52B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-standard algorithmic and dynamic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-standard_algorithmic_and_dynamic_logic"}}}}}