{"entities":{"Q4358055":{"pageid":6387654,"ns":120,"title":"Item:Q4358055","lastrevid":46510686,"modified":"2025-12-24T22:47:30Z","type":"item","id":"Q4358055","labels":{"en":{"language":"en","value":"Polynomial time operations in explicit mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067270"}},"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":"Q4358055$EED7415E-4C1A-4C33-AFB0-7A2D5E6E4C98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e36ba4c60faaf29edd19ea72b06664c819c3ce07","datavalue":{"value":{"text":"Polynomial time operations in explicit mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4358055$60D98429-E8FD-4F8D-9DE9-7807CC0516D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"000e62eea843ed1e7bc171a3ab5adfe59195e0c4","datavalue":{"value":"0891.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358055$CD3AC0F7-FAF7-4268-B285-8B7753C2C87F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26eeb097f2820654b0520730ed090e5e8107e2ec","datavalue":{"value":"10.2307/2275547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358055$6C0EF7A1-0F7A-4EE5-A58D-645E1A60D551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$A760B40A-1E01-4222-B970-EEB099C5C02A","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":"Q4358055$6DBFD0B5-1794-4917-9672-7B407A2AC7A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38961a0cc03656d93c55389df82ea588cabb3525","datavalue":{"value":{"time":"+1997-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4358055$5AF4B59E-BE42-495D-B814-23C9EB794497","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358055$C988FEA8-BC32-48C4-BC71-74A61993153C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358055$28603B44-ADE7-4C8B-BDE9-C25C6B79957C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358055$355DA218-594F-4E02-83CF-225290F35E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358055$85185CD7-017B-4930-9BCE-3C7DCE616A69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbceae98d67bf0e9a8e53f14a68fa988933562e1","datavalue":{"value":"1067270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358055$A82C5806-FDD8-431C-A91D-CE6782F12EF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d9f4ede2dc1f808631ea0efdf942da9048e986f","datavalue":{"value":"polytime computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358055$79F1B5B7-72AE-4972-B7AC-CA9599F76B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b76473e10496b628980a0f7f3dd3ec7fdaac606d","datavalue":{"value":"polynomial time computable arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358055$EF19B8F7-A012-4698-9A81-D75581F49EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ea9fe1e365be36b80c9253409529874063f9aa","datavalue":{"value":"self-applicative operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358055$0E61EFEA-8C07-4E39-92D3-0818544A5C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358055$C0104B48-8C23-4F04-8B9E-3A049062A503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358055$CE670BF2-3CFB-4713-A9FB-49D2E979CDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6968a513f811ee546a7ac3d6c736f214390e7979","datavalue":{"value":"Grzegorczyk classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358055$7CDA72CA-1BB2-4C2E-8B00-56BBC0C0D0E1","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":"Q4358055$5A6E5658-B16C-4828-8F0F-B7C4E8C45862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5c611aee609e0a1ac7bf62b92ad553f0352cf96","datavalue":{"value":"https://doi.org/10.2307/2275547","type":"string"},"datatype":"url"},"type":"statement","id":"Q4358055$51910C75-F80F-4974-81A1-D3CD0F07BEB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f049b4977bf75d7583d0374b8c594ed1ea347351","datavalue":{"value":"W2119127687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358055$B357D4D6-7F6F-4CDE-9AC4-793C054AFB25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b209eb909f7b2405120231556d3122ec858afb37","datavalue":{"value":{"entity-type":"item","numeric-id":1896484,"id":"Q1896484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$83A968B2-6CF9-44BF-9D3E-FA46B45C8831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$D23CAEEA-9FA6-433B-8D34-5201412A4CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9a96a7712b20c59b87692f972375e9fa2aaa90","datavalue":{"value":{"entity-type":"item","numeric-id":4879205,"id":"Q4879205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$B01EC4AC-36A1-4986-811C-CD661B574EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$C8A8F6FE-6D9C-42F8-8FCD-7205BC03AEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cefe670f9982454779d95f4e88d1f7db605d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4314687,"id":"Q4314687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$6AFDBF13-F3A6-4085-9751-2F89B2055963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7de10908c6a54ef57b4383c3a54c934a390ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$95A7B8BC-EEDF-420B-96F8-904B5D3E223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$041D3FBB-3582-4512-B694-1C971C847D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358055$31DB1918-61F1-4027-83C1-2F3D43BAA858","rank":"normal"},{"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":"Q4358055$63959B98-18F4-4C2B-9E3A-59991EF02D23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c240010fe0f0ec238b753662dbae16ce355bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3632522,"id":"Q3632522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f4298b3129acf7e1480933e1a27d1550637489","datavalue":{"value":{"amount":"+0.830857515335083","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":"Q4358055$29FD73D0-DA4E-4BD7-BEF2-F86BBC31E538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d180f0123b2db13e1ff7f07c3a8d6854effea8","datavalue":{"value":{"entity-type":"item","numeric-id":3107339,"id":"Q3107339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08145e0636311bb5af2374d92493271d938aa6b1","datavalue":{"value":{"amount":"+0.7979194521903992","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":"Q4358055$138CBD3E-0F17-4109-91AC-B76F1975A12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951a54839547a168d04382ee480a7f9638ff7828","datavalue":{"value":{"entity-type":"item","numeric-id":3472100,"id":"Q3472100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad80917ccf247b118dd7c320864819c3b3d0b76","datavalue":{"value":{"amount":"+0.7837814092636108","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":"Q4358055$EF852B01-77CC-4D94-949E-49283289B620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9cceab6e740ebc6a9f8f586595c45305c8f141","datavalue":{"value":{"entity-type":"item","numeric-id":1407533,"id":"Q1407533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7ce2aec40be2cb29821d2b91d59116f6f55abb","datavalue":{"value":{"amount":"+0.7797288298606873","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":"Q4358055$48AD5BAA-D9D6-4235-81BB-BADB65E099D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4358055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4358055"}}}}}