{"entities":{"Q6399483":{"pageid":13532747,"ns":120,"title":"Item:Q6399483","lastrevid":103070891,"modified":"2026-06-06T06:14:17Z","type":"item","id":"Q6399483","labels":{"en":{"language":"en","value":"Finite two-dimensional proof systems for non-finitely axiomatizable logics"}},"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":"Q6399483$C3339457-2FE9-4A0A-B3FB-759474432AC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed39cd09fba5cdf474042bb27d1349961ad549ad","datavalue":{"value":{"time":"+2022-05-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":"Q6399483$A20AF739-4314-414C-9564-D267D304E034","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"547be7115c5c07bc99eb20ecea78f0cb7d17018e","datavalue":{"value":"2205.08920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399483$A7655957-86F0-400B-ABBD-5E04B2BA5A85","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6399483$50417128-741B-472A-94DD-2E66F14DCFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6399483$D5679D8A-961A-4F2D-9BE2-621EB06EAE3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d030b3ca23a17fa350f18c44179f35f62342dec","datavalue":{"value":{"entity-type":"item","numeric-id":2104550,"id":"Q2104550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399483$F64A832E-9338-466F-9A92-E9727F48677C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c98628b33c8dc5226ed1ac3a7bf7845cc81598dc","datavalue":{"value":{"entity-type":"item","numeric-id":276031,"id":"Q276031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399483$2E845CB2-0271-4620-8D38-299C0AE7B732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399483$364D99B9-438F-47E4-A494-1FCA89941A98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0edee8b2b273999c8f021188bafbfa28df970ca4","datavalue":{"value":"10.1007/978-3-031-10769-6_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6399483$A8CFD610-A0E9-43AB-9F65-BCDF7C3E7744","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":"Q6399483$BC5F66BE-72A6-4230-BF90-9D3FCF8B5E36","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"9561bff8fbaf08fb72dc046d71d22339ee5c50ce","datavalue":{"value":{"entity-type":"item","numeric-id":2104551,"id":"Q2104551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6399483$8A03BACC-83CA-4DD4-890A-5D1DA3212453","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite two-dimensional proof systems for non-finitely axiomatizable logics","badges":[]}}}}}