{"entities":{"Q1104913":{"pageid":1115662,"ns":120,"title":"Item:Q1104913","lastrevid":49181854,"modified":"2026-01-06T17:35:39Z","type":"item","id":"Q1104913","labels":{"en":{"language":"en","value":"First-order modal tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057473"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104913$8252B4F7-5779-45BC-943E-D9C7D561817C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"416be27518b4e14fa67f5a511ffd229b90323a78","datavalue":{"value":{"text":"First-order modal tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104913$B93284E9-5590-48AF-9310-3ECD5FE87F7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51636cd9c5faf1974596e1baa556f367ccd76aae","datavalue":{"value":"0648.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104913$4AD15386-A65A-4C96-9846-9CDE6AEF8AF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f29e3e290afde8909cecbc930237d2422a59ba9","datavalue":{"value":"10.1007/BF00244394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104913$23EDAA61-CB43-4274-973A-BCDB74E6AD8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104913$56763ADB-358E-4A18-8051-039046220B53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104913$06BD1EC7-4C7E-4DFB-8502-BDB465C9DAEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104913$5025F224-38BE-4413-922F-C85BCA28BC87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9e1e460a87924b1a6ccf0e73bd31e05810b5aea","datavalue":{"value":"We describe simple semantic tableau based theorem provers for four standard modal logics, in both propositional and first-order versions. These theorem provers are easy to implement in Prolog, have a behavior that is straightforward to understand, and provide natural places for the incorporation of heuristics. Background theory is presented, and implementations of one propositional and one first-order version are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104913$353B63A2-6686-4638-BA96-7825B6373117","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104913$F6DB977F-3881-4D79-8C16-AF0944D34030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104913$579F6498-840F-4BF7-AE85-0E41191BB7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104913$13D07927-D0AD-4C45-95BF-A21E501C9CF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0275eedfbe85d779d6bcd25c140bb506805322b","datavalue":{"value":"4057473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104913$8CB74967-BAE5-434A-A60D-A49C09A876A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104913$B8969C9D-EE80-49FD-81D3-71013480DA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cfc0dfb2dd8450ff7864e06417f878635211e7e","datavalue":{"value":"semantic tableau based theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104913$FBC7CB63-78C4-41BF-AA32-26418755137D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104913$A14BB472-F0E3-4281-B9F2-2404CFBC2FCE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104913$6934E09C-E540-42D5-B3BE-90DFDF96FA3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e5286e75c62c1b17189ce7469aefa0a813723c0","datavalue":{"value":"https://doi.org/10.1007/bf00244394","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104913$EFF47E19-91B0-4ECD-BEBC-6E41A5D99D2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80bb0409b41b2d0c942fcefe584b0cc1befb301f","datavalue":{"value":"W2020852080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104913$6A2D4CF8-DBBE-4835-BA2E-F666514BBCA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4087ba531426dcb9d7ab98b92b8f18de941fe4c7","datavalue":{"value":{"amount":"+0.8944191336631775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104913$D923EC3B-BA4A-46D0-AF34-3460C142613D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006b7fde6af592f6799db7f14c1f8600cd6b606c","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea38618e3270494f75d4e6d615e3085a3141893b","datavalue":{"value":{"amount":"+0.8468465805053711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104913$3CA01B4B-7A60-4A04-96E8-2FDD832F7920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768ae8d5e6736b0ad8518caad406d2c275b058c2","datavalue":{"value":{"entity-type":"item","numeric-id":3344174,"id":"Q3344174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877773e1cdc68349cb3498fc082d2d597f2d3cd1","datavalue":{"value":{"amount":"+0.8311233520507812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104913$8FF94A7B-26B6-47B4-9F93-953E7AF41197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1e3a375d3eb673225fed615aa58825d8d38673","datavalue":{"value":{"amount":"+0.8249043822288513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104913$F5A11693-7222-4C51-B1D8-972AFFFA3318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99273657022a57922d440fcbb8191196b36c8c3d","datavalue":{"value":{"amount":"+0.812243640422821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104913$6924162E-BB74-4AC9-9322-3FB5A8801CDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104913"}}}}}