{"entities":{"Q5436992":{"pageid":7466556,"ns":120,"title":"Item:Q5436992","lastrevid":50254655,"modified":"2026-01-13T16:08:00Z","type":"item","id":"Q5436992","labels":{"en":{"language":"en","value":"Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227983"}},"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":"Q5436992$061969D1-7BB3-466B-B536-BDC1DC1DE454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ddf85b4a60fe1d746f84fc31c69ddf2af54bdd2","datavalue":{"value":{"text":"Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5436992$2288E615-B3B8-4BB2-B83B-13283D014DDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f7e57fdb45f4669ce3e2768d8c0b789d0a07281","datavalue":{"value":"1159.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436992$A48638E3-DA9E-4377-A4E8-2A135DFCFA18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436992$A4AC0167-E0A5-4E45-B096-C2BABD14F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436992$E8D0E6E6-84DD-4F9A-9186-72E9D35EF84E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bf5ae4c4f38a4e50ac194230d4567cace8e4006","datavalue":{"value":{"time":"+2008-01-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":"Q5436992$4FF4417A-7170-420D-96F2-979544023D66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7465d829de372a3f18dc4a0dc9d55fde1cd44abc","datavalue":{"value":"https://semanticscholar.org/paper/b12bc34a9c1c5b7b1aff8b2872a02286f9c02449","type":"string"},"datatype":"url"},"type":"statement","id":"Q5436992$FFE9F8E0-7B38-4176-AB98-77D019860730","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436992$C6B74A7F-8765-4DA3-92D2-5F48B7DB7BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436992$98DD8C2A-EE78-4AF0-940E-51CF2699AEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436992$907DBB1B-2A2E-45ED-9555-EF550045963F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436992$70F9C0C0-9F38-402F-871B-BB8C752321C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca08658ab1af5edf6abb096ede13dcc1e648d17b","datavalue":{"value":"5227983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436992$F755AC39-68F1-4A7F-A111-E77DEA15E921","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436992$AE5E2CCF-C13D-497F-8D7F-87821BD0F350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b50bca3395fa98889081edccda7a11dc244ed63","datavalue":{"value":"non-analytic cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436992$EC39255F-41DA-42D7-80B0-CA445DA5EDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436992$67252B83-73E6-4875-973E-3B6939BC9679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436992$D870DA78-5B3A-4C69-B694-3326A04D264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436992$6A4B5C58-5BC9-4147-817B-AF071333B157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada39bf48376443cd80ccb164303b4bf9308180e","datavalue":{"value":"SAT-solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436992$C00CB2D8-84CE-4B1A-A610-0AD21108B847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2cd2ae2c1848403d6492ccd89c82fd760e8bd57","datavalue":{"value":"decision-based learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436992$B9485142-D659-4959-8242-E069C74808BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab93b67bfd8aa3ac16a8df46ced6af023b87f840","datavalue":{"value":"inference-based learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436992$FF27E894-4F7A-4BAE-A012-6C4A9657D7D9","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":"Q5436992$EB24E4F5-4B04-41CD-9F39-1E1BDF31C73E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9d8b5460dbc01619cf7cf204b984298884a50de","datavalue":{"value":"W1991481174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436992$8DCE9757-4D95-45E2-B082-A1937DD9FEBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c1e9b137e534716b5a0878c5904c52d23fdedba","datavalue":{"value":"10.1093/JIGPAL/JZM040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436992$4E43BD8A-9E4A-4E76-B4F8-36FEB08DEB21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436992$24EACFB0-C2F7-4D46-AD0E-396079EC00B2","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":"329eaa83461de3c27b721e26b2fc7a342a3b41d5","datavalue":{"value":{"amount":"+0.8066579699516296","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":"Q5436992$C5823B46-2EE9-4483-9BDD-FE5B25E574EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3939079472c2798ae61fc18391f337ed6aeb7de","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a914db950de35ebef05677dafcec1d139883580f","datavalue":{"value":{"amount":"+0.7798848152160645","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":"Q5436992$CFC481AC-60F8-435C-9986-784D8B68C386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1e17eddf55b13c84ff2defa149d71a93296f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530460,"id":"Q4530460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6933e0835d8edcb201d109f82e05415f0c1fe3f","datavalue":{"value":{"amount":"+0.7785009741783142","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":"Q5436992$31633585-7F93-4926-B611-EDBBFCB213FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750d093e8fb33f817a0b544ea58b5a93ef7660d8","datavalue":{"value":{"entity-type":"item","numeric-id":4524785,"id":"Q4524785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fa3b0d04cf298a4e8fedb2770a90e4e2f1d535","datavalue":{"value":{"amount":"+0.7612074017524719","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":"Q5436992$E735C130-46ED-4097-B967-1B875D6D240A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fa3b0d04cf298a4e8fedb2770a90e4e2f1d535","datavalue":{"value":{"amount":"+0.7612074017524719","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":"Q5436992$12939D27-4117-450E-82B0-4D52E3E70125","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5436992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5436992"}}}}}