{"entities":{"Q3406695":{"pageid":3417398,"ns":120,"title":"Item:Q3406695","lastrevid":80404946,"modified":"2026-05-06T16:07:14Z","type":"item","id":"Q3406695","labels":{"en":{"language":"en","value":"Corrigendum to: ``A new method to obtain termination in backward proof search for modal logic S4''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673427"}},"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":"Q3406695$8832DDC8-FB93-4D4C-ACAD-74891A8E26D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a68e72fd1958a28204c22fcc822873051d8fc29","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":"Q3406695$C1A183E0-EBC9-464A-861E-528E2D59F152","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0c7931fcff12acc958026416df90dc938055870","datavalue":{"value":"1189.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406695$C42C60D4-6B2C-41D1-95F4-7093D394BC5D","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":"Q3406695$43F7FD69-1C5D-4499-B98F-4979FE25B013","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":"Q3406695$A3C28254-0783-49AE-B2D7-7ED838E46C1F","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":"Q3406695$2FA0FEC4-4776-47BE-B0F7-D0A57B2F7D38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406695$812EE90F-970D-4611-A78F-6BCCD96F1FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406695$96461118-551D-4E63-BA9C-E6763E01D0F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d5c46d20396fdf16aba7c8df1520eff4cd42174","datavalue":{"value":"5673427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406695$002306FD-9EBF-404F-9C0F-0912AC46D030","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":"Q3406695$41E89F47-DDCE-47EF-BA80-6C6F3AE3DF77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f82b6f71626e921466afd0c433ca8a1a5eb81980","datavalue":{"value":"https://doi.org/10.1093/logcom/exp051","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406695$3D1B051C-D661-488B-B292-558074C26B97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd4b8689d01bfdb34d452249052e7bff5927651","datavalue":{"value":"W4241785170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406695$D7F52DA0-9DC1-41F7-8782-32F0778B072E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9baf699c9a975c39a454a98bad4f8a578ead0d79","datavalue":{"value":"10.1093/LOGCOM/EXP051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406695$0C6D61E0-FA1B-4542-B540-A5C9F020E87C","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":"Q3406695$9CD71A24-088B-4F96-AE75-3F65DD98D6ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d5e8a05eb40e36f5b96d6c31a0839de77a20d3","datavalue":{"value":{"entity-type":"item","numeric-id":3406694,"id":"Q3406694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d71a2a1b8e8dc69a9aa75ee6e8a76291dbc2a9","datavalue":{"value":{"amount":"+0.8081782460212708","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":"Q3406695$55C285F8-9D5D-44E0-B664-D42A501DB396","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":"52be7340f92f31dd92ddab1331cdc82b554f293f","datavalue":{"value":{"amount":"+0.7968863248825073","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":"Q3406695$91E8E5E2-53C5-458B-83CD-8D96917A07E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ac371955924fc12dbb7624094620692cf627b1","datavalue":{"value":{"entity-type":"item","numeric-id":761443,"id":"Q761443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57920c78bcaa491583c7be2013c77a9f8228c8a2","datavalue":{"value":{"amount":"+0.7854940295219421","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":"Q3406695$24405553-8F01-4198-8317-34C7666E11CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb2447f9bc9046dc91c4d302dcb89150b41f667","datavalue":{"value":{"entity-type":"item","numeric-id":392998,"id":"Q392998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87364195e41b539a942b9e088afabbc8d808003f","datavalue":{"value":{"amount":"+0.7853344082832336","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":"Q3406695$45D37BA2-4C6F-499F-9C44-02752BF71612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23b5b6d2054e37062b9e08e8a669d4cee8688b1","datavalue":{"value":{"entity-type":"item","numeric-id":5688804,"id":"Q5688804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b80e24b063d1785b53b1a6b67346bb015abbadc","datavalue":{"value":{"amount":"+0.7657390236854553","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":"Q3406695$966EA8F5-83A5-4F49-BB2D-A69F74E72BB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Corrigendum to: ``A new method to obtain termination in backward proof search for modal logic S4''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Corrigendum_to:_%60%60A_new_method_to_obtain_termination_in_backward_proof_search_for_modal_logic_S4%27%27"}}}}}