{"entities":{"Q3138022":{"pageid":3148738,"ns":120,"title":"Item:Q3138022","lastrevid":47195251,"modified":"2025-12-31T23:34:57Z","type":"item","id":"Q3138022","labels":{"en":{"language":"en","value":"The deduction rule and linear and near-linear proof simulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431191"}},"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":"Q3138022$687C9B61-D0D8-4EBE-B98D-549E1E8EDB9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1bef72ad25d88c7f68df0b99209695f82e128ad","datavalue":{"value":{"text":"The deduction rule and linear and near-linear proof simulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3138022$A1D28D8C-B80E-44BC-94C0-F0E4F6515515","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b8d32ffd4801586cfd42770dfc6d37449433c8","datavalue":{"value":"0848.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138022$70757333-CC6E-47B4-B343-3A274CA4AD6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9e1386ea55ae3b3b548bfd9e15923e4accb727c","datavalue":{"value":"10.2307/2275228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138022$1EFEABDD-A141-4F67-B742-453970CF9BE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138022$E03D5E72-AA3B-4B5E-91C5-BBFC6BB2A974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138022$B1A1EA16-673D-4E6B-B615-DA069B1ED94E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138022$3B602B77-0871-4300-AE7F-60FA63356D59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a4582cf37b19337c7eae16fd67b6e107844c9e6","datavalue":{"value":{"time":"+1993-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138022$29CA6253-B108-4E01-956B-B4D3E718882A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138022$4A3FDF91-0465-410A-B603-F44E109C3AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138022$06CF0477-9934-4D45-B971-B61745CFCF8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b567cb401b4bf1c21e10e2679962360dd44a85e","datavalue":{"value":"431191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138022$3C94F15B-B921-44C3-B451-57F7C39B64FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf678021c51c76cc616f19f969c910668a30a939","datavalue":{"value":"proof systems for propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$E1D8E738-58A1-44F1-BA56-B65AB927AF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$312D709C-BD0D-496B-AA00-90790B4E3DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3846bc26788f7d4b863ada17cd3a3ce03ed8aed2","datavalue":{"value":"variants of the deduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$86ECCEF4-7A5C-4DDD-87F8-8355B844734C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$0990D54A-D369-49E1-A346-57A2D2D1A398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce1e9285e4948f812133c666a99d07e72e56a3a8","datavalue":{"value":"near-linear simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$4D21A782-188D-45C9-A623-831F747A1B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef7a44be586f3f57a9c4b773bdd2ddbb0b317bd","datavalue":{"value":"propositional Gentzen sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$D59C60BA-6285-4B70-90A2-DFE53EA1BDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7047974fa86be02901a3fe85241d3257b6164c17","datavalue":{"value":"natural deduction calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$357358FB-CE24-4C2B-96E5-471B13122636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf6802105c7189d078ee28d809d45f0e611cc09","datavalue":{"value":"speedup","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$6BF75DAC-5713-4EF6-8B99-713110FB76CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f25399bfe616f59d2de94c119b360df996f8be1","datavalue":{"value":"tree-like systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138022$5E5B86C8-2E50-452E-8A2D-52A71A764CC5","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":"Q3138022$225ED0DA-975A-46AF-A60B-012C76D07F58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"881aeb7a0215ad544becae9812c9f9af8ea6a111","datavalue":{"value":"https://doi.org/10.2307/2275228","type":"string"},"datatype":"url"},"type":"statement","id":"Q3138022$BC37E022-A7E1-475B-B9EB-B254B030CD7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dee3dc322ce0a2b71316fefa5e20faa1ed0bdade","datavalue":{"value":"W2012084714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138022$82A6C026-B1FF-4188-9CD4-95DE9BFE27AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79091cb7e9cad4be996745f6d71eea4d9e07b299","datavalue":{"value":{"entity-type":"item","numeric-id":4694140,"id":"Q4694140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138022$F150F6A1-143B-468C-A03F-95DAFA24A876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138022$570EC4BF-17D0-4418-A4E8-63F5F0B46669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138022$CDF194B7-A361-40F9-BFF3-9EEA00CA9496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4cc9ec7a0135f44df969075dbf78edd49501ac","datavalue":{"value":{"entity-type":"item","numeric-id":4683217,"id":"Q4683217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd6ec370c535412668970b0665fbe3c127ebebc","datavalue":{"value":{"amount":"+0.8487751483917236","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":"Q3138022$935887EE-93D4-4353-A1B1-DD05F91526FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f506adfb6f7bfbb639aaf09424f78ce31f76a91","datavalue":{"value":{"entity-type":"item","numeric-id":3140632,"id":"Q3140632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c01dd62b7e7324a68ab330d0ed4c2d88c6fa0c3","datavalue":{"value":{"amount":"+0.8387951254844666","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":"Q3138022$C38C7E07-3A94-45F2-88A1-1C5797C6D95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ad4de6ff0cbfb413e7cf33615b08ced267d11d","datavalue":{"value":{"amount":"+0.8361361622810364","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":"Q3138022$CF5CEA7E-553E-4BD4-B37B-5EB5B3ECC553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c550a325fc3b41969af7eb270413abfb85d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4218927,"id":"Q4218927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8716346a72136cae7c434378a4cf7350b3ffc515","datavalue":{"value":{"amount":"+0.8044506311416626","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":"Q3138022$BD07673B-F054-46DA-9B2C-D6542170CC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20304930accadc7fe78aaead233fbe7aa148b06","datavalue":{"value":{"entity-type":"item","numeric-id":3829548,"id":"Q3829548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f498f06fa16ad70b0edf778290ca9e040ee9d88","datavalue":{"value":{"amount":"+0.7970922589302063","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":"Q3138022$AC495D9C-1CEF-4A20-A7B1-D76BC967B45E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138022"}}}}}