{"entities":{"Q2266003":{"pageid":2276746,"ns":120,"title":"Item:Q2266003","lastrevid":71718189,"modified":"2026-04-14T00:05:26Z","type":"item","id":"Q2266003","labels":{"en":{"language":"en","value":"Trees and finite satisfiability: proof of a conjecture of Burgess"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3893166"}},"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":"Q2266003$D0FB65A0-7115-49CC-8725-9800657C02CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0249a3bac4dbc1e3b942601efaad5837936e47cd","datavalue":{"value":{"text":"Trees and finite satisfiability: proof of a conjecture of Burgess","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266003$E8D247C4-B60F-4FF1-A0EC-6B8BA30E4B92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4ba65adf2ac965f331e4cfff0ce13b8d07c5bdb","datavalue":{"value":"0561.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266003$D7B75196-ECC9-44C3-A8C1-1BBC29EEB658","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266003$C97DF1F5-2EE9-4E2F-B2D7-D3D26AF545BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266003$F6A6CBF4-B608-4628-9816-48D85FDAA07C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q2266003$DA25D971-99F7-40AC-AFEB-A07B32359F12","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d72f0501f63a7f6d80e06bfe6f7e8335ff21aca","datavalue":{"value":"The standard method of trees (e.g. Jeffrey) does not provide an effective method for demonstrating the finite satisfiability of an arbitrary finitely satisfiable sentence. However, that method may be modified as follows. For the rule of existential instantiation (EI), substitute the rule new EI: if \\(\\exists xFx\\) occurs on a branch, bifurcate into \\(n+1\\) branches \\(F(b_ 1)\\), \\(F(b_ 2)\\),..., \\(F(b_ n)\\), F(a), where \\(b_ 1,...,b_ n\\) are the constants already occurring on that branch, and a is a constant not occurring on that branch. A branch is finished if no more rules apply to it, and open if no sentence and its negation occur on it. It can be shown that if a tree generated by a sentence A is finite, finished and open then A is finitely satisfiable. Burgess has conjectured that any finitely satisfiable sentence can be shown to be so by this method. This paper proves the conjecture by proving that if A is finitely satisfiable, then some branch on a tree generated from A by the new method is finite, finished and open. Note that in the diagram p. 195, the second Raa should be Rba.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266003$003EF83B-7060-4962-8A4C-28320ED81828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266003$C28849B7-385E-4AF4-BEFC-9404724799FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266003$25C4CD32-E8D7-46F6-A088-E5943C85A8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266003$DD618B72-7AC8-427C-9E07-79BF98E13D85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"441f0353ea9b62f048b3b8555a6ef2d04a07065c","datavalue":{"value":"3893166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266003$E3F2951D-CC3F-4D0F-B2DC-6CF3E58C3979","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266003$8DA98620-3398-42CF-8DB9-6F1E9D45BE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ef97c440d93dc04ecec106dcb608da8f95f7ea6","datavalue":{"value":"method of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266003$2515E938-6344-45A2-B716-82AAE3962536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266003$05D79087-8B29-40F3-939E-21BA6BA9FF72","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":"Q2266003$D20CF038-31D4-43A8-A780-41C15D8021AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c29f4138634bf4210c69e1d717c026c2fcc455eb","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870624","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266003$4E3807F4-DB0C-4158-8BE2-146AB88FE871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"848a48bdc9b2a18174e90d4890cec142f4599f54","datavalue":{"value":"W2039142144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266003$F4E16084-CB10-4E51-85F3-FF14B2DF5D0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7343556545a89342e0206037f27edd26e94f467e","datavalue":{"value":"Q122939431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266003$44B7E692-556B-473F-836F-3B4870B929F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb64661c062780266e85f67d9f674e28199571a","datavalue":{"value":"10.1305/NDJFL/1093870624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266003$19A3823D-D260-4483-87BF-C2A522AD43A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2585acd5f3fcbf75b97a38ddc360250887282e27","datavalue":{"value":{"entity-type":"item","numeric-id":2981086,"id":"Q2981086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e366e825da6bc89da3ebfb3d2cee074918abfce","datavalue":{"value":{"amount":"+0.89700806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$B6BAF7B8-CD99-454A-ADC9-8EBE3C7293AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c10cbbebad615b4634682c8c81e26acfb8c7ec","datavalue":{"value":{"entity-type":"item","numeric-id":3199414,"id":"Q3199414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e20077204d5cdb508c187845303a9db3800368","datavalue":{"value":{"amount":"+0.89579177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$075538C7-CD19-4DE0-9788-9F758FDA0C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1e7620ae58656fec01e58c4714022d1cda1c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1098832,"id":"Q1098832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710507170989d29de129440910d6035ffbf7e87b","datavalue":{"value":{"amount":"+0.8955131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$D7C2345B-2C08-49E8-A824-D85A7D279FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39ac0c09154fae018087eb260062b21d4cb0ae9","datavalue":{"value":{"entity-type":"item","numeric-id":2277448,"id":"Q2277448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43287b73ef2221acd890fc1e80588d5667c16d0f","datavalue":{"value":{"amount":"+0.88302916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$298DE0B7-88A5-4097-B72C-2DFAECD04F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e86a356e7af129cb8494580f1044ca91d6232ad","datavalue":{"value":{"entity-type":"item","numeric-id":6483555,"id":"Q6483555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30608beca163268ebbec4adc95f055ca0f7de62","datavalue":{"value":{"amount":"+0.8813043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$6FAE7FF6-5CE0-4402-A16B-B3F4F7D1AA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce12468ca3690b8986f2f1468077a8950b34116","datavalue":{"value":{"entity-type":"item","numeric-id":1903080,"id":"Q1903080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207dae5a0c19f0a0a94af0f5fc2fcb6b666ae10e","datavalue":{"value":{"amount":"+0.8791831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$8E51083B-4CD4-4E5A-8725-6613C3BD7275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57552eb47a5356f414c5d180a32dcfd5592b0015","datavalue":{"value":{"entity-type":"item","numeric-id":5428868,"id":"Q5428868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bbda09bfc731ec8d79835cf0d4096a060714ea","datavalue":{"value":{"amount":"+0.8749534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$243B63B8-FE71-45DD-8AD9-B10955927097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80bea9df3a3159ac8095038a3c58ac8df3b33cf","datavalue":{"value":{"entity-type":"item","numeric-id":1854693,"id":"Q1854693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd393e2e59b21172839ccc2a0ed3068207f4c58","datavalue":{"value":{"amount":"+0.87325764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$08DAF330-3A42-43B6-B33F-AEB87242AB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70976d17168dc5f0f4226a67e8a9563827eae7d6","datavalue":{"value":{"entity-type":"item","numeric-id":4934251,"id":"Q4934251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a4c148111ce5c8f247d75842a4d9b725762822","datavalue":{"value":{"amount":"+0.8731036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$01D9083C-C78A-438D-AC37-B9A77B1BC5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc7791c0a1cdb2c664a7e9eabe89300aa9b9489","datavalue":{"value":{"entity-type":"item","numeric-id":5428307,"id":"Q5428307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e1a53e35f79b0fc24daac766fc4191e8d43df9","datavalue":{"value":{"amount":"+0.8727414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2266003$B5120C67-7B2B-49BC-837C-55D85F60D798","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trees and finite satisfiability: proof of a conjecture of Burgess","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Trees_and_finite_satisfiability:_proof_of_a_conjecture_of_Burgess"}}}}}