{"entities":{"Q3465048":{"pageid":5244450,"ns":120,"title":"Item:Q3465048","lastrevid":80733584,"modified":"2026-05-06T16:52:41Z","type":"item","id":"Q3465048","labels":{"en":{"language":"en","value":"From mathematical logic to programming-language semantics: a discussion with Tony Hoare"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6536765"}},"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":"Q3465048$2F09AF3E-6991-4571-BDF0-714E2FC4786C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f40e8af07b9036ac6816ecb8decec7e1951f9fab","datavalue":{"value":{"text":"From mathematical logic to programming-language semantics: a discussion with Tony Hoare","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3465048$F23A1E80-775A-41B1-966E-104D040968DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9e035acc40746e687e342a2d57189c8ed1a2d78","datavalue":{"value":"1347.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$CF60CFF9-63B1-4AEF-987B-170B542F479A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56bd52459cf1f4b395d05d1f44c8ccf8b631cf7f","datavalue":{"value":{"entity-type":"item","numeric-id":941464,"id":"Q941464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3465048$C6E0B8CC-E7F4-4444-9968-EB7CCBC4EBFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35906ba278c62a79a91d69bbd378552f3e2a021b","datavalue":{"value":{"time":"+2016-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3465048$0C937A8F-7157-478E-BA58-02A66BA26580","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$0CC491CF-30D1-47CA-8DBC-EFB453EC9327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$487302C0-B7C8-4A55-909D-E532CFEE8061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$5B924A5F-AC69-4F21-9B61-DF1E9959C013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$37E24D50-D3F0-415D-A5AA-7E345521041C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$33D20ABB-CFFD-4F09-A0A9-C7C8D153B17D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"754c4dec0985f2987f48216bc6bdaa22c835a806","datavalue":{"value":"6536765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$8B5892E7-946A-44CD-8C6A-B9E90E186106","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59f6dac69175320afa8795a031d48719725384","datavalue":{"value":"programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3465048$6D9DA671-50D2-4250-A48F-25A727DF1606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3465048$73173264-24B6-4CA4-B2AF-A547225AC026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3465048$F44FD96D-DFAC-4DE9-A74C-B76C25A157AF","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":"Q3465048$E5DBB12E-C18C-4099-96E2-2EFDAD98FF95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f49036d3bbdd683015193a8fd2383f86016745d4","datavalue":{"value":"https://doi.org/10.1093/logcom/exs071","type":"string"},"datatype":"url"},"type":"statement","id":"Q3465048$0971F75B-48EF-41F5-98D6-3732750FA635","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"591ddbab80d3697649037cdc21fce94c023048aa","datavalue":{"value":"W2158511535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$528EBD08-3E31-4E84-9AC4-2BB86A559C0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc1258e24e68cdd1ad5354461bccb6fc46a73b95","datavalue":{"value":"10.1093/LOGCOM/EXS071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465048$52BE1C43-1875-4CA0-A96B-C5EDC801774F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3465048$74FF431A-604A-49CD-B249-5C47B9B22E3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c926c635655052aecdc7c33c805b09eacd39ab36","datavalue":{"value":{"entity-type":"item","numeric-id":3814769,"id":"Q3814769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6d8d97f8f6cae17500057831a0c9dab81d9a7b","datavalue":{"value":{"amount":"+0.7489983439445496","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":"Q3465048$7D7CFF34-6FF3-44C0-ABE7-38A8D3117BEB","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":"56dcacef22dab483ca3677ef8fb27e0f0164bedf","datavalue":{"value":{"amount":"+0.7488238215446472","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":"Q3465048$0E70A7F4-1085-439F-AA74-0CD3349BD36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4379b18a80dc260316cbf690de18d1515449d47b","datavalue":{"value":{"entity-type":"item","numeric-id":3457263,"id":"Q3457263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fd46cd2519419cd94b6d44b1699bcb54c7b84b","datavalue":{"value":{"amount":"+0.7147859930992126","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":"Q3465048$047ADDDF-510E-415A-BFD8-1D1E3E921417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2bba953013bb0a0e1f1ac2879ab56f288c0608c","datavalue":{"value":{"entity-type":"item","numeric-id":3460891,"id":"Q3460891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3128e3051e2c2cabf64b3201623fcba067688a49","datavalue":{"value":{"amount":"+0.7105287313461304","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":"Q3465048$A782121F-D1F5-402F-922B-70B7CD776C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bd17ad06984176733e5af38929e1192e3dd3c0","datavalue":{"value":{"entity-type":"item","numeric-id":625111,"id":"Q625111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24988b607d9df9cfc96359aeab0d5e19851a6595","datavalue":{"value":{"amount":"+0.7072213292121887","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":"Q3465048$B7BFCA05-3A7F-40B2-9B5F-05050AC2F7CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From mathematical logic to programming-language semantics: a discussion with Tony Hoare","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_mathematical_logic_to_programming-language_semantics:_a_discussion_with_Tony_Hoare"}}}}}