{"entities":{"Q6423729":{"pageid":13556764,"ns":120,"title":"Item:Q6423729","lastrevid":59120475,"modified":"2026-04-07T14:33:41Z","type":"item","id":"Q6423729","labels":{"en":{"language":"en","value":"From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900576767"}},"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":"Q6423729$5E9773EB-05A6-4FC7-83D2-FC332CB7D736","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59d232be0571e76b544846f951d16d27bcf7565","datavalue":{"value":{"time":"+2023-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6423729$2245B461-4A4B-4DEE-8572-E0FE80F1F2E5","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":"Q6423729$4C67F4AA-6803-4228-8FA1-065302610539","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":"Q6423729$28C1EA4F-09CE-456D-BAFB-F3AE05158143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ee2f737b0a84e5d3ab3a372b13d1b4cf9f835f8","datavalue":{"value":"900576767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6423729$CD2845C2-52C9-4231-BE91-F80CF4F5669E","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":"Q6423729$22838353-828D-4BE0-9A03-978DB5CE92D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6423729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6423729"}}}}}