{"entities":{"Q6915767":{"pageid":20996959,"ns":120,"title":"Item:Q6915767","lastrevid":84150611,"modified":"2026-05-11T10:09:22Z","type":"item","id":"Q6915767","labels":{"en":{"language":"en","value":"Coarsening natural deduction proofs. I: Finding perfect proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8106333"}},"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":"Q6915767$4EE67BAD-2519-474D-9CCD-C56A56C1769C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4945f1e821740fe65c542d1392b99b3b9126bdb2","datavalue":{"value":{"text":"Coarsening natural deduction proofs. I: Finding perfect proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6915767$5B5DD253-770C-4F22-80EB-C85B75CE0C54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5cd1950a98b102ea90ea76500fcd1127a1ecd76","datavalue":{"value":"10.1093/LOGCOM/EXAD077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915767$CA8982D6-7618-4D4B-8082-74D33FDB6E5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57995a03a2e46c9c1b7f9a76a45838f5db001d0d","datavalue":{"value":{"entity-type":"item","numeric-id":1702981,"id":"Q1702981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$93A0DC4B-6786-4CA1-9D74-D62A4CF09E39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$D3545BE0-3050-4EDC-9DF0-A817EBE86F11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be1a084743b7fe843755b397196118f7c063294","datavalue":{"value":{"time":"+2025-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6915767$32588B41-551C-4D65-A61E-A207260A07C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915767$4B5DAE15-3784-473F-A459-91BAC97DF1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915767$C4D1D70E-8279-47E2-B970-269579ECA781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"572a97b3b25be2f77281ebfbdc875c893e7914f1","datavalue":{"value":"8106333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6915767$99DD7DB2-FFA7-44FB-9784-75386BBA17A6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$33FEAAF2-1BC0-4725-BC39-A194253D4ED6","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":"Q6915767$0332397D-CBBF-43C3-9E36-6ADE1357B8D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$F5FDA49E-3F90-4E4D-B557-EC0B78D77CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$D0D54FF3-D4C6-49BA-9E24-CD6C6E4EC5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f6f30b50ace972cae7173455f8f60fd0440e0c","datavalue":{"value":{"entity-type":"item","numeric-id":5107541,"id":"Q5107541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$5A5A2852-8F6A-4962-84C3-967979DD4730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea350d9d1d94a933e3fcd144644fecbcf649775","datavalue":{"value":{"entity-type":"item","numeric-id":6943395,"id":"Q6943395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$932214AD-B1A1-45F1-B281-450AB241AACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b03e83e37d3a06ff21d2e0cfea63556c6463155","datavalue":{"value":{"entity-type":"item","numeric-id":4497443,"id":"Q4497443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$FEEAC206-F930-4456-8132-421E724FE7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1aa455643840f81c7fdc76f5376fcaf25a08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3269129,"id":"Q3269129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$04CC602B-6831-459F-8494-57D8677F9465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82402d0b04fd70ff932fca0760d93c62bb3690b","datavalue":{"value":{"entity-type":"item","numeric-id":2259009,"id":"Q2259009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$3304B7BD-767C-4133-9D32-5C8019CEF132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$759061F5-91CA-4508-9133-CB5845CB798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f78f980a4e5ffbb7a359025854d283d4a62e7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1138548,"id":"Q1138548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$7C89103D-12C5-43D3-AAD8-2AAF0CA275C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf7364534ee99cb868d82fbda46e45f8706f1b8","datavalue":{"value":{"entity-type":"item","numeric-id":1068812,"id":"Q1068812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$00E49EDF-43D7-4B9D-AE36-B0E3B99CABD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9230cf22cb52b8ca5735dd0f5c14a6348235495c","datavalue":{"value":{"entity-type":"item","numeric-id":4497442,"id":"Q4497442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$E3AACE71-93F8-4995-BC4B-1459DBD883DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dced61c474d74b066ea6e7a2ea36e3a8679966b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239945,"id":"Q4239945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$5F4BC9C9-5FDA-416D-B49B-FAAACF4CFC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1902321315e109cf6574b19d4ca0ece764adb8","datavalue":{"value":{"entity-type":"item","numeric-id":5366876,"id":"Q5366876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$D0AED5CA-41FF-4825-B245-F97FB4407091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$408CE132-BBAE-4D1B-B06F-11D35B827E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cc3412eb63dc8c30b7376c586627d47a9b1694","datavalue":{"value":{"entity-type":"item","numeric-id":5235072,"id":"Q5235072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6915767$C25D267C-5780-4556-9A17-3279B4C61E26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coarsening natural deduction proofs. I: Finding perfect proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coarsening_natural_deduction_proofs._I:_Finding_perfect_proofs"}}}}}