{"entities":{"Q1006641":{"pageid":1008489,"ns":120,"title":"Item:Q1006641","lastrevid":50614691,"modified":"2026-01-14T14:05:40Z","type":"item","id":"Q1006641","labels":{"en":{"language":"en","value":"The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532863"}},"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":"Q1006641$02014AEC-D2B8-46C8-9318-E3C48BAF5CE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad0684d7351c7d531e0a3171e6105913285cc64f","datavalue":{"value":{"text":"The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006641$4BB6AFEC-6223-4B05-A22D-3EBFF2E9C987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef12d71204f2ae0ea9dc42937c18515ae0379535","datavalue":{"value":"1159.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$B5648C7D-ABC5-4A20-BC09-F773375FD90D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9882aae56ec8a5b8665d15f346fe4d402963b39","datavalue":{"value":{"entity-type":"item","numeric-id":473195,"id":"Q473195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$7623F078-CBBE-4719-9FDA-B5E6ADF58E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$F2CAA53F-11CB-4EB3-812C-F5BE98072139","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":"Q1006641$88B545FA-0EFD-4DC4-9134-8121C568327E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006641$27AA3D7E-5A74-4F6F-A28F-B8F140C55DA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$01F1A982-9CC0-4E4E-8491-B34AE8FD096C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$351C69F8-B454-4FC4-8BFB-A5325DFD5C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$8582F5D1-8B40-4518-93CD-FEEC70245E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$B91BA7EB-25A3-42EA-8E0B-765535173BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$BA345091-F480-455A-9E35-F526563ABCBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2485f53d993be4487816937d741b1651299a955","datavalue":{"value":"5532863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$5EAB81F1-37DF-4F6C-B8B4-D8AA6ADF5FC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006641$6F5F1C86-EDBA-436C-BBF8-B8D7424C5F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be33a3f66bc2bee33e3325ec2a6d48b5a286047","datavalue":{"value":"commutative GBL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006641$7DEB0746-4696-4814-B90E-D273A936832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006641$4EAFFB6A-C1B5-4B4B-ADD5-4A2CFCA59903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006641$D5098D08-A32F-458E-8B2B-0B6B29256201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006641$61F0860F-2CEC-4585-830F-25BFB6849F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006641$2D4B142D-483F-4ED3-A16B-6735BF8454E3","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":"Q1006641$78C4B58F-C3B8-41B1-9843-A095DD59F285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e492524186103d910da32fd0444a8b192c3f6b75","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.10.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006641$9EC0E791-C613-466B-922A-198CD8E6EA5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e93b45e761c510021a5d374ef8c2b81810d8901","datavalue":{"value":"W2076019293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$6414BC7B-68B2-46C2-BB2C-349483678CF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67cf68921371c49adfce9cf0f6418582fd911685","datavalue":{"value":{"entity-type":"item","numeric-id":816857,"id":"Q816857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$91C33BBC-9EB4-4295-B1EF-16079B206CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$F6F0AD3A-6C98-49DE-8710-51B6B4300EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5689094a642950551c21f7a44b114dc97bea8dc5","datavalue":{"value":{"entity-type":"item","numeric-id":5957903,"id":"Q5957903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$8644179B-74F6-497B-A36F-CAB8A509485D","rank":"normal"},{"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":"Q1006641$9C60DAA2-04EC-4271-B947-E875DDF703B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$F6B1ECA8-92BD-40A1-A133-1D28C7520609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a980784bc9886c846c3ff836902108aa11b9aab0","datavalue":{"value":{"entity-type":"item","numeric-id":5687941,"id":"Q5687941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$DB30D3DF-8F3A-41BD-AB2A-7052370CDE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$220D1157-E357-4311-BEF7-60588950EDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52f87bfff5e15844694cf22d79c2b75967d95b2","datavalue":{"value":{"entity-type":"item","numeric-id":1770501,"id":"Q1770501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$4D0CB02D-D15B-4DB4-A80F-B26AF5BB7C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$819BB927-BDC4-4AC3-92FF-2A7B1A7AC811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bc981f8db54dd772ae2fccc87f792421ad2162","datavalue":{"value":{"entity-type":"item","numeric-id":2655230,"id":"Q2655230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$99889DFD-7510-4D25-917A-33B534001CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f267ea7ad69bc98a05d897849557ab621defac8e","datavalue":{"value":{"entity-type":"item","numeric-id":861599,"id":"Q861599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$82F0D458-B1B1-4358-8A9A-B42B89F73B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9dd76e140714fbe7adf9cc7d4e6b85cd8b037f5","datavalue":{"value":{"entity-type":"item","numeric-id":964512,"id":"Q964512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$C922DC2F-887E-4470-B488-A8B55A74EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$971939B4-4171-422E-B3C6-9E8D13BDE306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a477995688b1f5bf3f926561c5dfb8d69359fa","datavalue":{"value":{"entity-type":"item","numeric-id":995612,"id":"Q995612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$28705066-F281-4A18-86DA-B2D0E5051E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8084845bc1e7476620c12a49f6dd2abd44035dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$B3393E79-0E72-410F-93CC-BD5FCBAB4901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$654774A5-1672-4E75-98CD-FFF6E1E91E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$8F0566BC-1080-4412-96DF-9D76A6A33F89","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":"Q1006641$6A4FE53C-8C6D-4168-99BA-6B6F95C4E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8c6cfe8c07f7c77985d9bd44929e609b86710c","datavalue":{"value":{"entity-type":"item","numeric-id":1095897,"id":"Q1095897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006641$11253FFD-B311-4BA1-B4AF-FB402589FD1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"896d33e8daa1a8ffdfdfc3bec2afc73b49025a6f","datavalue":{"value":"10.1016/J.TCS.2008.10.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006641$D8E93AA7-1F70-419E-BE5B-A05355B4D946","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4312e188a5300e5a98c3f743aea05c3f36bf5873","datavalue":{"value":{"entity-type":"item","numeric-id":2820699,"id":"Q2820699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0923f44c1e1f8dfe85a4335db1b4f3dd35c0bfe","datavalue":{"value":{"amount":"+0.7666071057319641","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":"Q1006641$9D312A86-80DA-4A0E-958D-41929CE42673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb14a144e0bcef784bd225aa2d9f8aa45af6675d","datavalue":{"value":{"entity-type":"item","numeric-id":2655230,"id":"Q2655230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0798aad35298d10e53f6454de2a13b770be9c7a0","datavalue":{"value":{"amount":"+0.7559509873390198","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":"Q1006641$F0F937D6-EAA6-44FF-BD3E-101E3E139681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0055a5f9b87547d081579c88e0ef3d2bc26f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3623220,"id":"Q3623220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671c8ed7755c2785eda485381e68abf95f4e637f","datavalue":{"value":{"amount":"+0.7512754201889038","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":"Q1006641$C946AC8D-35AA-46D7-9C67-C067B99563D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa91d604cc688aaf534e97fe612db323e4b5fec","datavalue":{"value":{"entity-type":"item","numeric-id":616119,"id":"Q616119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914ab0f75df340d3beb197ff7cfd12d8bbe96df3","datavalue":{"value":{"amount":"+0.7471286654472351","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":"Q1006641$BF480A49-64FF-46E6-B632-8E48FBBFAD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add3868c4242b66fefac8b0bcd0913cc50108613","datavalue":{"value":{"entity-type":"item","numeric-id":861599,"id":"Q861599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cc75c497cf476328a6ec8fcc5feb7d737ec847","datavalue":{"value":{"amount":"+0.746167004108429","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":"Q1006641$2EF2BDA7-8BF1-4FA7-8012-729B0C62CF3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1006641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1006641"}}}}}