{"entities":{"Q5875682":{"pageid":7905233,"ns":120,"title":"Item:Q5875682","lastrevid":39654261,"modified":"2024-12-30T16:43:10Z","type":"item","id":"Q5875682","labels":{"en":{"language":"en","value":"Cyclic Proofs and Jumping Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650342"}},"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":"Q5875682$0D98FADE-C908-47BB-8183-878EECD42999","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875682$4FE773CC-BECB-49B1-ABBB-7425C0363C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8854b67fa04e84096e8632d803255a248a9d7af","datavalue":{"value":{"entity-type":"item","numeric-id":2327556,"id":"Q2327556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875682$5267B5D9-1858-4E9E-8FFC-48E9BDABBB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875682$B4056955-3C34-489B-BCB7-9EE045FE7A62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875682$ED9BF6CB-6410-49E4-9E5D-45D75900627E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875682$CA38774D-9CD9-43A6-818A-F66527FAF203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875682$118EAE66-06BC-4898-B67E-8BCC13EAC2EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26a7d347f13a13326bdaaad9206af81cdd5450ea","datavalue":{"value":"7650342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875682$97CE393D-33DD-49F1-8B1D-AC9BE0C99E7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875682$443DE94B-AC42-487A-967D-4C3997DE1527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875682$11C47C00-8A19-4B77-A1C6-0ACA7FA6CD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b91243e53f8c46927dc165b116b35cdebc260795","datavalue":{"value":"multi-head automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875682$1135CA50-26C1-47AD-B461-2421781CF304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875682$D78A3BDD-679C-4830-962D-6F48CD9CB073","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":"Q5875682$C66CB8EE-D3C1-41BA-80F6-8BE37C9ED154","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d845d12489cc42a08ff7188f81267109b2440769","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-02301651","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875682$C077F33A-5B53-494C-BF1B-3F6FDED263F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60af31eca46d1afb48b2aed17170c6b16cd2994b","datavalue":{"value":"W2996961130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875682$05F6942D-8469-4580-BA96-2CF22522D3B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"896268d73b2002daf1b9c1ec284f894982238969","datavalue":{"value":{"text":"Cyclic Proofs and Jumping Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875682$B89E276A-D623-4EAA-9107-361C24AE51CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b041ae3015eff426ec3cb59fe3f5c56245cd077c","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2019.45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875682$BE55C28C-566E-40E0-B6A0-84104074A805","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875682"}}}}}