{"entities":{"Q368473":{"pageid":370240,"ns":120,"title":"Item:Q368473","lastrevid":61302054,"modified":"2026-04-10T22:29:03Z","type":"item","id":"Q368473","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: referential algebraic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210412"}},"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":"Q368473$F7521DA9-E311-4880-AE5D-0638A7F94671","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d01d3c25d6b112eac63f2b6d2cea4811e6bb15b","datavalue":{"value":{"text":"Categorical abstract algebraic logic: referential algebraic semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q368473$8BF573FD-D032-49FD-8BBF-7450D1FCC0D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfd143ffe401f32b2e6ecc6b989d7388627d39dc","datavalue":{"value":"1301.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368473$45110A63-DA66-4D7A-95D1-67E91E562437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1350be694b11b191dfdb4ee292ebca47567b3263","datavalue":{"value":{"entity-type":"item","numeric-id":355640,"id":"Q355640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$3B746217-A69B-4B1F-8D8F-8D57478A2635","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$D0054C19-B87D-4C48-A03F-0209A31AD779","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8fa67e57597c5d021d880560712cfcef304abf5","datavalue":{"value":{"time":"+2013-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q368473$9C57B603-1D3E-4BBF-8F9C-94EBA1E548B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52b307494233b7c77d11f3025d6f56fb12131f49","datavalue":{"value":"In this paper the author introduces referential algebraic systems and congruential atlas systems, which generalize referential algebras and congruential atlases (of W\u00f3jcicki, Jansana, Palmigiano), respectively. This enables him to formulate an analog of W\u00f3jcicki's Theorem for logics formalized as \\(\\pi\\)-institutions. Moreover, the results of Jansana and Palmigiano are generalized to obtain a duality between congruential atlas systems and referential algebraic systems over a fixed categorical algebraic signature.","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$EE6C972A-40DC-470F-AB4D-8130347B20FF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$1C607C55-3081-40B5-B57C-684C0FE41EF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368473$241AB0CA-AD46-40FB-A9EA-436B49E0F71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368473$7D961319-FD5A-4352-84A0-87416E5504DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"985611e92e12779ac3367fb597d9fd1827d4c481","datavalue":{"value":"6210412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368473$F422DC1C-9EFD-458D-A01C-06B2D49BD69D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$46DC3E78-8181-42D4-9FF7-F612A9FB6E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bff7a7522fef179b631bbe30495669c3595a7e0","datavalue":{"value":"referential algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$D9D5A84E-C4DD-46C0-AEE7-5781288EE0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ce5bc2bc216499181949a980a1e2c441c367a7","datavalue":{"value":"W\u00f3jcicki's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$B6DA47F8-3613-496E-99DC-21341BB7D4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1aacfa24f2cbb141f038cca55bf303b3b72da66","datavalue":{"value":"generalized matrix model","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$CAFB79E8-04C5-45F7-81CC-8D379B461840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$BA478D3F-9F25-4B26-A74E-0CE178286719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$25C7ECE7-9BDD-450A-88D4-499E8C3C2B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ece54f6a14eaf982203f638df8e85c5d75dab83","datavalue":{"value":"\\(\\pi \\)-institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$3D2373A1-9941-4EF1-9F0A-AE4F1558C481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e78120290d4eafdcbe910beb43178554b4367ef","datavalue":{"value":"selfextensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$B3C9F388-365A-435A-AE79-71DAABAE2325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573dd1007105ccf41e3dbd5dbbe22836317e5575","datavalue":{"value":"fully selfextensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$83CEC056-560E-41D9-8BDB-541DC828E7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f21af720435a57084483738f486b9778fb1b2fb","datavalue":{"value":"congruential atlas systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q368473$3AD612D7-9CFE-4CDB-92BE-B4F83FF87A5C","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":"Q368473$E0077C40-59A8-4377-9B2A-C2D8A4ACC90F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1cd8526ccc81c4fe857c86dd8cb115f92b15143","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9500-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q368473$1F1311CF-DB8D-472F-A9F4-E3047F0625C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b06b5ad4880b9c8279fa52b576716de4da2732df","datavalue":{"value":"W2056477860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368473$AB68F4AF-036C-4BEC-B9BB-748C64BBF99F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6189fe1c0813f4fa771e52af0cc73660e3cfaa7c","datavalue":{"value":{"entity-type":"item","numeric-id":4465171,"id":"Q4465171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$2DA1F1B0-D327-4F38-8BA7-3EBB323A6B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$369C0211-A33B-48D4-9BA4-9E32E280B83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31e4d0c15cea2f63278ea66980cb0dd98d0f9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1422453,"id":"Q1422453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$A8FF6BFD-CBF0-4E2C-BE79-58DB78D0781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$EDB41455-CD60-43CB-95D7-DCEA277A64C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b925f06524b51a36e22f15bda5c2d8f22715a7","datavalue":{"value":{"entity-type":"item","numeric-id":4078023,"id":"Q4078023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$6A213836-2094-49D5-80BD-667D1AA28983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ed40e3d101bd9d88cc6e0ad0937996baff9b25","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$661203FD-FC8A-419E-A3E9-ABD7C70545F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5627b5d6dd11232b46313e0c1f24553c61be06","datavalue":{"value":{"entity-type":"item","numeric-id":1377550,"id":"Q1377550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$260E982D-2325-40FE-AD84-8B2564058F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$BD4180FD-74AC-42C6-8EE1-9E2065208011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$FCAEF577-2027-4DB3-B6E2-71899723C78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$20BEA9D4-E16C-4E40-A9BB-3AB60A772699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf18edb37f2082a746fe6669bb13e001314c8a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3824395,"id":"Q3824395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$884EB7D6-88E0-4C6D-88C4-F038A7112C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$F31E50ED-08FC-4620-B245-4F241A8591ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$87617AD5-1398-4B7D-A5B4-C220E0368B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$8809BBF3-7490-4508-8209-04397118FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8303d88cb8d1551549743d06f5ed6a371e2c04c4","datavalue":{"value":{"entity-type":"item","numeric-id":1189892,"id":"Q1189892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$A39A1FF8-5372-446D-B494-0122317AE573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$28FED337-0780-4894-A0F7-0DC3D9F420BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$55CBC0E2-9D7C-443C-9949-748AB5AF579A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1faebc280598b85d5e09a079fcc4ee7ce5d83694","datavalue":{"value":{"entity-type":"item","numeric-id":5441553,"id":"Q5441553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$286D19F6-9304-4C47-A3C6-AE60B5D15AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$5D799428-5B83-4972-A15F-41646BED9F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e183e8e7145c43c41f5ae4889b564985595ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$BF97A447-10F0-4ADC-BDFF-DB8478897C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da734f54367fa918368130f9629f3ac213d46719","datavalue":{"value":{"entity-type":"item","numeric-id":5173792,"id":"Q5173792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$0BFF1845-BE4E-4DFC-8FAF-5E3F564A9103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294d7a5058d4f1c41f96d3b544429584bbb81043","datavalue":{"value":{"entity-type":"item","numeric-id":3874177,"id":"Q3874177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$8F162B88-8219-42B1-8547-5A1ADEE0AC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368473$AA0B7938-6A29-424E-B6EC-61F13635DC44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d34f3449fb6bdfc418d045e54f403197748f1a7b","datavalue":{"value":"10.1007/S11225-013-9500-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368473$284F7E98-9080-48EB-A93B-3C003EABF6CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b191e6e55e8384d10d2ed3829fe7f2acd8ffc420","datavalue":{"value":{"entity-type":"item","numeric-id":5501724,"id":"Q5501724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c341e37ad4bafee558e6516b056f7d0fcb6df6a","datavalue":{"value":{"amount":"+0.8999484181404114","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":"Q368473$97D008EB-3F16-438F-8885-57E04D90D62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ca4243288449b02deeb00fa0f065afd7c670ff","datavalue":{"value":{"entity-type":"item","numeric-id":2971280,"id":"Q2971280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f4707d9b2b3269a42f7a774778d1f944203a1c","datavalue":{"value":{"amount":"+0.8690728545188904","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":"Q368473$659B39D8-BC3D-4844-82C3-84125D78CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187d36a319658ee3082045c2958725882adbbda2","datavalue":{"value":{"entity-type":"item","numeric-id":5441553,"id":"Q5441553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2915af7014f6d30a39144221dbbf9ac3983ab1","datavalue":{"value":{"amount":"+0.8646212220191956","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":"Q368473$401F92F6-1A6B-4E5F-AA01-2330B3B76FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842dce29853d9e4d68e7ca71988b1fb60d417390","datavalue":{"value":{"entity-type":"item","numeric-id":1422453,"id":"Q1422453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110b5163d3d7a21aaff7094c9ada34500a81b83c","datavalue":{"value":{"amount":"+0.8424195051193237","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":"Q368473$A1A25E34-E354-449E-9D1A-4B35AE29ED2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafed980cd10454dee4cb64dde413944cedfa750","datavalue":{"value":{"entity-type":"item","numeric-id":4556008,"id":"Q4556008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6730243fe9c5aca45e6377b9acdc31225a7af9e","datavalue":{"value":{"amount":"+0.8320695757865906","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":"Q368473$4DEF6077-9A2C-43B6-AD8E-DB8C41C5D6B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: referential algebraic semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_abstract_algebraic_logic:_referential_algebraic_semantics"}}}}}