{"entities":{"Q3525638":{"pageid":5555542,"ns":120,"title":"Item:Q3525638","lastrevid":50458136,"modified":"2026-01-14T02:39:24Z","type":"item","id":"Q3525638","labels":{"en":{"language":"en","value":"Is Observational Congruence Axiomatisable in Equational Horn Logic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344925"}},"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":"Q3525638$EEAC0C76-F1E7-46B6-98C2-0AB085303EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c78ef3f7969731a0f588a6e2362496ffa94fb91e","datavalue":{"value":{"text":"Is Observational Congruence Axiomatisable in Equational Horn Logic?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525638$B8057B39-B251-458C-A4AB-A63058EDCEFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c29566332e75d1f6ebca81c214d5e0bfedc6aa90","datavalue":{"value":"1151.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525638$116E458E-9DCB-48FF-91C6-CAE366CEFF5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd0073bea4bbdd55c687fd64477ce5707ecddeab","datavalue":{"value":"10.1007/978-3-540-74407-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525638$90B82737-B100-4A81-9FA7-91950A059E62","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":"Q3525638$CF8669B1-348B-41DB-9E91-9D3C816A17AA","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":"Q3525638$09D7E245-F45B-4F82-9014-F9BD2CEB03A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525638$86862651-2510-4068-BD2D-E24D24EAF346","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525638$2A968019-2EDC-4F05-B588-8EFBBB943620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525638$1755CFC3-545A-4CA1-A8B0-2999C6EF0F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525638$05C24FCE-2A2D-491F-A192-8E1C6CA06D39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9542833c9dcc795f592dec4379f851e4a24ffb63","datavalue":{"value":"5344925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525638$9C33BDAE-C30A-4001-A856-EC1EB92A134A","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":"Q3525638$2B2EE37E-B9EF-4234-B333-400F59329B1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f0601d90c2e3fc9a58bd8fa974324ea65b1792d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525638$31411325-A5A6-4978-AC45-D2AFB19B06AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6016beb9bf43e5c9321de46f005543c5ea58a4b8","datavalue":{"value":"W1480386382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525638$C0F3685D-E9A9-4458-BC7B-519F18342A24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc66b9c8f13a093d44816012e71341ee243cef8a","datavalue":{"value":{"entity-type":"item","numeric-id":979076,"id":"Q979076"},"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":"Q3525638$54821000-3C94-41A6-93C9-0FF9EA2C509E","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":"b142ac826cd1a4e1ab9e9fb42ac6d95b30209bc9","datavalue":{"value":{"amount":"+0.7629919052124023","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":"Q3525638$33969D23-FAA6-437A-AF69-079E41F0521A","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":"53a45e50444e31dc0002762f243a6a8919cfb5c2","datavalue":{"value":{"amount":"+0.762471616268158","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":"Q3525638$C4975D82-0167-42A3-AFC9-700B09535806","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":"ccdbd31031a64884d22a43b569304bd2166a3052","datavalue":{"value":{"amount":"+0.7484914660453796","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":"Q3525638$FC854D68-11B7-41A3-A4B9-FC737E090018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547a738b3fafe3bf24be5c82c894ffd4e18103d2","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f6db380b4781b431af942b8d9296f5378612da","datavalue":{"value":{"amount":"+0.7471851706504822","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":"Q3525638$39D76947-7EB1-4BEB-84FC-C06CAAC59C95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525638"}}}}}