{"entities":{"Q1778066":{"pageid":1788808,"ns":120,"title":"Item:Q1778066","lastrevid":72540384,"modified":"2026-04-14T05:36:32Z","type":"item","id":"Q1778066","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2171987"}},"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":"Q1778066$8CA2CC60-D658-445F-AA4C-105032FFC65D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"010f55531adce88c2198a7907ec2872d06f67a38","datavalue":{"value":{"text":"Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1778066$38693127-0C55-4E37-9837-59880E518466","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2353b7ce2d493d914f4da3da4a0846e464fba2ad","datavalue":{"value":"1067.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778066$2428B621-490A-4B70-8C56-74A7E11F04F3","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":"Q1778066$DC3F9F6B-A82C-4E33-8232-470625C4C83D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$E80D5EDA-F7C8-4184-8500-28701FBC9260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"883cf1b866b714c43fcf9988533850ce4229a20f","datavalue":{"value":{"time":"+2005-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1778066$802FF377-5372-48DA-858D-6F7AE667FECF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70d13bfdd53768523d7ff87577bdc13cb8164c00","datavalue":{"value":"This paper, together with the preceding one [Log. J. IGPL 12, No.~4, 313--333 (2004; Zbl 1067.03069)], forms part of the author's programme, begun in his 1998 doctoral dissertation and pursued in a lengthy sequence of subsequent papers, of reformulating traditional logical systems in a categorical algebraic framework, based on the notion of institution introduced by Goguen and Burstall. The preceding paper dealt with (single-sorted) equational logic, while the present one treats (classical) first-order logic without terms (i.e., without primitive function symbols). Both papers rely heavily on notation, and are not easy reading for those not already well-versed in this subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778066$9FB04732-7E58-4809-9ABF-9A666B6A43E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$BCFFD81B-F1A2-4F3C-A246-2C7AACEE1771","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778066$6ABB80BF-286D-43C4-8941-1934F5F08AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778066$4C00ADCD-092C-403C-A90B-B1CD4E796D80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28c8186e4de33f321f83b8592bf9aea9b9f49503","datavalue":{"value":"2171987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778066$56BC2008-DD2D-4603-A973-7FF8F07093DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778066$FED15FF4-74FF-4AF5-A3FE-D8731F471A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778066$4A69F85D-C1FC-425E-A8A4-E45F57FD01C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ad77edabf03eda15596334d248af3b67f647d4","datavalue":{"value":"first-order logic without terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1778066$F4B43333-8521-44B9-8D03-4CE3E26A96E2","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":"Q1778066$2AFE11A4-D5CE-4398-87D5-E2904D9F2900","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5599865767cba71321abd5fb27431296d1fefe78","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0266-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1778066$2C6543C4-C320-404B-B700-B1D38FCD9C3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff0c3df5686025a80447c645cf7e84390ba02212","datavalue":{"value":"W2069832399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778066$F87221ED-9D5C-40BE-8251-266AB3253FA5","rank":"normal"}],"P223":[{"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":"Q1778066$15436744-9208-488F-9E2C-4000373AB28A","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":"Q1778066$66BF762D-6D66-4DD3-B05E-533B0A89D3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1084e83852d447044382e4e7c553838169eab7","datavalue":{"value":{"entity-type":"item","numeric-id":4011712,"id":"Q4011712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$C0F35661-1459-4ADD-9FE1-7D98D4F72492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e76dbdde1f6c0140c066a99f1add9b458d496b","datavalue":{"value":{"entity-type":"item","numeric-id":1159628,"id":"Q1159628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$DEDFD111-79A0-4B9F-9904-27448F5175F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad61285ba274cd91e827670915047392dea37ea","datavalue":{"value":{"entity-type":"item","numeric-id":3956941,"id":"Q3956941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$4F5D44D0-CBF9-41B4-BEC7-5BC641E33FDB","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":"Q1778066$86B350C3-EDB4-4F37-8662-9153B2DEE475","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":"Q1778066$881A173C-205A-4B68-A0BE-564AD47B6DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$EE552948-80B7-46D0-858A-DF4C3B7EF776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b42a0e5236ff218c3419ca113c6c55d3e5955eb","datavalue":{"value":{"entity-type":"item","numeric-id":1064325,"id":"Q1064325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$F9D0AA85-DA2E-44EC-9CA3-CB907E56C9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$9BE9249B-26EE-475E-A3D8-683E367F4DC7","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":"Q1778066$EC35AFCE-1AD9-4233-842B-61C3654160F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$0F84FED8-B8DB-4A36-989F-60EF5AC05937","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":"Q1778066$90016667-F114-48D4-AC04-1387D1A4A30C","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":"Q1778066$EC06072A-F70F-46E1-B328-B6383FB45CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ccee8121b26c6646dc76eae75110da95ae9860","datavalue":{"value":{"entity-type":"item","numeric-id":4659579,"id":"Q4659579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$770DB455-42FE-4AC0-8D66-8D1283427993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05528eacdadba5e6d5b7b249b33ef8242db2e250","datavalue":{"value":{"entity-type":"item","numeric-id":4657630,"id":"Q4657630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1778066$867D34C5-53F2-4360-B139-4F26EF1C3559","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"242e5512e18d14dd0df88b850c4ce08ff8a7e908","datavalue":{"value":"10.1007/S00153-004-0266-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1778066$3FACE582-3EBB-43E7-B628-40155DF17AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d06e0464956267884cfb04fc78728c481c4c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4659579,"id":"Q4659579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891a83c3f318509fc590453b5e49af631c79b6bd","datavalue":{"value":{"amount":"+0.9555856585502625","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":"Q1778066$68C08458-A489-45A7-9BF9-E337B4108E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09b175bfbdf6020318f5e972670adb548aeaa90","datavalue":{"value":{"entity-type":"item","numeric-id":2502179,"id":"Q2502179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7098d0f406332e21cef57a2fbbec632a247ddf31","datavalue":{"value":{"amount":"+0.8204102516174316","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":"Q1778066$31FB3745-DDC2-42E8-9A8A-FAB274FA467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edd46b1d6b4f3da70207c6f13c51f5bd2da269f","datavalue":{"value":{"entity-type":"item","numeric-id":816651,"id":"Q816651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e302f551d482b064dbc1ff069f136ea710cf24","datavalue":{"value":{"amount":"+0.8191608786582947","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":"Q1778066$2D2CD80F-E521-4AE0-8CC8-704738AC9B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532f670057a5e3308ce4e67a4e97218f148e0661","datavalue":{"value":{"entity-type":"item","numeric-id":5505141,"id":"Q5505141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a08321682d8281abac569b1193a4d7ae21676c5","datavalue":{"value":{"amount":"+0.8089711666107178","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":"Q1778066$65EC68F5-2147-4105-B936-9CC7782C5199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e040bd3f79cbef62eb0ee8ef8a7c96819de41371","datavalue":{"value":{"entity-type":"item","numeric-id":854961,"id":"Q854961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f39d595bba3e0364ad963387eee8eab6204682","datavalue":{"value":{"amount":"+0.7959933280944824","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":"Q1778066$48EB3F96-9DF7-413D-A654-7152240BAC0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms","badges":[]}}}}}