{"entities":{"Q3406694":{"pageid":3417397,"ns":120,"title":"Item:Q3406694","lastrevid":80404937,"modified":"2026-05-06T16:07:14Z","type":"item","id":"Q3406694","labels":{"en":{"language":"en","value":"A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673426"}},"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":"Q3406694$3F430705-E164-4F8C-9668-1C8D1F6B454C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dede71057c9013108348eb3bae05b371379ba07f","datavalue":{"value":{"text":"A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406694$187B91FE-9042-4CF4-B86D-2C5125B9013F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbcc8f2628c0e6298ae0098b408a92efad6bfe67","datavalue":{"value":"1189.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406694$A66C9E87-E55C-4EAE-9F34-09D15E1795CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406694$E6F099B8-8E8C-4349-BBA5-6953AE8A670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406694$88A6729C-DFE9-4B23-9FF0-EF29A72BFEB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406694$B0E84380-1ABA-4BCC-8433-69CB78DF6F11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406694$7F54072C-698C-4A48-88FF-EACCF4F16DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406694$C1FF3688-C285-4E32-B191-387F92B3DF2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74d7132f80a1029e69a1bb7ca1e6aa6f74779eb7","datavalue":{"value":"5673426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406694$D3E31D76-6800-4211-89FD-976A94A6B530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406694$5401B427-092D-4D50-91DE-2CA440AAD64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406694$131D19C7-C783-4250-B94D-EF3AFC31E6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406694$22941D70-CD9C-4E28-BAF7-B9B58709FC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a82f26ba2b19ac9120430375dfc004d6536848","datavalue":{"value":"backward proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406694$26A02F50-5FE7-494A-8990-3CB763893005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397f989e5d485eb031a38cbc1f2f376c760976c2","datavalue":{"value":"loop check","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406694$F9A7ED39-0503-4FCE-A1F2-08BF2910271E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406694$2440A096-BF48-475C-849B-63F062935558","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":"Q3406694$6537ED23-4D81-4A2F-AA6E-6AC0824728AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b71cb9cf5b737b0b54c813f662a25423e8007c52","datavalue":{"value":"https://doi.org/10.1093/logcom/exn071","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406694$14401759-AEFF-4DC9-B06F-2B808BC9BB3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55fd9871e304be0f8540b24f84e9ef34f9346335","datavalue":{"value":"W1967844876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406694$375ED8B0-C08E-4FFE-9CEB-01F60FD5195A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"828b8468bcf1c8fc39fbff2efcf1a77623a82139","datavalue":{"value":"10.1093/LOGCOM/EXN071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406694$E4E0C5A8-4B08-45B3-90A3-B5B8EC2C2D57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1309b394aeb49b4009e41cd5bfa02b4d6b3f0d","datavalue":{"value":{"entity-type":"item","numeric-id":3406695,"id":"Q3406695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48e8679278340eae7e7e704f3b4125bb25515dc","datavalue":{"value":{"amount":"+0.9353031","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":"Q3406694$C5E499F5-994C-423A-A94B-670B08D1E001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0346cb07c892f61a7f5b431ff4ebc45d81b80c","datavalue":{"value":{"entity-type":"item","numeric-id":3410675,"id":"Q3410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff614b67010d71f15cfc056c26239c9cbe7b7813","datavalue":{"value":{"amount":"+0.8650741","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":"Q3406694$C66FB7EA-7A12-4E70-A22E-977AF13286D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ba324036b93d31f414e485680d2f45b54ecb40","datavalue":{"value":{"entity-type":"item","numeric-id":5176550,"id":"Q5176550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2e234793d9518259bd371100d24268332e34d7","datavalue":{"value":{"amount":"+0.86064065","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":"Q3406694$3EDCA51C-CCB0-45D3-A238-26A92EA4CF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdccb60edd7fbd049f5b45acc3370b9d17ab1f5f","datavalue":{"value":{"entity-type":"item","numeric-id":3184509,"id":"Q3184509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62004c0f379616099593121d2a7c42b1b908f1a","datavalue":{"value":{"amount":"+0.8574954","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":"Q3406694$E2DB148E-F3F0-46F7-B2AA-E534951EA63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a31c801e93ceb344544bd9134806de981b021","datavalue":{"value":{"entity-type":"item","numeric-id":4798640,"id":"Q4798640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600b0f00eb0cdcbebaf7fbc8266b5715871dcd16","datavalue":{"value":{"amount":"+0.8464937","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":"Q3406694$9E49B479-9D1A-409B-8E87-5B8A94D38B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcce8ece0bc881a6adb213fe2643a1bfe9ee3bec","datavalue":{"value":{"entity-type":"item","numeric-id":4306397,"id":"Q4306397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90046979e9e49427b81844828bc9d076a0fae3f","datavalue":{"value":{"amount":"+0.843997","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":"Q3406694$D36F9E10-B178-49A9-8844-D720D6E0DC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c4ee03ab73976024ddd0b1e9e38adc318e6e75","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759a9977786f9512e65aab8bbec01ce2252be998","datavalue":{"value":{"amount":"+0.84339076","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":"Q3406694$DD1FFB4E-AE87-47DD-BB8F-30DBB0A39E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9bec9707cb53f2e71347f1296911adc5e5abab","datavalue":{"value":{"entity-type":"item","numeric-id":752686,"id":"Q752686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c616a7ae28e17d0c6ca7d1ae6bd57db37afe09ed","datavalue":{"value":{"amount":"+0.8429762","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":"Q3406694$FF1C7969-5A61-4B89-9D7B-0E6AC0594D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a791f7386848fdb80ce8b033cdff7f9e78e252","datavalue":{"value":{"entity-type":"item","numeric-id":4204132,"id":"Q4204132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c616a7ae28e17d0c6ca7d1ae6bd57db37afe09ed","datavalue":{"value":{"amount":"+0.8429762","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":"Q3406694$29273E09-8B08-4858-8D56-62313F0803D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2751303f41de905323f2f508e585e7ff39a5ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb01d12616ae2934555d2e6bc608761a6523c54c","datavalue":{"value":{"amount":"+0.8421656","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":"Q3406694$B9CAFFFD-8355-4A42-B681-0EB756F4085E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406694$24EF296E-DA3D-4EC9-B5DB-322890069A55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4","badges":[]}}}}}