{"entities":{"Q1890040":{"pageid":1900782,"ns":120,"title":"Item:Q1890040","lastrevid":43395939,"modified":"2025-07-25T10:42:02Z","type":"item","id":"Q1890040","labels":{"en":{"language":"en","value":"Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123476"}},"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":"Q1890040$0492771A-DE8D-4749-910C-1B08D4DD5157","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bf809af7f88d94cfd21d7cbd2afd671ed268507","datavalue":{"value":{"text":"Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1890040$3CBA205A-E603-4D1D-9C1C-AA9A1005BC0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa44cd8188d454674f56ea4b595da30afb41d5c7","datavalue":{"value":"1051.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890040$9D17D501-F241-4735-B6AD-EE67612DB581","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":"Q1890040$2591ECA2-2B5E-4D53-B92E-696AE48EA0E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8dc1168b3b80a8a4b1d9ffe93a75d3b1ad830ab","datavalue":{"value":{"time":"+2004-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1890040$8B31C2AE-3BE9-47C3-88A0-B9B7A4FEF915","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0270452fea308757fc76e768cee2593fe7d6b250","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding seminar has been reviewed (see Zbl 1014.00018).  Indexed articles:  \\textit{Bisdorff, Raymond; Roubens, Marc}, Choice procedures in pairwise comparison multiple-attribute decision making methods, 1-7 [Zbl 1088.91503]  \\textit{Desharnais, Jules}, Kleene algebra with relations, 8-20 [Zbl 1088.03051]  \\textit{Arkoudas, Konstantine; Khurshid, Sarfraz; Marinov, Darko; Rinard, Martin}, Integrating model checking and theorem proving for relational reasoning, 21-33 [Zbl 1088.68771]  \\textit{Backhouse, Roland; Michaelis, Diethard}, Fixed-point characterisation of winning strategies in impartial games, 34-47 [Zbl 1088.91501]  \\textit{Bakewell, Adam; Plump, Detlef; Runciman, Colin}, Checking the shape safety of pointer manipulations, 48-61 [Zbl 1088.68548]  \\textit{Berghammer, Rudolf; Fronk, Alexander}, Applying relational algebra in 3D graphical software design, 62-73 [Zbl 1088.68533]  \\textit{Bherer, Hans; Desharnais, Jules; Frappier, Marc; St-Denis, Richard}, Investigating discrete controllability with Kleene algebra, 74-85 [Zbl 1088.93011]  \\textit{Doberkat, Ernst-Erich}, Tracing relations probabilistically, 86-98 [Zbl 1088.68104]  \\textit{Ehm, Thorsten}, Pointer Kleene algebra, 99-111 [Zbl 1088.68038]  \\textit{Ehm, Thorsten; M\u00f6ller, Bernhard; Struth, Georg}, Kleene modules, 112-123 [Zbl 1088.03052]  \\textit{Furusawa, Hitoshi}, The categories of Kleene algebras, action algebras and action lattices are related by adjunctions, 124-136 [Zbl 1088.03053]  \\textit{Gonzal\u00eda, Carlos}, Towards a formalisation of relational database theory in constructive type theory, 137-148 [Zbl 1088.68566]  \\textit{Goranko, V.; Hustadt, U.; Schmidt, R. A.; Vakarelov, D.}, SCAN is complete for all Sahlqvist formulae, 149-162 [Zbl 1088.03019]  \\textit{H\u00e1jek, Petr}, Relations and GUHA-style data mining. II, 163-170 [Zbl 1088.68567]  \\textit{Jipsen, Peter}, A note on complex algebras of semigroups, 171-177 [Zbl 1093.20029]  \\textit{Kahl, Wolfram}, Calculational relation-algebraic proofs in Isabelle/Isar, 178-190 [Zbl 1088.68772]  \\textit{MacCaull, Wendy; Or\u0142owska, Ewa}, A calculus of typed relations, 191-201 [Zbl 1088.68048]  \\textit{M\u00f6ller, Bernhard; Struth, Georg}, Greedy-like algorithms in modal Kleene algebra, 202-215 [Zbl 1088.03055]  \\textit{Omodeo, Eugenio; Or\u0142owska, Ewa; Policriti, Alberto}, Rasiowa-Sikorski style relational elementary set theory, 215-226 [Zbl 1088.03022]  \\textit{Schmidt, Gunther}, Relational data analysis, 227-237 [Zbl 1088.68546]  \\textit{Schmidt, Renate A.; Or\u0142owska, Ewa; Hustadt, Ullrich}, Two proof systems for Peirce algebras, 238-251 [Zbl 1088.03056]  \\textit{Scollo, Giuseppe}, An institution isomorphism for planar graph colouring, 252-264 [Zbl 1089.05502]  \\textit{Winter, Michael}, Decomposing relations into orderings, 265-277 [Zbl 1088.03041]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1890040$70A4D06E-9384-4918-B168-F785AD4CCE88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890040$9B605C43-4117-4843-B73C-F214093D55D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890040$FB1AE033-8BE4-4D6E-AD6F-FEE8C0AF8FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23e7cdaf2e82f5cc864274e843d1c5be36653b9f","datavalue":{"value":"68Q01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890040$14A97599-A4A7-4943-AEA6-6F4F77E84371","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15a520403e1562c96eb4b1892b72acfc8247580e","datavalue":{"value":"2123476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890040$20B941CC-2735-40CC-A58A-B074E94A81BB","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":"Q1890040$2342A286-3B44-416D-BCCC-13792EA4CF04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70b111118cfdf4c299bfb965398914a4cc43ab75","datavalue":{"value":"https://doi.org/10.1007/b98117","type":"string"},"datatype":"url"},"type":"statement","id":"Q1890040$52862696-098B-4DE2-8986-D020AD76D9E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2cac9573bcd58d3b1a484c6cafb6fd10df57574","datavalue":{"value":"W2476951070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890040$B53A62FB-3DEE-4BF0-A3A2-A9DF9A681AA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cade917550b43bc716fcc3921ded66149ce8450a","datavalue":{"value":"10.1007/B98117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1890040$2977B447-077F-41F8-9000-BA26F95852DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab589a2c0d708efd6dc3df5952d0c38ff42b61cf","datavalue":{"value":{"entity-type":"item","numeric-id":2481688,"id":"Q2481688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79a8cb7269e49a82a1981a1791f6596575a6457","datavalue":{"value":{"amount":"+0.92158073","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":"Q1890040$DDB6B134-9B81-43DC-8D2E-85B7926EB247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2bed94ebb7143daf2429b392de5111478dc76f6","datavalue":{"value":{"entity-type":"item","numeric-id":855060,"id":"Q855060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f64690bc7b3c65d8b2c73d2bcba4cc3e8a776cd","datavalue":{"value":{"amount":"+0.9024495","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":"Q1890040$B7C46A84-E3E4-40F5-BBD9-36AB34ADE3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f16d861ad55f90b37116c32d6b4919d3baa3595","datavalue":{"value":{"entity-type":"item","numeric-id":2482849,"id":"Q2482849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e50ae107d553022ae26ee640d4626510941cc27","datavalue":{"value":{"amount":"+0.8968643","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":"Q1890040$AEF2F69C-D654-4D3E-8677-F55C1C604640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54ec4daaddbd70cffb882259505c9076a35cf7b","datavalue":{"value":{"entity-type":"item","numeric-id":593251,"id":"Q593251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d089df02982a8ec94841ac24a2169d89cb2793b0","datavalue":{"value":{"amount":"+0.8900821","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":"Q1890040$6134B59D-472E-4302-A9EA-980E42B27918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c379beb3190e8711e9e4c465a7c6e1405d47f9","datavalue":{"value":{"entity-type":"item","numeric-id":1036130,"id":"Q1036130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c7af8e49fda58c93b297a2931c99cd075ea5b7","datavalue":{"value":{"amount":"+0.8854462","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":"Q1890040$67549015-0226-4A78-B0B2-B543B86D858F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a061938c23f6cff833aa713eed619cdf7817e2","datavalue":{"value":{"entity-type":"item","numeric-id":2444985,"id":"Q2444985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5cade90166ce1f3dc3f10bf60e1c6de6bb0b7b5","datavalue":{"value":{"amount":"+0.85730785","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":"Q1890040$226A3226-71FF-489C-A27F-D50E4B7D6AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898c8deaec09dd2c2c9ab6df8a8153db151c6e93","datavalue":{"value":{"entity-type":"item","numeric-id":450615,"id":"Q450615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521d4d2a76ece7096fefc11b08bd708a5aa57511","datavalue":{"value":{"amount":"+0.8563891","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":"Q1890040$249172D4-278E-4483-863B-375D89472548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e99ed9bb0e54251c89d4983c03751d30cc7b95","datavalue":{"value":{"entity-type":"item","numeric-id":528576,"id":"Q528576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46609260dfa47248888dc3f436b773870d19cccf","datavalue":{"value":{"amount":"+0.85348475","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":"Q1890040$6B1D0CD1-1862-4E75-AB35-82F61D94919D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f9bc5c8c7d58afb4ae62fa90d1bb8fd704cf09","datavalue":{"value":{"entity-type":"item","numeric-id":1617214,"id":"Q1617214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bcef326c0d704af598fb7220814ebe07619be68","datavalue":{"value":{"amount":"+0.8500966","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":"Q1890040$06E55F8D-62A1-41D1-AB65-B8EC1122A1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ac3244da034719d96d0e56dd2b19ea93ff28","datavalue":{"value":{"entity-type":"item","numeric-id":1396761,"id":"Q1396761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73cb0987617d7d6ad3a36066d34fc42b9ce00fa2","datavalue":{"value":{"amount":"+0.84982646","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":"Q1890040$299AD728-0F15-49FD-8CF5-E3FD6357EDED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1890040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1890040"}}}}}