{"entities":{"Q1158956":{"pageid":1169705,"ns":120,"title":"Item:Q1158956","lastrevid":69760044,"modified":"2026-04-13T09:12:01Z","type":"item","id":"Q1158956","labels":{"en":{"language":"en","value":"Axiomatising the logic of computer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3744532"}},"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":"Q1158956$9ED86D69-EECE-4C1E-8F02-421A1F3D23AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a7388d39ed8a99c5877ce9739f7967888b1756f","datavalue":{"value":{"text":"Axiomatising the logic of computer programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1158956$541BF2EC-3FF8-4C81-B871-2910D9E6CDBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2bd4b6c6c65d2471379aa32f82fd5025a6ea9f2","datavalue":{"value":"0474.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158956$522B5EFB-8C3E-4D78-B0C8-1D536E96EEBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1158956$9DE45484-4F25-4B35-80F1-235FBC9CA8AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1158956$83D43073-AC9F-41B5-885D-F3227EAE45D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1158956$6375CEE0-6B40-4E1B-83BC-B728C0D6F583","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158956$8CBBDD5E-CB87-4B9B-9181-FFDA72AA6068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158956$C00A4DFC-98AA-450D-8753-94A4BF53904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158956$37F053F2-C9AC-48FC-AC8F-DBDE9771EACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158956$752BDE97-0949-4111-93C8-21F936604CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158956$8B40F2FF-882F-490A-B875-31B617BEC5F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af55d1e746bd3d07af9a66b3a41ca025502a84bb","datavalue":{"value":"3744532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1158956$749FA0FB-4F21-49E7-956C-2B998E8D9D49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdf35d350cd6ce70941db7b755a152d771d3f8d","datavalue":{"value":"while programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158956$DA6755F6-B93B-4033-9D0A-E3E827552E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea032f14678abd54b0d55af14fe6fe1fdae52549","datavalue":{"value":"correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158956$E39697B5-E193-4BE0-8604-34E39CA1D2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158956$B23C7985-C75D-443B-9EA9-CAAAB2EC559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d5a546cbb9281886b8facd6d71981367922f59","datavalue":{"value":"proof theory for programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158956$58B01C33-119A-4467-B3C5-EFF64EAF2871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d9a8b4aa2b72a3c76858bdc411034f49f37c96e","datavalue":{"value":"infinitary inference rule for reasoning about iteration programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158956$3D4C2962-3463-43E9-8A03-559448888F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d54771bfe51e9d10f494511c79abbe7d90cd697","datavalue":{"value":"semantical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158956$716DBD4B-65F0-407A-88F8-4C99C3028312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26693fd3f0120a9d77d4ce39df858a1d33a57592","datavalue":{"value":"canonical model constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158956$DC2020DE-3D07-45B7-B144-5A20E58E076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1158956$731A070F-CAA0-4453-B613-37E523E26642","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":"Q1158956$BD1CBD1B-758F-4ABE-88DC-2A3372C15111","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatising the logic of computer programming","badges":[]}}}}}