{"entities":{"Q4647855":{"pageid":6677436,"ns":120,"title":"Item:Q4647855","lastrevid":55966039,"modified":"2026-02-21T14:22:10Z","type":"item","id":"Q4647855","labels":{"en":{"language":"en","value":"From hoare logic to matching logic reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103241"}},"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":"Q4647855$32AEA9A6-A01E-4062-8A12-1A1FE3C67205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27026fab418a64a8959d9ac805847d18f3a2326b","datavalue":{"value":{"text":"From Hoare Logic to Matching Logic Reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647855$18314105-829D-4BFC-A101-C0F8A4F91BCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b497b956409c30d6cf6adc2c386cfd3469fb958","datavalue":{"value":"1372.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647855$EA7B1ABE-7698-4049-B28C-6E01026EE035","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03734098e632b23b7ba9212d2aa4857d44174e84","datavalue":{"value":"10.1007/978-3-642-32759-9_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647855$7ADA4801-2E05-405A-844E-4E9C3D21C227","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a84ac9228878308f86175625fe15a1c15896ebb","datavalue":{"value":{"entity-type":"item","numeric-id":730475,"id":"Q730475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$9421B31D-6B47-456F-821B-E39FF2A157C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$7DAF0BE9-BF30-4D09-9018-BE02E12BB7C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$F70FAED3-3217-48B9-B971-F1FC8C5707D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647855$A00130CE-5C7C-4B3A-832A-63FCA127C851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647855$F5C5D143-766B-4B2F-8DE0-5690F385D06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647855$4B03557F-9537-4E81-953B-47E825FEC3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647855$25E096B8-1B22-4B3D-91DA-5700DF859E2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4f4b6aa4ed99b0aeffd0893312767081393ec6c","datavalue":{"value":"6103241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647855$4240EF16-3F6E-46E6-B196-BDF8792E855E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$77792E97-AFE7-495C-8684-5237E6FD9784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$77F6C606-5D43-4AE6-9076-725E25817F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2848a22139715b6b4db6935d72ae558466dfe12","datavalue":{"value":{"entity-type":"item","numeric-id":43970,"id":"Q43970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$3D308553-2739-45C7-8BC8-21342D412AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$A663E405-2369-4CFE-A2C7-801F2DF54550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$2CF12FDB-2538-46C3-8CA5-FDF81722534C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647855$8D63369D-79A4-4FAE-B1F1-4577A6BF0BD8","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":"Q4647855$AAAF4C29-2242-4452-B950-C6C972769A9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"020851e8e0be1795dd72951239487e5b146fe466","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32759-9_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647855$F5CBB46B-39E7-47CD-AA09-B8F34AEA06A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de6abb0dd4aaf0e0663507391905ebb718436e40","datavalue":{"value":"W2098780033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647855$2946D42E-71F9-46D2-A307-5F0A59DE6DCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07f4ff472e77d3c2ee5dfdfef8d78656a9b9dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3067473,"id":"Q3067473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff04172d5c9bd7b7290d2becff871975f2c722ba","datavalue":{"value":{"amount":"+0.7808889746665955","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":"Q4647855$DD6A8E38-875F-44FC-9DD1-7A5B8AEFD128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e6439c9ecc37247f435ac5bca7e4bb5111310f","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a426617725076470bdc47c9c70cacb7c4c62bd0e","datavalue":{"value":{"amount":"+0.7759774923324585","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":"Q4647855$2142F88D-870D-4E69-A6F0-AB8A38246F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05aa462e7f46aacefc16ad4d9ece95bbe438d17e","datavalue":{"value":{"entity-type":"item","numeric-id":2827839,"id":"Q2827839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a17458a8bcceff1c35a29bf8bb106f79dcdcd48","datavalue":{"value":{"amount":"+0.7531848549842834","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":"Q4647855$9768D8B6-181B-42B5-89E6-791DB2B63A2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647855"}}}}}