{"entities":{"Q1188694":{"pageid":1199443,"ns":120,"title":"Item:Q1188694","lastrevid":42929515,"modified":"2025-07-16T03:15:29Z","type":"item","id":"Q1188694","labels":{"en":{"language":"en","value":"Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 46967"}},"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":"Q1188694$30165011-F6F9-41EA-B86E-4AAA2D4D5970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71ac2a9b7fcd430352ee8536eee98dd557673e3c","datavalue":{"value":{"text":"Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1188694$4EE9F39B-AF1F-4746-AB2A-0991F4228C37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17ede4450335c6cc0e11063859f57b87de6d7c3a","datavalue":{"value":"0779.00012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188694$98944D5C-4444-4C71-B2FD-C23D04EA97F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188694$99FF756B-2637-465F-8037-43B0B650AC0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-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":"Q1188694$C1FD97F9-BA6A-450F-ABB8-1BD0601B9F9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"777ade0e10e8a1b0521f5b5510adc45023965a13","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Andr\u00e9ka, H.; J\u00f3nsson, B.; N\u00e9meti, I.}, Relatively free relation algebras, 1-14 [Zbl 0783.03035]  \\textit{Berman, Joel}, The value of free algebras, 15-26 [Zbl 0791.08005]  \\textit{Gumm, H. Peter}, Continuations of logic programs, 27-36 [Zbl 0800.68295]  \\textit{N\u00e9meti, Istv\u00e1n}, On cylindric algebraic model theory, 37-75 [Zbl 0793.03073]  \\textit{Pratt, Vaughan}, Dynamic algebras as a well-behaved fragment of relation algebras, 77-110 [Zbl 0783.03036]  \\textit{Wagner, Eric G.}, All recursive types defined using products and sums can be implemented using pointers, 111-132 [Zbl 0800.68331]  \\textit{Fleischer, Isidore}, The abstract Galois theory: A survey, 133-137 [Zbl 0791.08002]  \\textit{Guzm\u00e1n, Fernando}, The implications in conditional logic, 139-159 [Zbl 0783.03008]  \\textit{Moss, Lawrence S.; Thatte, Satish R.}, Optimal semantics of data type extensions, 161-180 [Zbl 0800.68563]  \\textit{Nelson, G. C.}, Other logics for (equational) theories, 181-194 [Zbl 0793.03034]  \\textit{Rosenberg, Ivo G.}, Mal'cev algebras for universal algebra terms, 195-208 [Zbl 0789.08004]  \\textit{Sain, Ildik\u00f3}, Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic, 209-225 [Zbl 0793.03076]  \\textit{Stachniak, Zbigniew}, The resolution rule: An algebraic perspective, 227-242 [Zbl 0783.03004]  \\textit{Suchenek, Marek A.}, Incremental models of updating data bases, 243-271 [Zbl 0798.68046]  \\textit{Thompson, Richard J.}, Noncommutative cylindric algebras and relativizations of cylindric algebras, 273-278 [Zbl 0783.03037]  \\textit{Zaionc, Marek}, On the \\(\\lambda\\)-definable tree operations, 279-292 [Zbl 0783.03005]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188694$4D92F429-5F08-4370-BF79-97DD8F4F9764","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188694$24AF8604-576A-4F2C-A631-F5669831201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188694$94EFD2DA-35E1-4F8B-887D-16050DF0AC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188694$75F6BF13-AC47-4628-B250-C013149DE2D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37205ebd76c988a52072e1fdea1c0ff14ffdd70c","datavalue":{"value":"46967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188694$144E279D-7138-4E85-96E7-EE0C25177704","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5ec10b81b824605a140eeb9b3ac007810fa020","datavalue":{"value":"Ames (IA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188694$476E693B-16D1-4486-A061-0D4A3C0AAAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1962714433072f6fde50215713abc1bc262405eb","datavalue":{"value":"Computer Science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188694$B7A2FD96-6814-4C1E-B862-B67345EA65C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188694$9F95BA68-6955-4E5B-8855-AD924E99028F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188694$9F314994-5E03-4D29-81F0-E608D398C1DF","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":"Q1188694$00FA3829-0D42-4D34-9604-B63D98704868","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964249155907b5603cdb1cc3bcdc6829b5902600","datavalue":{"value":{"entity-type":"item","numeric-id":3322006,"id":"Q3322006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfba0b021c107ac6f5bcfdc41666973b7558fa6a","datavalue":{"value":{"amount":"+0.8711283","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":"Q1188694$4804DB7B-95F2-48CE-BE5B-238DB6045286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ce1360b4e17a0de5c4f99b408798d0e6f1e746","datavalue":{"value":{"entity-type":"item","numeric-id":4002242,"id":"Q4002242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b98bf45f988aa2af811bb493bf0b61d75874085","datavalue":{"value":{"amount":"+0.85591817","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":"Q1188694$F434017B-ED92-4C78-8989-8391A3F957D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6245c17bc652d96954240d0afe0d094783b1f326","datavalue":{"value":{"entity-type":"item","numeric-id":3197780,"id":"Q3197780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea87340e3e8976bda3571b15ae0cb24f251787a3","datavalue":{"value":{"amount":"+0.85271746","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":"Q1188694$73C95D36-7CDB-4E0A-B3CC-29397224C837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925221344f48ea465f637adaa2f9d7cf2aa4da8a","datavalue":{"value":{"entity-type":"item","numeric-id":3998025,"id":"Q3998025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dea7877d2417fb9a16b43a8d0c6901a91750c1f","datavalue":{"value":{"amount":"+0.84492147","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":"Q1188694$184F2C01-FA1F-4A13-A2FB-1840F0DB1BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d937f29ca49d7c24ce33d09df7821a2bfe594e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4002277,"id":"Q4002277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7f9d8ba5ff5a6aa200516fb589a719fde80b48","datavalue":{"value":{"amount":"+0.83852","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":"Q1188694$CC98932B-702A-4139-821C-ED5D1D30888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8373bf3125a2afd972af8d258f3d158f94767de1","datavalue":{"value":{"entity-type":"item","numeric-id":5966630,"id":"Q5966630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473d104cb936e597c59c2df5e4bc1f56317a08dd","datavalue":{"value":{"amount":"+0.8370693","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":"Q1188694$AE3EC33B-E3F4-486D-BED8-90BC0AAC46C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79fb522f40a91c3f95d5e4f0deb6d9caae74ca1","datavalue":{"value":{"entity-type":"item","numeric-id":1801227,"id":"Q1801227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f1e631c885baa0d089ece2b863f8ba1d00a189","datavalue":{"value":{"amount":"+0.83510804","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":"Q1188694$F4BF11CF-C521-4713-9D02-F198A46B5128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187ed6875d471036355fa962338854530ed8c373","datavalue":{"value":{"entity-type":"item","numeric-id":3998253,"id":"Q3998253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31100c3479624886195a2914a34aeacbc6745051","datavalue":{"value":{"amount":"+0.83204025","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":"Q1188694$B2BAFE2E-2F02-4947-A47E-B4577584DEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edd98d175efa5c7e1d32e19cd3f6b62b1bde21d","datavalue":{"value":{"entity-type":"item","numeric-id":2565250,"id":"Q2565250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628dbbdc65cb3b8c25226e9e83237e5402e573c7","datavalue":{"value":{"amount":"+0.8306558","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":"Q1188694$1ADF7876-AFAD-46FD-A774-D09562F7566B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1188694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1188694"}}}}}