{"entities":{"Q790607":{"pageid":792455,"ns":120,"title":"Item:Q790607","lastrevid":64403109,"modified":"2026-04-11T19:37:46Z","type":"item","id":"Q790607","labels":{"en":{"language":"en","value":"Correctness of programs with Pascal-like procedures without global variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3848595"}},"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":"Q790607$148DF2CB-DD3C-4ED0-8A70-7629DDA48814","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dbb45a61f7d1e21331fb3f2c8d1f348c216978e","datavalue":{"value":{"text":"Correctness of programs with Pascal-like procedures without global variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790607$DB8C730D-2E11-4ECD-9BC6-C1C09E563FF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ea1e92b1298c682ed8943f68102c46d77f73583","datavalue":{"value":"0534.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790607$9C9B51D5-289D-4FAD-9CF1-75E90333AA40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44518f480dff712baa6c55a46c435e78c77c5b2e","datavalue":{"value":"10.1016/0304-3975(84)90066-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790607$33971975-2B50-498E-9684-1FE203F5083E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$DB384269-EDF5-4726-A42C-B58CAD5CB767","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":"Q790607$80F19634-321A-4916-97EF-059E76F6425B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790607$0C69AC9C-AC96-49B0-AC0F-EB15A2907EF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a759d602274d9e4ca5b4fa51e19135ac7085a62e","datavalue":{"value":"3848595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790607$39F3FC09-0F05-4330-BFCA-57AD9B081103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569562419fcb1ba52ebd7e728a051305defd4981","datavalue":{"value":"Hoare-like system","type":"string"},"datatype":"string"},"type":"statement","id":"Q790607$958B4011-18E8-4305-A645-E80404B6671D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e971d73c500c8eae8a683bcf6c6411b312cc33","datavalue":{"value":"second-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q790607$4DBF5B96-997F-42A4-8673-894084B9753B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q790607$6A4E0ED5-DDF5-43E3-B680-5A3CF3DB3369","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$9E90D967-E3D1-4ED5-B0CC-4D365DE38C6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$683ACB89-74D2-4553-B211-B38FDCE30343","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":"Q790607$837DB1B2-2529-41C1-B64E-BB02FC361B47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ea746b8f5f6aacf5045b694636d6adc7549dec4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90066-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q790607$9176FA6D-7FEA-4385-B0BB-810A1D791F94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9d0adcc85048bc275677f13b191294fb7ddff58","datavalue":{"value":"W2026086747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790607$56232D57-F049-4B29-970C-C3EAD572EBD4","rank":"normal"}],"P223":[{"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":"Q790607$408E07B9-3161-479B-BA14-C1DFAAD9C87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$8AB7D424-CCE1-4E72-AF5F-3642CF74C1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$DF876000-00E5-417F-A66C-EDF623F3266A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666d9d321d95c9d28d808dc74b938c0202a56850","datavalue":{"value":{"entity-type":"item","numeric-id":3939205,"id":"Q3939205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$1DAABFE8-8D0C-403F-A223-83D5D7601958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778324a33e9433298dc715f3e80993e47490245a","datavalue":{"value":{"entity-type":"item","numeric-id":3919062,"id":"Q3919062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$3F02526C-D933-4C4A-8A53-FA851794E654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$53126748-24AD-4A63-9EFF-C940E7614014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896a4e1608ded66dec0047e42ace35f2bb27df8d","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$591DEC7E-0529-43E7-815B-C4F8038E455D","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":"Q790607$64857433-35A5-4866-9C47-F2B0BC4024C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1138a663540cf5829945d4d923875ea1d53db743","datavalue":{"value":{"entity-type":"item","numeric-id":3854596,"id":"Q3854596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$72A0BCC6-3C46-43EB-BA56-FA8E95156E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$6ACC69B2-8DB0-4954-A87D-9071770D0F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cdd87ded22e91b240f87cd42c83be6c8b249a9","datavalue":{"value":{"entity-type":"item","numeric-id":1172384,"id":"Q1172384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$1C4F2402-75DB-4D46-9F66-A8C1FDDD819E","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":"Q790607$80DD92C5-3AF5-405A-9D0C-613142EB19F8","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":"Q790607$475F5224-8597-4A06-A97D-7D341B9F3BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$59DB932B-8814-415A-B34B-D881522477F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da14109184f7efe2eaf8da66c73478cfe27a5158","datavalue":{"value":{"entity-type":"item","numeric-id":1213738,"id":"Q1213738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$13B29980-A1A4-4F31-B2EF-0264FE90E13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e7325979007118002bfffe6683e99fc52b5c08","datavalue":{"value":{"entity-type":"item","numeric-id":2561483,"id":"Q2561483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$773D349B-0597-4F9A-AD61-832C60D7E6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0574046f4a124a574123c38d694b50c24d2fd87","datavalue":{"value":{"entity-type":"item","numeric-id":1161274,"id":"Q1161274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$B6A98135-3203-4B2A-8B64-37CDC921EE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a2c4444e073ed9e990c87f6573b115bebe7e38","datavalue":{"value":{"entity-type":"item","numeric-id":1133312,"id":"Q1133312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$6A61BEAC-8ECD-4B9E-8E54-46499E33602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f41dfabae64efe2ce9272788d4b37a28ea0c863","datavalue":{"value":{"entity-type":"item","numeric-id":3883459,"id":"Q3883459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$A462DC3B-D7DA-4736-ACF3-D2F8784CDE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a515d8b85555322c239131c385a33ca36ff6fdb4","datavalue":{"value":{"entity-type":"item","numeric-id":1154253,"id":"Q1154253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$7FEBE933-787A-41F0-9191-B2595C599725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7beaf21facf937a40e2c524ce6a9de5191575771","datavalue":{"value":{"entity-type":"item","numeric-id":3040481,"id":"Q3040481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$4C5D5DD5-5FFE-4B51-A254-9C86A274532A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f5a1bf73ad7c6b6dc9013f79221f2ece1c6125","datavalue":{"value":{"entity-type":"item","numeric-id":1838825,"id":"Q1838825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$57F6BF64-E330-44B5-A443-4BC4D3012BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$F2181AB1-E59B-4349-A909-2D1E3EE2C771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b67e0050e2291832e1cad55592cf9bea642ac9","datavalue":{"value":{"entity-type":"item","numeric-id":4131611,"id":"Q4131611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790607$845CC892-C49E-4120-BEB1-856335BFBD1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a8298c515fb4a6506a5b252c7430fa823c5025","datavalue":{"value":{"entity-type":"item","numeric-id":1806129,"id":"Q1806129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5664da881d4ecad4df0846695f8e54f9ee04c14e","datavalue":{"value":{"amount":"+0.8351132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790607$9F637265-28DA-4D8A-B786-4579806E3606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715d1666f29c7e62c77f55370ed43c5d869981e","datavalue":{"value":{"entity-type":"item","numeric-id":3707370,"id":"Q3707370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f77296b06b421ed0b0b0d54376a7a4e1ab3a1b","datavalue":{"value":{"amount":"+0.83312607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790607$7E0AFA54-6A54-44F9-932A-643BB001A9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dda8ff4b37305d49c5279505db4bfb960d46a96","datavalue":{"value":{"entity-type":"item","numeric-id":3221385,"id":"Q3221385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff623f12fb2f4728293acef03456bccd13b4ce8a","datavalue":{"value":{"amount":"+0.8291956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790607$362FEBE5-2053-4B25-BE3A-CAD105A0E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ab1d3a3f59c967d01e2e6ce90754107df83dab","datavalue":{"value":{"entity-type":"item","numeric-id":4934533,"id":"Q4934533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb7f821ac53140031af398b160a0bb505e07ff8","datavalue":{"value":{"amount":"+0.82547057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790607$96638DA4-C895-4FE7-A38B-760D9AAC38F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69b5cae3879723fbe7da05756e12ef5f79556d5","datavalue":{"value":{"entity-type":"item","numeric-id":607408,"id":"Q607408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197b33822174f27a2025770a9c2f1a37b6376634","datavalue":{"value":{"amount":"+0.8192384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790607$BC165532-1AF5-4DCB-A81A-D57D2969FDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a430ab67b0a7a240cbad8c6289f2f67df7438731","datavalue":{"value":{"entity-type":"item","numeric-id":2745193,"id":"Q2745193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2cbd1def841a150c1be451d34783893124a46c","datavalue":{"value":{"amount":"+0.8128388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790607$18CCE895-29C9-4E1B-AFF2-11723EEBE5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8422bd29b72832e56dd3b75840617a8f99fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":5466589,"id":"Q5466589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b1bf9e17f104c656a4f198ae44f472ebc528e4","datavalue":{"value":{"amount":"+0.80994135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790607$87511394-2D19-4DC2-8053-AD32B7498E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1004d1d63697fa29fbb94134fc37a4d117cc8b7c","datavalue":{"value":{"entity-type":"item","numeric-id":6116577,"id":"Q6116577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41269b50d49f81824b20ed7236589d0c2ee7e988","datavalue":{"value":{"amount":"+0.80983555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790607$5A611AE7-56DE-45AB-BD3F-5DBF02E8E3F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness of programs with Pascal-like procedures without global variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_of_programs_with_Pascal-like_procedures_without_global_variables"}}}}}