{"entities":{"Q5410329":{"pageid":7439903,"ns":120,"title":"Item:Q5410329","lastrevid":41570480,"modified":"2025-05-05T23:52:05Z","type":"item","id":"Q5410329","labels":{"en":{"language":"en","value":"Improved witnessing and local improvement principles for second-order bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6285708"}},"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":"Q5410329$35E4A785-BA69-4C47-A483-40A4A5A474DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eaf829795cc70073a34ffa84fb2f0e4b92dd4af","datavalue":{"value":{"text":"Improved witnessing and local improvement principles for second-order bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410329$148BAC77-E5B7-4D44-8C24-FE1ECB911948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec8c782739e21796b2a6c50a684bf7e7979b689a","datavalue":{"value":"1287.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410329$74E1D44D-D11E-43FD-9855-69CADC9442C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9bca6b8c98a0bea1900bbcce91bf82afd33e0c5","datavalue":{"value":"10.1145/2559950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410329$67462C15-7749-45A8-87A1-A8A42587C2EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$FDB1FA0A-59DC-4C56-B34C-1C9059980985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$9EDB530E-34D7-4CAE-BB49-3E02C4FD03EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$D610FAC8-3BCF-4489-8BA4-7ACCB1304FEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410329$B2D0918F-FDE9-4D16-9DD4-2A145CA6EC49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410329$F107E6B8-FF18-4E94-A403-A950E70EC45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410329$69633F75-A27E-44CE-AD25-75220F56DDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410329$841FD28A-7A0B-4B65-B4E4-23E4534EFC69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ef9c40c00ea541c6e3c0705c3f09157acabbe44","datavalue":{"value":"6285708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410329$A57F8494-6C84-43CC-BD1A-D68F21C7A818","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410329$4ADCA994-2398-42C2-B9A7-C97643715BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1012772fdd8486bab1583bc494400a81c50918fc","datavalue":{"value":"NP search problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410329$FA00EED6-A033-4C74-B8BB-7B1BF2CC8256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9045611b480753c3a897fe7c06bbfdae678cb73","datavalue":{"value":"local improvement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410329$B60AF67A-C9FB-4703-9FC7-559AF43F0332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410329$89AE4156-30CC-4707-951D-3052750B9969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410329$C17024BE-A6D8-46F4-BEC6-479663DEE025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4f130a54bffd79476b5fcd8c5e276e69152c4c","datavalue":{"value":"witnessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410329$4319881C-B797-4F39-A6A7-EA4C21D42003","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":"Q5410329$0B9C0BED-5CD0-4687-B995-6FA621DA3726","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b646008548c3435fcd6bf88984fa56b76418ceef","datavalue":{"value":"https://doi.org/10.1145/2559950","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410329$11F5BB28-2093-4E55-A519-043704D4E63A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c3ef01cfc736b1ea107d9e410ba7b85d7ce8119","datavalue":{"value":"W2040502162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410329$6D50A8C7-AF70-48F8-98C2-09F4C50F7CA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5dd4ba98dd1776f5cbdb43929b322553a8d57d","datavalue":{"value":{"entity-type":"item","numeric-id":3583040,"id":"Q3583040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$8C6373C9-6469-46B2-8BC9-E05A86594A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a870fadcdfb79e808e1dd443a2b1ac2a16c09f","datavalue":{"value":{"entity-type":"item","numeric-id":3081638,"id":"Q3081638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$AEA4A76D-0B0A-418C-AD10-FCA8110739A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5b93b44bbd864eabe5b4b4369f76aea0b236f2","datavalue":{"value":{"entity-type":"item","numeric-id":719283,"id":"Q719283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$DBA16992-EA6C-4FBD-92DC-C3E0FBF49BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$92B71F35-0C35-4D5B-AACC-434482572AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44e25a337277592acbd5304d35cee1523fc637d","datavalue":{"value":{"entity-type":"item","numeric-id":5410826,"id":"Q5410826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$EDB01D31-224E-4153-B437-290A2C03C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fc3cc51fa5b312eb812985ccc1127fd2d1d0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1899145,"id":"Q1899145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$995C4D5A-066F-40AA-A5EF-DC64076FC840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d95378a8c31d7715b88a9854f2b8f7d5953534","datavalue":{"value":{"entity-type":"item","numeric-id":639650,"id":"Q639650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$A7E2045F-20C3-4CF8-9502-1F5B0FD5D19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e45362c2747079e52180ff157261ec839d2c4f","datavalue":{"value":{"entity-type":"item","numeric-id":764279,"id":"Q764279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$A866D84A-D1D0-4D82-B32F-28CD6446EED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$88733840-2382-4E14-9E0B-F53024E36670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbff7fccb24b79b684abc97ac3c1bcc3f5f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":3018648,"id":"Q3018648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$3532ED42-E42D-4478-A3B8-B7D32C14374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$0326CDA1-7E73-4D3A-8669-764E94F39474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e5fb73543677a0601e0871cdf05f43ee5e80e5","datavalue":{"value":{"entity-type":"item","numeric-id":647334,"id":"Q647334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410329$DF6F2501-2EF0-4CB5-80EF-FDC23BFDB4F8","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":"4ae6822ce2da32137916612e8a2a2529513c98cb","datavalue":{"value":{"amount":"+0.8477621","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":"Q5410329$6266AE21-99D8-49F7-ABC5-6340D7A22098","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":"651533b4a0c19609496563f57dafa86bae1ed907","datavalue":{"value":{"amount":"+0.84151775","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":"Q5410329$CEE50541-7A08-4B70-8FAF-F28C97315435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767f59991fcd7f0d8204afaac75e260ebe175c6f","datavalue":{"value":{"entity-type":"item","numeric-id":480816,"id":"Q480816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b53f5232349aeefde9ed92f0e20dde55323065e","datavalue":{"value":{"amount":"+0.8350171","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":"Q5410329$7F9ACF9D-67C2-4916-B709-E1434D2FD0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58b28fa0144ef8ba6fb77ad28e370882e541a0e","datavalue":{"value":{"entity-type":"item","numeric-id":4227882,"id":"Q4227882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a50c6f029695dcdc6336cb23ebf77b5dbc46459","datavalue":{"value":{"amount":"+0.83439845","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":"Q5410329$66413143-8C9B-44B1-A182-AEE456C7C862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7c254250be1a42702e5306cdccefcc8b630aec","datavalue":{"value":{"entity-type":"item","numeric-id":2498915,"id":"Q2498915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05db1e79f613823c2498bdeebe356144d22de55","datavalue":{"value":{"amount":"+0.8324151","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":"Q5410329$151F7854-0941-4BC2-85D0-2A019C5BDED8","rank":"normal"},{"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":"8867301b19106afba2860726faf261fc3df4738f","datavalue":{"value":{"amount":"+0.8274011","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":"Q5410329$97DD6E5A-7D9F-4E9E-85F6-2A54142A486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd93d7d645cd992fab256898a692386ff16220a","datavalue":{"value":{"entity-type":"item","numeric-id":2720322,"id":"Q2720322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bc1758d88423c6d5d6a96ea180a0268ab9a761","datavalue":{"value":{"amount":"+0.82465804","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":"Q5410329$40A3FD6D-EB47-4EE8-A83D-A7092C9964ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8147a93f42760fe8e6d3308097c5f5dfeb481974","datavalue":{"value":{"entity-type":"item","numeric-id":3195649,"id":"Q3195649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7d4c1494a66fc1f5d16fd1e594a6ad4939141f","datavalue":{"value":{"amount":"+0.819303","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":"Q5410329$328C2C36-80C2-427A-AD0D-33245C6CAB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358eb888a6ab4af160183ea4f374fd9a4555fe6b","datavalue":{"value":{"entity-type":"item","numeric-id":1887168,"id":"Q1887168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63af4362d35f4cc999e82992050faeab3af03b92","datavalue":{"value":{"amount":"+0.8170172","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":"Q5410329$733A1A4A-12E9-4D38-BCF7-D71CA68ACBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4de5b0baeb57e2ce7b937581d2c565ecde3887","datavalue":{"value":{"entity-type":"item","numeric-id":4635868,"id":"Q4635868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38042d0fd07b21a2b0e27a8d40e4219811280153","datavalue":{"value":{"amount":"+0.816069","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":"Q5410329$D8C6B077-2245-4DC4-BBF3-346C652F7F82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410329"}}}}}