User talk:Michaelkifer

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Welcome![edit]

Hello, Michaelkifer, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are a few links to pages you might find helpful:

Please remember to sign your messages on talk pages by typing four tildes (~~~~); this will automatically insert your username and the date. If you need help, check out Wikipedia:Questions, ask me on my talk page, or ask your question on this page and then place {{help me}} before the question. Again, welcome!

August 2013[edit]

Hello, I'm BracketBot. I have automatically detected that your edit to F-logic may have broken the syntax by modifying 2 "[]"s. If you have, don't worry, just edit the page again to fix it. If I misunderstood what happened, or if you have any questions, you can leave a message on my operator's talk page.

List of unpaired brackets remaining on the page:
  • FORALL X, Y <- X:person[hasFather->Y] <- Y:man[hasSon -> X].
  • * [[Flora-2][ is an extension of F-logic with [[HiLog]], [[Transaction logic]], and [[defeasible reasoning]].

Thanks, BracketBot (talk) 04:28, 17 August 2013 (UTC)

Michaelkifer, you are invited to the Teahouse[edit]

Teahouse logo

Hi Michaelkifer! Thanks for contributing to Wikipedia.
Be our guest at the Teahouse! The Teahouse is a friendly space where new editors can ask questions about contributing to Wikipedia and get help from peers and experienced editors. I hope to see you there! Doctree (I'm a Teahouse host)

This message was delivered automatically by your robot friend, HostBot (talk) 01:16, 21 August 2013 (UTC)

Nomination of Flora-2 for deletion[edit]

A discussion is taking place as to whether the article Flora-2 is suitable for inclusion in Wikipedia according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Wikipedia:Articles for deletion/Flora-2 until a consensus is reached, and anyone is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on high-quality evidence and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion notice from the top of the article. Someone not using his real name (talk) 11:38, 29 January 2014 (UTC)

January 2014[edit]

Hello, I'm BracketBot. I have automatically detected that your edit to Flora-2 may have broken the syntax by modifying 1 "[]"s. If you have, don't worry: just edit the page again to fix it. If I misunderstood what happened, or if you have any questions, you can leave a message on my operator's talk page.

List of unpaired brackets remaining on the page:
  • ,<ref>M. Kifer, G. Lausen, J. Wu (1995). ''Foundations of Object-Oriented and Frame-Based Languages]'', Journal of ACM, May 1995. [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586 PDF]

Thanks, BracketBot (talk) 21:05, 29 January 2014 (UTC)