{"entities":{"Q1295438":{"pageid":1306188,"ns":120,"title":"Item:Q1295438","lastrevid":46844445,"modified":"2025-12-25T17:15:11Z","type":"item","id":"Q1295438","labels":{"en":{"language":"en","value":"A simple propositional \\(\\text{S}5\\) tableau system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308110"}},"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":"Q1295438$647041AA-DE0F-4A3F-87DC-AE6E0670E577","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3904bac8c3eaa40777ebbf0c1b561925cefc3e98","datavalue":{"value":{"text":"A simple propositional \\(\\text{S}5\\) tableau system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295438$E2D5C26E-BFA8-4309-986C-D9C75A92B8F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db99d612e5e10413f2a09cbf6f7e3f58da3fc169","datavalue":{"value":"0972.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295438$7DFC107C-2395-47A7-9DF4-E1658831A024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c42b8c71292cd6addf5784e525a1338b7b7ac288","datavalue":{"value":"10.1016/S0168-0072(98)00034-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295438$0E68767D-479D-4FAA-B55C-4F7AAF8B84D8","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":"Q1295438$957E98DA-E573-4C5A-A3D3-B5A861712B78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295438$7B8D7449-6F9C-4197-A979-84762C585F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb718e2cdac7bb2fbda2153529198f7b2bbf7b67","datavalue":{"value":{"time":"+2001-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295438$ED88E182-7EAE-4ADE-8112-D8C30108713E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a631c029850cef598b99645bc5ba5249a2f94dc7","datavalue":{"value":"The paper presents a `remarkably simple' tableau system for the modal logic S5 and proves it soundness and weak completeness. The latter means that it captures S5-validity but not logical consequence. Using this tableau system, it is easy to understand why satisfiability in S5 is NP-complete. Also the author hopes that a similar system for first-order S5 could be constructed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295438$03AC08C0-1E81-4F89-9A2F-765D314EE3F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295438$80AE35E9-99CF-4030-ACAF-89B13BD5509E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295438$FB6B16F7-AF6E-4057-A213-434C5BB834D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af7b59f8ce902eac90af27999beed4281cd54fed","datavalue":{"value":"1308110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295438$902986E2-B2FD-4630-A641-AB4E8346FE1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295438$DE60BF65-7736-4D7C-87F4-39D1B8D75E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61646aae39c181a804d97b67e1585d6cb82b95f9","datavalue":{"value":"tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295438$368DBB0F-7C7A-422A-BB44-305AB8EEA4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295438$0735C3FE-D536-40B1-BFD7-C90A2593C0CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7bfad8d872a3ea91c9dd215d7f4f38e1e07b24","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295438$3AEC4D4A-F478-4185-BA96-C38D869DEFE4","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":"Q1295438$6E1A6A84-AA00-4105-A0CE-E8FAA7FE26CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15e27b7e5af70550b443271dfae1b5faaf5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3050398,"id":"Q3050398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295438$1D5116BB-6EC9-4CCF-A9E0-E17C183CFFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295438$16B42ED0-2F4A-45F1-BC33-0D8806F023F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba406e7f3aac0ee55dd147add9d806535b268eb","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295438$30A158D8-CF3A-4DB1-8C6A-65640118915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295438$B9167980-6C56-4AEA-8FF5-3BD1EFB4C839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9712c6d47796a2b665c80944d48b0692aac3bf01","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(98)00034-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295438$A6223461-3E41-4BE1-BBAE-E5672D8F79AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afe2b0edb9d3372ff483a9d3ab00d084c22e3110","datavalue":{"value":"W1984799723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295438$8618F08F-0E0D-4D6A-BBA8-E40E714172EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67dfc8441c2456e258a2b5c22c96a781142e032e","datavalue":{"value":{"entity-type":"item","numeric-id":4645235,"id":"Q4645235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa9ea47324e2ee781d5570cc439ee889edbc8d6","datavalue":{"value":{"amount":"+0.8047555088996887","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":"Q1295438$2E60E5FA-E4EF-43D3-9257-C869D2B83C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3302f157864275ea2c993f4536fe75d854e072","datavalue":{"value":{"entity-type":"item","numeric-id":5692433,"id":"Q5692433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53194d22128de36a165e96ca980bda2ed4db292b","datavalue":{"value":{"amount":"+0.7808563113212585","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":"Q1295438$162B9518-2DC9-49CE-B7DE-0BB8FF211C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc1f8856c39bd81b16f98bc3ad17e5c6196b3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4731168,"id":"Q4731168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4fabff3bd5368319b761e8a42cbdda03eedc166","datavalue":{"value":{"amount":"+0.7795404195785522","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":"Q1295438$3413447A-0B5B-426E-9609-0772C66B71D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfeddcfbdbcd3982afd1ae6ed4f5cbd95d0d83f","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62fefac75fc7890674976e04045dff943dd21d3","datavalue":{"value":{"amount":"+0.7749937772750854","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":"Q1295438$29268376-59CA-4297-B890-15AD3DCAF31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138a11e99c23a08b0a38a8a0e778d10d67e02630","datavalue":{"value":{"amount":"+0.7735627293586731","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":"Q1295438$A81A1045-5D11-4BBC-A499-28BD9D0EDBC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1295438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1295438"}}}}}