{"entities":{"Q4304496":{"pageid":6334097,"ns":120,"title":"Item:Q4304496","lastrevid":89233817,"modified":"2026-06-04T16:42:58Z","type":"item","id":"Q4304496","labels":{"en":{"language":"en","value":"The Taming of the Cut. Classical Refutations with Analytic Cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 637445"}},"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":"Q4304496$0F93D04F-2BE6-4FB1-BF08-EDA346391E41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4517ddc99202451f12715ed9c2cc19daf5ab20ad","datavalue":{"value":{"text":"The Taming of the Cut. Classical Refutations with Analytic Cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304496$613A9834-FE32-4E2A-A22F-91C41C36104C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ed7ff752a94b5610a02243f4d6f9a1bdfcfac75","datavalue":{"value":"0806.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304496$F156693F-1B55-45D5-8B54-BDA32521097A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304496$638068FD-AB9D-4510-B94D-F5B70CC8ECE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2071d0aa0ac04e02de1d546f7dea14f49f35804","datavalue":{"value":{"entity-type":"item","numeric-id":4185626,"id":"Q4185626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304496$04ECD9C9-EC11-4BA6-9145-B2171B04E74D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e062a118b22caaee58210a4b88012aa62bef9718","datavalue":{"value":{"time":"+1995-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304496$470CFDC0-16D5-4302-BA18-927DFABA49D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd2a0c406d96d7a6ffaad63c9b283d62ba800859","datavalue":{"value":"https://semanticscholar.org/paper/64c7e1602251f492e1104fcf758ec7cc1b640e33","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304496$F1418ACA-7BFC-4998-9EC9-1B5E8130BCF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304496$92FEF9F3-D105-4421-8227-7079E6832A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304496$A2EEC61B-3A07-4F38-92E7-CF15C13F85BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304496$C097B9AF-9B25-439A-9659-A9978652E664","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac4d52d6302b29dd53f5dd1f8f388315897f5250","datavalue":{"value":"637445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304496$0D774EC5-75C7-4C18-B3EB-163E17F114D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304496$1BBCAA0D-80AF-43B3-97B2-ECCE2D78E151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304496$E747D037-DAA9-41D3-96DE-3FDD51FE812B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"416f8c5458a3c3a9fd8ab7991742378d030d6bbc","datavalue":{"value":"classical analytic deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304496$38BF8494-4FBB-4461-9D5C-C565511C9C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75170245687d4044f46fcdfb79e834affc922d3c","datavalue":{"value":"alternative refutation system for classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304496$8F71003D-E4A6-4F0C-A812-AFE172225EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304496$16F0AC71-06C3-4D69-95F6-C76E82534168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7849cf4967868e1682e85fd08af647be01332b1a","datavalue":{"value":"speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304496$8D8DF7E5-4A53-40EB-BAEE-3CC87BB3F251","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":"Q4304496$BC2227E8-AD66-417C-BEE8-6CF38BAFD8C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f68f1fa36efaf28437680553885eaf755ec70ee","datavalue":{"value":"W1991138028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304496$B5E510B6-F00E-4F14-ADE9-1096FFED7854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"557963724c31186db91285a8a5d4ce676f3bb04f","datavalue":{"value":"10.1093/LOGCOM/4.3.285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304496$7AA02247-127D-46C6-B807-482CD711D66E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304496$F8B5561A-7F5F-4484-98A0-99B3B89C74B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414fa5906e47414bae54a3f5aa871bfb59880e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2422314,"id":"Q2422314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a24a79396d89598fa2758826bc9b8fb2f665b62","datavalue":{"value":{"amount":"+0.8580115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$AA9715A5-AACE-4BDB-9036-D078F7C289FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c76f77ea149ac341d5cf455fcbd6b85ee4566ec","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc75a447f877fc1fe8d4a236295dd15967b5471","datavalue":{"value":{"amount":"+0.85330343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$3D9CF26B-D65C-4227-811B-3FE39FF2D178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa561b8b5342ab318639cadc68c91a52aafd256f","datavalue":{"value":{"entity-type":"item","numeric-id":3475264,"id":"Q3475264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c74e876aac98cb8e52fffb4b1c5ba1c2bf6c9e","datavalue":{"value":{"amount":"+0.8491379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$FB7E03D5-E0D9-41A0-B8C4-4862A81901DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0230feeb85e9575cf80d1face694f8f1e83ec3ce","datavalue":{"value":{"entity-type":"item","numeric-id":2144620,"id":"Q2144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7445dbf1154f2834a8a7562043cf9122103fb44","datavalue":{"value":{"amount":"+0.8475908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$9B907E17-5368-4A9A-964F-B2FEDB74B1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca74b8299148564339540e6f1ef3c7960509c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5259721,"id":"Q5259721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750a1c10ac8d1402b50f674059feb26417439986","datavalue":{"value":{"amount":"+0.84322035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$96177674-6114-49D5-AEF1-F6B50B1CBB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9beb2689392e607bfa4d1a42dff7641e3736a43","datavalue":{"value":{"entity-type":"item","numeric-id":1898117,"id":"Q1898117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66ab0bf4bb42cbbbbf0d0184c12f46707becd5b","datavalue":{"value":{"amount":"+0.8416566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$A3F17D11-1338-46D9-95DD-4E588A8EBDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098ed464b9176512a79921a38e4cc48e651ffeed","datavalue":{"value":{"entity-type":"item","numeric-id":2144190,"id":"Q2144190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb835b75ce9958707816c3a8725aa6324e7881d7","datavalue":{"value":{"amount":"+0.8408466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$E029B9AB-6265-4172-9361-169B2B228FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315471c39a9b75d36b0135482fe8914404f675f0","datavalue":{"value":{"entity-type":"item","numeric-id":3464619,"id":"Q3464619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab2886d3587b1cff5cb0f4ea8c9d9b5e363d398","datavalue":{"value":{"amount":"+0.8376092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$FDDDFFCC-3604-4773-9979-B2830F20C087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ce90f53827001ef14b5751ceb40b9ee8a355be","datavalue":{"value":{"entity-type":"item","numeric-id":4281687,"id":"Q4281687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8751d4db12032eda2d4d094b2f55f9d2294cca72","datavalue":{"value":{"amount":"+0.83604264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$7D535B62-5CF4-40B2-8FF0-78D83F8B78DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"867486879768b12fc07d6c783a7012f7eab49fd1","datavalue":{"value":{"entity-type":"item","numeric-id":5436992,"id":"Q5436992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7bb1cd7e108d11bea67fd92e7c163178acc4d0","datavalue":{"value":{"amount":"+0.8349647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4304496$BEC5AF12-9620-41E2-A9B2-6D867B9F1990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Taming of the Cut. Classical Refutations with Analytic Cut","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Taming_of_the_Cut._Classical_Refutations_with_Analytic_Cut"}}}}}