{"entities":{"Q2662243":{"pageid":2672986,"ns":120,"title":"Item:Q2662243","lastrevid":79060673,"modified":"2026-05-06T13:03:26Z","type":"item","id":"Q2662243","labels":{"en":{"language":"en","value":"Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7332296"}},"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":"Q2662243$FB76C4F5-DFC1-467B-B6E0-FEFB98CD7F7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f6daaa54819c257343a4cb078676d9a40f30101","datavalue":{"value":{"text":"Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2662243$E8D4A878-5326-4E41-80E2-13D18B8F9FAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca10f0ae82a9b7aad2cb105b90f5659ea8ece96a","datavalue":{"value":"1499.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662243$47743BBC-F874-49F9-864A-4DF18ACDEE7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15b428369635c31d904475708545aaa3c5802dcc","datavalue":{"value":"10.1007/978-3-030-54997-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662243$F18FDB36-6424-40D1-BDE8-8FA286FF295A","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":"Q2662243$CA6EEF8B-C6F4-4E4A-94F5-AFA5A7FE7E33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34963f44076aaadc465bd68c9c3f8b96ebd4e895","datavalue":{"value":{"time":"+2021-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2662243$EF3573DB-5A76-4EC1-A079-780E95D14377","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662243$AD50B8AF-1155-4004-AD3D-1DD1413AFECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662243$A68E10CE-1BF7-4CBC-819A-3CB3601730F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662243$57A77191-8CA5-411F-9858-4F574C3E1CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662243$9501FF71-E78E-4824-9599-BCA9EB4F2A26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d7785d42f8e3d2f6c1b8eb846905b0cdcdbdb19","datavalue":{"value":"7332296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662243$ECECDDF1-9B51-43B2-908B-65F36ED213B2","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":"Q2662243$235A9F10-A877-4A41-9779-2E5A08329A0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eae3c340ef2fed705b825df2d73eac7acc2dbe3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-54997-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2662243$C9D4BACA-8D78-454E-976E-818955FDC2B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b2ed87933bc5f36a0085c623d6ab9e00bbc74f9","datavalue":{"value":"W4213176313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662243$39338CB6-D276-4181-BF44-952BFA4E821B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f51939e0af4183f42558a7ce5a4907380f9807b","datavalue":{"value":{"entity-type":"item","numeric-id":2662242,"id":"Q2662242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0eeaa387bd1d2867bab0f711537e6fd6c5f2c4","datavalue":{"value":{"amount":"+0.9642584919929504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662243$1D3ECAC7-20E3-4456-9F57-F6794539345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1b63261fffc40c0d91109a0c4d575c91a489860","datavalue":{"value":{"entity-type":"item","numeric-id":2325847,"id":"Q2325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e616201b9cd1fdb960e2f3992db4562af74481","datavalue":{"value":{"amount":"+0.9038435220718384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662243$4314AE46-CD48-4BD6-BB62-085EF6F7BD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602299dd09ef1987edb6e4f3064628a940d11c81","datavalue":{"value":{"entity-type":"item","numeric-id":2147686,"id":"Q2147686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8631613edc5287b7e5ad17f88dea3d44afcafdf","datavalue":{"value":{"amount":"+0.8520989418029785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662243$6E0AE738-BD8B-43A7-8448-E5DAB3DDBBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fc8fcd7b4462ceb078d6a68c992c5fd1b6074c","datavalue":{"value":{"entity-type":"item","numeric-id":5918094,"id":"Q5918094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02508375274f6daf0c717f3b1a249c6c4b66458d","datavalue":{"value":{"amount":"+0.8237738013267517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662243$1D4038FF-79D9-4D77-AF6A-C6CB07A9BC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6b66126c4b6713034858765b21955339c1d2ff","datavalue":{"value":{"entity-type":"item","numeric-id":1036131,"id":"Q1036131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a9fb6c864f0210eaec751eaad9eed6e7b551b7","datavalue":{"value":{"amount":"+0.7908328771591187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662243$15121B0E-21EA-42C6-A87E-4037ABF9849E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_methods._FM_2019_international_workshops._Porto,_Portugal,_October_7--11,_2019._Revised_selected_papers._Part_II"}}}}}