{"entities":{"Q6976549":{"pageid":21362340,"ns":120,"title":"Item:Q6976549","lastrevid":76240194,"modified":"2026-04-23T09:04:07Z","type":"item","id":"Q6976549","labels":{"en":{"language":"en","value":"Towards defining program logics via three-level scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8048054"}},"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":"Q6976549$5C07AE24-FEFA-468F-B969-987ACC52202C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c36199f5116f5f6d514affb09ad8b45d918ad42c","datavalue":{"value":{"text":"Towards defining program logics via three-level scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6976549$A38B185F-612C-485F-98DD-0AF8CAE35E6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6919f93973d1b831959db3a72ea4643bf936400","datavalue":{"value":"1566.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976549$225E9DB4-9848-4B32-9514-770136C6B9A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5736b10882fcd248ee7728f1c7c88885067ebad5","datavalue":{"value":{"entity-type":"item","numeric-id":271899,"id":"Q271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976549$D1F76BB1-B62A-46AD-A586-AA4DD54F25F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1d287cb8d96589c2cc587d8d419d31e18e77b38","datavalue":{"value":{"time":"+2025-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6976549$4FD8301E-868E-4AC0-ADB6-DD1B712A117F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976549$A69985F7-DE11-4A14-9E7C-0B310CBD45BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976549$8B919CFB-CFF8-4F5A-9AF7-52C847AC1762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976549$1B7DD885-3123-4238-9AA0-8D87D2C53AE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9820fcb6b5618bd952652433a1f85ea34fc2c76f","datavalue":{"value":"8048054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976549$66FB3CF2-5CA3-4A1E-901C-45B427F82F3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976549$40628E79-09D4-4483-AFAC-02FAE4A7B33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976549$0DA68F84-5F5A-4731-BFDA-929C7D2620AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976549$A040EEC6-6663-42B7-A1C7-8155395AA1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976549$2B74ACA8-7DA6-406F-8F0D-DCDEBA4DFB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f030ce37e99d707b9b2d8b7466bd628ec533aee","datavalue":{"value":"nominativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976549$2CF51CEB-6748-4BE4-8E15-69FEE7BE1A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00cede9ee57c2febe166e66957df88f6214d4192","datavalue":{"value":"Hoare triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976549$F505C1CB-FA3F-462C-993E-CE4021AFB595","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":"Q6976549$C5291954-15A6-4814-B269-8357421A416A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards defining program logics via three-level scheme","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_defining_program_logics_via_three-level_scheme"}}}}}