{"entities":{"Q5369479":{"pageid":7399053,"ns":120,"title":"Item:Q5369479","lastrevid":52930418,"modified":"2026-01-23T20:20:32Z","type":"item","id":"Q5369479","labels":{"en":{"language":"en","value":"Proving correctness of logically decorated graph rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792347"}},"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":"Q5369479$134629AE-6DB1-4B7B-AF5B-1FC1C17FBCD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15e0bc1780c20df3054e403def63ede2935fe3f0","datavalue":{"value":"1387.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369479$8508E5A6-4464-4FDF-9D05-C42B5F44DEA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439ca872d127c655da8792c59cdd3857b359bb23","datavalue":{"value":{"entity-type":"item","numeric-id":1663988,"id":"Q1663988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369479$0B44D7ED-AEAC-41FF-AB58-877DD0861EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59de4dec21386ca0323d0bc61658e95d7735b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":912604,"id":"Q912604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369479$EADB8A53-448F-4A3B-9607-D1B3E1034154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0ebd351a4767d5682cec3f61fe0fde33df9f48","datavalue":{"value":{"entity-type":"item","numeric-id":1663989,"id":"Q1663989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369479$78B9F516-54CF-4372-93FF-0195D8D550F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369479$1D461B3B-7BCF-4F87-9B4F-546A7598BDFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369479$1A38A1AC-C97F-4091-916D-20FD2A9F3F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369479$77928D4F-C40C-436A-8377-F9766FFA29F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369479$1B99E7BD-88F0-45E0-94C8-15D0C8367FCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6e0bf6e6fbbc4011ad3aa01e54b107c06513d1b","datavalue":{"value":"6792347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369479$A39EB3BF-F366-4218-8418-EBDE7BC8EFA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe802cd0c56541564b404252646a442e231b0d8","datavalue":{"value":"graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369479$3B1333A9-E325-4949-B2A5-EA27ACD15253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369479$A58F7D86-838E-4D95-A694-0816EF76E6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c3b3b489b14ac76babbe71721498854641c31a","datavalue":{"value":"combinatory PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369479$61BAD19C-F4F7-4581-B89A-0080D44260A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1da28e175365cef49a62aa4ef9ac7508725a18b7","datavalue":{"value":"rewrite strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369479$E72B1BCE-C577-47B5-BFAF-65B91D801C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369479$001C55CE-C262-4EB5-907C-7A6A32E34AE5","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":"Q5369479$D3E72660-E102-47A4-AFC9-388DA7AC8D60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f77656177aaeeb27e0a097be60ec0b66c712a092","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369479$BAC20008-98D0-4E00-AC0F-231F3AEF10F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67916a59cf519ee95390dbd2176ad5b631cb5ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1663990,"id":"Q1663990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181ea467f129677b9af1628ef43a9c44a9b0f060","datavalue":{"value":{"amount":"+0.781622588634491","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":"Q5369479$5B561E37-4F68-455F-AD56-B7D0BA8FD270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aaf42b2d3a775ba4d81227b0b85b347084083d2","datavalue":{"value":{"entity-type":"item","numeric-id":3540429,"id":"Q3540429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d3fb6d1004ec1f1d3310d747ebe4d8491ffa97c","datavalue":{"value":{"amount":"+0.7498842477798462","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":"Q5369479$6BD57A5D-6E1E-48E6-8C11-CF7633A155B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6739516181e9e52a7b5b8d97e5c16de42754d506","datavalue":{"value":{"entity-type":"item","numeric-id":4931309,"id":"Q4931309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2724673672ae89fa9b4b8ea5a00fcf5c31ec06be","datavalue":{"value":{"amount":"+0.7457219362258911","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":"Q5369479$DEF18393-17FE-4B5B-A12C-CBF981F71079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5b0622b946b64d3bcbe9a2e57c21e70d7bd03","datavalue":{"value":{"entity-type":"item","numeric-id":2847775,"id":"Q2847775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e004e54e6377feef40b0523f432dd5313a8e0a1","datavalue":{"value":{"amount":"+0.7363956570625305","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":"Q5369479$75FE9387-2999-4297-84C6-5EFA63ADDC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5182300faa6aa2d11257894c43fe8c90b2547cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4890715,"id":"Q4890715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d942f2b05ff91df68a22ea5914d3bcbda09e2e","datavalue":{"value":{"amount":"+0.7335907220840454","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":"Q5369479$CEFB575B-7C28-4861-B353-91BD280228B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369479"}}}}}