{"entities":{"Q6058203":{"pageid":13192358,"ns":120,"title":"Item:Q6058203","lastrevid":58656231,"modified":"2026-04-06T05:08:00Z","type":"item","id":"Q6058203","labels":{"en":{"language":"en","value":"What are acceptable reductions?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7758371"}},"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":"Q6058203$0C9DB037-01B3-491B-AA30-D0FEBC85551B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3e2c6e40baf33f155a1241d5c7edb2c6b2db882","datavalue":{"value":{"text":"What are acceptable reductions?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6058203$3F3C0F34-77BD-4A55-86F5-0A291185ECC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eed88e7b4ca4d162b9b8cee07310086df1ba6736","datavalue":{"value":{"entity-type":"item","numeric-id":2037303,"id":"Q2037303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6058203$85316CAF-282B-4CC6-93C7-A4CD7C1B9A24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69dbb2b4c88052dd4e2de10d8b493ae56163fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3121032,"id":"Q3121032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6058203$D93E86E8-3023-4D2E-9900-7672107D56F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bac75c176a036de7d959a6f7ce27381eece88b6","datavalue":{"value":{"time":"+2023-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6058203$E90B8AB5-E799-4E9A-A050-5B117E218917","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"353fa3c842aba71548f6d86528ad9b6d6da81f21","datavalue":{"value":"https://arxiv.org/abs/2310.15446","type":"string"},"datatype":"url"},"type":"statement","id":"Q6058203$C1F637AC-FE0A-4258-A3BF-3DFA2E2F6555","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6058203$FDC048B0-6D2E-42A6-97A7-DFC072F794AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2735f6657f87752fbb4dd1b9607beceae2427049","datavalue":{"value":"7758371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6058203$5ADA2FC1-C35F-40B0-B75D-5526FDFBAA0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6058203$3546684D-0529-448F-A941-6D2707370C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6058203$4F930873-7785-4AFD-BE54-7F5E5371B338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdeedfbe2cc116d22a334a3935e3954c6415bd6c","datavalue":{"value":"identity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6058203$08F8E40C-0A3A-4FB3-A746-03B5A7BE5865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1b5105c9e7ac17d2ae587f34df0c5082154e2d","datavalue":{"value":"sense","type":"string"},"datatype":"string"},"type":"statement","id":"Q6058203$558D5ADB-D9B7-4C9B-B368-59C1BDC4BFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c441b3dee73de3d269547b272c1f7cdc085a924","datavalue":{"value":"Curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q6058203$7B2C60F0-5707-4CC7-A017-A0CF33180E3D","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":"Q6058203$8349E7D3-0ED3-4B1B-9C6A-2BAAECF7BB9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d13137de26e982fac8f02e933a18dfb50c9b576","datavalue":{"value":"10.26686/AJL.V20I3.7692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6058203$DA6288D1-CC42-41FD-89EE-BCFC1234957A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6058203","badges":[]}}}}}