{"entities":{"Q1575637":{"pageid":1586377,"ns":120,"title":"Item:Q1575637","lastrevid":74064702,"modified":"2026-04-14T18:14:18Z","type":"item","id":"Q1575637","labels":{"en":{"language":"en","value":"Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493435"}},"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":"Q1575637$AC0D0B67-C48F-4B70-B28B-FAD86A5B195B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c329eeeb4d456e831a01bbdbc822f5f9db57143d","datavalue":{"value":{"text":"Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575637$D9508BBA-1E24-4056-AFFD-5C944FF01A44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcfc3001a89d23b0a7369e4c5e68ceb2ebb2da7a","datavalue":{"value":"0945.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575637$4D0C9FB8-A6FD-40BD-9CF7-6652A9F048F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06d0ccfcc36751596f01e4520c840b11b14893ee","datavalue":{"value":"10.1016/S0304-3975(98)00186-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575637$6B416C27-E833-4170-8451-252A731BD094","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":"Q1575637$3A221054-D066-45FF-AA3A-741965B78129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575637$FB746768-012A-4AC2-8949-6C2E44987852","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575637$81D969C1-1776-4246-93BC-41EFBA9154B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575637$9A372DB0-1ABA-480F-85C3-C7791D17EB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575637$F07E6043-0569-467D-BE99-92610CD976C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"422631d41ade47b117ac5e167f427a929d98c59e","datavalue":{"value":"1493435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575637$C91C3E50-A77C-4C3C-B129-C6C9B519A3B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$DC9D06F3-7D31-4119-B5B3-4F00A8065783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$4400DAD5-A6C3-40CD-9A52-8D3AC3CF8044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$4FA7594D-B8B9-430C-98C7-BB7C50FA0A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15f3195d29083872b77b725602dcb68303feeee8","datavalue":{"value":"cut-free Gentzen system LK with permutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$217B7F66-7310-43F0-9A5C-B34E855B7865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba637c62db280500619c6126c28edb0dda5def48","datavalue":{"value":"permutation inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$119AF6DE-CED7-4C09-A904-D547CDA9F48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c905bdfaebd7ca65f421f570fcb6eb49c56607b","datavalue":{"value":"renaming inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$D6F1809D-36C5-4F1E-BF7B-78939797D2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211912789922b0f389cb15ebb6bde718076a7fe8","datavalue":{"value":"feasible subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$BC8E1253-7CBE-4DCF-8F48-1B6FA2BA2891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d271af0d50d1f154740732fbbe2bbabcb57e3965","datavalue":{"value":"relative efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$1E5F491C-558F-4251-9D0F-3D2167EFD78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575637$A58277E9-03B6-46F3-A149-58F435107A5A","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":"Q1575637$62E953E3-C3D4-4692-B429-0CD201F46704","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":"Q1575637$E98297E1-E06A-43D6-86BB-893BE3660742","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a487a3fb672eb98191b9bdbf624338ecd55ae0","datavalue":{"value":{"entity-type":"item","numeric-id":672046,"id":"Q672046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$3B5ABAB4-5B1A-4CF2-807B-40250D725269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7273ec0eb958a68acc1c78fd022c2a6c6886f422","datavalue":{"value":{"entity-type":"item","numeric-id":1350509,"id":"Q1350509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$A879C4ED-DD44-42E7-AF21-71F14C6F92B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325e5b70e68353c122a492feffe6afe0b7e4681a","datavalue":{"value":{"entity-type":"item","numeric-id":1977488,"id":"Q1977488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$427CE3EF-2CE4-4E52-94B7-D482A1E4395D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade17ba58c8651a68b2bae1694f23c087effff8c","datavalue":{"value":{"entity-type":"item","numeric-id":4234077,"id":"Q4234077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$783C0ED6-44D9-4130-B9D1-EFB9D50FE761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cb5c2591c3b4779c32d742e1061633a99acbed","datavalue":{"value":{"entity-type":"item","numeric-id":4850545,"id":"Q4850545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$07C34344-92DB-4097-9CE3-687B8BCB728D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f4844883d38ba5b8da2bd118d050bc2a66329c","datavalue":{"value":{"entity-type":"item","numeric-id":1908815,"id":"Q1908815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$CABEBEE3-8E0C-4AF7-9FB3-6EFD2FDD3E55","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":"Q1575637$B8612E5E-F129-4639-9494-9CCC520F9509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5035ead90ebf2e92af4cb88fdfc91c7dfa88c06a","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$7241D9EE-7B1C-46B6-9CB7-14D416BED272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d1b169c78093ce8db60dab660d64c1863559c8","datavalue":{"value":{"entity-type":"item","numeric-id":1908818,"id":"Q1908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$E0B01666-5AE2-498B-81ED-B77DA891E135","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":"Q1575637$63BB5B8F-ECDD-43D6-80B1-F66283B1F074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f47d935369c84fd40f45ed37a1e6a1d3ed93b5","datavalue":{"value":{"entity-type":"item","numeric-id":4375787,"id":"Q4375787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$8FE2EC33-E64C-4621-910D-E48278625B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$A7699806-87D2-42DF-8A00-73D289D8B7D2","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":"Q1575637$4234F680-47DF-4C03-B576-911C9F22F7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$AD4B91DA-1353-4B26-A5E5-9EA75F1C3A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575637$A1AAAAB6-A09C-46D3-9786-1DAC13AE46BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0048884ec13f88a96b4e02505fe4a6b5c4623d69","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(98)00186-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575637$E4FC578D-98D4-453A-A97D-ED5AF2C5F5AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"646ff7e106f94f9d76e983fac06c75c936c2a9e4","datavalue":{"value":"W2031662653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575637$5B764513-407E-43F1-B797-1E98718550E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa17fc9dbf9bd8d8d5199d070859c8b4c5607c2","datavalue":{"value":{"entity-type":"item","numeric-id":672046,"id":"Q672046"},"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":"Q1575637$3DFFCBCC-1496-4DF7-92D6-1E25D16B1016","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":"f8d68b954865c107f799d5c4e55f18ed04cbd024","datavalue":{"value":{"amount":"+0.8444555401802063","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":"Q1575637$2320CF32-7CCC-4AC1-A5FB-638C1B1F3B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc4b6c9841b1a7f7365dc74e95229f6881279f2","datavalue":{"value":{"entity-type":"item","numeric-id":5422267,"id":"Q5422267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9947fd09adacf1546d382383ce6a1ba094e173e","datavalue":{"value":{"amount":"+0.7739956378936768","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":"Q1575637$D9A61E76-DAD0-489D-9569-F7225E812A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf3b44a8023a3526ec14efbc1e3efab7c352f75","datavalue":{"value":{"entity-type":"item","numeric-id":714731,"id":"Q714731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a00249487520f4fbc5c95de1269ca09d88f6452","datavalue":{"value":{"amount":"+0.7525210380554199","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":"Q1575637$BB2F861B-2559-4FE3-9BB9-A4CAB3AA462D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II","badges":[]}}}}}