{"entities":{"Q3558243":{"pageid":5588147,"ns":120,"title":"Item:Q3558243","lastrevid":50972369,"modified":"2026-01-16T00:56:08Z","type":"item","id":"Q3558243","labels":{"en":{"language":"en","value":"A Hoare logic for the coinductive trace-based big-step semantics of While"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703420"}},"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":"Q3558243$FD8FE539-8B58-48B9-9612-4D13646D6A1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b87077640f99adeda7f0be951e816ffa7cbbb4e","datavalue":{"value":{"text":"A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558243$516926AE-56CE-427C-9EB8-FA08B041C61E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4687f435ebadb3f3156248bf9167b3df7a22d1c","datavalue":{"value":"1260.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558243$356A60E5-7FF8-45F0-B9F7-24D2500BA789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97db1ecf9b5a18298560183bd8dcbea26c621360","datavalue":{"value":"10.1007/978-3-642-11957-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558243$E0FB6896-5BFD-4E0B-BA36-E7E250282AEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aab4c81bbdf8e8ab11509c3fd87907e1c5ae9221","datavalue":{"value":{"entity-type":"item","numeric-id":1929335,"id":"Q1929335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558243$D5937677-61B0-41B8-A6EE-A0A46E341C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558243$A202AE4F-C5F3-4B31-B9F9-8ABAF562DEB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558243$B86EC385-F7A3-4070-A80F-52601035264E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558243$8A436AE9-51C8-4CD8-8F69-DA2D08905886","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558243$2CB82CE2-AED9-4DCF-A005-9554FD94EC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558243$47766223-DBF2-4D20-85CA-80CAEB4086C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558243$1EA00ED8-398C-4107-B8E8-5D786D3A8B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558243$F07B3D7E-ED2C-4713-902A-33F55FDED3F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc85f51ebe2264105dda5916dc0c3421d2a59a22","datavalue":{"value":"5703420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558243$5614CA5D-BBA4-4807-9D8C-F6AFA10B9E13","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558243$A11E5143-D9EF-4D05-A28D-72C8D1DA0678","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":"Q3558243$4DBABFC5-88F4-4D11-8F75-0BC6019CAAE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77f9deb7a5c4981b3175dd4ef912139da3139700","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558243$4089A10E-76BB-404E-AA9E-9297B6EE499C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8fdacd501406b72600565afd704fa26c1f4819c","datavalue":{"value":"W1480120842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558243$D87F366A-4327-4E40-BAD7-14CFAA43EC8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1936756300fa99c8474907786210ea30b8e136","datavalue":{"value":{"entity-type":"item","numeric-id":5174911,"id":"Q5174911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab065bd5fdbcbc0e3d9247d23ddd3d834cc27792","datavalue":{"value":{"amount":"+0.9937300682067872","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":"Q3558243$3416BBD0-C4AB-4E52-94BF-6F75E18568E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f11d2cc288a3be67e5555c897fd4877436ce85a","datavalue":{"value":{"entity-type":"item","numeric-id":3183540,"id":"Q3183540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93468b3e0d7cbad7dd66ab0301e194b42e2d8ff4","datavalue":{"value":{"amount":"+0.8312812447547913","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":"Q3558243$E5670D18-0F0B-4B0D-A526-3CB5F4C73010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9d67900e92f820c440ee7e4f10bccd44f8422e","datavalue":{"value":{"entity-type":"item","numeric-id":3455778,"id":"Q3455778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7eff775eac3625a2899ed010edc6255cb63694b","datavalue":{"value":{"amount":"+0.7936222553253174","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":"Q3558243$7BA68892-DC9A-4C9C-96BB-EA26D5A0548F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51d1f32e7941ce3a983b025e8fc6ea29cc9d5b3","datavalue":{"value":{"entity-type":"item","numeric-id":4963901,"id":"Q4963901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ef33f4b3ab9e384c0b20ee179b47fbbe41536e","datavalue":{"value":{"amount":"+0.7567299604415894","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":"Q3558243$326C31E5-6B3F-434D-9D5C-398CDDC03C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63151ed46874ccece56eaacc3e40d1bbdc8a366d","datavalue":{"value":{"entity-type":"item","numeric-id":5899008,"id":"Q5899008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc76dc86fffbdd7e5de278959ada7b8d2d06eac6","datavalue":{"value":{"amount":"+0.7365763783454895","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":"Q3558243$900A8341-5C45-4890-BB96-86956E69F2E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558243"}}}}}