{"entities":{"Q3018648":{"pageid":3029364,"ns":120,"title":"Item:Q3018648","lastrevid":51303782,"modified":"2026-01-17T16:36:26Z","type":"item","id":"Q3018648","labels":{"en":{"language":"en","value":"The provably total search problems of bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5932571"}},"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":"Q3018648$336FB16E-97AD-4406-8AFC-FE98585DB94A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a23ea169e4b5f289d461adca142570e2c78e5575","datavalue":{"value":{"text":"The provably total search problems of bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3018648$A8207496-BEC8-4D1C-9397-14D179F38FBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203b10e4c0a0f84bf2273cdad18d30f439d991f0","datavalue":{"value":"1225.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018648$AD52CC2A-88AC-46AF-AEC4-DD7A12C445A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4d51f1602d65d4c2783e8eaeffd0abee204472c","datavalue":{"value":{"entity-type":"item","numeric-id":3018647,"id":"Q3018647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3018648$A4A77B52-E306-4370-A69D-DFC0A0AB55DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20891ef55d2a5c027c71fa5443ab52ee86634717","datavalue":{"value":{"entity-type":"item","numeric-id":647333,"id":"Q647333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3018648$107DDFAE-7443-4C85-B0EF-EEEC08F92B27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3018648$6A3D663F-A7F2-4BEE-8A28-A8618259A3EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e389d84f8899d4fd416867a29608c3150f7b747","datavalue":{"value":{"time":"+2011-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3018648$B9A904EE-1CCB-44DA-B49F-0518C15A782B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018648$6A2C2434-97E3-4C41-AE51-3E4833920AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018648$93BE7208-9D38-4F51-AF1C-4D4C6C432091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018648$B782B568-EA9B-48D8-B955-4B91B478091C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e322067528222b22de6e2d2aa408572324a49bda","datavalue":{"value":"5932571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018648$8CFFFD48-DA37-46E2-A8C2-F1450EEFDD81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3bbdd99c4d4fadecef51303f81f60e5ed70baf","datavalue":{"value":"combinatorial principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018648$F6BEA9E1-B93F-4967-A8F8-F057812243FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1012772fdd8486bab1583bc494400a81c50918fc","datavalue":{"value":"NP search problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018648$D127A41D-68F9-497F-AD57-B819CE29F433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e09781af664c29127f3450f5c0a9a245162991","datavalue":{"value":"bounded arithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018648$AF893CEC-BCC2-4D65-8F64-CA0DDB8BEF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c878522149352309a341c8e5948e28a41630bebd","datavalue":{"value":"reductions between games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018648$A85DFEE8-C53E-4331-9E47-CE2083EB095D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e888ae88a94a5dc740964f093a2573852a58ce","datavalue":{"value":"resolution lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018648$86DEDC99-B5A3-4E2A-A0B7-CA938133EE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a31e8ddf5f57d6d7b48a09b5ce078372558f0","datavalue":{"value":"multiparty communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018648$8A0252E7-B9AA-477F-BD3F-839F052D7D61","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":"Q3018648$6DA7D336-C9EA-4184-967F-199B5EAEA7C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bb3c65b49227891133ae72858ca883e53a8f58f","datavalue":{"value":"https://doi.org/10.1112/plms/pdq044","type":"string"},"datatype":"url"},"type":"statement","id":"Q3018648$3F2F06D4-2668-4860-B31D-2C567ED80AC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d3184f91d74c73136b64708ccd1e51dd794404e","datavalue":{"value":"W2167477884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018648$9F70DFB7-131A-42F6-B0B1-1CB3967F58E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f4ff2dae32d8cee87b25a161d7dc0ac22cf6a38","datavalue":{"value":"10.1112/PLMS/PDQ044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018648$A296916F-91E4-46ED-BD01-1D88964D2BC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8da46e4b68e0cd028f0c476d9dda5dc762c2ad6","datavalue":{"value":{"entity-type":"item","numeric-id":639650,"id":"Q639650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00cd8acfad60cd0b447720860fab54252e8fe15","datavalue":{"value":{"amount":"+0.8546014428138733","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":"Q3018648$BC473240-2C5A-4709-B077-F415AE361C4F","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":"90a71f11eecd2afcdec3414709b5a07784c068e3","datavalue":{"value":{"amount":"+0.849454939365387","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":"Q3018648$02FF8D35-746C-4FCE-A9B5-6E0C85B9547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3037eb85d6330d32dff9fa18cde5962742240ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5294030,"id":"Q5294030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4dca50ae5458fdcbd88265ba79e78ffdbaa670a","datavalue":{"value":{"amount":"+0.8291088938713074","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":"Q3018648$22B79E31-7A48-4312-9E37-F5E04396264B","rank":"normal"},{"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":"cbfedf71dcf66264a41cd007f32a63a3a1feb35b","datavalue":{"value":{"amount":"+0.8135665059089661","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":"Q3018648$DE7EFA4A-A4F3-4984-8A69-B6D9943DEE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fec0b4675d31b25eedc7c04171dd8e2ad39fbe6","datavalue":{"value":{"entity-type":"item","numeric-id":5739904,"id":"Q5739904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3262ed090aed67619eead0f164e8d19b0b80fc21","datavalue":{"value":{"amount":"+0.803708553314209","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":"Q3018648$643AF1A2-E9E0-4A12-8D4F-A3292E4A440A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3018648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3018648"}}}}}