CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="390"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'managed',cRay: '91ca673cc825797d',cH: 'zGdY8Bf_RpKAhygzHgL.PiyXDjVqbbfq6zIFuHMovQE-1741353763-1.2.1.1-FbuzQPqaPuZ5l9PtYMCksuP9rV_DTeF4LvWOi90UGyTAZBnuQcnnobbZgAv970PC',cUPMDTk: "\/abstracts\/search?q=provability%20predicate&__cf_chl_tk=9XkWRq_q6d7jGIBR_RnMljxvTqUe9rxHiOUNGK0tVoo-1741353763-1.0.1.1-y_3_q_8TI4rKOUmjr0.Mu9SehWup6jN.XPCfL9NTkSA",cFPWv: 'g',cITimeS: '1741353763',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=provability%20predicate&__cf_chl_f_tk=9XkWRq_q6d7jGIBR_RnMljxvTqUe9rxHiOUNGK0tVoo-1741353763-1.0.1.1-y_3_q_8TI4rKOUmjr0.Mu9SehWup6jN.XPCfL9NTkSA",md: "XUldQHkPqFdVTWjO7jbFNq6Js_8KK7bU.a0fYow9jUA-1741353763-1.2.1.1-6qpS8Bid2aiop33otgxoe2wjkPWistKSTnjvFoDXZmooTz0n2WE49jBi1k81_lXJFynkeBQrP.6R9jTnAVuaJLXdEcupsbvhVCrIPeM1WNH69rnNQxkbvRs4mY.khPixpD03.O4ENgBStdqbD4jAlXv0R3sC6hKOdj2XRNmmrmA8gHi9ix3jjTAU3boaKXjFzCzllAjoeF.VkbxFgLzegn104ku9kTjHugVUVbdgLJYPk3DEhz72nbCi.JxfCx9ycr5AmVXncHmx6VFqKL0pYa6atZ26KSbgcNipBvg2h4vLltRR3ce.yOfitd01N8D.Hl3pNOFA4N.DX2UMJGcX0ws5vA9StMEWPiHccgT5Ub65_AJF7cRrevBdiquOSccsWqG5HDNCETzyD93kdHKNb4hor81fnkdi9IOGsROSrV.H5xKh_o3cf6.wpDCtvVDtCCfTfX2LOb.dFDWycN53OQ8xwQuq04YnLzfRtDC.P2UGAun9JMfGkDOHsFbMMa3JFzzJdT8kx0HI5MgsyHX1oUnVFE5sQUroBXbE7qb8JC0Hz_vqDY4g8cQPrzv7vswtBXfg6xcBKaTtVNvoYSQGYdIGva1X3k3g0_bGeKGdKrUzOkAaXE7t1dZgqa3DGXRAg5b3HQw_qjVgpAnf3_xZKR1Tuk5zloYpthftiWp3...d5cL0rPZiryPklxqAuV1w9mazBlDCNRxYu004LksDUA7VQoxNdyYz2_vsKDOBR4hpycIkmiM_qfcR327iJU7LeBvUybUJlj4n9JbCZNdeleXRKNI3kTff8G0maGZRAFYF.x7XCGkQrMFeFEqdEgZyMbTc4U4Bhzq8ajbeZ0sBvrHvHEvpzugLarRQpZFerexOsXDdJBp9CPOEh3dHAdlVuO_8IWe38Vp.sOm.HivfLDbl9RRlRac5_YxO6o4lO32iR3JUfoOXSexZE2fartUhlxFBsh0qRVVmgL2kR1_gTbH2s5OTC67PY7drjTS.2MnODcP7sxVpvhgd515yj0jvLU2W72P9PqFYVVwyI1I6pdgBHnqPoinjpV3tt1_WyYKnc9r49H3BQRx199OhBgQOkR2.eOfSQHt217JIaNBC.2pihbKwVTKw.Ubm3pLh.MRYmEDJb3MtbH0FKR6RCqh0Ao8Hf_QxzTkLzhHdT8jlAm32F9itgQOm82CFXn3DGC4rCP8L33Ax3nwXuDy_HoQjXq7FCAfSMAeu4XI3YS7HuJPuWBe1gOTumeGEJo8KYRy_GQu9sWAODBg5mtbrkT1_C1xqMk3mroGjOfZseiX5p48kpDCC_Eb7oItclJ52FuY",mdrd: "MSAX.pJnyVTUQvrwThrCSrptaovvIeQBu_dc5tv6ZSg-1741353763-1.2.1.1-Q75MrTGhY6VHyJIMg5oNxgMqswit.UHSuZgnA2foJYnfQNCDpn0HMCP7vh5osIsU1Kv2giGeKZYAlHjjV9tDmQ4CZmfWejPxn2t6Q2Nf8cNHW0Nkr2BYXt8lZ.6brYOGl_htQBx8mLczKGj6pYGVm136BMvqJ1CNRbGRfB1.SUu6UQF3FvduE77OXr8QaMcueJoZCj_Pb8Y6fNYUJ79J0WUMoX05_qJc3DD7ZZSiOuEgMZuCrzkrohat1D3s6NKq2IZhNfU2ggn0XtyyslPGTuGvI733k9L9BR17ph0G7v8jok4d8yAFQ189JpsSkhg2X7fJQ6LRxsiH.oUDVvpq764d7E_cYi4fx9yuJmZOQ0CwNk593ciPeamzyzx3OfEovIyxCQn2UbUPPbEUKUGmBsJ_jFSpDh1DVqtLGTygbha18aGygie35pLJtywfZz1UINfsLSEb.52yc_uWXmKlGMLnYG.Qy46e2O5E5kDvfwtpzQJqD.b9sXKpO2Aa10ufrG4ePnPLsN7W3qJmV5S7i2uuimNeOYwSaD2cQNLH63.2HzTLvJ7Z.KGOIFZPBbNeIAnoTFp9SpjSxMOOIL19QcmB8mIYQxyeX5kICd6TWwEzFZ.TkJEPvJ4RojWphTXOChV3Z4S9biHRXQx0.sUnbwT_cy9Ztf6BTSskSzdm17Pa.2mnSktYhTyLjg0YQU_zQarXmtMn368tYTV6a8wkrwgs.z_SgLb80BngGDs2Jr3j9UMUJd45xa_wv4Usvp83uASUNBKUypf_0b1PZFTp4OrX1zpV93xMaHtNMaJyXShhf15wFyMC.qM9zTiDevhdsI8XrNWmDqbmdwMvX7AHbe4ciPugpzGAlTmuYOE598C7v6Ot22ocagpehkUB3OsJ2ULw1oOpXwa9Hc7JPWHQFDxL_8RNUszY.urRAi1yOWfnkdmGFxy.7q.Oq81FtHumnv_Ept4FFtgS6RVnejGSzCo9H0CGjpYX3arvgvjk2_w2AHto_9EBiwEnJlNIj3.Xwd59CFg4_meUXcDksHGMLRa7qy2mUEzkh_z9o2iNFsETU1HynIq60fSMxnz9H83ScHOR_w0LfUf_UlhfmjKgjfHeT65wY.a.BP4JeSpcVEwqatjd.hVyX1ouV4CCBxLTH6RuQ6VkfMhmWeJk3uKYTi3FNsDiNoXiyAzEuSonocsZXNmncrUhhwg1Qvn5mFfDmHt4OoeeOjMLwaf83qYxmh7n92drM7CShhkrIBCi1hUxclMChh15uxl02_2b8qp.WJKpWCHdULbTd1suig_JZEeFAsBwCnStSuH5lje3_nf7FqYswbAKPptnGv4CXeyQsprEnJJuSilSiPv_Y.VmtNyZrLE9D4.p_aJS_9OY5aOXWkyuUO0UcpH6IVlKSswUj9ZGUxxTTKnPYFye_j_CRMGiPqCNJ6Z4Ej3F5CKXh56uBURsnp45l4G3Cy58l3fMefDqWNzNk.8Qb1YzRH_abC0w2TnlkCHZUJ5bezOt.9V1WToXbMS7q7Q2GB3_mnXEQiz.QC5LESc.RfBixhblUY_kn2bMR1Y8orlAMNYkM8TS1m75CanaOSSKxI1woN0qJUTzryyaxu2fUYS1BEpq74uDWVBe3v6J6PJwHjbyb5SbigMSRnWcVu.mjRPK_ZuKTZZ5HFZw0Q9ESVp4sAdqeKYcrDP_JZENsZglwYALbT_OP.VpPD_q9Y5UrFEnmHf8iQI5AoMPOEPUSfAOOKQ2BtqKWTjpdYZTIaf.G.bRwLm.JV2r4oBMqvcbktO_lqxvHxYdyDO7gJfRqrdWIhdgpd76tG6mnWKqcwvdaaYT0bO0sLdcxgMXQEDfEFT_Bt.5crHXA0CsOTMCOPbWNnYpR93krVkQhd7mOcTYkfYp_3ASVXXJj3oOfMwdt5IlJA55y2ryGtFpKMne8WCqPVTRwj_NV1ZnKMbm84wq90EG.LmV7cDjpaNWI2Ha5GcofIHX"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=91ca673cc825797d';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=provability%20predicate&__cf_chl_rt_tk=9XkWRq_q6d7jGIBR_RnMljxvTqUe9rxHiOUNGK0tVoo-1741353763-1.0.1.1-y_3_q_8TI4rKOUmjr0.Mu9SehWup6jN.XPCfL9NTkSA" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>