{"entities":{"Q831332":{"pageid":833180,"ns":120,"title":"Item:Q831332","lastrevid":64702794,"modified":"2026-04-11T21:39:43Z","type":"item","id":"Q831332","labels":{"en":{"language":"en","value":"Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16--20, 2020. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7347093"}},"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":"Q831332$69E00817-A53B-4B39-9732-0B5473966B38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2de5a747a4995f024b8828f842c59293f4097e9","datavalue":{"value":{"text":"Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16--20, 2020. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831332$6F79C557-699F-453F-994D-1A9BBF399403","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4111daa25d1f43d93d9225ea9d24cd7f027aee2d","datavalue":{"value":"10.1007/978-3-030-63461-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831332$126D17F6-F6B4-4775-B6EE-067D293634AC","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":"Q831332$689B165C-9047-484F-90A4-900A923A3EC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831332$39903F91-8B99-474A-BE61-D8853039887C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831332$67944634-2D11-48E4-BC80-85285E192900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831332$0852DCFE-2CEF-48F3-B274-5A43B3A4A923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831332$DFC2A529-21DE-49A5-A22D-0D31F90F2C18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a09f1ad6fe1a6b7ed346ef27b81719a682e4080","datavalue":{"value":"7347093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831332$8E128BEF-782C-43F0-9375-FC0A96F4FDF2","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":"Q831332$CFFDF20B-A97A-4CB2-9256-29173EDEA57B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66ed6c7d124ce189ae1d529541bed9ed3f00391a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-63461-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q831332$9FF4D14A-7BAA-44D9-B431-9FE4DA308FEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71b045518f4e2cc3e73e4762d32e70c643b22192","datavalue":{"value":"W3009746325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831332$3239247E-A557-4140-BC58-F2C85B0EDAA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90a8348e6df98a152061744b0fc13b00c45564b","datavalue":{"value":{"entity-type":"item","numeric-id":2156884,"id":"Q2156884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd181c6105f58e8bfc46fd1e86d2bb905e446091","datavalue":{"value":{"amount":"+0.9736246","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":"Q831332$554B39BA-07DA-41B8-90C8-2F610253C7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85af0381c367d6acbecd86cdb90e4da5ed4fcd40","datavalue":{"value":{"entity-type":"item","numeric-id":2279916,"id":"Q2279916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc52d695a781719293edee6fb2a32ce990adb1ad","datavalue":{"value":{"amount":"+0.9316084","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":"Q831332$5AFABE6F-3374-4B4D-AC8E-7046367FAF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b249ab7ba1b5899388baf42a66e56a09c35072","datavalue":{"value":{"entity-type":"item","numeric-id":2402686,"id":"Q2402686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837a7247409a294507809030d5866a7d7a7ffe3b","datavalue":{"value":{"amount":"+0.9302087","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":"Q831332$7F67E32F-856A-4B6E-9E6A-D1BDB5834285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cfe6739bf9053f144dad68266364b9c514d86b","datavalue":{"value":{"entity-type":"item","numeric-id":492684,"id":"Q492684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010d72af3aac4f91ea347276f32714f00f7d1ac2","datavalue":{"value":{"amount":"+0.92230463","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":"Q831332$807491A1-0410-4F8C-8869-261931D17B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb27557081fa4db36ab5e6319cfaf90f10f36ff","datavalue":{"value":{"entity-type":"item","numeric-id":288098,"id":"Q288098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0b977ce44b69ded736cc91ff6d68dcab7c1c0e","datavalue":{"value":{"amount":"+0.91675043","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":"Q831332$4A9A1FF7-F32B-4F39-900D-838D0C1E17B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404fbd789365e32e6774056a8fa8fcf83cbde880","datavalue":{"value":{"entity-type":"item","numeric-id":433855,"id":"Q433855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6ce5c85afc855baf6226aa047d7e50f4b81088","datavalue":{"value":{"amount":"+0.91378564","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":"Q831332$A06DD738-4D89-4914-BDE9-EF93FF198C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d80538f3e4a7d7420916b1396334a112a5d3d93b","datavalue":{"value":{"entity-type":"item","numeric-id":1790409,"id":"Q1790409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ad810d4b80634d55bce4d705efb1b14e63b082","datavalue":{"value":{"amount":"+0.912632","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":"Q831332$9072C2DF-7276-4E28-BA48-1CE2B4965177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d8bc495385c97a330b8da4c373957f7b923497","datavalue":{"value":{"entity-type":"item","numeric-id":1949828,"id":"Q1949828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620991552e3082edc3f5e280cc40a2d989fbbc7f","datavalue":{"value":{"amount":"+0.90840155","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":"Q831332$F5387E49-8ABE-40EB-A599-F06E3D69F62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235359e58cb71543e0dab26999862a0d4e386bfa","datavalue":{"value":{"entity-type":"item","numeric-id":1958488,"id":"Q1958488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a0dab7516e4df614255c9fcc20d5149a4eac80","datavalue":{"value":{"amount":"+0.9057262","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":"Q831332$9A09233B-916D-457B-8EA2-A3A498A46B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92584ea4a29aa17cdb3d1de91a998af0e3e61a2","datavalue":{"value":{"entity-type":"item","numeric-id":1589860,"id":"Q1589860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5993d6da91ccd94daadff9f3844aaa780ed56b","datavalue":{"value":{"amount":"+0.90434444","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":"Q831332$133EEB89-1FE8-4CEB-B18F-94630640D5E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrated formal methods. 16th international conference, IFM 2020, Lugano, Switzerland, November 16--20, 2020. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrated_formal_methods._16th_international_conference,_IFM_2020,_Lugano,_Switzerland,_November_16--20,_2020._Proceedings"}}}}}