leancop.de valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot / ✔
BingBot / ✔
BaiduSpider / ✔
YandexBot / ✔ 

                

                
Meta Tags

                

                    

                        Title
                        leanCoP: Lean Connection-Based Theorem                        
                    

                    

                        Description
                                                        Lean Connection-Based Theorem Proving What is leanCoP? Download Documentation ileanCoP MleanCoP Contact What is leanCoP? leanCoP is a compact automated th                                                    
                    

                    

                        Keywords
                                                        N/A
                                                    
                    

                

                
Server Information

                

                    

                        WebSite
                        leancop faviconleancop.de                            
                        
                    

                    

                        Host IP
                        194.117.254.54                        
                    

                    

                        Location
                        Germany                        
                    

                

                
Related Websites

                

                    

                        Site
                        Rank
                    

                

                
More to Explore

                


                     
                

            

            

                
leancop.de Valuation

                

                    

                        
                            

                                
US$348,859                                

                                

                                
                                

                                    Last updated: 2022-09-26 08:07:08                                    
                                

                            

                            
leancop.de has Semrush global rank of 30,339,798. leancop.de has an estimated worth of US$ 348,859, based on its estimated Ads revenue. leancop.de receives approximately 40,253 unique visitors each day. Its web server is located in Germany, with IP address 194.117.254.54. According to SiteAdvisor, leancop.de is safe to visit.
                            

                        		
                    

                

                
Traffic & Worth Estimates

                

                    

                        Purchase/Sale Value
                        US$348,859                            
                    

                    

                        Daily Ads Revenue
                        US$323                            
                    

                    

                        Monthly Ads Revenue
                        US$9,661                            
                    

                    

                        Yearly Ads Revenue
                        US$115,929                            
                    

                    

                        Daily Unique Visitors
                        2,684
                        
                    

                    

                        
                            Note: All traffic and earnings values are estimates.
                        
                    

                

                

                    
                

                                    
                
                
DNS Records

                

                    

                        Host
                        Type
                        TTL
                        Data
                    

                                        

                        leancop.de.                        
                        A
                        
                        3599                        
                        IP: 194.117.254.54                        
                    

                                                            

                        leancop.de.                        
                        AAAA
                        
                        3599                        
                        IPV6: 2a05:d580:0:1337::36                        
                    

                                                            

                        leancop.de.                        
                        NS
                        
                        3600                        
                        NS Record: ns4.powerdns.de.                        
                    

                                        

                        leancop.de.                        
                        NS
                        
                        3600                        
                        NS Record: ns3.powerdns.de.                        
                    

                                                            

                        leancop.de.                        
                        MX
                        
                        3600                        
                        MX Record: 10 mail.ud14.udmedia.de.                        
                    

                                        
                

                
                                
HtmlToTextCheckTime:2022-09-26 08:07:08

                

                    

                        
                            Lean Connection-Based Theorem Proving What is leanCoP? Download Documentation ileanCoP MleanCoP Contact What is leanCoP? leanCoP is a compact automated theorem prover for classical first-order logic. It is based on the connection calculus and implemented in Prolog. ileanCoP is an extension of leanCoP for first-order intuitionistic logic. MleanCoP is an extension of leanCoP for several first-order modal logics. News: MleanCoP 1.3 supports several first-order multimodal logics and outputs a modal connection proof +++ leanCoP-Ω wins new (demo) TFA division (Typed First-order logic with Arithmetic) at the CADE System Competition CASC-J5 ( press release ) +++ leanCoP 2.1 ranked third of the provers that output a proof in the core FOF division at the CADE System Competition CASC-22 +++ leanCoP-SInE 2.1 wins third place in the proof class of the 2009 SUMO reasoning prize +++ randoCoP 1.1 ranked third of the provers that output a proof in the core FOF division at the CADE System Competition                            
                        
                    

                

                
                
                                
HTTP Headers

                

                    

                        
                            
HTTP/1.1 200 OK
Date: Fri, 14 Jan 2022 10:32:35 GMT
Server: Apache
Upgrade: h2
Connection: Upgrade
Last-Modified: Wed, 28 Feb 2018 02:51:30 GMT
ETag: "2fe4-5663cd1ffb052"
Accept-Ranges: bytes
Content-Length: 12260
Content-Type: text/html

                        		
                    

                

                
                            

        

        

        

            
        

    

    

        
Copyright © 2022 WebZZ.US 0.0249