{"entities":{"Q4317726":{"pageid":6347327,"ns":120,"title":"Item:Q4317726","lastrevid":81683033,"modified":"2026-05-06T19:06:23Z","type":"item","id":"Q4317726","labels":{"en":{"language":"en","value":"On an automated translation of modal proof rules into formulas of the classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 704952"}},"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":"Q4317726$44016236-4B45-493B-BE16-3198E0A35BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ee7f4708a61de0cacdc7ea0fc577f2d994f1603","datavalue":{"value":{"text":"On an automated translation of modal proof rules into formulas of the classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4317726$2A8B85EB-6901-4DE9-8D41-2BC9463D6179","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20ec6fc7a9e764cc3b19587e47caa134d82691e9","datavalue":{"value":"0809.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317726$C57C5A80-BD97-40B6-98A1-4C3E73C6C375","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f73b0e73c2be55695f626c9d0ddd0d3698aba6e5","datavalue":{"value":"10.1080/11663081.1994.10510828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317726$CC7F7F3A-3C43-4D91-929F-4E2DC2899553","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317726$DB69ADBB-A5BE-4627-BDE7-CB01A9149FC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317726$B4B8F157-AC35-4A03-8429-D34E2DFA4F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89a5af496da52109cb9fd8ee43aa6e112a9ba241","datavalue":{"value":{"time":"+1994-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4317726$345AE8DB-C1B1-48F6-9BEC-12367BC95D2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317726$CD86BFC7-DA6C-4FA0-9551-A113764413A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317726$58A29D3E-79E0-4BC9-AC3C-6EF08DACEB54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3964be21be7b057bb588f35fa5483a73f5eb764e","datavalue":{"value":"704952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317726$B25BADB4-D0C8-4B33-921D-6341CB5CDCCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317726$6AC1CF06-85C9-4E52-A9C0-F1CCF2E629E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317726$FA156056-50E2-4430-93DF-90F9D7AA78FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317726$2530FDA2-6961-4D87-906E-962CDA482710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514de4548572bb119dc64a654737afb062884505","datavalue":{"value":"modal proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317726$57E91DDD-956D-4E1A-90DC-2641A992826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4317726$0DDF1E50-013E-45A5-9B83-BE0A7B082558","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":"Q4317726$0D473B2A-8016-4594-884E-561839FAFDA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a3b2ff4be11b298ea37436ec063dd497d4a7954","datavalue":{"value":"https://doi.org/10.1080/11663081.1994.10510828","type":"string"},"datatype":"url"},"type":"statement","id":"Q4317726$A61658CA-E71B-419C-B22B-255C908C909F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8d5f2410aa4473efed02a789e74c3d9d7738df9","datavalue":{"value":"W2002595895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4317726$CE67C343-82E1-4668-AC65-08EE09DEB391","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317726$FC38C6B5-C022-4652-9FC4-F728318E34F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d9e066f5037e80987074e3ac3bd1c61452ed2a","datavalue":{"value":{"entity-type":"item","numeric-id":5607988,"id":"Q5607988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317726$04BC4F15-FF32-43B0-BAAF-97A3A83A021F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e98956eb0e9a29848be95bf5e3ba04cf2505e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4286209,"id":"Q4286209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4317726$EB7533F6-BAC8-417D-B416-1C7A3822611C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914bfeb26c538e2778a70c32e0607b78e66e4f48","datavalue":{"value":{"entity-type":"item","numeric-id":4286209,"id":"Q4286209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c738547d73aaa78bd60fdf5bf14c4e8459b8f789","datavalue":{"value":{"amount":"+0.8604419827461243","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":"Q4317726$BCE7E108-CF5B-44B7-9989-1D85BB2CE913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1a2c4792d537cd358d40c69db6fc45a56b8cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4291871,"id":"Q4291871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb51a74b83d31d9025e0e9d8583af0b7927ae7c2","datavalue":{"value":{"amount":"+0.8062596321105957","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":"Q4317726$B3E6E4CB-32DA-43F1-A711-7F4477A39941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c353326a7014fdb6567a392652546507c33ab0","datavalue":{"value":{"entity-type":"item","numeric-id":687153,"id":"Q687153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c3ab42346126c3d338570dadff343db78552c2","datavalue":{"value":{"amount":"+0.791924238204956","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":"Q4317726$29D49A3B-E536-4B0F-BC20-5E2D23F0E8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f14ecdc046b0d229e320e01a191ddd54d8eeb17","datavalue":{"value":{"entity-type":"item","numeric-id":4650293,"id":"Q4650293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2207d7fc78dc868578352603d6ebae6b7338f9","datavalue":{"value":{"amount":"+0.7914430499076843","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":"Q4317726$BF965BF8-1058-401A-8018-2D8C32925397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c920ed85419125dfdb595a601c3e525a0405742d","datavalue":{"value":{"entity-type":"item","numeric-id":4924965,"id":"Q4924965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137c99a6a4bdd5d1a0232e0f554383b55dd04cd3","datavalue":{"value":{"amount":"+0.7754598259925842","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":"Q4317726$32EB9235-9F86-476F-B4CE-82E98FAA2D42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an automated translation of modal proof rules into formulas of the classical logic","badges":[]}}}}}