Journal of Formalized Reasoning

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="description" content="Journal of Formalized Reasoning" /> <link rel="stylesheet" type="text/css" href="/assets/478ca885/gridview/styles.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap-responsive.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/abound.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/style-orange.css" /> <script type="text/javascript" src="/assets/477bc0eb/jquery.min.js"></script> <script type="text/javascript" src="/assets/477bc0eb/jquery.ba-bbq.min.js"></script> <script type="text/javascript" src="/themes/abound/js/bootstrap.min.js"></script> <script type="text/javascript" src="/themes/abound/js/plugins/jquery.flot.min.js"></script> <title>Journal of Formalized Reasoning</title> <meta name="viewport" content="width=device-width, initial-scale=1.0"/>  <meta name="author" content="www.myhuiban.com"/>    <link rel="alternate" hreflang="x-default" href="/journal/901" /> <link rel="alternate" hreflang="en" href="/journal/901?lang=en_us" /> <link rel="alternate" hreflang="es" href="/journal/901?lang=es" /> <link rel="alternate" hreflang="zh" href="/journal/901?lang=zh_cn" /> <link rel="alternate" hreflang="ja" href="/journal/901?lang=ja" />  <link rel="shortcut icon" href="/themes/abound/img/icons/favicon.ico"> <link rel="apple-touch-icon-precomposed" sizes="144x144" href="/themes/abound/img/icons/apple-touch-icon-144-precomposed.png"> <link rel="apple-touch-icon-precomposed" sizes="72x72" href="/themes/abound/img/icons/apple-touch-icon-72-precomposed.png"> <link rel="apple-touch-icon-precomposed" href="/themes/abound/img/icons/apple-touch-icon-57-precomposed.png">   <script async src="https://www.googletagmanager.com/gtag/js?id=UA-16655604-2"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-16655604-2'); </script> <script async src="https://pagead2.googlesyndication.com/pagead/js/adsbygoogle.js?client=ca-pub-6743617430731451" crossorigin="anonymous"></script>  <script type="text/javascript" async=true> (function() { var host = "www.themoneytizer.com"; var element = document.createElement('script'); var firstScript = document.getElementsByTagName('script')[0]; var url = 'https://cmp.inmobi.com' .concat('/choice/', '6Fv0cGNfc_bw8', '/', host, '/choice.js?tag_version=V3'); var uspTries = 0; var uspTriesLimit = 3; element.async = true; element.type = 'text/javascript'; element.src = url; firstScript.parentNode.insertBefore(element, firstScript); function makeStub() { var TCF_LOCATOR_NAME = '__tcfapiLocator'; var queue = []; var win = window; var cmpFrame; function addFrame() { var doc = win.document; var otherCMP = !!(win.frames[TCF_LOCATOR_NAME]); if (!otherCMP) { if (doc.body) { var iframe = doc.createElement('iframe'); iframe.style.cssText = 'display:none'; iframe.name = TCF_LOCATOR_NAME; doc.body.appendChild(iframe); } else { setTimeout(addFrame, 5); } } return !otherCMP; } function tcfAPIHandler() { var gdprApplies; var args = arguments; if (!args.length) { return queue; } else if (args[0] === 'setGdprApplies') { if ( args.length > 3 && args[2] === 2 && typeof args[3] === 'boolean' ) { gdprApplies = args[3]; if (typeof args[2] === 'function') { args[2]('set', true); } } } else if (args[0] === 'ping') { var retr = { gdprApplies: gdprApplies, cmpLoaded: false, cmpStatus: 'stub' }; if (typeof args[2] === 'function') { args[2](retr); } } else { if(args[0] === 'init' && typeof args[3] === 'object') { args[3] = Object.assign(args[3], { tag_version: 'V3' }); } queue.push(args); } } function postMessageEventHandler(event) { var msgIsString = typeof event.data === 'string'; var json = {}; try { if (msgIsString) { json = JSON.parse(event.data); } else { json = event.data; } } catch (ignore) {} var payload = json.__tcfapiCall; if (payload) { window.__tcfapi( payload.command, payload.version, function(retValue, success) { var returnMsg = { __tcfapiReturn: { returnValue: retValue, success: success, callId: payload.callId } }; if (msgIsString) { returnMsg = JSON.stringify(returnMsg); } if (event && event.source && event.source.postMessage) { event.source.postMessage(returnMsg, '*'); } }, payload.parameter ); } } while (win) { try { if (win.frames[TCF_LOCATOR_NAME]) { cmpFrame = win; break; } } catch (ignore) {} if (win === window.top) { break; } win = win.parent; } if (!cmpFrame) { addFrame(); win.__tcfapi = tcfAPIHandler; win.addEventListener('message', postMessageEventHandler, false); } }; makeStub(); var uspStubFunction = function() { var arg = arguments; if (typeof window.__uspapi !== uspStubFunction) { setTimeout(function() { if (typeof window.__uspapi !== 'undefined') { window.__uspapi.apply(window.__uspapi, arg); } }, 500); } }; var checkIfUspIsReady = function() { uspTries++; if (window.__uspapi === uspStubFunction && uspTries < uspTriesLimit) { console.warn('USP is not accessible'); } else { clearInterval(uspInterval); } }; if (typeof window.__uspapi === 'undefined') { window.__uspapi = uspStubFunction; var uspInterval = setInterval(checkIfUspIsReady, 6000); } })(); </script>  <style> .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { background-color: transparent !important; border-color: #000000 !important; } .qc-cmp-alt-action, .qc-cmp-link { color: #000000 !important; } .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { color: #ffffff !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { color: #000000 !important; } .qc-cmp-small-toggle, .qc-cmp-toggle { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-main-messaging, .qc-cmp-messaging, .qc-cmp-sub-title, .qc-cmp-privacy-settings-title, .qc-cmp-purpose-list, .qc-cmp-tab, .qc-cmp-title, .qc-cmp-vendor-list, .qc-cmp-vendor-list-title, .qc-cmp-enabled-cell, .qc-cmp-toggle-status, .qc-cmp-table, .qc-cmp-table-header { color: #000000 !important; } .qc-cmp-ui { background-color: #ffffff !important; } .qc-cmp-table, .qc-cmp-table-row { border: 1px solid !important; border-color: #000000 !important; } #qcCmpButtons a { text-decoration: none !important; } #qcCmpButtons button { margin-top: 65px; } @media screen and (min-width: 851px) { #qcCmpButtons a { position: absolute; bottom: 10%; left: 60px; } } .qc-cmp-qc-link-container{ display:none; } </style> </head> <body> <section id="navigation-main">  <div class="navbar navbar-inverse navbar"> <div class="navbar-inner"> <div class="container"> <a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </a>  <a class="brand" href="https://www.myhuiban.com"><strong>Conference Partner</strong></a> <div class="nav-collapse"> <ul class="pull-right nav" id="yw12"> <li class="item-test"><a href="/">Home</a></li> <li class="item-test"><a href="/conferences">Conferences</a></li> <li class="item-test"><a href="/journals">Journals</a></li> <li class="item-test"><a href="/login">Login</a></li> </ul> </div> </div> </div> </div> <div class="subnav navbar navbar"> <div class="navbar-inner"> <div class="container"> <form class="navbar-search pull-right" id="search-form" action="/search" method="get"> <div> <img src="/images/CN.gif"/><a href="/journal/901?lang=zh_cn"> 中文 </a> | <img src="/images/US.gif"/><a href="/journal/901?lang=en_us"> English </a> | <img src="/images/ES.gif"/><a href="/journal/901?lang=es"> Español </a> | <img src="/images/JP.gif"/><a href="/journal/901?lang=ja"> 日本語 </a>     &nbsp <input class="search-query span2" placeholder="Search" name="SearchForm[key]" id="SearchForm_key" type="text" maxlength="200" /> </div> </form> </div> </div> </div> </section> <section class="main-body"> <div class="container-fluid">  <div class="row-fluid"> <div class="span10"> <div class="breadcrumb"> <a href="/">Conference Partner</a> » <a href="/journals">Journals</a> » <span>Journal of Formalized Reasoning</span></div>  <div class="portlet" id="yw0"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-tasks"></i> Journal Information</div> </div> <div class="portlet-content"> <div align="center"> <h5><span itemprop="name">Journal of Formalized Reasoning</span></h5> <a href="https://jfr.unibo.it/">https://jfr.unibo.it/</a> <br /> <table border="0" align="center" cellpadding="0" cellspacing="1"> <tr> <td width="150" height="25"><div align="center">Publisher:</div></td> <td width="150"><div align="center">Alma Mater Studiorum</div></td> </tr> <tr> <td width="150" height="25"><div align="center">ISSN:</div></td> <td width="150"><div align="center">1972-5787</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Viewed:</div></td> <td width="150"><div align="center"><span class="badge badge-success">6874</span></div></td> </tr> <tr> <td width="150" height="25"><div align="center">Tracked:</div></td> <td width="150"><div align="center"><span class="badge badge-warning">0</span></div></td> </tr> </table> </div> </div> </div> <div class="portlet" id="yw1"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-bullhorn"></i> Call For Papers</div> </div> <div class="portlet-content"> <pre>The journal is meant to become the natural target for research papers describing significant, automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhance reusability of solutions and provide a clear view of the current state of the field. Although outside the scope of the journal, it will also help to better understand the requirements for automatic and interactive tools supporting the formalization effort, becoming a major vehicle for their diffusion and enhancement. The journal encourages the submission of interesting, insightful, and informative papers, preferably accompanied by formal scripts. Although the journal is not meant to become a repository for proof scripts, an effort will be made to ensure that the "experimental data" backing formalisation papers will remain accessible.</pre><div class="alert alert-warning"> Last updated by <a href="/researcher/1">Dou Sun</a> in 2020-03-18</div> </div> </div>  <div class="portlet" id="yw3"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-file"></i> Related Journals</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw4" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw4_c0">CCF</th><th id="yw4_c1">Full Name</th><th id="yw4_c2">Impact Factor</th><th id="yw4_c3">Publisher</th><th id="yw4_c4">ISSN</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td><a href="/journal/762">Information and Organization</a></td><td>5.700</td><td>Elsevier</td><td>1471-7727</td></tr> <tr class="even"> <td></td><td><a href="/journal/595">ACM Transactions on Multimedia Computing, Communications, and Applications</a></td><td>5.200</td><td>ACM</td><td>1551-6857</td></tr> <tr class="odd"> <td></td><td><a href="/journal/824">International Journal of Numerical Methods for Heat & Fluid Flow</a></td><td>4.000</td><td>Emerald</td><td>0961-5539</td></tr> <tr class="even"> <td></td><td><a href="/journal/934">International Journal of Fuzzy Logic and Intelligent Systems</a></td><td></td><td>Korean Institute of Intelligent Systems</td><td>1598-2645</td></tr> <tr class="odd"> <td></td><td><a href="/journal/330">IEICE Transactions on Communications</a></td><td> </td><td>IEICE</td><td></td></tr> <tr class="even"> <td></td><td><a href="/journal/789">Language Learning & Technology</a></td><td>3.800</td><td>University of Hawaii Press</td><td>1094-3501</td></tr> <tr class="odd"> <td></td><td><a href="/journal/527">Optical Memory and Neural Networks</a></td><td>1.000</td><td>Springer</td><td>1060-992X</td></tr> <tr class="even"> <td></td><td><a href="/journal/531">Programming and Computer Software</a></td><td>0.700</td><td>Springer</td><td>0361-7688</td></tr> <tr class="odd"> <td></td><td><a href="/journal/464">Computational Mathematics and Modeling</a></td><td></td><td>Springer</td><td>1046-283X</td></tr> <tr class="even"> <td></td><td><a href="/journal/47">Networking Science</a></td><td></td><td>Springer</td><td>2076-0310</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/901"><span>762</span><span>595</span><span>824</span><span>934</span><span>330</span><span>789</span><span>527</span><span>531</span><span>464</span><span>47</span></div> </div></div> <div class="visible-phone"> <div id="yw5" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw5_c0">Full Name</th><th id="yw5_c1">Impact Factor</th><th id="yw5_c2">Publisher</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/journal/762">Information and Organization</a></td><td>5.700</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/595">ACM Transactions on Multimedia Computing, Communications, and Applications</a></td><td>5.200</td><td>ACM</td></tr> <tr class="odd"> <td><a href="/journal/824">International Journal of Numerical Methods for Heat & Fluid Flow</a></td><td>4.000</td><td>Emerald</td></tr> <tr class="even"> <td><a href="/journal/934">International Journal of Fuzzy Logic and Intelligent Systems</a></td><td></td><td>Korean Institute of Intelligent Systems</td></tr> <tr class="odd"> <td><a href="/journal/330">IEICE Transactions on Communications</a></td><td> </td><td>IEICE</td></tr> <tr class="even"> <td><a href="/journal/789">Language Learning & Technology</a></td><td>3.800</td><td>University of Hawaii Press</td></tr> <tr class="odd"> <td><a href="/journal/527">Optical Memory and Neural Networks</a></td><td>1.000</td><td>Springer</td></tr> <tr class="even"> <td><a href="/journal/531">Programming and Computer Software</a></td><td>0.700</td><td>Springer</td></tr> <tr class="odd"> <td><a href="/journal/464">Computational Mathematics and Modeling</a></td><td></td><td>Springer</td></tr> <tr class="even"> <td><a href="/journal/47">Networking Science</a></td><td></td><td>Springer</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/901"><span>762</span><span>595</span><span>824</span><span>934</span><span>330</span><span>789</span><span>527</span><span>531</span><span>464</span><span>47</span></div> </div></div> </div> </div> <div class="portlet" id="yw6"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-th"></i> Related Conferences</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw7" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw7_c0">CCF</th><th id="yw7_c1">CORE</th><th id="yw7_c2">QUALIS</th><th id="yw7_c3">Short</th><th id="yw7_c4">Full Name</th><th id="yw7_c5">Submission</th><th id="yw7_c6">Notification</th><th id="yw7_c7">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td><span class="badge badge-warning">b</span></td><td><span class="badge badge-warning">a</span></td><td><span class="badge badge-warning">a1</span></td><td>ECCV</td><td><a href="/conference/413">European Conference on Computer Vision</a></td><td>2024-03-07</td><td>2024-05-09</td><td>2024-09-29</td></tr> <tr class="even"> <td></td><td></td><td></td><td>WAT</td><td><a href="/conference/2628">International Workshop on Automation Technologies</a></td><td>2022-11-15</td><td>2022-12-01</td><td>2022-12-16</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>FMVIP</td><td><a href="/conference/3654">International Conference on Frontiers of Machine Vision and Image Processing</a></td><td>2022-10-20</td><td>2022-11-05</td><td>2022-11-18</td></tr> <tr class="even"> <td></td><td></td><td></td><td>MEEP</td><td><a href="/conference/2930">International Conference on Materials Chemistry and Environmental Protection</a></td><td>2018-11-20</td><td> </td><td>2018-11-23</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>TEES</td><td><a href="/conference/4609">International Conference on Tourism and Environmental Sustainability</a></td><td>2023-06-30</td><td> </td><td>2023-09-15</td></tr> <tr class="even"> <td></td><td></td><td></td><td>MIG</td><td><a href="/conference/3718">ACM SIGGRAPH conference on Motion, Interaction and Games</a></td><td>2024-07-15</td><td>2024-09-06</td><td>2024-11-21</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ISMS</td><td><a href="/conference/1848">International conference on Intelligent Systems, Modelling and Simulation</a></td><td>2018-03-20</td><td> </td><td>2018-05-08</td></tr> <tr class="even"> <td><span class="badge badge-warning">b</span></td><td></td><td></td><td>HSCC</td><td><a href="/conference/402">International Conference on Hybrid Systems: Computation and Control</a></td><td>2024-10-31</td><td>2025-01-23</td><td>2025-05-06</td></tr> <tr class="odd"> <td><span class="badge badge-warning">a</span></td><td></td><td><span class="badge badge-warning">b1</span></td><td>FM</td><td><a href="/conference/166">International Symposium on Formal Methods</a></td><td>2024-04-05</td><td>2024-06-03</td><td>2024-09-09</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/901"><span>413</span><span>2628</span><span>3654</span><span>2930</span><span>4609</span><span>3718</span><span>1848</span><span>402</span><span>166</span></div> </div></div> <div class="visible-phone"> <div id="yw8" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw8_c0">Short</th><th id="yw8_c1">Full Name</th><th id="yw8_c2">Submission</th><th id="yw8_c3">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td>ECCV</td><td><a href="/conference/413">European Conference on Computer Vision</a></td><td>2024-03-07</td><td>2024-09-29</td></tr> <tr class="even"> <td>WAT</td><td><a href="/conference/2628">International Workshop on Automation Technologies</a></td><td>2022-11-15</td><td>2022-12-16</td></tr> <tr class="odd"> <td>FMVIP</td><td><a href="/conference/3654">International Conference on Frontiers of Machine Vision and Image Processing</a></td><td>2022-10-20</td><td>2022-11-18</td></tr> <tr class="even"> <td>MEEP</td><td><a href="/conference/2930">International Conference on Materials Chemistry and Environmental Protection</a></td><td>2018-11-20</td><td>2018-11-23</td></tr> <tr class="odd"> <td>TEES</td><td><a href="/conference/4609">International Conference on Tourism and Environmental Sustainability</a></td><td>2023-06-30</td><td>2023-09-15</td></tr> <tr class="even"> <td>MIG</td><td><a href="/conference/3718">ACM SIGGRAPH conference on Motion, Interaction and Games</a></td><td>2024-07-15</td><td>2024-11-21</td></tr> <tr class="odd"> <td>ISMS</td><td><a href="/conference/1848">International conference on Intelligent Systems, Modelling and Simulation</a></td><td>2018-03-20</td><td>2018-05-08</td></tr> <tr class="even"> <td>HSCC</td><td><a href="/conference/402">International Conference on Hybrid Systems: Computation and Control</a></td><td>2024-10-31</td><td>2025-05-06</td></tr> <tr class="odd"> <td>FM</td><td><a href="/conference/166">International Symposium on Formal Methods</a></td><td>2024-04-05</td><td>2024-09-09</td></tr> </tbody> </table><div class="keys" style="display:none" title="/journal/901"><span>413</span><span>2628</span><span>3654</span><span>2930</span><span>4609</span><span>3718</span><span>1848</span><span>402</span><span>166</span></div> </div></div> </div> </div> <div class="portlet" id="yw9"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-eye-open"></i> Recommendation</div> </div> <div class="portlet-content"> <div align="center"> <script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script>  <ins class="adsbygoogle" style="display:block" data-ad-client="ca-pub-6743617430731451" data-ad-slot="1870704128" data-ad-format="autorelaxed"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script> </div> </div> </div> </div> <div class="span2 hidden-phone"> <div class="sidebar-nav"> <ul id="yw10"> <li><a href="http://www.myhuiban.com/journal/track/id/901"><i class="icon icon-plus"></i>   Track It <span class="badge badge-warning pull-right">0</span></a></li> <li><a href="http://www.myhuiban.com/journal/edit/id/901"><i class="icon icon-edit"></i>   Edit CFP</a></li> <li><a href="http://www.myhuiban.com/journal/issue/id/901"><i class="icon icon-list-alt"></i>   Add Issue</a></li> </ul><br/> <div class="portlet" id="yw11"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-gift"></i> Advertisment</div> </div> <div class="portlet-content"> <div align="center"> <div id="12717-20"><script src="//ads.themoneytizer.com/s/gen.js?type=20"></script><script src="//ads.themoneytizer.com/s/requestform.js?siteId=12717&formatId=20" ></script></div> </div>    </div> </div> </div> </div> </div> </div> </section>  <footer> <div class="subnav navbar"> <div class="navbar-inner"> <div class="container"> <a href="/conferences">4,996</a> Conferences | <a href="/journals">1,182</a> Journals | <a href="/researchers">71,351</a> Researchers | 444,368,746 PV <br/> Copyright © 2011-2025 myhuiban.com. All Rights Reserved. <a href="/researcher/1">About Us</a> | <a target="_blank" href="https://www.facebook.com/myhuiban/">Facebook</a> | <a target="_blank" href="https://x.com/myhuiban">X</a> | <a href=mailto:admin@myhuiban.com>Post CFP or Contact Us</a> | <a href="/promotion">Promotion</a> </div> </div> </div> </footer> <script type="text/javascript" src="/assets/478ca885/gridview/jquery.yiigridview.js"></script> <script type="text/javascript"> /*<![CDATA[*/ jQuery(function($) { jQuery('#yw4').yiiGridView({'ajaxUpdate':['yw4'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw5').yiiGridView({'ajaxUpdate':['yw5'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw7').yiiGridView({'ajaxUpdate':['yw7'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw8').yiiGridView({'ajaxUpdate':['yw8'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); }); /*]]>*/ </script> </body> </html>

CINXE.COM

Journal of Formalized Reasoning