{"entities":{"Q1346245":{"pageid":1356984,"ns":120,"title":"Item:Q1346245","lastrevid":47312272,"modified":"2026-01-01T07:59:51Z","type":"item","id":"Q1346245","labels":{"en":{"language":"en","value":"An algebraic theory of normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736432"}},"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":"Q1346245$57C5CD0B-C2F3-4DA5-9F0B-A86487DB572A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42fe7025e78e9f72887d0fa91c4dd54cbe124808","datavalue":{"value":{"text":"An algebraic theory of normal forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346245$9FACFEAA-B6A4-441F-8D2C-A80E0EF0FA47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a7eeb40fbddb575eca4ef73264b2d40d9e2cf5a","datavalue":{"value":"0815.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346245$2F8F3E68-A5FA-4B9B-8AB9-BE6AA1AEC7FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38a732054a649233f2dbd99bce112cd4f70390af","datavalue":{"value":"10.1016/0168-0072(93)E0084-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346245$92B294E7-3784-4C76-A0E4-CFC1E791EFC8","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":"Q1346245$8850C450-E008-44A8-B3DC-3C58232F771C","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":"Q1346245$AC3CD22D-47D0-4B3D-ABE6-5D963FA377D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63363922c803e5bf02b091d219b37a0b52aee2e3","datavalue":{"value":{"time":"+1995-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346245$0D124C1B-07FC-4E1B-9726-3D123DD85758","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a01c3f28c4cbd03d434514576c4c44176b5adaa","datavalue":{"value":"Based on \\textit{E. J. Dubuc's} [J. Algebra 29, 208-228 (1974; Zbl 0291.18010)] free monoid construction, the author gives a general theory of normal forms, which is then applied to propositional modal logics. The author's conception of normal forms as labelled trees and forests was already implicit in \\textit{K. Fine's} paper [Notre Dame J. Formal Logic 16, 229-237 (1975; Zbl 0298.02015)]. The prerequisites are minimal; the reader is only required to be familiar with the standard techniques of algebraic logic and the basic facts about adjoint functors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346245$00856C71-91E5-40B6-805B-5EB2231DC809","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$F3B14FD1-D436-4EF4-918A-6F99C1E7F6BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346245$27179A35-31F3-4ADF-942B-74372E0E074A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346245$2A1720B0-89E4-424B-9274-2242BF79A6DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"135494f8515a17822a64b7fe8f4a9ef957b0e6c6","datavalue":{"value":"736432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346245$CD3372DE-D8F9-4D85-A9EF-C43BF5216DF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346245$C1170831-9D97-48AD-88A5-0CD467D7BE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346245$1D369CDE-9474-40DA-A24B-68188CC44F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99fa8cf9d032af3663e989c644ec9e4bfd5f74e3","datavalue":{"value":"labelled trees and forests","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346245$143EE031-DB06-4947-AE62-F4D20F7E7C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debf058b359dcdec135485e31794d733be972fe8","datavalue":{"value":"adjoint functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346245$F0016CC3-02F6-4CD0-9104-F77DAE050274","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":"Q1346245$B93FE487-6162-4D3D-BC4E-C59CC95BB629","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$3AB8040B-2C74-4AA6-ABF4-F83C3BBF5539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$80949120-25AE-4CE0-A40D-6E4922935DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94afd7ee02ebdfdd91a84035b6641cb20928663f","datavalue":{"value":{"entity-type":"item","numeric-id":5187282,"id":"Q5187282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$BE3B1E31-AFF5-4B04-A39A-021DEE4BC94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a189d0ae1994b31deed8192ab50ffe71fe6bd2a1","datavalue":{"value":{"entity-type":"item","numeric-id":1063013,"id":"Q1063013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$715AB626-5565-4791-9DA6-B352D4652E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b420a628720114a41cc60ae0a5080d2edfcf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":4198505,"id":"Q4198505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$90C05E0D-47E8-4109-A4DB-23D5300309E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc01a7c1d4284c0d8396b974fad821755307f3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1211109,"id":"Q1211109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$8EA5A5AB-4F51-494D-BFB3-1339631705BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$132F1593-4B1E-4905-A258-6385DCAB679E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65caf7669c7351926ef7737dc221b9aef57f412c","datavalue":{"value":{"entity-type":"item","numeric-id":4277651,"id":"Q4277651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$66EF9EF7-2A97-4EA5-9FDB-43CD9CFED65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e80e2a603e8868f47b5bc8440aa302e5f8a50e","datavalue":{"value":{"entity-type":"item","numeric-id":3804674,"id":"Q3804674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$6D3CF586-7ED0-4A69-BCA1-7D347A87EFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336b3ce90c4deb9f6127a52a430d218ebd8c1f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4858826,"id":"Q4858826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$EECBA9F4-76CB-4831-AB06-136435296072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aecf4101b3462feb246a2deaded5fee1f7e9f637","datavalue":{"value":{"entity-type":"item","numeric-id":749521,"id":"Q749521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$7BE213CC-7026-4FBE-AB1F-1BEBB9ED2D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$40DED371-6232-4268-9B75-7E45C49E0DBD","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":"Q1346245$635E52B6-CE39-4DAF-BCDB-5FCA3654CDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$54C285C7-5E3D-4114-8C9E-7CF3B8705B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$C57AD501-8F7C-4896-98F8-5F4B6C14A35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$4C093CAF-BC92-4F49-99D7-C0359414D859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$BAB383FC-842C-43D9-872D-3172AD80DC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2175710971e93f48aced0d36264d93f4d020cee","datavalue":{"value":{"entity-type":"item","numeric-id":2538520,"id":"Q2538520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$75B0C8F4-66E9-43CB-A439-DDBEC7AF522E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bf4f50d9e047552a1b8d23a5314c1af075964","datavalue":{"value":{"entity-type":"item","numeric-id":3875897,"id":"Q3875897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$9EBAE48E-5676-49D9-ABD1-557B20A1AD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$A14F7087-FFDD-41A6-B81F-08BDAACAAF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$7FC64162-FF8E-46E8-BA68-D9D9B4FFF461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$D7C6A406-62ED-4E1C-918F-8AF505F8E8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$73796867-17E4-4B2E-9294-C2AF70F25A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df483b15cad4b0f21fbe5ef1b2ce51714071ee1f","datavalue":{"value":{"entity-type":"item","numeric-id":4198475,"id":"Q4198475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$7E17281E-70AF-4A2B-B5B6-E51E3B9597CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6842583d9af58bf68011ead487663f5300cc9a","datavalue":{"value":{"entity-type":"item","numeric-id":4141211,"id":"Q4141211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$0B121339-6D17-4EC0-ABF7-E93B7BC6CBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c131d345cd95de94bf0cb9210c398de13e33e","datavalue":{"value":{"entity-type":"item","numeric-id":2264689,"id":"Q2264689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$0212106A-2DAA-4CC3-9D01-A5D7F675F2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346245$390E6BAE-7688-48E4-8E27-E9933C7DE733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a15071138a3b4fda96f6bd56150be5e8b43b87","datavalue":{"value":{"entity-type":"item","numeric-id":3612489,"id":"Q3612489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b9584827c4f8d7cf56ce2811524193877067cf","datavalue":{"value":{"amount":"+0.7988529801368713","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":"Q1346245$0D652076-6D9D-4C9B-8239-C4F7435FDDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c599caf01e5abee016c0ed4cd58a814d9b0a546","datavalue":{"value":{"entity-type":"item","numeric-id":4607851,"id":"Q4607851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168d9a1c8489492e19e301e4afc113281a5a7af5","datavalue":{"value":{"amount":"+0.7631157636642456","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":"Q1346245$19F4FA67-3650-4919-B920-231CEC7B9DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25bc54f7a345db18f25bc82f52d939c281529c2","datavalue":{"value":{"entity-type":"item","numeric-id":4724632,"id":"Q4724632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3cd1e9503a4541c81400f5ee4b78afa498c05c","datavalue":{"value":{"amount":"+0.7447827458381653","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":"Q1346245$3B64EA50-26BF-40DD-B0EA-5C74DE581932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4cf94f39c60459d6a7afece230ccdf72da9345","datavalue":{"value":{"entity-type":"item","numeric-id":2752418,"id":"Q2752418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c21bd2879e7d36a1b12c16cb876a995b38b0b01","datavalue":{"value":{"amount":"+0.742662250995636","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":"Q1346245$F2E1F04D-A09A-47AB-A9A7-92AAC77C6CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e665e0d746581cc396e409451eb02ea64a9ba4aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853455,"id":"Q1853455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c21bd2879e7d36a1b12c16cb876a995b38b0b01","datavalue":{"value":{"amount":"+0.742662250995636","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":"Q1346245$09C0423F-53C2-4D06-8BDA-DEFC7B93B430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1346245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1346245"}}}}}