{"entities":{"Q3983938":{"pageid":6013808,"ns":120,"title":"Item:Q3983938","lastrevid":46228117,"modified":"2025-12-24T08:51:53Z","type":"item","id":"Q3983938","labels":{"en":{"language":"en","value":"Semantics-Based Translation Methods for Modal Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 27433"}},"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":"Q3983938$0A7C2745-B33D-411C-A6EE-6F9E62064A39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42c0e3bf0863c8d9c0e1e89026f75b1706c1c814","datavalue":{"value":{"text":"Semantics-Based Translation Methods for Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3983938$AEF736EE-CEA5-4A81-8A04-700EA5980B2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9959b88d33992f1452232b48933bd0e0e342125e","datavalue":{"value":"0746.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983938$1855C98D-2554-48B9-BDEC-84062E9D6320","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3983938$95DED69E-FAF1-4A95-BFF1-D7C3E4D855DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c713e5f1c7de0712bee21fc8c495559015a6cdfc","datavalue":{"value":"https://semanticscholar.org/paper/562835677eb6b69eea3310ce1f81605cbed12046","type":"string"},"datatype":"url"},"type":"statement","id":"Q3983938$A94504AC-E95B-4685-8D0E-F61E1B0BE370","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983938$36CFC806-5DD2-4E50-9CFE-69D555C3D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983938$E8C771FD-1610-4FEA-B2EB-5689581CAAD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e89d6e65f053653da26102ae57d30b2c8b9274ae","datavalue":{"value":"27433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983938$147137B0-25A0-4CC8-9419-9E72B9C525EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983938$1DB9F3C8-E4FD-4C09-AAD9-BFA873E3E961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9914ace600fe82478c3798b2d72eaecf38356bf8","datavalue":{"value":"predicate modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983938$438773C0-4430-4388-B199-0C85B7AA5A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983938$8DDBA139-8CC9-49CF-9DF0-292B1814FAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983938$CD5E5EC4-7D08-4A8F-B978-022B32DDF52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983938$88B55E5D-4815-40D0-B3B1-D37DCB3D0845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983938$5F51CD3D-154B-4527-8A70-E8D20073AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983938$EF6D5A31-C99F-4CE9-9843-116EBF302BE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3983938$B99477B5-3D01-4438-A8A2-7565FFAEE1A1","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":"Q3983938$AE6678FE-3A1E-4500-9C4F-DAD390A60D94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de5b47391e003888ab8b7041800842558891b05a","datavalue":{"value":"W2088374045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983938$E56CCCB8-D998-4386-8778-1371078B0F2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db64f33c27f561ebf8ce480d9004967ce5c37b94","datavalue":{"value":"10.1093/LOGCOM/1.5.691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983938$C7B25DAC-E5CC-44D7-A586-75654158CE6D","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":"Q3983938$60A8686B-67BF-4AD6-BCCD-4CE79644BDEB","rank":"normal"}],"P1643":[{"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":"02af780381611d7c0dfed0ba3400c89b5b5c8d6b","datavalue":{"value":{"amount":"+0.820641279220581","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":"Q3983938$1DACD6DF-BCB2-41CD-8CCF-7140C535EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0bc3db9f544a0d2af7b777694ee79acef8ed47","datavalue":{"value":{"entity-type":"item","numeric-id":4282526,"id":"Q4282526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc8d1465ec06839744642d8dec7359c1b0c0e08","datavalue":{"value":{"amount":"+0.7947703003883362","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":"Q3983938$5D42A522-BADC-4ABB-AD32-A61DCC9AA6C6","rank":"normal"},{"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":"b333bb744fc3873a198ba1f571bd561b9189dfbb","datavalue":{"value":{"amount":"+0.7887767553329468","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":"Q3983938$5D6A744F-E594-48E7-84AC-0EDFD955DABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768ae8d5e6736b0ad8518caad406d2c275b058c2","datavalue":{"value":{"entity-type":"item","numeric-id":3344174,"id":"Q3344174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf1ed25a32fa7dc4deca049b061322dd1e0fc79","datavalue":{"value":{"amount":"+0.7713834047317505","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":"Q3983938$7811E754-63D7-4213-8B84-EEEC19D42630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34590024e296261db3e421cb1e76a7a33f346d9","datavalue":{"value":{"entity-type":"item","numeric-id":4317726,"id":"Q4317726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9fefc37a2ebd6a8d9fa541c622947102220b70","datavalue":{"value":{"amount":"+0.7665970325469971","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":"Q3983938$5A5F950B-2410-4BF7-B2BD-362F006530A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3983938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3983938"}}}}}