{"entities":{"Q1344882":{"pageid":1355621,"ns":120,"title":"Item:Q1344882","lastrevid":70203672,"modified":"2026-04-13T13:08:46Z","type":"item","id":"Q1344882","labels":{"en":{"language":"en","value":"The liberalized \\(\\delta\\)-rule in free variable semantic tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724141"}},"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":"Q1344882$A5813057-9006-490C-90C9-9F417192ADE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a26a4abce959b4fa8cb72d6bf122d5758fffa88","datavalue":{"value":{"text":"The liberalized \\(\\delta\\)-rule in free variable semantic tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344882$643BFC68-7975-4C71-B041-9C56E739B908","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26bc57c957c00daa2355747f64bc9819849c0ee4","datavalue":{"value":"0826.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344882$AB11F1F8-90B9-4EC1-B406-6DA8A9968963","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b947f3b1b5438bb41576b208b615286933fb731","datavalue":{"value":"10.1007/BF00881956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344882$9DC67F1B-4A34-4836-A244-13ABE6DD7324","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$1F1AA732-EE8F-4CD8-AB7B-FED4E6D417B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$87705B16-368F-48B3-9D5E-3ECAB2C8A170","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":"Q1344882$24A07D0E-6752-46E9-9433-91BCFBC59C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344882$DD2614DF-36D5-47FF-87EA-0CF2D5B41A38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c24dde85feab785a4820cd2cf3ee30c914bdad5b","datavalue":{"value":"The liberalized \\(\\delta\\)-rule in free variable semantic tableaux is studied. This rule was presented by Smullyan. The authors consider a modification of this rule, called the \\(\\delta+\\)-rule, which uses fewer free variables. The relationship between the \\(\\delta+\\)-rule and variations of the \\(\\delta\\)-rule is studied. The problem lies in proving the correctness of the \\(\\delta+\\)-rule. The main result (soundness) is the following: If a sentence \\(X\\) has a closed tableau \\(T\\) constructed with \\(\\delta+\\), then \\(X\\) is not satisfiable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344882$A84F81D5-A4F2-4B66-9CC5-00952F7EC7CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344882$F98E9FA0-1C3A-4C6B-9006-F5BA92AD94D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344882$6ADB7D00-8BED-402B-81B8-D0BFF2B980D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e5b2641babd47b78b42571c178608969364fc8c","datavalue":{"value":"724141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344882$72396E5D-C363-4B32-9E10-1528EAD9E3C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344882$1A35984A-F6BD-4060-B718-08A887239CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344882$197C6215-6132-44EF-881D-06E148A6DCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b33cfd08820a33ff6a16a52b785959ebbb959a1d","datavalue":{"value":"\\(\\delta+\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344882$B49CEA32-1D00-4C65-A599-BC89AFB2C214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344882$0AAF5CBE-382F-4292-82FD-21F72927C333","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26a9ffefb8275bae44fac28c83666b0b4cd8cc89","datavalue":{"value":{"entity-type":"item","numeric-id":1092654,"id":"Q1092654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$6AB047ED-AF73-41B3-96B0-8011207D6516","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":"Q1344882$6A420484-571E-41A0-A1A1-92C2B7B64F86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdfaed0327ef2fb40a7edf3a4b5135d2b983c32","datavalue":{"value":{"entity-type":"item","numeric-id":4275685,"id":"Q4275685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$401C09B2-E038-4637-BC6C-2C8561BC7E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232dfd1bf87f21f05a770856dfbd4a4ab1b9d05f","datavalue":{"value":{"entity-type":"item","numeric-id":1188779,"id":"Q1188779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$E887BADE-9D1D-4F8B-BBE9-6D78ED1C90C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$04243C08-D900-4FDC-94ED-84DF9697FDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$8DA7B1E2-93AA-49D7-B867-7CF81FB8E505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$7BCB951B-818D-4F23-A9A3-548B3C7CAC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344882$2BF18B84-94FA-4D26-AA95-613D647B7D03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d95ab249359d6841c6b93ac478d3da486dfe5df","datavalue":{"value":"https://doi.org/10.1007/bf00881956","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344882$4A53B599-7F93-4F2F-84F4-77339ECBC77C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18f54323cc0f47f6f9e9d10a21cec2ddcbc9f466","datavalue":{"value":"W1993434661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344882$B84D7581-31FC-4515-91FC-0FF1AAE6FC52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a74742a5a75030bfb4ecd5da6258ee822ad4ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4503905,"id":"Q4503905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3945b64ab7cbe7abf58690dc882223ce3a56b425","datavalue":{"value":{"amount":"+0.8887418508529663","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":"Q1344882$AFFA869A-0CCE-4543-80DD-A87E62350650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9928f918677b9e7992dd1a4fc0e7da744250dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8f021a98a7ec25f81cc69f05b95bbc7085f90d","datavalue":{"value":{"amount":"+0.8488726615905762","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":"Q1344882$5133462B-7325-451F-BA8F-05E35B43C31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750d093e8fb33f817a0b544ea58b5a93ef7660d8","datavalue":{"value":{"entity-type":"item","numeric-id":4524785,"id":"Q4524785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8f021a98a7ec25f81cc69f05b95bbc7085f90d","datavalue":{"value":{"amount":"+0.8488726615905762","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":"Q1344882$C4CC1D65-0AB1-4B0A-97CB-40380D1B3CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333257bc39c11eb1a79332060d273dd4eed5f6ff","datavalue":{"value":{"entity-type":"item","numeric-id":877883,"id":"Q877883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b85c7ac15da4125186f23451d063cf56765f9ca","datavalue":{"value":{"amount":"+0.8318620920181274","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":"Q1344882$83775867-B6A3-414B-B1C0-EE9F1FBDEF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22106a3347722ff447633be5ecd41dc1716c09a","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f34a860a3f890ee42560a8c45aa418f9bc71a3","datavalue":{"value":{"amount":"+0.7270458936691284","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":"Q1344882$B7A403AA-ADBB-4BE4-9839-1A0494C555FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The liberalized \\(\\delta\\)-rule in free variable semantic tableaux","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_liberalized_%5C(%5Cdelta%5C)-rule_in_free_variable_semantic_tableaux"}}}}}