{"entities":{"Q979076":{"pageid":980924,"ns":120,"title":"Item:Q979076","lastrevid":65925777,"modified":"2026-04-12T06:19:06Z","type":"item","id":"Q979076","labels":{"en":{"language":"en","value":"Is observational congruence on \\(\\mu \\)-expressions axiomatisable in equational Horn logic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5726617"}},"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":"Q979076$0297849F-D9B0-4AFD-8563-FC839819B51B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38280e5dfaf60ec306cf15300bd93cffc2fb52f1","datavalue":{"value":{"text":"Is observational congruence on \\(\\mu \\)-expressions axiomatisable in equational Horn logic?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q979076$0EC8B4F3-4782-4F53-9597-4E4645496CC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04e084ee8db0bfbf67e3f85b99510936f4882b43","datavalue":{"value":"1205.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979076$7FB0D205-18AF-4117-9A8B-AE96EBFEE671","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$37634D7C-DB5A-4AAC-94BE-3CD1B5441E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$E39EC712-1558-4E0F-BD07-809D383DFC24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$B89481F1-1AB8-4EBD-9BDE-175E86CABCE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68164aa6370b8c087aa9dea60bf58f2890e4ef6f","datavalue":{"value":{"time":"+2010-06-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":"Q979076$D1AA9447-63B5-445F-9E44-548BE50CCD5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979076$772D0F11-F934-4DFE-B8BE-162D88136BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979076$153610A1-E6F0-4DB9-BB30-260077636AE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21faf115cc04b28c6d4e50251b7015fe59722643","datavalue":{"value":"5726617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979076$96E75D82-FAAE-4D01-BEA5-726E2343CF09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q979076$16C5F275-976D-4636-921A-5163AAFFBD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea64aaf4060dc635cfad5b6bf92e0abbadec1b3","datavalue":{"value":"\\(\\mu \\)-expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q979076$13B47449-0E06-4825-A64C-15E6A15F4F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb40f7878b4527d4c53767e09032ea1fd163e77c","datavalue":{"value":"observational congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q979076$13A1D8ED-B3D5-4E13-901D-68A618226C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db5985c939d295e10eface9ed26bef6c8a647ad","datavalue":{"value":"finite axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q979076$2B9795CB-BB11-4A3D-9899-E0A05A5190EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q979076$F33288CB-F71A-41A8-B29D-732E5700FE0D","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":"Q979076$B93351F5-3D29-4010-A94A-10B734D4EF96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5014b5ab7f9a240985436fb6ef8d193f41b7ae87","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q979076$FD94809F-C716-400C-BEE4-240A6425FFA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8429b5e1040730ac98abfa322ae3561ada13f935","datavalue":{"value":"W2076739792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979076$4A0735B3-346F-417D-BA11-2F14E0534BAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d29fb3e005d6546006a0c7c5ab5e472a7dea951","datavalue":{"value":{"entity-type":"item","numeric-id":3591402,"id":"Q3591402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$C566D7EC-6C44-495F-B9C3-54380419A97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfa42baf62b507b03385960a2763a583643376d","datavalue":{"value":{"entity-type":"item","numeric-id":1763725,"id":"Q1763725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$96881698-2E6E-40ED-9D6A-6033DCB94A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"723e66837e3eaa9ed00c0ef345a44f0f9354255a","datavalue":{"value":{"entity-type":"item","numeric-id":3612485,"id":"Q3612485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$0FBE4CDC-3E75-438C-BEE5-B13712640308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5205284af866ee1b285a1ea50aa157df7e85d90","datavalue":{"value":{"entity-type":"item","numeric-id":672231,"id":"Q672231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$90693625-B64E-4A89-A932-2D344EDC5F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$906DF5FC-08DA-47F6-91DC-A94DAC2520B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$73C7AC73-98E4-486D-BCBA-E7CB606BCFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8636ac1d2a9f37f15d6d5d220d6ac5ccfb68c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$4CDABEB7-55BA-4428-A8DA-943F8509F4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697b932bff0b79fd91bb393dff8d0ad161e0b8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$69B3F341-0DE3-4886-BEC2-A36F49F4C7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e340c64bee6b92a5f1b6470c6b744b323f87d","datavalue":{"value":{"entity-type":"item","numeric-id":5286027,"id":"Q5286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$1FFC6123-C820-4937-A6E6-F1B305D28C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$A45614E7-F54C-486E-B5FE-D142475EBBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a55cb1739becf58f29eabbf9e09dce8e1e3273f","datavalue":{"value":{"entity-type":"item","numeric-id":4508392,"id":"Q4508392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$934B147D-3624-45A8-B9F1-50C593EA8895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9df9a9b14745e78c79765c0823b46cf11e7f732","datavalue":{"value":{"entity-type":"item","numeric-id":5756593,"id":"Q5756593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$B23022AD-4E14-47B2-8BB7-B56159E48A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$F15DD32E-9CDB-4BAE-AAC0-A66444D7DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f0b0c038b959a0812af35f76a323825b95e64b","datavalue":{"value":{"entity-type":"item","numeric-id":4542240,"id":"Q4542240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$0BE0D099-B258-4A28-870C-071B646F592A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f582c49adc7ab1bea1da8c1f66fd32514157a","datavalue":{"value":{"entity-type":"item","numeric-id":1391869,"id":"Q1391869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$1949E399-3157-40A4-A0A2-4CB33B38FF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364b42509a069fc0518f1113cf13e9b6f5566129","datavalue":{"value":{"entity-type":"item","numeric-id":2753681,"id":"Q2753681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$3C3DD043-58A9-40D8-920D-FA067FE77FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db378d20d24ac07ccf2ed1112a56831d931d99e3","datavalue":{"value":{"entity-type":"item","numeric-id":4737893,"id":"Q4737893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$A4666F4E-FA2B-4AD4-B1F1-7FBB4DBED956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1369b26093fdd94a7eeddf6dec291998f31f1433","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$B78F8B8B-B92E-45F0-9E25-447A4CD18FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776e9bb2630af984cb377be363b40fad99700a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375630,"id":"Q4375630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$5255CE2F-B3A9-46A1-BF08-14740F5810DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$B250D10D-8E11-48EE-94B9-444EA2752BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf0dc8a53f6283b2ac126a7f2fc5e788350c2c4","datavalue":{"value":{"entity-type":"item","numeric-id":5940916,"id":"Q5940916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$2335E6E9-18B6-4491-A7AE-DB1C1671652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$5475FB12-4A85-43A7-BA93-917FC5440F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$FDF28330-5AC9-4F86-9528-5362139D7343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$DDBFCB5A-36B1-40C7-9B2C-F26F152AD111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$A3BE26AD-110F-438A-95B3-21E6D85399CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fd1a91c3916e16b2e5046efbe49fbef163b180","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$35FA2E07-FC5C-4BDC-A280-CBCE05E6D79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$F5AB752E-C7FB-43E8-B135-8527657529F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7342796900f8e29a92dd3d0266cf08b31f811fc","datavalue":{"value":{"entity-type":"item","numeric-id":1377607,"id":"Q1377607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979076$8D7E15FA-8FEE-48B5-A636-B75EEB1321D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86ac462f10a04c748532d68feca12f6b3a93b9a2","datavalue":{"value":"10.1016/J.IC.2009.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979076$27F65CD1-9A12-4044-A303-6919722B81EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab5865b519dfb9a617b86d36b4054bb8ee9871f","datavalue":{"value":{"entity-type":"item","numeric-id":3525638,"id":"Q3525638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de46a9d4f6c74a8b0a9dd00b95c384d2b82fa992","datavalue":{"value":{"amount":"+0.9840118288993835","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":"Q979076$CDCB3387-44B0-4C94-9446-AA6003E940CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655fe7b35717e634f58941003b86a53f047375f3","datavalue":{"value":{"entity-type":"item","numeric-id":4305361,"id":"Q4305361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4d56e8956b8706f635a024583fb58a60d3cebf","datavalue":{"value":{"amount":"+0.7540957927703857","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":"Q979076$99660430-BFCA-4502-8E01-EF295DF065C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c654b684d14890671cb1816a19e0922ec6c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5458057,"id":"Q5458057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8df626fab86026f37ac71054a7208ffab3bb81","datavalue":{"value":{"amount":"+0.7536687254905701","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":"Q979076$CD33873A-010A-456F-B869-840E1AF31CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbacfb1eaade91e202a8899da8d7e541b615298","datavalue":{"value":{"entity-type":"item","numeric-id":2754193,"id":"Q2754193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd41530c9291ec40bc6dada991350585cce45f54","datavalue":{"value":{"amount":"+0.7517738938331604","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":"Q979076$94F5BC1B-F6C8-43E0-BE1A-FFD46BD51819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b8e0fedf92009fdc7bf9135e8761a32ee8b184","datavalue":{"value":{"entity-type":"item","numeric-id":4202950,"id":"Q4202950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eafea274bda37a2cf8a0700f5d5bca1f89d25cf","datavalue":{"value":{"amount":"+0.7508125305175781","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":"Q979076$50ADE1E9-1EBD-4238-BA01-4DA440C2095E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Is observational congruence on \\(\\mu \\)-expressions axiomatisable in equational Horn logic?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Is_observational_congruence_on_%5C(%5Cmu_%5C)-expressions_axiomatisable_in_equational_Horn_logic%3F"}}}}}