{"entities":{"Q2889571":{"pageid":2900296,"ns":120,"title":"Item:Q2889571","lastrevid":51485219,"modified":"2026-01-18T11:25:28Z","type":"item","id":"Q2889571","labels":{"en":{"language":"en","value":"Unification in modal and description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6043648"}},"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":"Q2889571$2A62AC24-1269-45A6-B374-2F6AB01C99C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b1938a56338c75b56f235699525713aa9aee151","datavalue":{"value":{"text":"Unification in modal and description logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2889571$AD8B6D2B-4813-4A93-877E-99ED28A9717A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03552c065e311ac58b7d5c7501d4f83c1d8873d0","datavalue":{"value":"1258.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$D9744991-B575-42AB-8948-541649EC398D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889571$653407A2-2C7E-4324-8806-40AC42E9047D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889571$404E400D-5096-4D4F-8220-55E725534014","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2889571$A6D8F266-AF02-46D7-89A7-DFB0AEE8FE6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$58FB2B6B-0E75-40A6-BB79-CE815EF10A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$C0799D40-EDDE-46D5-A381-2484C148ED2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$D09083D5-6B51-475B-A27D-70D332537E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$CDEE7B5C-7A43-4C67-8A2A-F5943504E613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"023f42f5baa791cab5c7276a504dad0c659146d5","datavalue":{"value":"6043648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$1737630D-84B5-47AF-AD45-E0150E1E4AAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e21d56a2cbb08326ef2f1514433b8c45fb78e4","datavalue":{"value":"equational unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889571$6FDBFF35-AE53-4714-8FB4-BA0285EC68AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889571$B51A9F75-F84D-41A7-92AD-376063802710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889571$0926C4EB-2521-4D80-9258-4303A0366E38","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":"Q2889571$AD97B663-C362-42CA-B3F9-30963ECA3202","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0153e374c00cce4e03e4d392ccaa4f60729c3c7f","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzq008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2889571$42D89ABE-41DB-4A1B-9AA3-74A7B79B9839","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c303d66631ab6600f6a9b51a20d9e0056ea46eeb","datavalue":{"value":"W2121093145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$3794AFFC-9247-4DB9-B214-6A17572A4F69","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c336e65ad8632345bc4f063b748703f0363b9ee","datavalue":{"value":"Q57383688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$F28FB05E-3078-4A23-AD30-A0559E952B95","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"38cb7fd35b8c7d1e90f30f039f681f1ac6b00524","datavalue":{"value":"journals/igpl/BaaderG11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$4C05488F-90E5-4190-8690-BE6F7534E54D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6a1a2003f4a5ce01a5a42560d14bc7832d71cf8","datavalue":{"value":"10.1093/JIGPAL/JZQ008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889571$C1D4DD5C-91EF-4D98-9FF2-21B2FEA2D284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889571$FDCC1D70-03EC-4256-B88E-79B6BEDE731F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2dd013b761ec444453f56b1f224c42c41917f062","datavalue":{"value":"Unification, i.e. the problem of making given terms syntactically equal by replacing their variables by terms, was originally introduced in automated deduction and term rewriting. In addition to the ``classical'' applications of unification, unification has also turned out to be of interest in other areas.NEWLINENEWLINE In this article the authors consider two closely related, yet different application areas for unification: modal logics and description logics. These areas are closely related since many description logics are just syntactic variants of certain modal logics. Consequently, technical results obtained in one area can be translated to the other. In most cases unification problems in modal logics and in description logics can actually be viewed as unification problems modulo the equational theory that axiomatizes equivalence in the respective logic. The authors explain the connection between description and modal logics. Then they show how unification problems can be viewed as equational unification problems. Some open problem for unification in modal logic is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889571$A9F7D4BB-321B-44CF-88FC-6EA9C75B5CCE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889571$09EF3C70-2081-42B2-8A3C-CB9ADBFD6986","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432b693c2e172689374734f50fcbfadb93deeffa","datavalue":{"value":{"entity-type":"item","numeric-id":5277814,"id":"Q5277814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d456cf35b420ecd551d792909e100b753a7f39","datavalue":{"value":{"amount":"+0.8153387308120728","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":"Q2889571$A7C5A96D-6117-4BE6-BC36-333A72A7A665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492d09f337268bf44ac636f8d31f3ece27552807","datavalue":{"value":{"entity-type":"item","numeric-id":5929707,"id":"Q5929707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332794cc9e3e0bfcebb2026c629f0d8818469fa4","datavalue":{"value":{"amount":"+0.8145702481269836","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":"Q2889571$551DCD49-D764-4522-B24E-C00FAC401038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe64c7d28921d914a138df8135fcc3a1b3e2f145","datavalue":{"value":{"entity-type":"item","numeric-id":4489067,"id":"Q4489067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e1e8de3d83af104e07139f5acd2558e218eebb","datavalue":{"value":{"amount":"+0.7933158874511719","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":"Q2889571$9F3576DD-444B-4C09-8F52-D535C388A434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4812f2fbf9b71399cd19e665d9364005ce30c2","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4544533591eb5808c9147c0b04129624483e90c2","datavalue":{"value":{"amount":"+0.7927274703979492","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":"Q2889571$C965BA7E-8D43-4A6A-81C4-D59A63B97BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee0f539af8276846c53d9184b6c45d64bcffe2b8","datavalue":{"value":{"entity-type":"item","numeric-id":2996164,"id":"Q2996164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317c3f86a8bcea54f7d6e838990a5838f3cfe161","datavalue":{"value":{"amount":"+0.7851845622062683","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":"Q2889571$28D6731C-73AF-428F-AD25-4470D7BEC8EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2889571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2889571"}}}}}