{"entities":{"Q1411664":{"pageid":1422404,"ns":120,"title":"Item:Q1411664","lastrevid":43089916,"modified":"2025-07-21T09:53:00Z","type":"item","id":"Q1411664","labels":{"en":{"language":"en","value":"On the polynomial-space completeness of intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1998232"}},"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":"Q1411664$577790C0-8CDD-4DF1-8E4A-27947635B1F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce67d35ab35d87750af1d4bd553b50a7646796ae","datavalue":{"value":{"text":"On the polynomial-space completeness of intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1411664$3A7EBE24-3CD7-48CA-A64E-5B699EB16F7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48cfba916cedea521c781db9709ba8a3a68a494f","datavalue":{"value":"1025.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411664$C12FDC53-38C9-44CF-8B93-9F08067F8BA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e166ba6e429b1b3182a1f829ff825dcb7dbf5eba","datavalue":{"value":{"entity-type":"item","numeric-id":804560,"id":"Q804560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411664$8E38D694-0C15-42FA-8072-3C669CF9AA48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411664$54DE26F1-59C9-4D93-8B00-69459345DF1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be2b20854192303ed7366ad7829810ca866443c3","datavalue":{"value":{"time":"+2003-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1411664$A72097D2-0F89-40B9-A2DB-CC4D54DACC44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411664$8F0DDAA3-DDDB-4F31-9A41-3D86263CE45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411664$2B1620A3-FBE9-4527-9090-FAC9E06FF42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411664$DDC94140-BB32-47EE-835C-23C309F19029","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49d2afb255dd9b2fb021a4b563d4d2a3a1452a81","datavalue":{"value":"1998232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411664$D3F3939A-6F00-4C54-BBA9-B43A063A64E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411664$A7710341-FA50-4C0B-8763-15EEDE1CAF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411664$73262FC6-3E0E-4DAB-875F-AC4AF6F0C64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411664$5C08AE7D-C1B5-4D71-A5F8-65284E38568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411664$2B26B88E-DD5E-4796-BF22-8FC680DA61BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411664$017CC3AA-C5D6-4EDB-B5F6-50C01030F467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18463181be6f31093c8c6fe4270210dba7ee5d00","datavalue":{"value":"logical connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1411664$BBE98E6C-454A-4B99-8EB7-545D87D26424","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":"Q1411664$D22745B3-3DBA-4B59-9B0A-A73EA33A700A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7e0177b5af2df0c5d791d6796440f2feb076763","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0179-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1411664$9679BF41-4745-4B42-B474-5781235256CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b69e2b910e52df6dda5b8d7798dd495be2ac713f","datavalue":{"value":"W2074283846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411664$F6B44BA7-F36A-4BF9-9AF2-A286AB837AB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411664$9354559D-081F-4796-8FD8-ECA1A5A325A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411664$83904FDE-0E9D-4049-8AF1-EE0D8FB61DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411664$AB9F046F-2E77-41FB-A2A8-57A0192E08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411664$BB9443BF-D56C-4532-81C0-03D44B013D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1411664$2AB0A59A-C817-4C4D-9079-EBB47A18613D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f2bbbcabc2c70066f277fb7cbc3581e0a00d716","datavalue":{"value":"10.1007/S00153-003-0179-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1411664$319CF642-B615-4727-AB1D-989B25DFADD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1411664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1411664"}}}}}