{"entities":{"Q2855643":{"pageid":2866363,"ns":120,"title":"Item:Q2855643","lastrevid":58037046,"modified":"2026-04-03T13:32:12Z","type":"item","id":"Q2855643","labels":{"en":{"language":"en","value":"An equational metalogic for monadic equational systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220369"}},"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":"Q2855643$6EB5FA78-C66E-488C-8411-EF9708F804AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"905044ddb0aa8f00dbc5fd89c30d177f59fd4a4d","datavalue":{"value":"1287.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855643$91D6628A-F339-46FF-B8D7-DBDA927DC78C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bcfbb5ee16d2a7ab6c44dcb73548f4d40646813","datavalue":{"value":{"time":"+2013-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2855643$C18D4BFD-3547-46D7-A4A4-E5C285481257","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16bc60ce73faea46d2a4ada97bd7e3aa6e230e72","datavalue":{"value":"https://arxiv.org/abs/1309.4821","type":"string"},"datatype":"url"},"type":"statement","id":"Q2855643$8D50B4D3-93CB-4DB6-BE53-226B576ACEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f57066fb95b4a0641f2ee2be32626aa213b887f1","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/27/18/27-18abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2855643$F4CB3074-7986-4A5E-92A5-DBCD709EE3B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855643$F2DC9B5E-C300-4333-ACD1-7B74C06CF278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855643$5B01E6E3-FB6A-47ED-9A8E-5E6493050A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855643$45B473FA-5CE6-4D1A-853C-89DA79BEEEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855643$F33EFC2D-6D31-425C-BA84-C5C97B9DB972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cc94c1a8073783531f7948bebffd6b9ee2f48f1","datavalue":{"value":"6220369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855643$A786C97B-BD86-4F83-8EF1-2955D120E5B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f433611e145be6c2b7b636137e403df25cb123","datavalue":{"value":"monoidal action","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$07D8AC5B-8A85-4509-BB3C-2E12814C739B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32b598e930e7f8c583f15f18be1bca81bfe1891","datavalue":{"value":"strong monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$65922331-C8B2-4601-AD23-F5827C795112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"822dbb9d438254b54448d73e4f4c5ed20967ad73","datavalue":{"value":"double dualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$F30DEC9A-2F0D-44D1-BAE5-A59EA8B9211F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da3bf55ed09dd3352254fc379263d1036de1ca9d","datavalue":{"value":"equational presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$F0E37C90-B9C3-4E58-A79E-1BCDFFE4EBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$EA29A3BE-2C8C-48B3-8C35-A4CB8C8C664F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$8AFC553E-6479-464D-B011-60E674A1458B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$C4351DB7-DBDD-4AE6-94F4-D7E6D1D8EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$020CB650-3552-4B06-89D0-C08DBE6CB8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8567cd5492ad87b3b28dc081b20ae3d7f12ea95","datavalue":{"value":"enriched universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$1EA8A58D-CE92-4991-AF3D-FACD6C5B35D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553e14366c54d9db0ad522a2cdbfda686a97c413","datavalue":{"value":"monadic equational system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$501059E0-223C-441B-847F-68081E3D6D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0bc88b7214a1fa8d8e57f50c80c513b8db8c542","datavalue":{"value":"enriched monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$4A207B90-C0D4-4C52-9CF2-00836FABC4B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855643$D0B45B51-3E72-480B-AD63-125EB5F04B04","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":"Q2855643$0A101302-6F54-4904-9B86-CBC111194B95","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"3574f3208fca651c3cfecef5694732b4e0b65970","datavalue":{"value":"bafkreiaaxkzrzdhlodqilixctpzmvje7d3k34l6xdhe2zhwxqwa7odizwu","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2855643$BF9254CC-A359-40C7-95BE-CC65A51181FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0baadce94e33045e1554d8e75452c29f55a67f77","datavalue":{"value":{"entity-type":"item","numeric-id":2765372,"id":"Q2765372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9101d0c3e48d775ab0a89a3ed2eba0b2cc95c6","datavalue":{"value":{"amount":"+0.905233","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":"Q2855643$801ED8F9-F62E-4A9E-BFD6-1CD63C526A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b40f633ecc8fc46cadb369d77dd60cd23087ed","datavalue":{"value":{"entity-type":"item","numeric-id":3527285,"id":"Q3527285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e31d230e7ea5f66e8315fc5465851b36c299c1","datavalue":{"value":{"amount":"+0.8867085","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":"Q2855643$ADE38D9D-71D8-48F5-A18E-C681F87A64DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d832f61fe68b265a93c6b9da6912885aa4c38682","datavalue":{"value":{"entity-type":"item","numeric-id":6109209,"id":"Q6109209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123327db9b9134f1012bf2ba3b9423fca51cdd54","datavalue":{"value":{"amount":"+0.88498956","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":"Q2855643$422ED4BF-FF85-4555-B5AD-737F9B9D971C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37606ff70932a9570760ab69cba902c0d3f1ea31","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7e594f5807161dad81c0444f1cb65a4a9f5959","datavalue":{"value":{"amount":"+0.88173527","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":"Q2855643$42479CAB-584B-427A-9303-75E8736D3A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52285143755f97bcd0be6c4bea6cf6225313daa","datavalue":{"value":{"entity-type":"item","numeric-id":4284258,"id":"Q4284258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e587325e9c3c04994012e2c036c68cb503a6e2e8","datavalue":{"value":{"amount":"+0.8811832","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":"Q2855643$F73D577F-F6DE-4869-B752-48918397C51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f89d5e5197ff49e1c9859d79d9e6570cadb6b4e1","datavalue":{"value":{"entity-type":"item","numeric-id":843613,"id":"Q843613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9fdbc857f76a104a5e0336d80a5510acf4d99b","datavalue":{"value":{"amount":"+0.8802499","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":"Q2855643$9D817E8A-E1D9-40E0-8492-C50CFA17299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bb44fbbc436ddf3e8ae92ebb5b18d5300edfa8","datavalue":{"value":{"entity-type":"item","numeric-id":5044871,"id":"Q5044871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de24b2b38d09b2fd2a0b4d72f16b9b5e6943532a","datavalue":{"value":{"amount":"+0.8761401","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":"Q2855643$C71483EA-6D83-48E9-B832-62E8826860CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cec12ea812fc915995ad17ad030df9aa80b7a63","datavalue":{"value":{"entity-type":"item","numeric-id":934894,"id":"Q934894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697c813193564782463e01cc3bf33a4bcc682074","datavalue":{"value":{"amount":"+0.8755918","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":"Q2855643$365965F2-AFB5-4E3A-8C59-90ACE7A39E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f04472a991dbfb6846b453982b53dfa71801d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5055883,"id":"Q5055883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affd8288fed175b255c770afcf0fa455eca59131","datavalue":{"value":{"amount":"+0.8749895","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":"Q2855643$A4716788-E324-4B6E-B59F-72939E08E7A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f75fc110a8c716513f433965c9bbd68ec05879b3","datavalue":{"value":{"text":"An equational metalogic for monadic equational systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2855643$E100A35D-AB67-4476-985F-6F0610CFA741","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855643$DCA84A35-20F7-4491-ABDE-64F39DEA4F8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68c3c200724baf36836077dc51d371ef01a5470c","datavalue":{"value":"The paper contributes to enriched universal algebra by introducing monadic equational systems as a general notion of equational presentation applicable to algebras over an enriched monad. Possible applications include nominal and second-order equational theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2855643$4FF5AAA4-FB23-42AE-9A3B-C54B2CFBB4D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2855643$B966E1DF-B698-478D-BBB5-F330791C30C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2855643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2855643"}}}}}