## Restoring WhatsApp chat history either fom local backup or from Google Drive

1. I have my WhatsApp chat history backed up on Google drive till June 2017. After that I stopped the Google Drive backup.
2. I have local Database backup file having data from August 2018 till today.

Question 1 – Now when I uninstall and reinstall the WhatsApp, will it restore data from Google Drive + local Backup both?

Question 2 – How do I restore data only from Google Drive?

Question 3 – How to do restore data only from local backup?

Question 4 – What will happen if I backup current local backup to Google drive? Will it corrupt my old back up on Google drive? Will it overwrite my existing backup on Google drive

## search – I need help clearing history on a computer that I don’t have the google information for

search – I need help clearing history on a computer that I don’t have the google information for – Super User

## math history – Why does Skolem’s decision procedure for first order logic reject satisfiable formulas?

In his (1928), Skolem describes a decision procedure for first order formulas with the prefix $$forall exists$$. We can think of Skolem’s procedure as a sort of infinite truth table, where at each level we assign truth values to approximating instances of the quantified formula. The construction of approximations is described here. As we ascend in level, we progressively narrow down the finitely-many truth assignments according to whether they have extensions at higher levels. We demonstrate this procedure for one of Skolem’s example formulas (p. 520 of 1928). Question follows below.

Let U = $$forall x exists y (( A(x,y) land B(x) land neg B(y)) lor (A(x,x) land neg A(y,y) land neg B(y)))$$.

The first step is to drop the quantifiers.

The first level consists of all possible truth assignments to atomic components that make the 1st level instance of the formula (without quantifiers) come out true. This is the instance where we instantiate $$x$$ by 0 and $$y$$ by 1.

$$(A(0,1) land B(0) land neg B(1)) lor (negB(1) land A(0,0))$$

These “solutions’’ are represented by rows $$a_1 – g_1$$ in the following chart.

At the second step we rule out the 1st level solutions represented by rows $$a_1, c_1, e_1, f_1$$, and $$g_1$$ . These are not compatible with any 2nd level solution because no 2nd level solution makes both A(1,1) and B(1) false. (Note that when checking for consistency we can disregard the first column for the atomic formula A(x,y) since potential contradiction between levels can only occur with the formulas B(x) and B(y) and A(x,x,) and A(y,y).)
The solutions $$b_1$$ and $$d_1$$ however are compatible with some 2nd level solutions, specifically, those in rows $$d_2$$ and $$f_2$$.

Restricting our attention to these 2nd level solutions that extend $$b_1$$ or $$d_1$$, we now ask whether any of these have extensions of the 3rd level. Since both $$d_2$$ and $$f_2$$ assign False to A(2,2), this rules out all but two of the 3rd level solutions (rows $$d_3$$ and $$e_3$$).

However, since $$d_2$$ and $$f_2$$ assign False to B(2) and $$d_3$$ and $$e_3$$ assign True to B(2), none of the 2nd level solutions that extend a 1st level solution have extensions of the 3rd level. Therefore, the procedure terminates because we have reached a point where none of the finite number of level 1 solutions have extensions beyond the second level. This reveals the formula to be, in Skolem’s words, “contradictory’’, despite the fact that it is satisfiable in the domain $${0,1,2}$$.

The other possibility is for the procedure to reach a level $$n$$ such that the level 1 solutions that have extensions of level $$m+1$$ are the same as those that have extensions of level $$m$$. Since (for formulas with this prefix) the assignment of truth values to the atomic components of level $$n$$ is independent of the assignment of truth values to atomic components of all levels earlier than $$n-1$$, the formula is revealed to be “consistent’’.footnote{In other words, if a formula of level $$ is consistent with a solution of level $$m$$, no solution of level $$m+1$$ or higher will render it inconsistent, since new inconsistencies will only occur between levels $$m$$ and higher.}

Question: Am I misrepresenting this procedure or does Skolem really intend to rule out formulas that are consistent (i.e. satisfiable) but do not have infinite models? If so, how can this be used as a decision procedure for satisfiability?

References:

Skolem, Thoralf. (1928) On Mathematical Logic. English translation in van Heijenoort (ed.) (1967), pp. 508–
524.

VAN HEIJENOORT, JEAN (ED.) (1967b) From Frege to Gödel; a source book in mathematical logic, 1879-1931. Cambridge, Harvard University Press.

## Erase history change history lose information replace information algorithm as a person

We cannot change the history of a person because we cannot travel back in time. Suppose that the person were a computer algorithm. Suppose there were a computer matrix, like a noncommutative math matrix. Is the Cloud like that? Could we completely delete and erase something in the algorithm, and by doing so erase its history, and then replace it with an alternative history? Can information be permanently lost? Can lost information be replaced by new information put in its place?

## Selling Amazon aged buyer accounts with a purchase history

Hello,
I have many Amazon aged buyer accounts with a purchase history. I want to sell them.

Are available for sale.

Per Account price 10\$
Accept: BTC and Paypal ( Friends and Family only )

Support: Before the first login account I will replace new accounts if there logged-in issues. But After the logged account, there is no refund or replacement.

Contact Telegram: sabujdc
Skype: sabuj_geo

## WhatsApp update erased the chat history. What has gone wrong and is there any way to restore it?

Seems like WhatsApp update has erased all my WhatsApp history. Is there any way to get it back? (Without paying for third party tools, if possible)

I bought a new Android phone (Realme 7 Pro) and wanted to transfer my WhatsApp data from the old iPhone to the new Android phone. Seems like there is no way to do it easily so I had to buy a third party app that helped me to transfer the data.
I connected both phones using USB, the app read WhatsApp messages from my old iPhone, then installed WhatsApp on my new Android phone and imported all the messages. After the successful migration I deleted WhatsApp on my old iPhone and all seemed to be fine.

Then I was experiencing certain problems with WhatsApp and got a suggestion that I might need to update it. I then found WhatsApp in Play Store and there was a button reading “Install” on it. I got a bit surprised about why it says “Install” rather than “Update” but I thought that’s just the way it is on Android. I then downloaded WhatsApp and got 2 WhatsApps on my desktop. I tried running the new one and it asked me to confirm the number. I then closed it and wanted to open the old one and realised that it was gone…

I don’t have backup of my WhatsApp history on iCloud either so I can’t get it from there.

I have previously backed up my iPhone using iTunes though so I might be able to get something from there, but still wondering what has gone wrong on my Android phone. How could WhatsApp installation just completely bin everything from the previous version?..

Thank you very much for any information/suggestions 🙂

## linux – Bash History on Amazon Linus

Goal: Increase Bash History to above 1000 commands

Problem: Bash is clearing history once it hits 1000 commands

I want to save old commands I type into Amazon Linux Console. I couldn’t find the configuration file for Amazon Linux Bash .bashrc etc.

What is the easiest way to increase the number of Bash commands in history on Amazon Linux 2?

## Why is the site I visited not included in my browsing history on google chrome?

I just visited a website and that I was not on incognito or guest mode but that site is not included in the browsing history

## nintex – Workflow history is not available for the Completed workflows in SharePoint Online

We have Nintex workflow implemented in SharePoint Online.

If the workflow is completed, then there is no data available under Completed workflow.

But if the workflow is In progress then the workflow data is available under running workflow.

Also, this behavior is observed with items that are more than 1 month old.

Can anyone help here to understand what is exactly happening here?