{"entities":{"Q1860602":{"pageid":1871344,"ns":120,"title":"Item:Q1860602","lastrevid":69137199,"modified":"2026-04-13T05:00:30Z","type":"item","id":"Q1860602","labels":{"en":{"language":"en","value":"Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1873789"}},"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":"Q1860602$9AEE983D-6D80-420D-9554-888E08D26003","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72dc2f8a513fd999cea0d5da057c170d5881c031","datavalue":{"value":{"text":"Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1860602$9CD5362F-EFF4-4345-9092-276758A58F41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bee55cb00f366ca8dce231ffebee19da703e6a08","datavalue":{"value":"1006.00016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860602$B89BD367-CF8B-468A-AF61-2D18BC1A4244","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1c739f3406649879ccdda42104024c06adc62e6","datavalue":{"value":"10.1016/S0304-3975(02)00363-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860602$AD719019-6803-4D9E-80FE-67AF1598473E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1860602$64238D26-A163-436B-B0D0-C6220BFAC3B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6dbb53951f919290e376175da236c1c966ab3f","datavalue":{"value":{"time":"+2003-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1860602$4288AD05-5817-44CC-BB10-52D4C337580A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99d94fcb96b4922701764df17c7515acf0422aef","datavalue":{"value":"The articles of this volume will be reviewed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860602$4161529B-EFC1-4151-84C4-43DD17D05A16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860602$8753C64F-7C9D-44AA-81C0-07C9ECBCF5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860602$F01220B7-4448-418A-8C2B-14D69CE5C4A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13b56c752eab2cb805d34cd2d17a38a3d53bdaf1","datavalue":{"value":"1873789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860602$7B7D1B6C-615B-45BB-B8EC-6E50E5FD6B0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f240c936880962a5890c9745c0955c2c76454827","datavalue":{"value":"Algebraic methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860602$D3298F49-5E8A-4755-8AC6-85CA8606D7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d6e443c891ec0959991d8c57803a2654164922","datavalue":{"value":"Software technology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860602$F64D95E5-FCC9-4A4A-87F2-2E96A9076E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df656a855a081c9c846c2e73d3e588f3efdce19c","datavalue":{"value":"AMAST 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860602$92A410C1-B709-4E8B-9A85-D6C918889CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee1b63d57321bf6b3af220abdabc26e935b52af","datavalue":{"value":"Iowa City, IA (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860602$CB3CEF0D-4641-4284-9BC2-876188B06CA6","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":"Q1860602$E27D0B1F-6E34-4B22-B807-3DD408BC081A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a7a7f588bc4868118e558d5bcfabc62532f399c","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00363-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1860602$3DD8CF4C-3C15-4FA3-80EB-DE60490CFD0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29fdb8d82424fd2291b004726d63dff1dc938357","datavalue":{"value":"W4205583904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860602$89BBF7FF-FCE6-4A1C-98F7-68DDB9EA39ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_methodology_and_software_technology._8th_international_conference,_selected_papers_from_AMAST_2000,_Iowa_City,_Iowa,_USA,_May_20--27,_2000"}}}}}