{"entities":{"Q5404481":{"pageid":7434055,"ns":120,"title":"Item:Q5404481","lastrevid":75596692,"modified":"2026-04-19T21:11:15Z","type":"item","id":"Q5404481","labels":{"en":{"language":"en","value":"Universal first-order logic is superfluous for NL, P, NP and coNP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272603"}},"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":"Q5404481$0EFD1126-CA13-4BF1-8C67-70A260A6A508","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c6bc9b0868f87fa857be5e7e512fd784c147d23","datavalue":{"value":{"text":"Universal First-Order Logic is Superfluous for NL, P, NP and coNP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404481$43F2513A-8BAD-423A-8F75-F32CDF0BDA1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"829cbbbcf44484c5645fa1a44efb0ba34327a17f","datavalue":{"value":"1448.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404481$9B14E2A5-B0FE-4CD7-92CF-106895D7A3D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f814fae38f2e70328913b8347f9770949e76a10","datavalue":{"value":"10.2168/LMCS-10(1:15)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404481$F4E8BB77-97A4-4910-8AA6-AE6E90A0AD3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4f51624e332175ab3ab850ee9f807b9f258d51","datavalue":{"value":{"entity-type":"item","numeric-id":2903760,"id":"Q2903760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404481$70861D02-A14E-4E81-A7F0-E2CFBCE49291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d39176e049efce4e42c7491bc81a24ad429dbcf9","datavalue":{"value":{"entity-type":"item","numeric-id":403017,"id":"Q403017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404481$6E651F5A-124D-430C-A881-1C39388160BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404481$0D64736F-7A33-441E-BA8A-668304867BF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404481$C48C4973-C85B-463D-B76E-AF81FACCF73C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acfe1ec28d0e9b65f788b3710878e916abda20fc","datavalue":{"value":"https://arxiv.org/abs/1401.8046","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404481$798799F5-53E3-41C0-BDA2-363571EDC52A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404481$17102039-83C2-4D9F-9A2D-442269376697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404481$C4A76B96-CA6B-4682-9963-FFBD377B507B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e150bd22d8795d9c314790f6bcb7a8979ba163a","datavalue":{"value":"6272603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404481$129FA20D-DD44-468E-B558-A4544F38BC0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404481$40CFA1DB-8D65-4D57-9293-FBE5CCD426A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1516012fd97f86c88a28725384b9ca38625fb527","datavalue":{"value":"first-order projections","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404481$845554BA-DAAF-49C4-AFAA-9D7675B95D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404481$201BD673-B919-4F6E-B817-2D52CF086778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c046f88b97f52de37f827ea49010e9fe62750ae3","datavalue":{"value":"problems and reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404481$9FEBBD68-6F9A-4917-81E5-B9C8D462BF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404481$6BF73DDF-980D-4F3B-90A5-F99B169D879F","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":"Q5404481$A01B3100-45DC-4718-8FB5-4C69D1365FBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00826f5e96fd6ac66d0b6f7f3fcee16cb82015bf","datavalue":{"value":{"entity-type":"item","numeric-id":5865564,"id":"Q5865564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8c4ea4caf323576b4fb0dae27428f11664f19e","datavalue":{"value":{"amount":"+0.8180390000343323","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":"Q5404481$89CDE5D8-5D8D-47F2-9FD9-D029D67215AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c370c38dc3cc02d897b1ba8a0dc6bc5072f0dbd","datavalue":{"value":{"entity-type":"item","numeric-id":4644504,"id":"Q4644504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44db5d4ec2e063f7110c1713b3084fb6a13c94b3","datavalue":{"value":{"amount":"+0.7662865519523621","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":"Q5404481$F5F2EDF9-43C4-4AFC-B44D-BD0668F2638F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffc1146503dd9c06c6c1d37b19dac3a506d41c8","datavalue":{"value":{"entity-type":"item","numeric-id":4304159,"id":"Q4304159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31400d11af8dd16c493ed46df20ede279685599","datavalue":{"value":{"amount":"+0.7259218692779541","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":"Q5404481$2404DE14-2808-41EA-8F8A-2A4F0C91D229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8164da92c69081a289d3d4ac53139ad5a2063fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4286111,"id":"Q4286111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a48ff9c88675b1942341d6ebabc67cf0f688aa","datavalue":{"value":{"amount":"+0.7152377963066101","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":"Q5404481$391D8EF9-FEC4-45E6-8BFE-48801C50A940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a15b4dd995d3276a00ef6079ccda23c36d6f1c3","datavalue":{"value":{"entity-type":"item","numeric-id":4337654,"id":"Q4337654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7245df71d86a298e1e9b84dbf37bf398eb9820c","datavalue":{"value":{"amount":"+0.7138119339942932","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":"Q5404481$ED7B650A-E74A-4C33-A7E6-484693ED80C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal first-order logic is superfluous for NL, P, NP and coNP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_first-order_logic_is_superfluous_for_NL,_P,_NP_and_coNP"}}}}}