{"entities":{"Q5952474":{"pageid":8129276,"ns":120,"title":"Item:Q5952474","lastrevid":25478192,"modified":"2024-03-04T22:47:53Z","type":"item","id":"Q5952474","labels":{"en":{"language":"en","value":"Relational methods for computer science applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1689523"}},"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":"Q5952474$DE5810A2-C94B-4574-A0E6-81A1EBFD6F16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97ba4165fca75b5dcc324ca9fdf45b16e7ddee8c","datavalue":{"value":{"text":"Relational methods for computer science applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952474$D22CBA0C-F7C6-44D1-B0F7-79BFEDF5E295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"409053dcd6b619351c1d0cd49c6a9c57a314a503","datavalue":{"value":"0979.00020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952474$83946BE3-6C76-4823-B96A-A0360E41E7D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e45bc507e34591b785af634f74866d90c2c6028","datavalue":{"value":{"entity-type":"item","numeric-id":163449,"id":"Q163449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952474$51E1E3C2-D9AE-4A36-8832-D3631DB84D4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a37edc53ddbd07c5bb359ac05d865dd55164d4d","datavalue":{"value":{"time":"+2002-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952474$A8C312EC-DB87-4853-BEB5-3238E2E1837A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8acfc5a0027062cb13eb2c39b32491939945f5cc","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Desharnais, Jules; Kh\u00e9dri, Ridha; Mili, Ali}, Interpretation of tabular expressions using arrays of relations., 3-14 [Zbl 1061.68536]  \\textit{Dwyer, Barry}, Translating relational programs into prolog, 15-35 [Zbl 1009.68018]  \\textit{Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.}, A calculus for program construction based on fork algebras, design strategies and generic algorithms., 37-58 [Zbl 1050.68017]  \\textit{Winter, Michael; Kempf, Peter}, Processes as relations, 59-73 [Zbl 1009.68092]  \\textit{MacCaull, Wendy}, A tableaux procedure for the implication problem for association rules., 77-95 [Zbl 1061.68151]  \\textit{Kachniarz, Jaros\u0142aw; Sza\u0142as, Andrzej}, On a static verification of integrity constraints in relational databases, 97-109 [Zbl 1009.68037]  \\textit{D\u00fcntsch, Ivo}, Contact relation algebras, 113-133 [Zbl 1009.68093]  \\textit{Lambek, Joachim}, Relations old and new, 135-147 [Zbl 1009.68172]  \\textit{Szcerba, Marek}, Relational models for the nonassociative Lambek calculus, 149-159 [Zbl 0993.03026]  \\textit{Demri, St\u00e9phane}, Coping with semilattices of relations in logics with relative accessibility relations, 163-181 [Zbl 0993.03015]  \\textit{Konikowska, Beata; Orlowska, Ewa}, A relational formalisation of a generic many-valued modal logic, 183-202 [Zbl 0998.03018]  \\textit{SanJuan, Eric; Iturrioz, Luisa}, An application of standard BAO theory to some abstract information algebras, 203-215 [Zbl 0992.03079]  \\textit{Gordeev, Lev}, Proof systems in relation algebra, 219-237 [Zbl 0993.03087]  \\textit{Hirsch, Robin; Hodkinson, Ian}, Connections between cylindrical algebras and relation algebras, 239-246 [Zbl 0993.03088]  \\textit{Kawahara, Yasuo}, Lattices in Dedekind categories, 247-260 [Zbl 0996.18001]  \\textit{D\u00fcntsch, Ivo; Or\u0142owska, Ewa}, Beyond modalities: Sufficiency and mixed algebras, 263-285 [Zbl 0992.03078]  \\textit{Woli\u0144ski, Artur}, Cylindrical algebras for partial relational systems. Quasicylindric algebras, 287-297 [Zbl 1002.03057]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952474$CB0256C4-8F78-4582-A8C3-F5420E253B80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952474$5B4E1988-96EB-4C68-AD49-EFA15F87ACEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952474$DAEDE201-0FAC-40A6-B513-FC52D2403247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952474$592D93E0-9617-4C2C-8F48-6FFCEC381FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952474$2FE67348-ACC3-404B-B097-AF1CEAAA74A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952474$2097E2E4-992A-4CCC-AD8A-95564AAD4058","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1187ac80b5cf5a5414ad13cc9ff3e2a939e022a","datavalue":{"value":"1689523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952474$8C2227F6-115E-4D52-8916-EF5C6490D799","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671273e8b8831605dbb5209696d1ae5c07d48f13","datavalue":{"value":"Relational methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952474$17355BA7-5E91-47CC-93F4-A41DDE734ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952474$5D37C45A-236C-402F-BD4F-5904C20047AD","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":"Q5952474$7E3E5684-97BB-4567-A3F4-D8F0EA158CA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952474"}}}}}