{"entities":{"Q3188334":{"pageid":3199042,"ns":120,"title":"Item:Q3188334","lastrevid":58148046,"modified":"2026-04-04T00:18:52Z","type":"item","id":"Q3188334","labels":{"en":{"language":"en","value":"Implicational relevance logic is 2-\\textsc{ExpTime}-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6618254"}},"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":"Q3188334$EACD40B1-8DD0-483E-ABEF-6A96895FFAAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1f5bd3a2dd39633c783c90ee82f4ccb771f590e","datavalue":{"value":{"text":"IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3188334$F6859F06-CEDD-43C6-A183-3A0D6EC47A1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d29d963ddf1634171998283298d71e43d4a4002f","datavalue":{"value":"1370.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188334$F9AFB75A-86DE-432D-8355-9C4A4937B180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$6D3C3888-36AC-490D-8391-DBAB7F26FD72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9879844046ec20ffce2e9d6f19758686f8b61ccf","datavalue":{"value":{"time":"+2016-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3188334$C760A871-98FC-452C-AA6B-D61742D8E302","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26e27940624568e0b8bda8cdf91512a48ee04c61","datavalue":{"value":"https://arxiv.org/abs/1402.0705","type":"string"},"datatype":"url"},"type":"statement","id":"Q3188334$B53AD1C5-3CE3-4A98-BBD8-73A396930B3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188334$B581EFF2-5FF4-4834-8D6C-6A28FF8FC528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188334$DC707565-6F33-4701-99D1-5717EDE55998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188334$0F3F841C-AA7C-4CDE-BC5D-9A1D2B773ED5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dea5b97c786caa6a5ce168cb312b915bc1e4b3c2","datavalue":{"value":"6618254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188334$48F8D065-9519-4201-A7A9-1C0F35CEEE6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188334$F4B67141-61AC-435A-857C-5BD4DC57A298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e15c9b65294adfeba95e3cd977d9a294e2cfa81","datavalue":{"value":"branching vector addition systems (BVASS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188334$EF666890-BAE1-4FE0-AC81-4366C1FB65AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188334$E7510C75-D8F6-4274-BF70-730CEC2AFEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7fe97b75bc3aee7034a8536c48def79de765be","datavalue":{"value":"focusing proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188334$EFBFC99E-99D4-4175-87FE-A40AB6330D86","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":"Q3188334$0DB657FE-D667-4D14-A840-4AEB3E76F7FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e07e20300350a79793044be25f7f063484d960f","datavalue":{"value":"W2470191449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188334$0819131C-9CE5-4996-B15A-967BD981CAC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0657a4a1147eacb344e4c976a1cbee11aef13a5","datavalue":{"value":{"entity-type":"item","numeric-id":4925031,"id":"Q4925031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$EA2DD19A-5A6D-4DF5-9326-040C341A7177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$C6D7CC53-D3C8-4EFF-8F61-042E87124957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b18d4fc60a70c27ea7b62beac0a6f5c90f6df2","datavalue":{"value":{"entity-type":"item","numeric-id":1936244,"id":"Q1936244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$564FCF06-2D32-44BB-9FCF-E94ED6F14EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$362564A1-FC9A-4622-AAEB-E723B907E415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$F273CCC4-2701-4975-9A77-30AD038E5DA3","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":"Q3188334$29DCC6DA-ED71-49D1-87AE-26F012A5F9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d15823095a2e885beb906b42781a9f3769fc7e","datavalue":{"value":{"entity-type":"item","numeric-id":3013024,"id":"Q3013024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$8F36D071-29ED-4795-A38C-93644F9247FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$4C3670E8-3D7E-4509-AEE2-6F391FA072D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20327420e2100d565706444576da7ed673a0b355","datavalue":{"value":"10.1017/JSL.2015.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188334$A4312230-B2B2-4E9B-8DE5-7DD32C9A147B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188334$A9D872BB-08B1-46C3-B757-AE4EDF0AC14F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daaafac51b0b615f53bb1228fbabb1cdba88fcc0","datavalue":{"value":{"amount":"+0.766720175743103","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":"Q3188334$1A28B2CE-A498-4F50-B251-696298292424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523ceda9c46f837435b012e3131d159e916a802b","datavalue":{"value":{"entity-type":"item","numeric-id":1575928,"id":"Q1575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daaafac51b0b615f53bb1228fbabb1cdba88fcc0","datavalue":{"value":{"amount":"+0.766720175743103","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":"Q3188334$AB7D8A50-6B39-4706-9C5F-60219700B7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a34381da156cd1b07814d9c3a915baf878e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":1595921,"id":"Q1595921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58ee0ffbb8b25afb4e82fcd43bc82390e271d26","datavalue":{"value":{"amount":"+0.7388001084327698","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":"Q3188334$53A9F430-862A-47A4-BEFC-E3F5450D6303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780a08a05739376f2db681009f3511d6bc2d2e99","datavalue":{"value":{"entity-type":"item","numeric-id":2966516,"id":"Q2966516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb89fd63b56bdfb7aa0bb878fb369e0a65277f62","datavalue":{"value":{"amount":"+0.7211717367172241","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":"Q3188334$84E9541F-9E86-4352-A2CF-686E1C2C5499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cb720d0aacec9201b3dfb05af7488b238e2be6","datavalue":{"value":{"entity-type":"item","numeric-id":295911,"id":"Q295911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e3dbecdc7a786da8818896b8d930fc0fba8a67","datavalue":{"value":{"amount":"+0.7127013802528381","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":"Q3188334$01894E6A-F8A9-4B92-88B9-9198B8E2AD59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3188334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3188334"}}}}}