{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:53:18Z","timestamp":1743047598479,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":0,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819922161"},{"type":"electronic","value":"9789819922178"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-981-99-2217-8_4","type":"book-chapter","created":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T17:02:27Z","timestamp":1690909347000},"page":"35-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Some Controversies Around Formalization in Architecture"],"prefix":"10.1007","author":[{"given":"Pl\u00e1cido Lizancos","family":"Mora","sequence":"first","affiliation":[]},{"given":"Catarina","family":"Ruivo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1877-0332","authenticated-orcid":false,"given":"David Leite","family":"Viana","sequence":"additional","affiliation":[]},{"given":"Franklim","family":"Morais","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Vieira Vaz","sequence":"additional","affiliation":[]},{"given":"Vicente","family":"L\u00f3pez-Chao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,2]]},"container-title":["Digital Innovations in Architecture, Engineering and Construction","Formal Methods in Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-99-2217-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T17:18:37Z","timestamp":1690910317000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-99-2217-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9789819922161","9789819922178"],"references-count":0,"URL":"https:\/\/doi.org\/10.1007\/978-981-99-2217-8_4","relation":{},"ISSN":["2731-7269","2731-7277"],"issn-type":[{"type":"print","value":"2731-7269"},{"type":"electronic","value":"2731-7277"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"2 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods in Architecture","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Galicia","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fma12022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fma2022.archformalmethods.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}