{"entities":{"Q6164538":{"pageid":13299419,"ns":120,"title":"Item:Q6164538","lastrevid":47881618,"modified":"2026-01-02T23:32:07Z","type":"item","id":"Q6164538","labels":{"en":{"language":"en","value":"Proving structural properties of sequent systems in rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719887"}},"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":"Q6164538$D8AD482F-625E-4919-A2D3-7E949304494E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c8369642c2d9be32cc326184b59320650745c39","datavalue":{"value":{"text":"Proving structural properties of sequent systems in rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164538$572D50C8-E568-4B98-8901-97C5F49F841A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11edd580f003fd2704c62b0f26d1f7883ce64253","datavalue":{"value":"1521.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164538$EF3DD47E-8E1D-46C4-B360-147EF5AB4B14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b750d8ebc563ef071ba2dca8108b481d8d63ae4a","datavalue":{"value":"10.1007/978-3-319-99840-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164538$E085B524-5A0E-4103-A8BF-5C379E10542B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a291a40249c385e5a5b67f84938ffed092fc031","datavalue":{"value":{"entity-type":"item","numeric-id":281157,"id":"Q281157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164538$C0966869-0733-4F27-87E0-23F615809CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164538$11F39EAB-8A9A-436A-8091-E87FD3BF6388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164538$4815C937-E15D-42CB-8DE2-C1462C9BDA7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164538$85502FF3-8BB3-4DE6-BE0E-78C7FDD52BC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164538$13DB04E6-E603-4251-9F65-63838D7461D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164538$14815507-BB43-471E-891B-29CB2333E243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164538$7E6CBBD7-614F-4AF3-B1EF-0ABE047F624A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164538$5C4C9F0E-9118-4BAB-9F30-860DA9081A14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92ef7facec7e0e43bbec0a3613263c441beb4013","datavalue":{"value":"7719887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164538$FFF6EB69-FC81-4EA5-962E-DDAF1D1DA638","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":"Q6164538$CB05C048-18D0-42D1-B8B3-9CB784D37682","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"652d018e42d284193b5a64460f70ae1b9de9e27b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99840-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164538$7A9466F3-FCB2-42FE-9F6A-8AC24F001F4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1442f49923cb1107e805800a0da03195cf6ebf4","datavalue":{"value":"W2891971883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164538$37B68C55-689F-4A7C-9280-A00D41C8ADDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37922e77ad3c1ec200f259057289706cbb3dd3b0","datavalue":{"value":{"entity-type":"item","numeric-id":1744443,"id":"Q1744443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb90ba87378a4e5e09c28420dee8f0d4ee6415e","datavalue":{"value":{"amount":"+0.7431989908218384","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":"Q6164538$38B49A4E-B5FE-4D21-A3E7-42298E404F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8d79d393b68a623775dab7a4b12e8e280acee0","datavalue":{"value":{"entity-type":"item","numeric-id":2850670,"id":"Q2850670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5d590a7c1810f1f89e844bd9000b7b0cdfe825","datavalue":{"value":{"amount":"+0.7322434782981873","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":"Q6164538$D1BF1E9B-3E2A-46A1-A628-70F47B0F5EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796c0588e44c93936430caed071d94b5e4a4fd57","datavalue":{"value":{"entity-type":"item","numeric-id":2848048,"id":"Q2848048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda8f5ff229ac619dd46947a3aa3d9316af799ce","datavalue":{"value":{"amount":"+0.7257953882217407","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":"Q6164538$8F34BDA9-F5ED-4D6D-BD0E-B38CFE32C474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b44a08bec48344b2562fc1b487c788db7bd5fd","datavalue":{"value":{"entity-type":"item","numeric-id":2424887,"id":"Q2424887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ffca9e208c24b699d38a745f59ce6d7bd4e0fe","datavalue":{"value":{"amount":"+0.7252478003501892","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":"Q6164538$1AF92C1B-7522-416B-B1DF-120F5BA357EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeee46e504a55acd7bccfff46c1219fa96e652","datavalue":{"value":{"entity-type":"item","numeric-id":4842538,"id":"Q4842538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf35fddc3439ef14844abd2874fb71da95b91f7","datavalue":{"value":{"amount":"+0.7119795083999634","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":"Q6164538$A05D47A7-9D91-4090-B54F-BE38DE454D02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164538"}}}}}