{"entities":{"Q5174911":{"pageid":7204483,"ns":120,"title":"Item:Q5174911","lastrevid":58470810,"modified":"2026-04-05T08:56:37Z","type":"item","id":"Q5174911","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 6405764"}},"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":"Q5174911$C630C656-D5F6-4D67-B681-6CF088E8F8F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c9eed7a149fd3ffdb94fdf60165764ccaccfa46","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":"Q5174911$EF8C90A2-5AE2-4151-AC98-D0BC214346F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf6f2ea35ba5c90e2d9abe7d0f5c3f7f4d46c7f","datavalue":{"value":"1448.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5174911$38DB0EA5-4D60-4BAA-8D04-1FFE35E5297F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d64268ff3d011adb9e310c9e3b7aacf4c5dc2ed","datavalue":{"value":"10.2168/LMCS-11(1:1)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5174911$6661A01A-7A27-4845-BC0F-FCCF78C9342E","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":"Q5174911$14AC24DB-DBF9-469E-999A-6085B11C3B4A","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":"Q5174911$EF99B251-56B9-416A-98C3-C27B82D265D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5174911$216F3D78-045A-4C0E-BBB0-50B5500A8CA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35de2f7dede9cb43e2113b36996633151e59fa80","datavalue":{"value":{"time":"+2015-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5174911$E1F88059-9309-4295-83E6-C62630B7DD88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b12e8d86bcb896ca058c3c43942c71aa799c4587","datavalue":{"value":"https://arxiv.org/abs/1412.6579","type":"string"},"datatype":"url"},"type":"statement","id":"Q5174911$0C43F82B-7E97-4599-94C8-3D4568F06BF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5174911$063C5216-563A-4810-B978-642B7A4B1A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5174911$45536646-4AA9-474C-A8BE-24BF205709CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5174911$E487B501-6C31-44D2-A4E0-5F1616092D6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230f0b3cd34a2a6d8a4d8011aac2797d3a39e0a7","datavalue":{"value":"6405764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5174911$34E41675-C4B2-48F2-B061-34B48C6F23EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7faeb5d0135023e1eb500475334c837141ddc600","datavalue":{"value":"big-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5174911$D5A3D93D-F6E1-4529-B006-0B754D277F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5174911$EDA1F825-B04F-4D7D-B819-A46F48CC44AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159432ac9cac1a394cea4e22c25fa4a28cfcec9d","datavalue":{"value":"nontermination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5174911$0378822E-E008-464E-B004-1691F4641DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"105b548bd4be31af22b7a17c874287b89ce5e5c1","datavalue":{"value":"coinductive traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5174911$66A3D46A-B024-4050-9611-3184644A3F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5174911$9FE695EE-310F-40E6-BA82-ABD74859C154","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":"Q5174911$4FED887C-D396-4209-A1AC-F63BF88A0BC4","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":"Q5174911$65125967-BA12-4D88-9243-FC92FA6E1E9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a89047dc4c8db30a367bf953dd96f418f9a26eb6","datavalue":{"value":"W2399029393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5174911$0373A1C4-1CE7-4F43-8CB7-395579B888E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2803f3d0a8826125f9a26f4ed10a461be14324bf","datavalue":{"value":{"entity-type":"item","numeric-id":3558243,"id":"Q3558243"},"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":"Q5174911$2B116419-52A5-4132-A825-8CF0A55AB0AE","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":"651bd7a48cce605e9cd55d1ce87ae466e0919e20","datavalue":{"value":{"amount":"+0.8273493051528931","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":"Q5174911$F1F81C6B-4653-40AC-B1FD-36427A34422D","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":"72d8ebf3aa4c3dd39e79f55543654b31249714bf","datavalue":{"value":{"amount":"+0.7918159365653992","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":"Q5174911$65CC3AD3-51C1-49F6-A9CC-D7CD90E61D6A","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":"07cc42d8a821ba19f5cac9c154a2ec9cc9e56197","datavalue":{"value":{"amount":"+0.751034677028656","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":"Q5174911$B989C66B-C7AD-49A7-980A-300829B4BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564d497665b46c0c1d4a8904a118b7917bd17534","datavalue":{"value":{"entity-type":"item","numeric-id":1822934,"id":"Q1822934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563f5426fcff9e41fe391269f3f647408d7cdc18","datavalue":{"value":{"amount":"+0.7273086905479431","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":"Q5174911$2DE8CB7E-36DC-41EE-9B81-FACD6DECD1B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5174911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5174911"}}}}}