{"entities":{"Q672046":{"pageid":673895,"ns":120,"title":"Item:Q672046","lastrevid":63452466,"modified":"2026-04-11T13:15:48Z","type":"item","id":"Q672046","labels":{"en":{"language":"en","value":"Tractability of cut-free Gentzen type propositional calculus with permutation inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984748"}},"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":"Q672046$7F357D6B-3A8E-4512-805E-D587DD8469EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caed7a152740aa00a459f867b6f25f36623426ff","datavalue":{"value":{"text":"Tractability of cut-free Gentzen type propositional calculus with permutation inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672046$51055438-50D8-49E9-A630-E69B12938DD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4bdbd2bb4af293c9e13b251a7960220d2acb3d0","datavalue":{"value":"0874.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672046$40D80C74-3577-41B3-823A-DE260C90ED51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aca6816017afcdb0eb0cb839f030f56e99cc79b8","datavalue":{"value":"10.1016/S0304-3975(96)80704-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672046$ED84107E-F48F-4146-869A-CB0DB26DF269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcd9adcafff3c3e938b5e5e0f052dd5c7280bbac","datavalue":{"value":{"entity-type":"item","numeric-id":672045,"id":"Q672045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$2590B7C2-0D11-44A0-86D1-F72DB1827449","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$09854888-179E-445E-A00F-D4FCDFE34ED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672046$2B8D8AE7-FC77-4877-9DE8-A12DB54B72A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672046$45497063-F089-4C51-8C58-CBAF7368537D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672046$AE409AD5-6F90-4498-8D2A-819915322BF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87f85e79b73b9b22ed2d5e38bcebfbb4b3d6dfb7","datavalue":{"value":"984748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672046$4F2D570D-B779-4015-9BEE-EF910AAF89EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e92ef9cdb30b67152699770cb7b50199ec949462","datavalue":{"value":"automatic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$2E57CC05-6A24-4EF1-873B-B90101290638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$2741033A-A26A-4548-A0B9-FB8C463C9682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cdcc858e642c37f46f6fa377f2e2634fe466a35","datavalue":{"value":"permutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$76D97CDA-984A-4754-ADD8-D2DA61A348D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b9ad5914a13aafddc053a5b48325d0ac8f4b09","datavalue":{"value":"cut-free Gentzen type propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$3CB623F2-1F63-466A-B908-BFE5456E6753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea80bf94441f8e26ed248d9a7ab4470d09d29ef1","datavalue":{"value":"polynomial size proofs for hard combinatorial problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$1413B7E0-E18F-4969-B38D-173AFED85099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e19b3397cff4a27a6273fed153c96e753f9a56","datavalue":{"value":"pigeonhole principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$0E42868F-394B-43E3-9F6D-6206558BD40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$94C26329-B268-419A-A947-6F64EC456D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$28B06511-1113-4ADD-B446-2D6B3D5578DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d271af0d50d1f154740732fbbe2bbabcb57e3965","datavalue":{"value":"relative efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$4FD1E96F-A11E-48D2-9079-916688E04029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672046$83E5CBBA-D568-4A19-8E4A-7DC92C0091B1","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":"Q672046$1B68A9C3-F904-4D06-BC75-A1795DAEDE0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a580c588e979f3485b9f8d3fefd6f0a924509","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$3E47BFA4-B87A-4661-8DF0-130E4A0AD390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755109124011cd8e3c658ad937263073737abb6f","datavalue":{"value":{"entity-type":"item","numeric-id":1332641,"id":"Q1332641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$1CF4D240-B90E-4D8C-B4DD-BEC1AFE71257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$7B49457B-36AA-46AC-BE55-14DAA0600C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268508f11a93ad9daf989654e9defbf367898cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$8DDA364D-DC23-4A1A-BDA6-39C920B4636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$7BD3B404-C9E7-4D59-8562-D7AB1982DA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25258644e2a2a844863c36732650f33cc995260","datavalue":{"value":{"entity-type":"item","numeric-id":3140635,"id":"Q3140635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$726095DA-1FAD-4E9F-AFD4-0C7117A4B361","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":"Q672046$C9788DE0-00D1-4337-BA0F-0EC2513AD632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$0863684D-BD94-4F87-A6F7-DA37CD20E018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$694C1868-0398-44B9-8618-FD18F71D6770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$DDD71C0A-7507-40C8-8208-EE5E3A47A431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c88ba7ec62a74a120649025590522149f9c71c7","datavalue":{"value":{"entity-type":"item","numeric-id":1263584,"id":"Q1263584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$098AC2C3-6C4B-4221-90C5-C0D4928F0FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672046$36EBBD03-B6A2-4BAF-ADF6-24A7735F1985","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14ba8754f0415c9746cc4e5669980da68f37158d","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)80704-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q672046$6D9B9AD1-10CD-42AA-B4CB-9C0DDED1079E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1972f3fc54d3031d239e074be8ab912aa407ec0c","datavalue":{"value":"W4252046485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672046$3C87D03E-5625-4C97-9BC1-CE33D332CC6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592b9dae8d65fc347d026f80545d234c45f20b96","datavalue":{"value":{"entity-type":"item","numeric-id":1575637,"id":"Q1575637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26fb7630607293a89605caadc64e8546172b574f","datavalue":{"value":{"amount":"+0.9118295311927797","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":"Q672046$80495C1A-8739-4930-9891-2642C1FE5719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d216a1f088ad317eccff22dbab20b51d426274","datavalue":{"value":{"entity-type":"item","numeric-id":3623221,"id":"Q3623221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9c5c6a4bc4d19fdca0989cea10bc30b2251bd6","datavalue":{"value":{"amount":"+0.9082847237586976","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":"Q672046$2FCD1162-71D9-4F3E-BD1A-9769F9D6084D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07578be4bb043516c6e8180ac22721d8f931693","datavalue":{"value":{"entity-type":"item","numeric-id":4503949,"id":"Q4503949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338386f76114407d8fca8361e7ccc445d379f3fc","datavalue":{"value":{"amount":"+0.8304739594459534","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":"Q672046$95F480A7-442F-41B3-8D1D-D5BCB67F674A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8749558555b3a1714cdf546fad5159a92b73448c","datavalue":{"value":{"amount":"+0.8284772038459778","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":"Q672046$F8FCD806-0F06-405F-812D-68A0CDF4352B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a3728eb6d6cea535db12f53a28c7233f093a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1263584,"id":"Q1263584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109d76fc83071119721e31388eb02d3ddb7d7f01","datavalue":{"value":{"amount":"+0.7799046039581299","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":"Q672046$475C3796-D21B-4E02-8D77-211FB29DB36D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tractability of cut-free Gentzen type propositional calculus with permutation inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tractability_of_cut-free_Gentzen_type_propositional_calculus_with_permutation_inference"}}}}}