{"entities":{"Q331054":{"pageid":332821,"ns":120,"title":"Item:Q331054","lastrevid":56814324,"modified":"2026-03-23T16:31:41Z","type":"item","id":"Q331054","labels":{"en":{"language":"en","value":"Proof complexity of intuitionistic implicational formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6643769"}},"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":"Q331054$52924B6D-97B5-47C3-91C1-130A4493667D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a76d56b9e1559647d158c68539b5b13181977a1b","datavalue":{"value":{"text":"Proof complexity of intuitionistic implicational formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q331054$B01BE7A5-DAAE-4C8A-B557-94A58D04A92D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"450798eaaea5a2c8535f43e92a922b6e1a33ba06","datavalue":{"value":"1422.03124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331054$97469D84-F10A-494F-8F04-3AA6351013F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$67AFB436-A670-4BA2-AD2D-F0789928BC5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$AF9034E4-C0BF-4456-AF96-6CDA68D63B6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0574adb538516c2b7c4431a66143362574f3a0d0","datavalue":{"value":{"time":"+2016-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q331054$87EE8CB8-0A11-4788-889B-1DB2C8A333A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fae5af32b5040abcfdc5ebaa48232d4992ac3775","datavalue":{"value":"https://arxiv.org/abs/1512.05667","type":"string"},"datatype":"url"},"type":"statement","id":"Q331054$C8921C57-19C6-4639-A22D-D3436FEF6C4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331054$F79CDE3E-6660-46AB-8281-6BFCC776AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331054$028EB8C1-4E36-4E76-AACA-43377F89477F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331054$5EC49921-D72D-41C2-B1D9-982A8E2B5853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1d4977ac984f2b73b08c9b36dfa59db4cf0bc57","datavalue":{"value":"6643769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331054$5403BD81-6352-429E-84AA-98B1436729FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q331054$2DC66635-112A-4E8A-BB5F-EA944BB045A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q331054$95F3CE34-B410-4B02-951C-C09C810A864B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a923ea1f19a48fa7c587d0d5d3770914bf9e90","datavalue":{"value":"implicational fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q331054$8F58EF2D-6DFD-445F-80EC-4603515CB356","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":"Q331054$8A960335-5671-4A06-BF88-0B400A211D91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1372fa1580c4a058331291b1c968d1704d1f90fd","datavalue":{"value":"W2211994174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331054$707EEFB2-224B-4CA2-99B2-C6FE1D6E7EBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$C631ED45-4E68-476C-B65A-C42B73471F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$5E733275-D5D3-45D3-B5AC-672E2D5D806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cfc6d1ca649e77a169b6cd08a9283c8c165615","datavalue":{"value":{"entity-type":"item","numeric-id":1304542,"id":"Q1304542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$8AB53B6E-24FC-4055-A4EC-FC4E0484AEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc582242659cee49d409675b8250ad17fb5d767","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$305F8E6E-231A-4FED-B7E8-47BA5813AC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$8F2EA008-1BE0-4E25-9281-ACC362991886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9583a02c3d9399c12376ce83a826d5789cef9579","datavalue":{"value":{"entity-type":"item","numeric-id":638480,"id":"Q638480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$1DFA2F22-81B0-49CE-A7FF-956C28576BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$16C50D28-3A11-437A-8EAF-8B24BF01170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aadb89586b12baabd090fee59e578386a236b4eb","datavalue":{"value":{"entity-type":"item","numeric-id":5422311,"id":"Q5422311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$948AC6D7-E1B5-4C19-94C5-A4E621668140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff4ee6a73fbacbcf6d7da620a82d0b3fbe596a6","datavalue":{"value":{"entity-type":"item","numeric-id":876385,"id":"Q876385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$76B99C95-A903-4279-92AD-CFBFE156A08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af1b7852a24d15cb98fd91aac427024f3784b9","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$D3D5865A-1720-4DAA-A43B-8D336AFAAE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea72334575ec9f68c192adc857ab078ff1e97f3","datavalue":{"value":{"entity-type":"item","numeric-id":2503409,"id":"Q2503409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$45CBFD0A-5B1F-4AB4-B70A-EBCC2E587DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9d8bfe8f81eec003462d830bf21e3091d48818","datavalue":{"value":{"entity-type":"item","numeric-id":1023047,"id":"Q1023047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$9439FEE1-CD14-4F15-ABE1-6FDC3492EA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b69ae82ce4b50f7614ea509b47229dc4677e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3455187,"id":"Q3455187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$8FAE291D-5A18-455A-B9AF-2108AA4561AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$BE0B4897-BA34-4461-A3E6-C7F3EF3C1B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$736EED18-9E04-4DE0-87B0-8FADE7A46CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9864cd692e177ef3a771b6df84de7a4d93d51b","datavalue":{"value":{"entity-type":"item","numeric-id":5460922,"id":"Q5460922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$B95DEC6B-DA97-45F8-B375-13BB70BB2533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3562aad9f32d46951b184c93a703037e61e2737","datavalue":{"value":{"entity-type":"item","numeric-id":3924171,"id":"Q3924171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331054$455D1108-459E-4EC7-8307-664D60548237","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b6400744d5530a4dae016e05aedd3da73079160","datavalue":{"value":"10.1016/J.APAL.2016.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331054$14B9A788-A7A7-439C-A935-DA11F16E7C80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1269c00f0711ecb81cbf4aad4a737f26c703bf9","datavalue":{"value":{"entity-type":"item","numeric-id":876385,"id":"Q876385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f6071b7e6f31803f1fe970f7e6378976fe5047","datavalue":{"value":{"amount":"+0.8122921586036682","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":"Q331054$B4113712-0494-44CC-8AAA-67E562ADE1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5e632e96b25e02069d047dfbfcde8bf907d255","datavalue":{"value":{"amount":"+0.7831203937530518","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":"Q331054$3694AD20-10CB-40A2-ABD4-9BD8A546C9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e289159aac412911418892251df2ccdf1333e75","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5802616b1e850c2b92ffd8be96831632e222488","datavalue":{"value":{"amount":"+0.7791229486465454","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":"Q331054$B7811949-B801-4B3D-AF67-A81888F37B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ec113b23214e288da260f9f7085565692b35cb","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846dcff914544e010c5652346d094f89848839f1","datavalue":{"value":{"amount":"+0.7537276148796082","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":"Q331054$F0EF50EE-C478-43BF-9FF3-7AA7527F4271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e3bfa89bbce593c83c8f2ca50e1fbe1bc8b7d1","datavalue":{"value":{"entity-type":"item","numeric-id":2032997,"id":"Q2032997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401e794de042293e38575e9e235376fdfb534720","datavalue":{"value":{"amount":"+0.7532753348350525","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":"Q331054$BE63E356-4ABE-415E-AB97-059853AFC7A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:331054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:331054"}}}}}