{"entities":{"Q6584957":{"pageid":14196113,"ns":120,"title":"Item:Q6584957","lastrevid":42366318,"modified":"2025-06-13T05:37:25Z","type":"item","id":"Q6584957","labels":{"en":{"language":"en","value":"From GTC to \\textsc{Reset}: generating reset proof systems from cyclic proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7894018"}},"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":"Q6584957$034BB547-CAFE-49EF-8209-0A95B9B34A54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3cec4601aa53381e1cb9eb6b56d8e9d75fb5841","datavalue":{"value":{"text":"From GTC to \\textsc{Reset}: generating reset proof systems from cyclic proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584957$DA13DD6D-278C-412C-8E77-2DA7E82A7138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$6356180E-C70B-4506-9C27-C67C3C1A38C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a434a74aa4ca9b8de2662549340055be1c331ff","datavalue":{"value":{"entity-type":"item","numeric-id":2112793,"id":"Q2112793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$27441A04-8033-486C-80A3-6A062D9AF1F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$647C8BF9-C5A8-4D02-A645-62D0BD4B138D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fd15c6a45fe5e1ddcb64ec4c376a60cdc57323d","datavalue":{"value":{"time":"+2024-08-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":"Q6584957$89936C81-8F1A-4957-988D-5737059F4A40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584957$CDCAAAF8-AAEF-4B48-A707-DC03A0D45456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584957$9EBB8B3E-9BC1-4925-A4B9-629CCC171AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584957$0EBCB45B-8ED9-44F4-AA34-80F2807FD977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584957$D470AA74-53C3-45D9-B448-2E48E101CC71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8e4f75a23533b6d660a49ec583791ce0184cd68","datavalue":{"value":"7894018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584957$A7BFDBFD-7687-4E0D-980E-6D0FEA4839AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584957$A4E5B255-4A7B-4DD5-BA15-66EAF2F708C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bc59c6c73d0d8b12a8dce71dd35c5c5a2347e10","datavalue":{"value":"reset proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584957$CA71EF00-A895-4AE2-85C8-447473609A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d07455a6d60cfed119b5daf775731b5a700735","datavalue":{"value":"proofs with names","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584957$FB21341C-C9BE-42B0-95EF-15A9601DEE7B","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":"Q6584957$1BF0FDCF-9BB9-4259-9057-8BD5F0850F87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$00379E20-0681-4C02-8386-ED2EE44A1BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c84138b2564754782643e56ef7f2c9c4be82226","datavalue":{"value":{"entity-type":"item","numeric-id":6487228,"id":"Q6487228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$3FA1794C-AC40-40C3-8BA3-9A08311380BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac9279541b2192d0ac1130b4bcbee2a54847d88","datavalue":{"value":{"entity-type":"item","numeric-id":6160752,"id":"Q6160752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$C9A3D97F-F7D8-4EA9-9C62-053723E79CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46c8979b3e3a1d6fbe6fb2f31001ca12540a697","datavalue":{"value":{"entity-type":"item","numeric-id":2142087,"id":"Q2142087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$76CCF239-3DA3-4CB5-A9F6-0B72EE58C09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$6CAD90E7-D9F4-441D-90C8-24929C5CFA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e538291a0ed383edb7e7d2a99685cbfff832b1","datavalue":{"value":{"entity-type":"item","numeric-id":6124956,"id":"Q6124956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$9DA50EE1-D043-433B-AEFB-2208401C8A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3e1f632aa6a45772004d57104ad9109cf2f75","datavalue":{"value":{"entity-type":"item","numeric-id":2492014,"id":"Q2492014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$072CD5E7-2A68-4434-B5F3-AB5B03E8B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$43375169-283A-4867-A908-BBAEACBB7E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$E9288B17-6E6E-49E3-B0FB-750F8ECFD2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$CAA7A947-50CE-45C6-A764-F813795C1F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a9908887f6826980d12b74aacaa6f0d8a479bb","datavalue":{"value":{"entity-type":"item","numeric-id":2142089,"id":"Q2142089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$A686B054-C2B8-43F1-85F5-972806137C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$2C6AE03C-99F8-44CF-AB33-61D190A48A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35499366ce64847ee4967aa551258683d6d6eac","datavalue":{"value":{"entity-type":"item","numeric-id":4460690,"id":"Q4460690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$5069D8A6-4D9C-491E-A11C-7890CADF18E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$9CDFF63B-8A70-40D5-A51C-9A47F4FC3123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6deb682e76c6add96fcd758f7a7b13600a38a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4994684,"id":"Q4994684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584957$D8A375F7-6142-46D3-941C-B36614BF8DA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95a793ed991b941a7c2143895ac1cc109ae6c089","datavalue":{"value":"10.1016/J.APAL.2024.103485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584957$F21E7365-8BF4-4F09-9281-DF9853E5E597","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584957"}}}}}