Dependency fix and minor content correction

Author: sdcondon

src/SCFirstOrderLogic.Documentation/Razor/Pages/beyond-getting-started/Index.razor.md

@@ -13,7 +13,7 @@ Having said all that, some hopefully useful notes do follow here.
 * **Equality:** The SCFirstOrderLogic namespace includes EqualityIdentifier, intended to be used as the identifier for the equality predicate.
   The various formula creation methods make use of this in created formulas where appropriate.
 
-### `SCFirstOrderLogic.LanguageIntegration`
+### `SCFirstOrderLogic.FormulaCreation.Linq`
 
 As mentioned briefly in 'getting started', a language-integrated approach to formula creation is available. See [here](beyond-getting-started/language-integration.md) for details.
 

src/SCFirstOrderLogic.Documentation/SCFirstOrderLogic.Documentation.csproj

@@ -25,7 +25,7 @@
     <PackageReference Include="Microsoft.Web.LibraryManager.Build" Version="2.1.175" />
     <PackageReference Include="SCFirstOrderLogic" Version="8.0.0" />
     <PackageReference Include="SCFirstOrderLogic.ExampleDomains" Version="2.0.0" />
-    <PackageReference Include="SCFirstOrderLogic.Inference.Basic" Version="3.0.0-pre.3" />
+    <PackageReference Include="SCFirstOrderLogic.Inference.Basic" Version="3.0.0" />
   </ItemGroup>
 
   <ItemGroup>