{"entities":{"Q5056373":{"pageid":7085950,"ns":120,"title":"Item:Q5056373","lastrevid":58414368,"modified":"2026-04-05T02:57:39Z","type":"item","id":"Q5056373","labels":{"en":{"language":"en","value":"A Subatomic Proof System for Decision Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628981"}},"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":"Q5056373$6AE8CD6C-2329-4687-BAE3-67DCA0B3CA45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9485a4aeafbda74f3f2fd5380dbc38e156d2c38d","datavalue":{"value":{"text":"A Subatomic Proof System for Decision Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056373$0D356306-1A6D-4C5F-9010-15437D6EC5A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11fa7d795cd6c7d3f5a0324fa7f2f068a7f27e02","datavalue":{"value":"1505.03125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056373$B68670B5-673B-4F80-9BF1-DBE35B0BAB3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33806f93124fff9d4c114116503aa80ff44da4cb","datavalue":{"value":"10.1145/3545116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056373$195E89E9-1E3B-4782-A285-AA056F7E02C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52205c49578ff1cfeedb9fdb2178766a03a9a062","datavalue":{"value":{"entity-type":"item","numeric-id":1035694,"id":"Q1035694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$FC80A8E0-37F4-4E9C-BB9E-C633135C29A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c13097ff6fbbf5f2c50b7bb5e88b43e9d7cc161","datavalue":{"value":{"entity-type":"item","numeric-id":1877715,"id":"Q1877715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$0B5DA18A-C75D-45D8-8E70-F66E0E70BE08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$9E7BFC0C-ABFE-4C24-9F4A-10AA5F5CD759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056373$7DC7590A-F2E0-4CED-8FFC-2736C42B89B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0d2cf06424a347462c4bd5533af2d4797066a17","datavalue":{"value":"https://arxiv.org/abs/2105.01382","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056373$705A123C-CE05-4455-80C7-437CA045A9C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056373$5A6D506D-4B4E-4E40-8BB6-23181664C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056373$CE5CA41F-4BEC-403E-93AA-84D550336666","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7ef0ca1bec6a5156653cf207cb3bdebbb5dc04f","datavalue":{"value":"7628981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056373$EF24E454-EDA2-48DA-81CD-D3D50DD65279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056373$481764C7-BE61-4206-BBA3-073B8D96F7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a707dee634266d2d1cd7cb33ac65ab7c8800bb1a","datavalue":{"value":"open deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056373$B3873DFA-5E7F-4126-B85D-D2C838BF3481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f28576e3ee8e6156247a8a2ecffedacd6952e8bb","datavalue":{"value":"subatomic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056373$01603201-1FC3-439E-9314-E998D3C2F498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056373$D04B5652-137B-4F4A-A20A-9414CA858B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c01dd09d51d3148f797e85ada3b20c2b0d4eaf","datavalue":{"value":"Statman tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056373$6BCBC7F9-61D3-411A-BA9D-8F76CEFE3772","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c0a202d160999304f9e86e3eecb4a67bd932e306","datavalue":{"value":"Q113769629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056373$78EC79F5-5B20-4D82-985A-38B2DF5D73BF","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":"Q5056373$56BE84CB-ECC4-4C62-9D5F-3C75F7274841","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a03fb3e96320947cbfce675f5e72074a1b7e5ce","datavalue":{"value":"W3159047636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056373$8A05E1DA-0F6C-425D-B578-E4725DA31CF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb943d914c702ef223ece3da61b38b33c9e1b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4608728,"id":"Q4608728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$75FE6A5A-939E-47F6-9B63-35A5A9946855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602e09c88fdca5675da1ecccb188cb8f4370446","datavalue":{"value":{"entity-type":"item","numeric-id":2506489,"id":"Q2506489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$35F5147F-56A4-4F54-A069-37F36CFE1FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c694a926a4541db3d8f9dad5bdeacfa898716b8","datavalue":{"value":{"entity-type":"item","numeric-id":817702,"id":"Q817702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$AC6C809C-F036-4D48-AF68-0CE56B9B2FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$867750F5-0D54-44B1-91FC-5FACC7BB3054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8d4724fac31c84be8dfe751236a3355fca52b0","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$2042715A-D30F-4768-999F-5C450C5B36CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e093a216641f79fea2124baffd779ab77b92b6","datavalue":{"value":{"entity-type":"item","numeric-id":5739889,"id":"Q5739889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$88AEA4AE-67DB-4047-87D1-C8C29A805CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6ea5da3ff957e06a77023261d0f8516a77cbfb","datavalue":{"value":{"entity-type":"item","numeric-id":5874198,"id":"Q5874198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$0EF9EDF9-FC46-4881-860D-786A89DC7F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5699694bdd1074c4792cee7c3f50ae33d8eb62c2","datavalue":{"value":{"entity-type":"item","numeric-id":4718423,"id":"Q4718423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$ECC97346-5109-48FE-801B-657DF4FAF312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55fc0c9991156ebb33606146fee288b665fcb03c","datavalue":{"value":{"entity-type":"item","numeric-id":3010365,"id":"Q3010365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$4D520A8E-AD37-4448-8C0A-8E36FF2617DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$3E382C3C-F4A4-4366-A382-72F66603D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$1E33F3D2-F788-472E-9916-0F484B14C5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32949fb0d883ca16819d9235abd6e64b9737e2da","datavalue":{"value":{"entity-type":"item","numeric-id":5219930,"id":"Q5219930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$9739EA8C-F634-480B-A7FF-C15F63BDB8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf499e29c0e8e2f018546e104c07e47e84ff64d","datavalue":{"value":{"entity-type":"item","numeric-id":5389140,"id":"Q5389140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$432A3DB8-D2C0-40C3-AE8F-D96FC295C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$22642A98-C5CB-46FA-800E-8B4E5CF5B8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e3b71e51738c70df77fe3149eb762a140db251","datavalue":{"value":{"entity-type":"item","numeric-id":3623221,"id":"Q3623221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$E8B88470-7813-440B-8819-12D1C0405B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$8EA71A4A-5C1E-426B-A0D3-CDF32350F931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a7c15a33e172a255bc14cd1528baa130737b50","datavalue":{"value":{"entity-type":"item","numeric-id":5310657,"id":"Q5310657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$2F2316C9-B14A-4B8C-91B1-2A4DC5D1C81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056373$3FB60528-F3EE-48D9-BF5E-E3B6976934E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b042aa778c18b5ad4e08620cd0c32e0d093e5e72","datavalue":{"value":{"entity-type":"item","numeric-id":4521282,"id":"Q4521282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab0edd8ccaf520b38ff9718510f1ae37e2a95d7","datavalue":{"value":{"amount":"+0.7507283687591553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056373$405EDF12-E520-4028-80B4-73131B6EB60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1830b7ad1a37b4591913bfa169de83afe0836178","datavalue":{"value":{"entity-type":"item","numeric-id":4608728,"id":"Q4608728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8a9df981e60e848bb431938bc39789fc9540fa","datavalue":{"value":{"amount":"+0.7462400197982788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056373$DF155560-2094-41E5-A021-E78197D62F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1afecc63e83a28ae399125e1af9976ce1e436","datavalue":{"value":{"entity-type":"item","numeric-id":689298,"id":"Q689298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c464622a293942993003cf403ed0e5856a4b497","datavalue":{"value":{"amount":"+0.7391771674156189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056373$0EA2E366-C8AC-45FA-B13D-3995DD014636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5fb60d72e16ad991c6665a764621288819fa42","datavalue":{"value":{"entity-type":"item","numeric-id":843604,"id":"Q843604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45181ef0c3dd534c537d4fde7ec3ca83048c876f","datavalue":{"value":{"amount":"+0.735800564289093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056373$12555C32-13E5-43A5-9B50-561C391C19CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3d685a0a4b1b6f5ce9910f977c7ec16272b872","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f804bd4ce33aad9c629cc146d817e2d8b2450f","datavalue":{"value":{"amount":"+0.723344087600708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5056373$861E04C3-D7AC-4B72-A02F-FD9EB6FF0CBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5056373","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5056373"}}}}}