{"entities":{"Q6274590":{"pageid":13411261,"ns":120,"title":"Item:Q6274590","lastrevid":94886633,"modified":"2026-06-05T07:53:37Z","type":"item","id":"Q6274590","labels":{"en":{"language":"en","value":"Cut-elimination for SBL"}},"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":"Q6274590$9E455D73-53AD-427C-BB05-C471CCF84F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"358f1b6708329cd31994acd6984ee719b4474516","datavalue":{"value":{"time":"+2016-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6274590$DA1C3F70-B2EB-4648-BE46-84231F5FD412","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"1ae8ea39c3a4d849b8eda370289ccecf31d3326d","datavalue":{"value":"1606.04194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6274590$EE55B4C8-26D6-46D4-8C12-405492041696","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6274590$1C4300C5-EF84-4D0B-95B1-690655B6FA76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6274590$5B60F017-D0B8-4A9C-BD34-61558900BD0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6274590$3BE82ECE-599F-4172-B530-666374DCC4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6274590$788F68E2-32DE-4F13-934C-F99E628083F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bbba634249273b0cf77db3abee802d71a6da025","datavalue":{"value":"10.1007/978-3-030-49424-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6274590$2BC63778-DE80-41C3-A9CC-5762C4AAE2B2","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":"Q6274590$06542795-3A36-4C52-82D2-C3A36A60F04E","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"c28967a3aea1e131e85b4f97fc447fcfb6f0d5ee","datavalue":{"value":{"entity-type":"item","numeric-id":5013907,"id":"Q5013907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6274590$0B95609A-F613-42B2-99ED-53213F24AD6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-elimination for SBL","badges":[]}}}}}