{"entities":{"Q1971794":{"pageid":1982536,"ns":120,"title":"Item:Q1971794","lastrevid":82135163,"modified":"2026-05-06T20:11:11Z","type":"item","id":"Q1971794","labels":{"en":{"language":"en","value":"Best solving modal equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1423280"}},"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":"Q1971794$363D7186-8C78-40DF-A6B6-39265205E423","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83015be047ed2ba7d45d16fdbfc7477bca462ea3","datavalue":{"value":{"text":"Best solving modal equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1971794$D60EE9F7-87DE-4BDF-9E35-FC679ABF4527","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc4bd2537e3fb04f51cd7716a97bec35bc822688","datavalue":{"value":"0949.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$C0484C0F-98B2-408B-B2C8-5E24ED1B0101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab6a3e63aa19f5f3d5b01b12d70ad9977ead3111","datavalue":{"value":"10.1016/S0168-0072(99)00032-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$5252591C-A364-4FFE-A1CC-01A2999938AF","rank":"normal"}],"P16":[{"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":"Q1971794$950A2E3F-7FFB-4628-A3BE-0EA6F4B2D822","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$75CF3F2B-9FD9-4DD6-A3AD-CD81BD789269","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"990752c320d29232b9e0b8025fa1f119d1be577c","datavalue":{"value":{"time":"+2000-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1971794$5151302F-321E-4DB4-86AF-D5A458CC421F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b4852cccff39d8d0ad74bcd268fb28446f2af2a","datavalue":{"value":"Classical propositional calculus enjoys the following property: for every formula \\(A\\), if there is a substitution \\(\\sigma\\), such that \\(\\sigma(A)\\) is provable, then there is ``the best'' substitution with this property. But for other logical calculi, for some modal calculi in particular, this property is not valid.   However in many systems, like K4, S4, S4Grz, GL, etc., there are finitely many ``best substitutions'' for any formula admitting at least a unifier. In other words if an equation is solvable in the free algebra, then there are finitely many ``best solutions''.   The author shows that such solutions can be effectively computed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971794$03A5D9C2-5DA4-46B3-AE09-BF745B20F095","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$083DDF77-E025-4462-9391-ADB46772D060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$E71C0F28-26FE-42FD-9137-3692DD6D4E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$3A50EB05-1EDB-46E7-A775-095D3701C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$A22277EB-FB3E-48DB-92BE-37A737DBE31A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b98aaccb6d79f992a241eff7d11677fea05448d1","datavalue":{"value":"1423280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$F6E8F1B9-A64B-4FDD-AE36-885B3D160A03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971794$981517AC-9A13-49EF-993D-9DB64C40E15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd488957e6565f193db2bea6a9ea9616ae78730","datavalue":{"value":"\\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971794$7A628FFE-BE31-416C-99AF-6917850895FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10f37ab0608b9e40005c7581b7e577b1053f11e1","datavalue":{"value":"equations in free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971794$A69FD9F0-D231-41BC-8A3E-70EBE86E0CD1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"61c0b442bd2404921565fdb66e4bcac7c13f3a5c","datavalue":{"value":"Q56474448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$006F979B-5011-4559-AC2E-BE39D7B5AE59","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":"Q1971794$7DEFD42E-77A7-41C3-9A2B-F2089BDD9D3C","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":"Q1971794$C8B4FBEB-648C-4A97-A5B2-6DA34F13A188","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba406e7f3aac0ee55dd147add9d806535b268eb","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$DC1B753E-FFF1-476A-8E59-351D1EB36ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$B0BCCAFB-9DD9-4CC6-B82B-8722FC64CC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$79C5BC01-831C-4E0D-8127-E52DAD8543C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$9301199F-AEF1-4F06-A43A-BDF76AE7AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$7A97E17C-EB05-4A67-AEE6-54E3DD732C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d004bc791b096d5f460ea55dd47f3931feec9","datavalue":{"value":{"entity-type":"item","numeric-id":3147430,"id":"Q3147430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$C7342E5B-42CE-4754-AD3B-6EFFA15EF54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$AA756E59-3768-48F7-A366-34D9B13D522C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068f86257cce928700def4e23d19fcabc12d9404","datavalue":{"value":{"entity-type":"item","numeric-id":3875898,"id":"Q3875898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$E9D1016D-1697-4FD6-8AB1-7C3CB5CB5912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871979c7f5f894fa361fd2bc427b689835df215d","datavalue":{"value":{"entity-type":"item","numeric-id":1824411,"id":"Q1824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$C94447BA-F0B2-4134-BD42-C8A242A96E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$2E2496F8-ECBC-4FB9-B20B-C2DBD9FEEC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74512d1738c9d1ad87a430c2d90edb232ca525b","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$77DECF40-2F06-479D-9482-F4A7648A7608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bf7b60ffa69e85b236a52322720f62f3667ee9","datavalue":{"value":{"entity-type":"item","numeric-id":920971,"id":"Q920971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$8543996D-E166-46E9-9637-0EF5E841841C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971794$C69C169E-A610-4E2D-ACF8-82D081545812","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82725b7762abe98feffb8cf93fdeff9dba952efd","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(99)00032-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1971794$DD2C967C-15B8-4257-A408-F8F88E696268","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3f7a81a8b73267b9cd165a965d7d43572610905","datavalue":{"value":"W2077847391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$AF405EF9-10D6-48E0-981A-65F7B5C932C1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"dea1722f8a4c4c910f202fd73e466dc2252b8a5b","datavalue":{"value":"journals/apal/Ghilardi00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971794$5EF3311B-3BC9-43AF-8680-BFE4D9FD58CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75334203a19a497988a3a05d2d42a46fd76f9534","datavalue":{"value":{"entity-type":"item","numeric-id":3217752,"id":"Q3217752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63970a3ef6697b9a385c081c97f6583ffc164cf2","datavalue":{"value":{"amount":"+0.8656479","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":"Q1971794$17234D5D-A86E-488B-9440-468CB457F82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505027d536c992cb9684f2b7952fbb2d7bed4cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3123752,"id":"Q3123752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa6416a7cfd39ef4c173dcede560c96e9fb41e3","datavalue":{"value":{"amount":"+0.81893706","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":"Q1971794$B8747EB0-6408-4AD3-AF19-6808017FB814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c45360464a505361f61e5f6c53dbaaf1d9acce","datavalue":{"value":{"entity-type":"item","numeric-id":3204161,"id":"Q3204161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0fe554dbf924e6b004ac3b62bed2f6ec8d4542","datavalue":{"value":{"amount":"+0.81621253","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":"Q1971794$E4EE11AD-70AD-4C79-8B6F-0073BA093F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"effa34965e20aa0312fbb8e36b9fb0403fa5a44c","datavalue":{"value":{"entity-type":"item","numeric-id":3455092,"id":"Q3455092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262a3b20deb296fb5957cf74fcd1596222331bc2","datavalue":{"value":{"amount":"+0.80799776","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":"Q1971794$A928C170-3565-4B8B-8983-BC30222709C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98fd484b0ffce10abf167cd2b63e07e438ced99","datavalue":{"value":{"entity-type":"item","numeric-id":4230005,"id":"Q4230005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe5c5da078d5f9e95573cd2084e2f1e4ba36e0e","datavalue":{"value":{"amount":"+0.79997027","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":"Q1971794$7BC9BAC9-4D4E-4A3B-A341-DA10149F4A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7bf8a8728dd84b3f63d3b7eccd2b19739db88ff","datavalue":{"value":{"entity-type":"item","numeric-id":2842965,"id":"Q2842965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a4b5ca6f4d155a21aa1f2bdd28b485cd0fcfa1","datavalue":{"value":{"amount":"+0.794463","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":"Q1971794$A6030B23-0D71-45F1-ADB0-0DDB1A3589A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8630131e1cb9e785360be7f360d253da0c389148","datavalue":{"value":{"entity-type":"item","numeric-id":679569,"id":"Q679569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658da0b7a8ad8095d2584b67456d9283e03dcc57","datavalue":{"value":{"amount":"+0.79193324","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":"Q1971794$8E328CE1-1586-4DB9-9DC4-B6627038F22B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Best solving modal equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Best_solving_modal_equations"}}}}}