{"entities":{"Q1337640":{"pageid":1348379,"ns":120,"title":"Item:Q1337640","lastrevid":67188129,"modified":"2026-04-12T15:55:36Z","type":"item","id":"Q1337640","labels":{"en":{"language":"en","value":"The polynomially exponential time restrained analytical hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683608"}},"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":"Q1337640$01B9B02E-2FC5-4C81-8D97-BB9F6956AB91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"678d9fe63790c6d06c9aabbfaca167c3c4430c3e","datavalue":{"value":{"text":"The polynomially exponential time restrained analytical hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337640$D0F01868-AB95-4229-A2F1-0A5BB888E913","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3efe8fd05f1b0619113ea1a350bc1bfe69620e26","datavalue":{"value":"0813.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337640$33A2A4E4-CBFF-42C0-B7E2-DB988B45D85A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9b73bc273a186748db5c671b608169c650ab7d8","datavalue":{"value":"10.1007/BF02945517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337640$B2505CA5-C1B1-4565-ACDB-3B5733456112","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74246861243ea76a94191f99191ef611bacbf35f","datavalue":{"value":{"entity-type":"item","numeric-id":208306,"id":"Q208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337640$DB376BC3-F2E6-4141-823E-E3D689707C19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337640$1CD1A841-2F58-4A1D-AC52-7A89E18A44A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"093fa04023e5f4c0c7c6ff4ef30755200a49a96c","datavalue":{"value":{"time":"+1995-06-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":"Q1337640$00917F6D-FCAD-41E4-9155-C7E02D46FE72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dfeab1e4de93497423aae52821122d23e79f698d","datavalue":{"value":"The author defines a \\(p\\)-analytical hierarchy of relations \\(\\Sigma^{1,p} [n]\\) and \\(\\Pi^{1,p} [n]\\) making some mistakes through carelessness in definitions. A series of simple properties of the hierarchy are given generalizing those of the well-known analytical hierarchy. Then the author shows that there exists a (recursive) oracle \\(A\\) such that the sentence `\\(\\Sigma^{1,p} [n] [A]= \\Sigma^{1,p} [n+1] [A]\\)' is neither provable nor disprovable in ZF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337640$76114CE9-5EE6-4086-BEE2-24DFDFF3BF1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337640$0C5F412E-A698-4EE7-B69A-8AE5CE75D9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337640$CA8B52F0-1B98-4460-B7A1-01BC807A8E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337640$2F1869FA-0DB8-4361-8E0E-DC20CD687685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3767954f7cc9159082f399a16f2acbeb08e803a8","datavalue":{"value":"683608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337640$F20F5328-1B6E-4FF6-8345-5A12C6DC941A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc23b90c1be4baaecf0ba99f92c30aca4062487","datavalue":{"value":"deterministic Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337640$B413E8C1-7242-4F5D-A1D2-FCAE443CAE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337640$A1A85D72-8E27-4E01-BD84-2ACE94CAD798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7040aa739ad2c5d2bdf9694431e73edc8d14a0f3","datavalue":{"value":"polynomially exponential time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337640$5A029D06-3CF5-4ACB-A891-3EE0CA83BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447437ad67980dc3ab1ec04459457b1785837840","datavalue":{"value":"polynomially analytical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337640$AE2FB533-AC59-4183-8BD7-313BEDDC42A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337640$1A21AED5-8785-407A-8C5F-8B1FA7A79F4E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fe64c30036b6931dfc08c246a2592bfd800c1f57","datavalue":{"value":{"entity-type":"item","numeric-id":1612485,"id":"Q1612485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337640$21FC49D2-89F5-49FD-8EDF-2AF96A31697C","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":"Q1337640$53B0566E-5E0B-4C55-BB7A-2CEB88F72B2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337640$5A71BFC2-6AC9-40B4-B19D-C7E488D044C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337640$0287D683-4913-481F-B479-AD1A6CF2DB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656a88094d3818a28a699dfaea22a6fc84ea05fc","datavalue":{"value":{"entity-type":"item","numeric-id":3707407,"id":"Q3707407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337640$84F38207-DA41-47FA-B4C3-93D66AD65EF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"345176a9e34f4e5191b523538484b34e7961ce46","datavalue":{"value":"https://doi.org/10.1007/bf02945517","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337640$5FAADA0B-33E9-4CFE-8C63-C16358EA9B6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"660ccf664b8ad52a9a42c771bacdef857b497b76","datavalue":{"value":"W2086306089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337640$655767D0-655F-4D7C-9FBB-CCF2A64FCCD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc3dec04d7cfddc5ca864b3bea8b672a5635ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4224087,"id":"Q4224087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f77b15b34bcabf6110598278fd4989a117cf1b","datavalue":{"value":{"amount":"+0.7743133902549744","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":"Q1337640$CAEC52BA-93AF-4B96-AAE7-17C2094CC5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff52ea405c3496f1f239f31ceb3c1af0495b924a","datavalue":{"value":{"entity-type":"item","numeric-id":4936674,"id":"Q4936674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f77b15b34bcabf6110598278fd4989a117cf1b","datavalue":{"value":{"amount":"+0.7743133902549744","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":"Q1337640$59615446-D830-41BE-9E26-6383A6258433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b882e5e84e833c7ea5a397dde45020305e98e2","datavalue":{"value":{"entity-type":"item","numeric-id":1274987,"id":"Q1274987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a50a821fcd67420406b0751e6143fa206680a76","datavalue":{"value":{"amount":"+0.7426736950874329","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":"Q1337640$3E60CA7E-36B2-4CB6-976B-F75A53AC10E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffea50a66d04bff89937bd799d2213a9a4073840","datavalue":{"value":{"entity-type":"item","numeric-id":1179317,"id":"Q1179317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338deb63f4339ef9062f1a6b5e914a8075c03f1e","datavalue":{"value":{"amount":"+0.7422069311141968","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":"Q1337640$23D65393-FD4F-4CEB-8513-EE4847E984FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd91a7e353bb654b287778de06404b0d5cd1bf5","datavalue":{"value":{"entity-type":"item","numeric-id":3676131,"id":"Q3676131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a168f7459fd602685457819ec0190e820bf2ddf2","datavalue":{"value":{"amount":"+0.7102801203727722","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":"Q1337640$5A747911-99FD-4F59-865D-E9F0657432C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The polynomially exponential time restrained analytical hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_polynomially_exponential_time_restrained_analytical_hierarchy"}}}}}