{"entities":{"Q1799068":{"pageid":1809810,"ns":120,"title":"Item:Q1799068","lastrevid":68987067,"modified":"2026-04-13T03:33:26Z","type":"item","id":"Q1799068","labels":{"en":{"language":"en","value":"A tableaux calculus for reducing proof size"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958092"}},"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":"Q1799068$395A6DAF-B431-4E0A-A7D3-2571B535D750","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"691a1692e94907b008f5a63581fd15381be465d9","datavalue":{"value":{"text":"A tableaux calculus for reducing proof size","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799068$836AEF82-7533-4C40-8282-2DA414E25DCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48df9995ad714f9097a87db3c2ca10bb693299e8","datavalue":{"value":"10.1007/978-3-319-94205-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799068$335DB618-BAD1-4515-B095-8CC37BE2E9B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f2e26da664562e33d3f4f0c060bd5bbd4206b1","datavalue":{"value":{"entity-type":"item","numeric-id":1799067,"id":"Q1799067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799068$EC63EC60-75BD-4E98-B6E4-E252429D3350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799068$64DD35F2-C3C9-41F2-9E9A-307AC21EAB13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-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":"Q1799068$D08F5AE4-6A99-4BAC-AD5C-01AF35E16F09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00156e61d67c7091081de76b12c89c5eb35cd275","datavalue":{"value":"https://arxiv.org/abs/1801.04163","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799068$C6DB5C33-E3FA-4A81-AB6B-0E04B821CA52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799068$02160317-1A45-4B2F-8909-18F1A94C73E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799068$75EEDA70-1D62-40C7-A1DB-1AD90D278614","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8cbc1f1e755b4a9ef6bef222ef461ab4b584430","datavalue":{"value":"6958092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799068$29036AD2-C32D-4375-B798-5AFB4BA15BAB","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":"Q1799068$66CA9541-244A-4D46-887F-EA0F867AAA39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d3420470f504e8a09f54e3599d0e76c1d538f8a","datavalue":{"value":"W2964282487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799068$CE4DD212-FDC6-44D8-9FE7-92488C789457","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c75afe9048b90d96d419aafcc8f618e7a8d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":1334905,"id":"Q1334905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5aeab2daf3fb499bc6d7884f2cd54c96e0456cd","datavalue":{"value":{"amount":"+0.8389623761177063","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":"Q1799068$B07F3B4E-0F18-41EF-9825-D50D4972369F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67cf830e08fb9dd462bb8a64126e0aefb31f39b","datavalue":{"value":{"entity-type":"item","numeric-id":5434490,"id":"Q5434490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9be4821875bdee76c970a63cedc0ccc63764db4","datavalue":{"value":{"amount":"+0.7796555161476135","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":"Q1799068$75FFB201-D048-4466-A8F6-F11A4D5233E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00f6ab09ffac905c84a51370c4bd3759562803","datavalue":{"value":{"entity-type":"item","numeric-id":1575658,"id":"Q1575658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1b220a7aefc914c580ce3b1eab96f7e38b14f5","datavalue":{"value":{"amount":"+0.7702597379684448","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":"Q1799068$2049F4BB-BD3F-4DC7-98D4-3666993F9B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eafc2d34176ba52a38ee5ccafa0b4710eef2ef5","datavalue":{"value":{"amount":"+0.770259439945221","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":"Q1799068$5DDE143A-64AB-4B76-9263-7E331468DFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fab05f53f854be420f04a457663eadba203a049","datavalue":{"value":{"amount":"+0.7698158025741577","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":"Q1799068$7F5D4188-9902-46C3-880B-C7E946C0629C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableaux calculus for reducing proof size","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tableaux_calculus_for_reducing_proof_size"}}}}}