A B C D E F G H I J K L M N O P R S T U V W Y Z
Assertion Level Proof Planning with Compiled Strategies
Dr. Dominik Dietrich
Assertion Level Proof Planning with Compiled Strategies
This book presents new techniques that allow the automatic verification and generation of abstract human-style proofs. The core of this approach builds an efficient calculus that works directly by applying definitions, theorems, and axioms, which reduces the size of the underlying proof object by a factor of ten. The calculus is extended by the deep inference paradigm which allows the application of inference rules at arbitrary depth inside logical expressions and provides new proofs that are exponentially shorter and not available in the sequent calculus without cut. In addition, a strategy language for abstract underspecified declarative proof patterns is developed. Together, the complementary methods provide a framework to automate declarative proofs. The benefits of the techniques are illustrated by practical applications.
mehr anzeigen weniger anzeigen
39,90 € *
9783863760199
Merken
200 @ Lexicon
HTTP status 200
Controller Shopware_Controllers_Frontend_Lexicon :: Detail
Controller class Shopware_Controllers_Frontend _Lexicon
Is logged in? no
0.702 s
Total time 0.702 s
32.85 MB
Peak memory usage 32.85 MB
PHP memory limit 9192MB
Guest
Template
Template frontend/plugins/lexicon/detail.tpl frontend/plugins/seo/index.tpl frontend/plugins/six_readmore_text/index.tpl frontend/plugins/six_readmore_text/text.tpl frontend/dreisc_menu/index/header.tpl frontend/dreisc_menu/index/index.tpl
Template folders /var/www/clients/client1/web2/web/optimedien/themes/Frontend/OptitennTheme/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsExtraChanges/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Core/ViisonPickwareERP/Views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Backend/ViisonDropShipping/Views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/BookSeries/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/CbaxLexiconResponsiveSW5/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/IesLazyLoading/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NeonContentCreator/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsArticleFromForm/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsFormStyles/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsLocationAutofill/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsSecureUpload/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagBundle/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagFuzzy/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagNewsletter/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagPaymentPayPalUnified/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagPromotion/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/MillRatingSlider/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagAdvancedCart/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagTicketSystem/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/saltyPerformanceAnalysis/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/MillIndexRouting/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagBusinessEssentials/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/IdeeMediaAuthor/Views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/IdeeAddText/Views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsArticleQuestions/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsProductSuccessor/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsVariantDescription/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/OptitennExtras/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/DreiscCms/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/DreiscSeo/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/IdeeContacts/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsArticlePDFs/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/PdweContentGallery/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Default/Core/PaymentMethods/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/LoyxxCategorySidebar/Views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Backend/WbmAlsoBought/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/OncoTextFacet/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/SixReadmoreText/Views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/AntRegistrationUpload/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/OnCoPowerFilter/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/DreiscMenu/Views/_default/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/Responsive/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/Bare/
Plugin folders /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Backend/ViisonDHL/ViisonCommon/Subscribers/../Classes/SmartyPlugins/ /var/www/clients/client1/web2/web/optimedien/engine/Library/Enlight/Template/Plugins/ /var/www/clients/client1/web2/web/optimedien/engine/Library/Smarty/plugins/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/FroshProfiler/Resources/smarty/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/OptitennTheme/_private/smarty/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/Responsive/_private/smarty/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/Bare/_private/smarty/
Cache folder /var/www/clients/client1/web2/web/optimedien/var/cache/production_201912171122/templates/blocks/
Compile folder /var/www/clients/client1/web2/web/optimedien/var/cache/production_201912171122/templates/blocks/
Events
registered events 1453
called events 2253
68 in 0.0004 ms
Cache Calls 68
Total time 0.0004 ms
Cache hits 66 / 66 (100%)
Cache writes 1
Database
Database Queries 625
Query time 0.0187 s
5.6.4
Environment production
PHP version 7.3.1   View phpinfo()
PHP Extensions xdebug accel
PHP SAPI fpm-fcgi
Cart