{"entities":{"Q6357858":{"pageid":13492219,"ns":120,"title":"Item:Q6357858","lastrevid":42154559,"modified":"2025-05-26T15:25:09Z","type":"item","id":"Q6357858","labels":{"en":{"language":"en","value":"A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6357858$BB3311D8-0705-4CDE-B224-CE597403C5D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-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":"Q6357858$DB7ADDDC-EA77-493D-B3C9-06FA80F0FE08","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"5c5c74960b656ae8d0ff1ca9ce8fcdb9f122b480","datavalue":{"value":"2101.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6357858$D05F2CD4-C2D7-46E3-A71A-5BD81C8877CE","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6357858$A456F8CD-2242-4FAA-A9B7-BC9DBB2DBD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6357858$D33C859A-D093-4A2D-B888-183AAA8AE2D6","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":"Q6357858$0C9686BF-48CE-4C1D-9D6E-0CEEDEEA408B","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":"Q6357858$BA7E676C-BD1D-4DC2-BE18-7C7A393DA583","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":"Q6357858$C863EAE1-2218-4224-A995-611A1934900C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6357858$CC1F469E-E052-4AB1-83C0-7D7F15E109C8","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":"Q6357858$CEAF577C-58D9-43BF-A83F-0AA6C761FB79","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b3d41a6fef9d05d47bb3f05d9489be3bee3e72bb","datavalue":{"value":"Q115188990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6357858$ABDA6716-DFE7-4CD7-946F-9811A636636C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c42165ae9a7391470627bb871632a2435f76683","datavalue":{"value":"10.1016/J.JLAMP.2022.100827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6357858$910B7EA8-F99F-4722-B0AA-8007D557B37C","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"b59914b9d666552e4ebe059ee3264430f6f8072c","datavalue":{"value":{"entity-type":"item","numeric-id":2095424,"id":"Q2095424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6357858$517EAECB-2BC8-4A58-8A38-7A47C6FC4F64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6357858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6357858"}}}}}