{"entities":{"Q800721":{"pageid":802569,"ns":120,"title":"Item:Q800721","lastrevid":64469079,"modified":"2026-04-11T20:04:50Z","type":"item","id":"Q800721","labels":{"en":{"language":"en","value":"Computable compositions and universal program logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878346"}},"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":"Q800721$2850B573-D239-40FE-B221-540193EE3A9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5316a34c32dd1a969b1b21dfc13a55249d8b6df4","datavalue":{"value":{"text":"Computable compositions and universal program logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800721$264C505C-7858-4390-AC58-05F2BB8CDBB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b73b8c8439f5e74120dec53d3869572742d69bd1","datavalue":{"value":"0551.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800721$59FB42D4-720B-49A8-9E48-255E6BCE61FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8420c59df6abf40be070c2e0f6f02138b59be396","datavalue":{"value":{"entity-type":"item","numeric-id":800720,"id":"Q800720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800721$6E99A0B4-9CF8-4CB6-ABCB-3B5BFD43C574","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800721$4CE1B2D1-6ACD-4BAC-AE54-02254DC208B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q800721$5DFA1D4A-FC39-4455-9150-9FB2CF3E648F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1795777634d869908615494c0d186ea2162791c","datavalue":{"value":"Inspired by so-called composition programming developed by V. N. Red'ko, this paper formalizes the notion of computable composition and its corresponding thesis, which may be regarded as a relativized version of celebrated Church's thesis. The author uses this new formalism to define universal imperative program logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800721$6AD931D0-C2AA-45A3-BA28-4562D8927782","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800721$176C5B21-5309-414E-9556-A6FBF6239984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59c76c394e8f9204dfd71ae373904737065bd343","datavalue":{"value":"3878346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800721$E924DB86-E5A5-4EE6-B6B2-96201599520B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0765e65356fbe21988bb33a689b6f9824530b0fa","datavalue":{"value":"partial recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q800721$ECD9E57B-DBAE-4D53-BB3E-FCC7FE1F8097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ef907843c693fb2ba5a5c15d7526e78b3dce6b","datavalue":{"value":"composition programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q800721$6CB1F297-2936-4043-904F-2C5186F401C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8367ad1cc97103d55b6ea844da3ebe59ae94ea77","datavalue":{"value":"computable composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q800721$FAE5EC8A-4543-4235-855D-AD3E922E4F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q800721$A0E6FFAA-A130-4DBE-A48F-9FE2539B365B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c274b913c1b65241b2b9de2fbda5812477d003e2","datavalue":{"value":"universal imperative program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q800721$56091A62-21FC-48CA-9195-652FE1A1C74F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800721$A53FBFAB-334B-4294-89D9-B58C6395CE01","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":"Q800721$4D8726BE-2ABE-4280-8B4F-9E4ED6DB1F77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd263da95997ea9a6ea4749cc81e015365ae4c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3318103,"id":"Q3318103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9151cbbddeb3067d9ad35a531581484db552c89d","datavalue":{"value":{"amount":"+0.7455206513404846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800721$48F41BAF-C842-4663-A3F9-F648B674C876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7462ab6d5f1f832febba727f4002e92289c9ff5","datavalue":{"value":{"entity-type":"item","numeric-id":1905220,"id":"Q1905220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fadf1e1551beafc163ed261a3bcb22902fb08c93","datavalue":{"value":{"amount":"+0.7448569536209106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800721$448C6CE7-4E53-4B5C-B655-90C19F1F3C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bed3da5e4867cdbed437e20367fc57627dfe652","datavalue":{"value":{"entity-type":"item","numeric-id":3785904,"id":"Q3785904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10ed3a508fe70a6b378adce7ab101b5a08b7c7b","datavalue":{"value":{"amount":"+0.7426172494888306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800721$FC3B36D5-2119-4C63-A11D-FA5721C5F021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19e77784c701cfdf07eb85ea483ab72521d74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5712546,"id":"Q5712546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de95e65c0e90b340bcf90664b6b68ff917e0ddb8","datavalue":{"value":{"amount":"+0.7413889169692993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800721$25723B24-83B5-4EF7-91D2-9774BE545592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e1fb296ebc0cb6dcfebbe27f7c0bf4333498cc","datavalue":{"value":{"entity-type":"item","numeric-id":3994783,"id":"Q3994783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063ba27d22dc9bf97c729c50d848e6ca9fc704b8","datavalue":{"value":{"amount":"+0.7382423877716064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800721$C96A228D-CD1E-4307-89B0-D33D885ECF1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable compositions and universal program logics","badges":[]}}}}}