{"entities":{"Q688732":{"pageid":690581,"ns":120,"title":"Item:Q688732","lastrevid":42643873,"modified":"2025-07-07T15:30:14Z","type":"item","id":"Q688732","labels":{"en":{"language":"en","value":"Complexity of subclasses of the intuitionistic propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438468"}},"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":"Q688732$754B9361-1201-4B3C-B6A1-FBBFE0097508","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b094622c7d9ec48dc3bd8b5d491952cfad1eb8c","datavalue":{"value":{"text":"Complexity of subclasses of the intuitionistic propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688732$44E6B6CC-04CC-4BDA-B1B9-F0FFB7E59B19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1e285b3f382f3815cd75151055b595a5720fe15","datavalue":{"value":"0790.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$B060839D-7214-40EC-8B29-11CE30FFE6A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"785c4a034847660b89a08850cf4ec93f0d833eec","datavalue":{"value":"10.1007/BF01995108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$1ACD5C21-9484-44FF-AB73-0FE6076C2C27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688732$FAA9F90C-50D8-4055-B13E-F8755D1FD063","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6cd5815201d85bb68894181f8a778e0395c5390","datavalue":{"value":{"time":"+1994-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688732$A0638AC3-3BAD-4C90-B9C0-F10C8063DD1A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76053d2dc698244beff72ac5751751e0d567f9cb","datavalue":{"value":"The author investigates the complexity of the decision problem for subclasses of intuitionistic propositional calculus (IPC) determined by syntactic restrictions, and presents upper bounds for decision procedures locating these subclasses into a lower complexity class like co-NP or polynomial time. His subclasses of IPC are defined in terms of the normal form \\(X\\Rightarrow g\\), where \\(g\\) is a propositional variable and \\(X\\) is a list of the formulas of the form \\(^ \\sim p\\), \\(p\\), \\((p\\Rightarrow q)\\), \\(p\\Rightarrow(q\\Rightarrow r)\\), \\((p\\Rightarrow q)\\Rightarrow r\\), \\(p\\Rightarrow(q\\lor r)\\), \\(p\\Rightarrow ^ \\sim q\\), \\(^ \\sim q\\Rightarrow p\\), where \\(p\\), \\(q\\), \\(r\\) are variables.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688732$274CF46E-0473-4D3E-900F-42646B048335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$F8A0B0F0-C23A-480B-ABB2-56D65144D957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$9782E902-D7A8-4A62-B894-752DF4D47C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$BBDC3704-BDA1-4E9A-B6F4-8974188C8A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$23B8F98F-4B20-42F0-B347-5D9AE4D664EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$3042FBC6-FF89-4E57-A31F-3231DECDEF23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ec8fa186fa58ac0b8c3c4fa21f6151b7717c5e","datavalue":{"value":"438468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$A909DB03-E303-4C82-B929-1C4CA9DE7358","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70db7cce99a18b60b23b69e4d74871e1626c743","datavalue":{"value":"complexity of the decision problem for subclasses of intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q688732$E522BC91-822B-44F9-94FB-0B6FD5F2AEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"969e75a3f9bdfecbbc2f01f9efa3ba8241a1ff20","datavalue":{"value":"upper bounds for decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q688732$BBEB9695-0C37-4BE6-8CCE-7D283E1585D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688732$F2D49C9B-4005-4357-9BA7-80FA059EA384","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59699d8ba436c4690eab2e3c0ee0a7ef0d967cec","datavalue":{"value":{"entity-type":"item","numeric-id":1177040,"id":"Q1177040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688732$13723646-02E9-485D-B657-6B42C1385F53","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":"Q688732$34446E7D-38B8-4610-9CAD-1A978EB0C8FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688732$0A72D9AC-4C1F-43ED-822E-2351447E78A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688732$3D4F59F7-8112-408F-84A9-7EC64C865A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba9e501d5aba2e4a55df28cb0b797cc91929ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1051416,"id":"Q1051416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688732$2942BD89-56B5-45E4-B8CC-8C9403DD379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688732$BEB138D6-4340-4324-96AC-768AFDECA388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a193a471d38d4f2636f0967c462d886d529dd18f","datavalue":{"value":{"entity-type":"item","numeric-id":5604436,"id":"Q5604436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688732$419F4472-3453-461E-934E-2CF2F2E00421","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"235cf4420dc87b5f2ca181430a8147cab3e02603","datavalue":{"value":"https://doi.org/10.1007/bf01995108","type":"string"},"datatype":"url"},"type":"statement","id":"Q688732$14D0E8F7-D8A5-4836-8A9E-E314BE734E74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2446377a755b9129239434a418513adbe6ba099","datavalue":{"value":"W1978593318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688732$F2D8D5B3-C184-4D7A-9905-554059C3A0DF","rank":"normal"}],"P1643":[{"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":"bc5dfcdfe5ad0ae4e8d3dc4e7ce60be3bb695950","datavalue":{"value":{"amount":"+0.93141997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$E02D1F25-74AA-4E6A-AB78-3EE0617787E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abab2024f7428b30b4510d50a0f1957001e2e81","datavalue":{"value":{"amount":"+0.92425525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$E60E7B72-2147-454D-9B94-9CD16D7B5864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6622a5dedc5e9018fd80e95b97f402170522adee","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b10fa837f55fcc3fe11f9d007e1624a1d87339","datavalue":{"value":{"amount":"+0.92316717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$388F98FF-C6BC-4BF8-A6D7-040110AFC0BB","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":"ffc11b0e59e36a1aa2a1b5a070cbbf2908145d90","datavalue":{"value":{"amount":"+0.9207713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$79014067-4FB4-46D4-981E-23980969C750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29228986dbcf8ed2c578ae6f1d8029c211166fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de9693f04fb6de308b3b0a67d02e903f9c102e6","datavalue":{"value":{"amount":"+0.92073756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$9AB88B5E-E1A1-4E31-B516-A9AEA6570F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca70e559dc5c0a446e3c3e8c8e006dbe1a25af2","datavalue":{"value":{"entity-type":"item","numeric-id":2752056,"id":"Q2752056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0874815943eb41268140f6e2070cd7092ff8168","datavalue":{"value":{"amount":"+0.9159025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$880DFD52-4859-4A1A-B982-42BE6215CC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbde39d3d0e4cac5f51c436c6de81f4ba37cad91","datavalue":{"value":{"entity-type":"item","numeric-id":5013887,"id":"Q5013887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8c2124e655ed9e4054e455fb0e999b82b4f355","datavalue":{"value":{"amount":"+0.91502964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$253595FD-FBE7-4380-BF9A-8AB83411097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39d2e6afe9ba7f93671e1bd20c139abe7d2127a","datavalue":{"value":{"entity-type":"item","numeric-id":3505074,"id":"Q3505074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a47d281e194f080a627defbcdd3158287e68f9d","datavalue":{"value":{"amount":"+0.9148626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$2525BA21-0372-4BBD-805D-3AEB827219A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed2ff61afd3ae163968251001b53b9e89beca20","datavalue":{"value":{"entity-type":"item","numeric-id":5246717,"id":"Q5246717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563818fca7c1301b677b9011a2667fc774a23229","datavalue":{"value":{"amount":"+0.91306025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$C09AE9FD-1B53-403F-AA65-A476DF1E991B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef6d60f0cd39c5a3322a31afc9fcc3a72fe926a","datavalue":{"value":{"entity-type":"item","numeric-id":5942588,"id":"Q5942588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f746b9b498a9aa6d9a9d8082ba8e9f5581a750c1","datavalue":{"value":{"amount":"+0.91107446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q688732$A53F6015-61B2-49BF-8CE1-5A81758392AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688732"}}}}}