{"entities":{"Q5157282":{"pageid":7186853,"ns":120,"title":"Item:Q5157282","lastrevid":54112637,"modified":"2026-01-26T06:47:07Z","type":"item","id":"Q5157282","labels":{"en":{"language":"en","value":"Theories of programming. The life and works of Tony Hoare"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7409277"}},"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":"Q5157282$8AB41C99-E435-4423-AFE4-B670B51DF310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3c4af0a43cd63e7e4c9ea42d49f597c4b2a9ad0","datavalue":{"value":{"text":"Theories of Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5157282$AF720AE3-CD5D-4476-9C2C-4A50FCBF1ACE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54344fdc438bfd3da581c1a4e037116ca3116831","datavalue":{"value":"1473.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$D83A668A-4B6B-4461-BBE7-2DE9D4AAB34D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8625a78b58f2710a4200570d0ebfde8d132f5f82","datavalue":{"value":"10.1145/3477355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$2538D0C8-1E92-4D68-A01B-5F45EDADC4FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d08096cb41ef5402bb4eedd6bea8e5004eaa6a1f","datavalue":{"value":{"time":"+2021-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5157282$4F5F2F18-9E7C-43D9-AE7B-A8AC06B07AB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$F4467135-7F3A-4B28-BBED-BE6D16D86187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$81757DF9-957C-48A5-9327-9CC22394559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$A9BB411F-97E6-4EC1-ADE5-89FF5751DA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$B38263CD-A151-4C1B-9999-817F13075A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$A3DF03CC-A5EF-49AC-ABA3-19DAE14E1DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$E4F0D780-462C-4176-85CF-8C41FD5CB63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$33AAE611-5549-4DC6-93FA-658799270582","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e59a4c8f496508e0ec2aa1b668fed8608eb2e9c3","datavalue":{"value":"7409277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$75A6290B-6E40-4AD2-9740-25D57AA86D6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90da4bdcdd65c945b24cf85be818f71d6c63bb38","datavalue":{"value":"efficient abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5157282$974D9951-913D-41F2-B153-287518564651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5157282$1C9035A4-46B2-4CB6-A686-720799C8DBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff9896550b9f473d4f432784fa7c052450f1637","datavalue":{"value":"verified software initiative","type":"string"},"datatype":"string"},"type":"statement","id":"Q5157282$21F0358E-7F42-43CF-AE96-C7D47C59FF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c3b21e3bd8b63836bc88e32ea64b90f9763e7e5","datavalue":{"value":"computer science education","type":"string"},"datatype":"string"},"type":"statement","id":"Q5157282$75A4023D-EA91-473D-9AC5-808A25A995E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5157282$EEB42D07-EC9A-44F0-8962-C83A8BADD67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f3fe6cec1a87f08982149c6a6845addc857d64","datavalue":{"value":"behavioral semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5157282$646B9E2A-0A08-4809-9808-7601FF9E75E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1dbe4a53a084c7ac331a297fbf374f5dd2075ba","datavalue":{"value":"scientific biography","type":"string"},"datatype":"string"},"type":"statement","id":"Q5157282$0BBB7D81-6B71-42EA-B626-6272EEE00C11","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":"Q5157282$822FAA05-EA96-4D3D-8F68-369088685B18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fc810440a6fe577cf519efae3663f9623377bfd","datavalue":{"value":"https://doi.org/10.1145/3477355","type":"string"},"datatype":"url"},"type":"statement","id":"Q5157282$4CD27E2D-9F5B-4B85-9D18-8EA8E468ED67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10638464813f0193e9b8f01bafbe9feca0579791","datavalue":{"value":"W4200437704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157282$BC34727A-4D4C-4023-B4CE-F8E9E7277705","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3745dd2b20fe4f2b04f34642ab57dd24c1baaf","datavalue":{"value":{"entity-type":"item","numeric-id":3055738,"id":"Q3055738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a905a1a9b4b9fa1d23b789a9ee378e2deee1497","datavalue":{"value":{"amount":"+0.7838764786720276","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":"Q5157282$DAEDBB38-B1CF-497E-B373-D61B0F535218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6ab8a797b16d31806528ab9ef991a47bd5c828","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efdfada13260dc9524f906370d1c78da5df23f6","datavalue":{"value":{"amount":"+0.7683762311935425","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":"Q5157282$752EDE85-D835-4FD7-9D82-BADE60723CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3b946215d56b566e32c1ebf655b4f15a8bdd61","datavalue":{"value":{"entity-type":"item","numeric-id":3163395,"id":"Q3163395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83537385af1ca617e0c6f353de874be079d8bdf1","datavalue":{"value":{"amount":"+0.7617233395576477","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":"Q5157282$84A9697B-49CD-4487-825F-4C52EC2D2704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442d5e89d0411d47ef58a6a762b691cfeb68bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2948230,"id":"Q2948230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fd22f776f0ddd9a5b574fb96d7a6142b977668","datavalue":{"value":{"amount":"+0.7580638527870178","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":"Q5157282$EBD6E343-FF79-406C-8C80-B83F9AFDC963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76692e0a4fa62ea14b7b8bfc5d0aab1209b0910a","datavalue":{"value":{"entity-type":"item","numeric-id":4885872,"id":"Q4885872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f582c99a3cfca98088b581f86aace6023103d97","datavalue":{"value":{"amount":"+0.7497336864471436","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":"Q5157282$8FC419FE-EC84-482F-8F74-4F3C5CE639C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5157282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5157282"}}}}}