{"entities":{"Q1154253":{"pageid":1165002,"ns":120,"title":"Item:Q1154253","lastrevid":69751872,"modified":"2026-04-13T09:08:38Z","type":"item","id":"Q1154253","labels":{"en":{"language":"en","value":"Sound and complete Hoare-like calculi based on copy rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3727619"}},"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":"Q1154253$2BA454D6-796C-4C8B-BCF3-05022548E9C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7866553780319a3b2546c424efd4fdc80e13fb99","datavalue":{"value":{"text":"Sound and complete Hoare-like calculi based on copy rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1154253$077B0FEC-B0BF-4875-A2BC-904DBC61881F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b890b0b908a00f90ea7de48a44f221d999e288e","datavalue":{"value":"0464.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154253$1B4C5252-84DE-4217-891B-D73DEBE87BA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5df4ed416836d20a041f9048d564f678e1a04e9","datavalue":{"value":"10.1007/BF00261258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154253$8F215C54-C8BA-4675-8684-78387EC9CBB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1154253$52C9554E-8497-41A6-BAB2-5D59984452B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1154253$31CF7E64-DC63-4587-B312-6B68D416753A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154253$3641C8D6-10FD-4472-84F9-9F2E33B0AB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154253$76722FA4-7AB1-44DE-BEA4-9BFD84B6F4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154253$7A549316-E213-4DA7-9FAA-625DFDA8AC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154253$EA0E2705-8084-420B-8A5F-F84BD53E716E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e59f1a4f09db4632ca99739598246ff922ba9c6","datavalue":{"value":"3727619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1154253$21060C3C-E585-4290-B22F-2446F735C44F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f0678bd1bc71cadb8c5d682fd9f06fae4d2c673","datavalue":{"value":"languages of ALGOL-like programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154253$A6389FCA-F419-46B8-9605-8FE3AB38E20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2fc9f56209eee2454e3cbbeeba04e4d47883a9","datavalue":{"value":"procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154253$C73F2B18-2BBF-48BA-8296-C72C8702444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154253$E533947C-6FBF-46F6-83A7-CE033AE6D284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94061bade34a3e0bd598448ded3caa89d99cd0c1","datavalue":{"value":"Hoare-like calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154253$590F6799-64F9-493C-9064-5C41D5E3F2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154253$60266830-2013-412B-BC8E-ED1C7F172A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154253$F9C364F7-0520-49BA-B289-5205A65FD25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37857c2758ff589680ca30751905a661d51237eb","datavalue":{"value":"formal provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154253$A2147C7E-C153-4FC5-B1AE-9713ACB045D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1154253$C2CD7276-BFF1-42C7-8380-571A24D057D7","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":"Q1154253$C9D298DF-E2C0-41A0-9E86-4E4D47615FC5","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":"Q1154253$42DC744F-CAAE-4579-ADC0-533BA5A2D740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound and complete Hoare-like calculi based on copy rules","badges":[]}}}}}