{"entities":{"Q1919791":{"pageid":1930533,"ns":120,"title":"Item:Q1919791","lastrevid":43420991,"modified":"2025-07-25T16:29:40Z","type":"item","id":"Q1919791","labels":{"en":{"language":"en","value":"Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 909787"}},"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":"Q1919791$25DE6724-0173-4D07-8031-69E14FD5935E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7bacedca89e78cf616f0a32348f6494f8d9facd","datavalue":{"value":{"text":"Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919791$8CCDC2F3-3168-49FE-B53A-ECB4F07A804E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c18093c1853c5b8251a89a616193ce8b8fc05d44","datavalue":{"value":"0851.00082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919791$7AC3AD96-C30B-4968-A5F7-3B051173E42E","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":"Q1919791$92DA2B80-F52A-4A01-8347-DEFEB969729B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fccc18d6c4a5ac2eec70cdab732eae3cab6f1c7","datavalue":{"value":{"time":"+1996-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1919791$680F1658-C3D0-438B-BE58-3FBB7C45529D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7e68b350ede460d07ea7ee3cbb32dc61ef922f2","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1492.68008].  Indexed articles:  \\textit{Howe, Douglas J.}, Semantic foundations for embedding HOL in Nuprl, 85-101 [Zbl 0886.03008]  \\textit{Gavilanes, A.; Leach, J.; Nieva, S.}, Free variable tableaux for a many sorted logic with preorders, 102-116 [Zbl 0886.03007]  \\textit{Haxthausen, Anne Elisabeth; Nickl, Friederike}, Pushouts of order-sorted algebraic specifications, 132-147 [Zbl 0889.68104]  \\textit{Ancona, Davide; Zucca, Elena}, A formal framework for modules with state, 148-162 [Zbl 0889.68105]  \\textit{Fokkink, Wan}, On the completeness of the equations for the Kleene star in bisimulation, 180-194 [Zbl 0886.03032]  \\textit{Aceto, Luca; Ing\u00f3lfsd\u00f3ttir, Anna}, An equational axiomatization of observation congruence for prefix iteration, 195-209 [Zbl 0886.03031]  \\textit{Baier, Christel; Majster-Cederbaum, Mila}, A categorical characterization of consistency results, 473-486 [Zbl 0887.68064]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919791$4E0A5ACA-A55E-4B94-A01D-27892B1193D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919791$51FC1A62-65C3-4E9B-994A-06CE8AD05C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919791$456206D5-1CDD-48E3-88F7-B9C4F86AEF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919791$610C712C-1814-44AF-8225-167C021DA21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919791$B4EF9BE1-BED7-4FEE-BF96-C4DC8B4ABEA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"271903819a0b91c78d198482497475b38affd071","datavalue":{"value":"909787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919791$7246022D-A688-4595-A0A4-B5C7CBBB3E7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f240c936880962a5890c9745c0955c2c76454827","datavalue":{"value":"Algebraic methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919791$57BC6F7E-F13D-48F6-B1CC-5967B1D198BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d6e443c891ec0959991d8c57803a2654164922","datavalue":{"value":"Software technology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919791$FF59F6E6-6264-44B3-BBA1-BC901C47F084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4885221f08c98dfabfa93bd1d5ec9caceb6dd23","datavalue":{"value":"AMAST","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919791$3C71FD92-DA4F-4D1E-B3BD-7879CF309F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919791$6F271465-BBED-4DA9-8CF5-E1FB2CA605CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919791$1935F6F6-685A-4EA1-9446-2CF408EE649D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31913f2e7690b48b9728d309b849e9e77eb45b28","datavalue":{"value":"Munich (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919791$C561A9BA-D4B3-4D3B-BF57-DF5CA62FDEAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919791$C1468057-6085-4892-9083-EE4C9F78E0D2","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":"Q1919791$2AF08E61-823A-4452-A5F2-88304851BA3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aae54c09645c690305c36edf38d583d12e1cfdbc","datavalue":{"value":"https://doi.org/10.1007/bfb0014301","type":"string"},"datatype":"url"},"type":"statement","id":"Q1919791$D534F5B9-13FA-44CF-BA00-973E42B4174C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c3b8fb751020f667d318fc82d70e811ab69196d","datavalue":{"value":"W4205580095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919791$003BD7CE-1762-45C2-9D07-7212D31C1B2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44581a599ebe4a712c5d89db0c96ba67832d4652","datavalue":{"value":"10.1007/BFB0014301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919791$22FCDE04-549E-4C98-BC85-DF155C57537A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1919791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1919791"}}}}}