{"entities":{"Q801048":{"pageid":802896,"ns":120,"title":"Item:Q801048","lastrevid":64438254,"modified":"2026-04-11T19:51:56Z","type":"item","id":"Q801048","labels":{"en":{"language":"en","value":"Hierarchies of program logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877146"}},"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":"Q801048$3498E96C-0F7F-4E3D-B285-16EF0440D91B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43bf0290762e14db802e5ef2a37b187ef09a69e0","datavalue":{"value":{"text":"Hierarchies of program logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801048$2D03FC94-CE37-4F60-87B6-2F6886EF8FED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a28d45acaccbb13a660b0ba9cc4b3a6bcc8e1bb4","datavalue":{"value":"0551.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801048$0C6BE05A-3DA7-4713-95BF-3F886EC690F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9702a561422498055477af1f704aee79e1ca9c26","datavalue":{"value":"10.1007/BF00971560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801048$3550C5D0-3E57-4714-B8C0-4B7FCC9518A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801048$90AFBB36-5CE9-4009-84F2-D870F4034F53","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":"Q801048$BC8AFB27-7BF4-4218-B3B6-87C226F6C96A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4021cc801b696027ed4ee72eb8405f4cc90c84f3","datavalue":{"value":"Translation from Sib. Mat. Zh. 24, No.3(139), 184-192 (Russian) (1983; Zbl 0518.03002).","type":"string"},"datatype":"string"},"type":"statement","id":"Q801048$988CD0D8-3E67-4581-8BFF-2606A31AC0C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801048$E4EF7C43-B07A-40FF-889B-5C9CFDAEE718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801048$578A9A2A-F90C-4850-87D7-991A19495741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801048$F2762505-2830-4D76-AD4E-78784A910D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801048$DCF6BE25-8CB9-4103-AC94-08813561B85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801048$049EDE60-C867-442E-B7FF-CD9308111FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"611365a18d6d673d58ffbf95c3eaed206b98388d","datavalue":{"value":"3877146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801048$2A01CA54-D190-4117-BE59-14E10C8A7B82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q801048$557B464B-8ED3-44B9-B70C-A6A7999C3082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q801048$F0033A19-27AE-4F75-B8B2-8549CFDEE5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q801048$7B294632-6C76-42D4-A046-658274A8FBB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed05578318661e72bee1a7a8c30f5289ba97ccab","datavalue":{"value":{"entity-type":"item","numeric-id":234734,"id":"Q234734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801048$D4B7B302-E6DD-46DD-BFCC-7DC9E88B6A89","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":"Q801048$352C7F51-A58E-42B8-A3F9-26C1EF8D3EEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801048$CF1C4748-0404-4869-BE40-2CA295E2AB7B","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":"Q801048$E669E44F-0DE6-4611-94B2-3F1C833D8473","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchies of program logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hierarchies_of_program_logics"}}}}}