{"entities":{"Q4227882":{"pageid":6257483,"ns":120,"title":"Item:Q4227882","lastrevid":88581974,"modified":"2026-06-04T14:54:23Z","type":"item","id":"Q4227882","labels":{"en":{"language":"en","value":"Witnessing functions in bounded arithmetic and search problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247649"}},"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":"Q4227882$5D729FAA-BF8B-4BAF-9828-1A18A020313E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fde8b5569e9db2a003c2d73bcee6cefb7df70e9f","datavalue":{"value":{"text":"Witnessing functions in bounded arithmetic and search problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4227882$ADCF982D-BB06-4483-B40B-11B5F32EE9D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68a95a262ae5f243a76ac016cc80523356761377","datavalue":{"value":"0919.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227882$2EB58840-2BB2-4348-A326-37B31EB032D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e793f5070fd350e3d3906e8628c8af18f7846c9","datavalue":{"value":"10.2307/2586729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227882$BB17560E-1520-4FF4-88A6-D75C69B6E157","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3fa036eb46f9ba4d4ff2c1040689fc0ead6c773","datavalue":{"value":{"entity-type":"item","numeric-id":1283130,"id":"Q1283130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$BE2E78C3-B206-46F6-A885-BF51046A11E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$3C44B398-8C27-4E5D-AF4C-B02AEC09A2FB","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":"Q4227882$E0EDF259-B431-44B3-A530-72C37734072C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c8655680bfd79de85fc3b27d4412f09e07e944d","datavalue":{"value":{"time":"+1999-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227882$14D89A57-9045-4487-8851-A6AE4450CD2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"865bb8da47840c3b606ddd303af1827bd54229f7","datavalue":{"value":"https://semanticscholar.org/paper/29754fa513d7bf043277c59e36c1fa9c2a56d13a","type":"string"},"datatype":"url"},"type":"statement","id":"Q4227882$32FB2BCB-7E83-4E05-874E-A54413FFFC8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227882$8B5C5F0D-93B8-4F04-B146-D17155F976F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227882$C84EAF2D-90F7-47F7-BFC6-45D3D08A517D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227882$21AFE6C6-CF47-461E-8E9F-37AA523A95BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8902596d8fa42befb45aedfe0785ceecc4e7a7a","datavalue":{"value":"1247649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227882$77EC3BB9-C043-4BA0-BA8C-A1C8EDD6F71C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227882$2329D4F3-98BC-4ABF-9C3F-A182E729B0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece2bdad6a4be7cfe5b845bf79a689249216a8f0","datavalue":{"value":"search problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227882$553F8B20-60EA-403D-AB0C-4CC54B993E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c324fad26d492a10182739f7063a27c7551537ff","datavalue":{"value":"weak subsystems of first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227882$F5966C22-0CCC-4936-93E7-3CBFE0DC172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227882$4733CCDA-F6DE-4069-829E-73F6CCB13DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8fbcb5bd4fad81a4c9ac6f08b895c12a63f5aef","datavalue":{"value":"witnessing theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227882$38472F80-C7C3-45D6-826A-512354FFE76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227882$B4FDB30C-9AED-47C9-908F-04EFC1637E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad3ec5972ec6d1ac9282b92e8745281ba2c745c2","datavalue":{"value":"multifunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227882$9A4B858C-848F-4F9B-AD26-17460BE73401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227882$ACD0E65E-7B81-4CAD-9E59-315E6069A045","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":"Q4227882$9058C5B9-6F88-499B-9DD4-3A882FF6FB2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"758638960e3067a5e7e01d00d8938ea07314f000","datavalue":{"value":"W2056827464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227882$C333EFBB-FC5A-4D06-9A71-E63134FC5BFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$1A218249-9896-447D-B2E5-813957D0ED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$ABD39A29-EC20-4166-AB09-A15369575B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$DB33D876-4835-48B4-AD39-C5443FA97031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$2CDD895E-3DE0-4A5D-B0AA-AE83C511F312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$06FEAB03-148B-4C1A-8540-14E7D5FBC18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$1D12B0AB-C1A9-4AD9-88DC-1D00A20D80E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$869155FF-D924-4C0F-9C95-7D425D43E654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$C735BC43-6C7E-4515-919B-53E179C2D619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227882$B19A6A1B-39D7-4439-B844-D379E596ABF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"589b1db89c9af76cb37b809c366eff790eab85cc","datavalue":{"value":{"entity-type":"item","numeric-id":1685908,"id":"Q1685908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7050f29c05e834eb18e544af01b2a4abd426cd60","datavalue":{"value":{"amount":"+0.930049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$4DE1E570-36E2-4AC6-92E5-02EC7459007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84fa0cd0d6f4713a8ae4e36f878afbad8fc5cab7","datavalue":{"value":{"entity-type":"item","numeric-id":3018648,"id":"Q3018648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25519fd099682f0531a8418e506ec1a6d1b04a1c","datavalue":{"value":{"amount":"+0.8894589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$BB8C107F-3DFD-4346-8FA7-7D3917751F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54aee87b9946b1951a0b0c5393ca931c14bc786d","datavalue":{"value":{"entity-type":"item","numeric-id":4325772,"id":"Q4325772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91bc82071eb0c4785738d8b2b9679ada197f781c","datavalue":{"value":{"amount":"+0.8654276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$00364672-6C69-4389-B116-42B40A381E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29754992425908514166e356ff0ea596948fed","datavalue":{"value":{"entity-type":"item","numeric-id":3159414,"id":"Q3159414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68a44cf0065347525e0ffbd95049feaac41a3ee","datavalue":{"value":{"amount":"+0.8638435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$60871F21-FE9F-4419-BD08-F4DCDE8C9A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdff4b630112b2ca79e712c2bc0c3bd4037d2cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3081638,"id":"Q3081638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebd0acb7a2b488d5cb35a7bb4aa9374b8c38133","datavalue":{"value":{"amount":"+0.85954696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$395F1541-5E30-4B72-B338-6E929A3AC340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5bc1d90669b84f25e688fb302bd53ac1499f65b","datavalue":{"value":{"entity-type":"item","numeric-id":3583040,"id":"Q3583040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5c014f0eaa73a8514759d97ec9e1c2b5cbd908","datavalue":{"value":{"amount":"+0.85812473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$B768F7D0-6023-4DAA-A410-7CF57BA51043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887e6fdab9e089d6370bae9405de12b07e234619","datavalue":{"value":{"entity-type":"item","numeric-id":4266170,"id":"Q4266170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9ba6ff1e937cb75ee65ea415cb46f217d116af","datavalue":{"value":{"amount":"+0.85764945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$AA8914D5-2541-4E3C-BD46-474E87C0808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23e323217c759de238218ebec3e2ec455156edd","datavalue":{"value":{"entity-type":"item","numeric-id":4375794,"id":"Q4375794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c281cfbf3d3dd877a9ae833a5dccad1a9c529825","datavalue":{"value":{"amount":"+0.8552343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$1BA19FD0-98E1-4498-8430-971563CF7252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58c4954de391f8f067df70837fcca1db33d74c8","datavalue":{"value":{"entity-type":"item","numeric-id":647334,"id":"Q647334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1846a6220465086b917de2e5967b1359cafeb3f2","datavalue":{"value":{"amount":"+0.85359776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$99F85A24-8E7B-4A01-90CA-14E46DDE8BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da28da5e290488ad289537bbb842cad53ecef0e","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42526f2125cd71359e2684667eb5db493f3e9e1f","datavalue":{"value":{"amount":"+0.85128105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4227882$70DBE4E3-2409-40B7-BAC2-645CA556D117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Witnessing functions in bounded arithmetic and search problems","badges":[]}}}}}