Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Well-formed formula

Known as: Layman Allen, Well-formed, Formula (logics) 
In mathematical logic, a well-formed formula, abbreviated wff, often simply formula, is a finite sequence of symbols from a given alphabet that is… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
The standard recurrent neural network language model (RNNLM) generates sentences one word at a time and does not work from an… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Highly Cited
2016
Highly Cited
2016
This paper presents our recent work on the design and development of a new, large scale dataset, which we name MS MARCO, for… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Highly Cited
2014
Highly Cited
2014
In this paper, we propose a novel neural network model called RNN Encoder‐ Decoder that consists of two recurrent neural networks… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Highly Cited
2009
Highly Cited
2009
Satisfiability Modulo Theories (SMT) is the problem of deciding satisfiability of a logical formula, expressed in a combination… Expand
  • figure 1
Highly Cited
2008
Highly Cited
2008
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Highly Cited
1997
Highly Cited
1997
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1996
Highly Cited
1996
Inorganic carbonate in soil occurs predominantly as the sparingly soluble alkaline-earth carbonates, calcite (CaCOs) and dolomite… Expand
  • table 15
  • table 15
  • figure 15-1
  • figure 1.5
  • figure 15-3
Highly Cited
1989
Highly Cited
1989
Abstract Three paper-and-pencil measures were administered to students in fourth, sixth, and eighth grades to assess different… Expand
  • table 1
  • table 2
  • table 3
  • table 8
  • table 9
Highly Cited
1984
Highly Cited
1984
As part of an on-going project to understand the foundations of Knowledge Representation, we are attempting to characterize a… Expand
Highly Cited
1963
Highly Cited
1963
Publisher Summary This chapter discusses the several classes of sentence-generating devices that are closely related, in various… Expand