{"entities":{"Q5015279":{"pageid":7044856,"ns":120,"title":"Item:Q5015279","lastrevid":58399638,"modified":"2026-04-05T01:24:59Z","type":"item","id":"Q5015279","labels":{"en":{"language":"en","value":"On quantified propositional logics and the exponential time hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7439740"}},"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":"Q5015279$0D80E9C7-E3BE-4D9B-89F8-AE9CBCF22114","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52feeb7c58bd452755835d021c14ba97c0cd5989","datavalue":{"value":"1478.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015279$47CC5941-9BEC-45AB-B76A-2F9AF0BDF0A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9268bd0662723881aeb01450a336c942a22b3e8","datavalue":{"value":{"entity-type":"item","numeric-id":269504,"id":"Q269504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$A2C6A32D-3DA4-4E4F-B45F-A1C7ABEDE2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$7DCCB370-317D-4A7F-A1B9-B1B981D6125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab8b6eab35985e7b4ee49a042e43493ea64c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2193279,"id":"Q2193279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$79FDB396-569F-4D4F-9CF7-878ECAEA5A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$FCCA8513-2E38-42B0-8593-67976DD60785","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015279$0BE3CB39-713D-472F-B357-3D7095AD939D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc5e2a3526af3ec70b1a9e5637475411d578d18a","datavalue":{"value":"https://arxiv.org/abs/1609.04097","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015279$6D09B1E6-A0F3-450C-AF1B-5BC7E6E47930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb1fcb7eb4b8bb928dffcb27542027d8db82ba75","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2016.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015279$38A9EC6F-F6CB-40BD-83BB-D3D54AD49E1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015279$5C8AF035-8231-4613-92B8-DE3BA264A07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015279$8D416935-9E78-4C69-AE74-BB76A6BC39AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3c256be23892fbd70e1640448b0eb92fd09955f","datavalue":{"value":"7439740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015279$0F60D70E-89E1-4438-A7A2-B1F866C1AAC3","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":"Q5015279$79C0A3A2-74B7-4AF2-8FD6-DF33B50F4410","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$9EDE4397-AD49-49D5-8555-CA2682DDB713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb44c9769b8dbb49ccc1d2e2dd64bf21f542066","datavalue":{"value":{"entity-type":"item","numeric-id":5213639,"id":"Q5213639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$3C7519C7-5F8C-4348-9CAA-59072F8C693B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$0F5C917D-C27E-42DD-9B51-CC8AE791BE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b2b310bfe3331f719609c786fd6aba8488c72c","datavalue":{"value":{"entity-type":"item","numeric-id":2958527,"id":"Q2958527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$4C689069-317D-41B5-A811-629D1F21EB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf1c8f85fefa1d3f015352d22b30069da4bdc9c","datavalue":{"value":{"entity-type":"item","numeric-id":2946342,"id":"Q2946342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$CA91A0C2-DAC5-4D80-8447-71DD2FF72C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334b7748e2655c961553d8c4b942a86f1d37c57b","datavalue":{"value":{"entity-type":"item","numeric-id":2946343,"id":"Q2946343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$23EB134B-AC03-4ADF-9126-4CDD78135B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$5E797A35-53A0-4B94-9CDF-2844E0CE5C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f7d33ac25b10eb1bd60ef4dfd2a228c0e1581","datavalue":{"value":{"entity-type":"item","numeric-id":5894359,"id":"Q5894359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$3E78AD1A-FC6D-4F86-B439-9E4B4207955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa6873b9769173f427d2c0089648b702e3e0826","datavalue":{"value":{"entity-type":"item","numeric-id":302243,"id":"Q302243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$6264857C-428A-4228-B88D-3383E3365423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89d43c584c3a5befe6e9a5021a9904d43767c15","datavalue":{"value":{"entity-type":"item","numeric-id":414908,"id":"Q414908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$DF8D293B-7CF3-493E-8847-A4086EC09F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cade86c00ac7b634f7a23b90f53e7df91786416","datavalue":{"value":{"entity-type":"item","numeric-id":5278421,"id":"Q5278421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$52640A81-1F98-41DC-9074-862D6917812B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$24345C5B-7405-4B6B-B826-888D570F13D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$1F66E9B5-3960-460E-BB76-CCE4471A9608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$7B3157A0-6722-4E0B-A4CF-C3EA3A602A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526c1e1ce8654c233cae22947a9ab0578581b7fa","datavalue":{"value":{"entity-type":"item","numeric-id":4995356,"id":"Q4995356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$2B4A18CE-E72A-45BF-8FE6-4C3214F19D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aace11b77f2c23842b0942a0444357275c1b2a06","datavalue":{"value":{"entity-type":"item","numeric-id":4599513,"id":"Q4599513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015279$8FC78165-7D0E-4676-B44F-2C6F5C5CBB71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f631d0229a398efbd37a3987d86bc27b692db24","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1413f7eff503e8df2650471d0a044dc7555626","datavalue":{"value":{"amount":"+0.7897636294364929","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":"Q5015279$D1842647-D3A3-4A4E-9305-C434A6D1A478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a44f7ea97849f4d6bafc4181a4d03b03ec9555","datavalue":{"value":{"entity-type":"item","numeric-id":4995356,"id":"Q4995356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b684f49543d868bc897e28d2d13ec7ba8f417d","datavalue":{"value":{"amount":"+0.7451847195625305","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":"Q5015279$CFE11043-4D7D-44B7-BB68-D9DE07799215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db7689c3bd9891d91113deb08b8945230e025b2","datavalue":{"value":{"entity-type":"item","numeric-id":515658,"id":"Q515658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fe8eb23bad45fcc259271946aab1f13d5b683c","datavalue":{"value":{"amount":"+0.740294873714447","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":"Q5015279$0EC7BC7E-B418-44B8-A69F-B471CA7C9806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8575c05a0008dc7efb8f34bf405a657a77834a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5756561,"id":"Q5756561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b03bbe6dc4dd9084c3667ef1f6cc1382e27615f","datavalue":{"value":{"amount":"+0.7382078766822815","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":"Q5015279$3B490955-2FAF-4855-9D8D-44BF9CFB17A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db55cb1149bc4cd18b74412ce1b1587b3ba36a47","datavalue":{"value":{"entity-type":"item","numeric-id":4608623,"id":"Q4608623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f63801b637018e8f302fc17a873f8b129834065","datavalue":{"value":{"amount":"+0.7282173037528992","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":"Q5015279$FF780929-E396-4FB9-B90E-9C4174AD69A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015279"}}}}}