{"entities":{"Q5481596":{"pageid":7511156,"ns":120,"title":"Item:Q5481596","lastrevid":49889920,"modified":"2026-01-11T16:33:38Z","type":"item","id":"Q5481596","labels":{"en":{"language":"en","value":"Denotational semantics for a program logic of objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5044947"}},"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":"Q5481596$36E59871-C25F-4DAA-BF64-C615949B99BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"878775bc20e9d0d5c5c40b501bdff3a86b820536","datavalue":{"value":{"text":"Denotational semantics for a program logic of objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5481596$3C04D165-1078-4B71-B70B-76FC20406583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42b9ac97287b65db2e3d3f366151e5a5a2196e55","datavalue":{"value":"1110.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481596$690615EE-1035-4B16-BC5E-57B940ABD701","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aff238480a364b8e62b83eb0941ca2034e5c5ab7","datavalue":{"value":"10.1017/S0960129506005214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481596$1D711BF6-8866-4DC5-AB9E-4DE3C04C1260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5481596$A90373D3-E6B1-4F1A-9F60-42FA95772A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5481596$7385DE5B-1AA5-465F-A520-9E734978F4D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5481596$A9A4CDF0-7BF7-415D-876C-55608311D16A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d53376ee11b084ec4f294a20447ed512102be766","datavalue":{"value":{"time":"+2006-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5481596$D1AA276E-1F56-4F06-8037-5665BD478AF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481596$B897E1FB-79CB-48A3-A911-BF8EB1114413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481596$6D4B2AFA-8DAB-4AE1-BCBE-EC1DCE6FA2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481596$6E849676-5AB8-48A3-A8FD-E83CC3CB7CAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3ae80f9e5e02091dd2d0acaa6445781f7055b03","datavalue":{"value":"5044947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481596$C4E876AE-445E-48E2-964C-E8FCE22E1CCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3294b156f40e3f5e318d46a67cd4fc7811988d86","datavalue":{"value":"object-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5481596$9E38D764-03B2-4EDE-A6E6-79BE07DACE40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5481596$CBDADCE3-EDF1-4A96-B22F-C1BBCBBE5442","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":"Q5481596$84C4AB81-B906-4C0D-AF04-FBBB04BE5484","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e20a38477238569098b700cbec89babfa65ca670","datavalue":{"value":"https://doi.org/10.1017/s0960129506005214","type":"string"},"datatype":"url"},"type":"statement","id":"Q5481596$3AF7CDA4-2A2F-42E6-B7DA-BB2CD5B9ED9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fb19810e136ea90eb68d15dc4f2e3e8bf59fe57","datavalue":{"value":"W2153980583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481596$7D62D677-28B1-442A-9519-A0CB512E9646","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66620bec751c644522c23a1de6bfbd9223cdbbc","datavalue":{"value":{"entity-type":"item","numeric-id":5316569,"id":"Q5316569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b72035889e442d8a5b689b4be7db8ed3d4af663","datavalue":{"value":{"amount":"+0.9056906700134276","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":"Q5481596$C7517918-2BC0-42AE-AE4F-045FB43EA97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d8abc9830180e9f98bdccc10033b3141909948","datavalue":{"value":{"entity-type":"item","numeric-id":1434358,"id":"Q1434358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c45c068bea9f9a569e4906656c8b6c2a5431cf4","datavalue":{"value":{"amount":"+0.807844340801239","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":"Q5481596$14A8FBBB-96C3-46CB-B367-93BDBA633025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02658ea832e71a99ea5469476d7e1df85df4a9a2","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c047eca0a75596687ba8a05ad81c1ebfaaedf9b0","datavalue":{"value":{"amount":"+0.776974618434906","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":"Q5481596$69BD2C89-EA71-4709-9E6B-7F8512BF7C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582eb3110b663aa6298b9d019441d9416993c700","datavalue":{"value":{"entity-type":"item","numeric-id":4222907,"id":"Q4222907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b6c6f20e460d562735cdb9cd93540ff5c756f2","datavalue":{"value":{"amount":"+0.7399162650108337","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":"Q5481596$9C4424C5-E1DD-42BE-AF90-7C477088F2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2394bbb3853ecf63c20bcb8236988818ed2daabe","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3952f0b30ee1b7f2116704bb0cd1acb23473cb27","datavalue":{"value":{"amount":"+0.7396896481513977","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":"Q5481596$49D15E53-BA9B-457A-B524-BC2DB50512D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5481596","badges":[]}}}}}