{"entities":{"Q5865564":{"pageid":7895115,"ns":120,"title":"Item:Q5865564","lastrevid":97505480,"modified":"2026-06-05T14:54:52Z","type":"item","id":"Q5865564","labels":{"en":{"language":"en","value":"Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7538955"}},"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":"Q5865564$45BB9132-72BF-437F-BE7F-035F27E9993C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d910c9575c213da852854dfeef9a572227a7c95","datavalue":{"value":{"text":"Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5865564$8AA26400-E483-41BF-8ED2-FD5E7DA1C529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"200ff5995ac3bd4a32f6bcb23421f2994551eb5c","datavalue":{"value":"1492.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$DEE14092-41AE-465A-BD04-7B921A135ECA","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":"Q5865564$D97C1430-9AF9-414A-ADAC-857B43232DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d4da1461154f06374a0596add5e84beb7a01371","datavalue":{"value":{"entity-type":"item","numeric-id":5865563,"id":"Q5865563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865564$A679CCF9-9C7C-498C-8BDD-28CDA50331FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5865564$6F92B687-E590-4A92-8891-9BA701ABF47D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6d0267f9e071742db9c5978bce78a5726439d38","datavalue":{"value":{"time":"+2022-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5865564$E7DA2017-E6D0-4702-9E6A-57CB1F367BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$A2F25193-F828-42E9-B47D-82D8E74A0C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$64265669-3477-4A73-BAD6-E103A1828272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$78689DE9-1E41-458D-BBC5-975C2535E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$90812694-6E0E-4CBA-9BB7-96A459E41F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$318869AF-119C-429D-98C0-88BAC20B1255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$89E36525-8294-48B6-A742-9A874437F80F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be7c0d89d621d7290ea1fca240de6aa0b88b242f","datavalue":{"value":"7538955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$07564C49-5EA2-4502-99E8-0969735D9307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865564$9EB39AB6-076B-4B20-8CE3-F2A8CB029578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865564$774611CF-5E76-4C77-BEE3-71B605A76F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865564$C13797FB-0AC7-4757-AE8F-82E5558972C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865564$586AF3B5-DE3B-47D8-B4A2-7E72D3D0D0DB","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":"Q5865564$21A432FE-A932-4325-A569-076554E98A3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff9dda862462a53483a6b4330229d0ad6c662bb4","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzz009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5865564$073AD9C1-1982-43BC-9027-4460D8B98262","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f3f872e3c3deec7f2e7b8d6c7dedfee53582b90","datavalue":{"value":"W2943691390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$C20F98B6-23A5-4789-B77B-59BB182B09B0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b382159f96ed7f94de391837f01b29cd7b829b52","datavalue":{"value":"Q128204872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$658F1772-7F1A-4572-958E-7E371802B340","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5889d0190025e699b10a2540937ac382813e1912","datavalue":{"value":"10.1093/JIGPAL/JZZ009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865564$553C44B7-62CC-4893-8124-46F5402610EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a271efe695051d8e7bfe86d410c1a117c7f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":5404481,"id":"Q5404481"},"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":"Q5865564$2E36A2F2-1D88-4C5E-B323-733CE27613B1","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":"01b96e27644b302cb4f3a2446ab00fdac34c9416","datavalue":{"value":{"amount":"+0.7136011719703674","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":"Q5865564$8FA3ED67-E922-478D-B273-3ED34FC75133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a304c1062e951dd9b2361070458a9ba6597c62d7","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a61b5d2bb488f4c6ecf52e1b6b982463edaa20","datavalue":{"value":{"amount":"+0.712304949760437","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":"Q5865564$B3662DA6-05A4-43F6-B816-6421EA8C21E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294459af80b98063f91bf0b4cd53afee0990ec82","datavalue":{"value":{"entity-type":"item","numeric-id":4934025,"id":"Q4934025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e73b66eab57c0939887a300e4198ca1cf3d56b","datavalue":{"value":{"amount":"+0.7101811170578003","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":"Q5865564$34E5516F-74EA-4550-B77C-E19AE8404A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e73b66eab57c0939887a300e4198ca1cf3d56b","datavalue":{"value":{"amount":"+0.7101811170578003","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":"Q5865564$0E35EFEC-7D05-4959-A39E-A3E75FD4084F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal first-order logic is superfluous in the second level of the polynomial-time hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_first-order_logic_is_superfluous_in_the_second_level_of_the_polynomial-time_hierarchy"}}}}}