{"entities":{"Q1374897":{"pageid":1385637,"ns":120,"title":"Item:Q1374897","lastrevid":68758776,"modified":"2026-04-13T01:51:53Z","type":"item","id":"Q1374897","labels":{"en":{"language":"en","value":"Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1099321"}},"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":"Q1374897$2306AA86-D627-4590-A757-461CDB56F4BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e609f42d98f19272b551c71c18afdb26eea4fe8b","datavalue":{"value":{"text":"Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1374897$054D2290-B4C7-48D1-9949-2F07539DB4C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a4696a294250be6eab3657bdc2b3aa73bdac7a3","datavalue":{"value":"0879.00059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374897$62F5676D-75EA-4837-A7BF-73C19B299EE9","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":"Q1374897$27CB0894-936A-4CED-ADE7-DF1C4663DDE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17450649df8fda814560fb6476ed41552e57c61b","datavalue":{"value":{"time":"+1997-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1374897$27A8C102-FDFE-4A05-88EB-8938469224DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a70847ef23c1ec249a9b7b02c55cac1173bad5d","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (5th, 1996) has been announced (see Zbl 0851.00082).  Indexed articles:  \\textit{Bloom, Stephen L.; Labella, Anna; \u00c9sik, Zolt\u00e1n; Manes, Ernest G.}, Iteration 2-theories. (Extended abstract), 30-44 [Zbl 0885.18003]  \\textit{Cerioli, Maura; Haxthausen, Anne; Krieg-Br\u00fcckner, Bernd; Mossakowski, Till}, Permissive subsorted partial logic in CASL, 91-107 [Zbl 0886.03022]  \\textit{Katis, Piergiolio; Sabadini, N.; Walters, R. F. C.}, Span(Graph): A categorical algebra of transition systems, 307-321 [Zbl 0885.18004]  \\textit{Katis, Piergiulio; Sabadini, N.; Walters, R. F. C.}, Representing place/transition nets in Span(Graph), 322-336 [Zbl 0885.18005]  \\textit{Sernadas, Am\u00edlcar; Sernadas, Cristina; Caleiro, Carlos}, Synchronization of logics with mixed rules: Completeness preservation, 465-478 [Zbl 0886.03043]  \\textit{Simons, Martin; Sintzoff, Michel}, Algebraic composition and refinement of proofs, 494-508 [Zbl 0886.03009]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374897$A5F9C6FA-C4CE-47E2-BBF0-6B434A99F47C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374897$2D647165-6E20-4159-BBD7-AB2D1A591876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374897$8E197A76-AD80-43C8-9BB5-3A2313299708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f2bcdb78d18b23e9d59b9b7622b8ab0c51d395a","datavalue":{"value":"18-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374897$F743FA88-7012-434E-AEE8-3D41D9D14B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374897$B97A079F-FA52-4A67-9753-00A374F10D2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bb6626a6de790af8c83d8e254dee425776b5659","datavalue":{"value":"1099321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374897$CD698F08-0446-4885-9604-FAA3E9834A08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1096c458f3e2218e0d1b4cec033c096dd74e7d","datavalue":{"value":"Sidney (Australia)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374897$5C31F87C-3A11-43B1-8E60-9276F7150778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374897$986D2278-F347-4E3C-913E-0C73CC6F9B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374897$D0F39644-A708-45AC-A300-75A805A7E915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c90c32e4cd091d463bcca35bf05334d66aaa43","datavalue":{"value":"AMAST '97","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374897$AEC15C25-2ACB-4377-9503-B29E89885791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f240c936880962a5890c9745c0955c2c76454827","datavalue":{"value":"Algebraic methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374897$62595CEC-3360-4B4F-AD5A-27101361858C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d6e443c891ec0959991d8c57803a2654164922","datavalue":{"value":"Software technology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374897$81EAB655-2551-474E-9357-62611B533C91","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":"Q1374897$477D7C29-6AD6-4B37-A2EE-D1A7453A4D36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e290169d30710f3da1e510db951e135d8cc99359","datavalue":{"value":{"entity-type":"item","numeric-id":1575829,"id":"Q1575829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ad7dbd729f36436268e4eb3bffa02013eb1513","datavalue":{"value":{"amount":"+0.8983556","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":"Q1374897$914B44B0-23EF-45BC-8F38-70391457C15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008ecfb392f5eb16f06d56c839a7c29c897baedb","datavalue":{"value":{"entity-type":"item","numeric-id":1919791,"id":"Q1919791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a407ad5765fc7d1796e3d0637a380a2ad40f56","datavalue":{"value":{"amount":"+0.89703333","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":"Q1374897$2E3C48AC-3E8E-4972-A7B1-633021EADD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c272ca5834e9fe39d68a23a869c5e1a1eb9acff","datavalue":{"value":{"entity-type":"item","numeric-id":873586,"id":"Q873586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22c4cfe351ae83d2f25cfa6a89c852bcc9317b9","datavalue":{"value":{"amount":"+0.88654613","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":"Q1374897$099F28D9-7D83-4101-862A-3765EB8C3BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62025e0ed874df2fe22f7c8d98986a13d9512192","datavalue":{"value":{"entity-type":"item","numeric-id":1276501,"id":"Q1276501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb01fda3c645b14225c2bf2144a9c7c0e7ffbdf","datavalue":{"value":{"amount":"+0.88643324","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":"Q1374897$CFAB64EF-6A5F-42AC-91EA-2CBDEAED4099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ae959a5d8662d76b448321079098e7c21411c3","datavalue":{"value":{"entity-type":"item","numeric-id":1894637,"id":"Q1894637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f56c87f004eca94d5b89353aad460c0f9010a36","datavalue":{"value":{"amount":"+0.8746788","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":"Q1374897$C54C4BD7-BF1F-4E7E-953D-EC5A700D427A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02f1bd0b918e0db7ef60657ae22a2aa9393e56b","datavalue":{"value":{"entity-type":"item","numeric-id":2518093,"id":"Q2518093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f206d8fec544219e73d5d913b1058ddf77cd9e","datavalue":{"value":{"amount":"+0.8716662","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":"Q1374897$B10BD683-B951-4A96-82B3-75E288D83A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729a0f04447942ccfc36441801f9e48fed318d90","datavalue":{"value":{"entity-type":"item","numeric-id":1860602,"id":"Q1860602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6be66e75bf8527331a5c3a3e6fa9b02b833f7f5","datavalue":{"value":{"amount":"+0.868797","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":"Q1374897$60C00EE1-1D71-4915-9AE6-FC172BFA9302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea117b4ba0ecb77580d39c22fc0290ba3ef2bb0","datavalue":{"value":{"entity-type":"item","numeric-id":1567496,"id":"Q1567496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493b852379f5f80d7048e36f634c30c6d31ec13a","datavalue":{"value":{"amount":"+0.86771786","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":"Q1374897$70057B71-1A6A-4062-BF49-F63371C27A1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_methodology_and_software_technology._6th_international_conference,_AMAST_%2797,_Sidney,_Australia,_December_13--17,_1997._Proceedings"}}}}}