{"entities":{"Q2400911":{"pageid":2411654,"ns":120,"title":"Item:Q2400911","lastrevid":44021253,"modified":"2025-11-19T02:15:13Z","type":"item","id":"Q2400911","labels":{"en":{"language":"en","value":"Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4--8, 2017. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767170"}},"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":"Q2400911$A173B203-3DDE-4CEA-B56B-45D8516BA012","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba4b1ce86624bf2d27730608e2bdfe7b185b170a","datavalue":{"value":{"text":"Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4--8, 2017. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2400911$EB74A4F1-D1C2-47A2-8E6A-2038DC7B744E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"933390e8c3b04b7d99ce84920363cd6564b35911","datavalue":{"value":"1369.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2400911$1FB7BB95-D9D8-4494-A40B-0853E24C31E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c300981e91780dfb049b169eb3acc4f49a86b1f","datavalue":{"value":"10.1007/978-3-319-66197-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2400911$2329F996-C206-441B-A5CA-1D1CB83B5E52","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":"Q2400911$CC8AA8CE-2EAC-4A14-9DCA-BF8FDAE9D14F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"460510d803588e7b00e699f6d85fc74649495108","datavalue":{"value":{"time":"+2017-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2400911$C5A96956-6A96-48F7-B41F-2E037F4610EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2400911$B33916BE-B752-48BF-BC26-7273CE7F47A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2400911$478AD40B-0522-4C2F-8D5E-73667964680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2400911$A1A5615E-8B99-4E4A-B2E6-968D26F60275","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27d4fc47e6cb5a9cd1ad64fedb4791ad049cdca6","datavalue":{"value":"6767170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2400911$3D279AFD-AAAA-40FF-BE66-1DD08866B681","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e206673f06e56f6685580a8df51656485cfc26b","datavalue":{"value":{"entity-type":"item","numeric-id":33314,"id":"Q33314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2400911$1815D229-1BE1-42A3-BD1C-1C5C802A9291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edf02d32e3cd627cb80c1ce9e096ac20a72a2729","datavalue":{"value":{"entity-type":"item","numeric-id":33313,"id":"Q33313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2400911$FD29EC96-9350-4EC4-947A-10F88B539F37","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":"Q2400911$88CF545C-1209-45C3-A056-20BBD3FF5372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1a543d1b129d4ee446b2331d5a43ef8f9ec58c3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66197-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2400911$7B2776E4-7325-48B9-BD61-45B4E88BF62D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08d22ecd4b69e0a8aa30588b9d32f8d041f8fca1","datavalue":{"value":"W2744447915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2400911$5A385BD2-1F9B-4EDF-90BC-8ADC00C5434F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5451bd76f8c877dbe894e48c99a3a5e51669449a","datavalue":{"value":{"entity-type":"item","numeric-id":1698553,"id":"Q1698553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b762a6b0987c6c51da627898e0f859c44e628c94","datavalue":{"value":{"amount":"+0.94198585","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":"Q2400911$4F9EE634-7720-4E92-9705-A93F4F34C633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcee2e7947095cfe0d3d549624fc9b0bcf6a9996","datavalue":{"value":{"entity-type":"item","numeric-id":494715,"id":"Q494715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0999c7aebd8d0afc47469384a98f77f32784f85b","datavalue":{"value":{"amount":"+0.9376413","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":"Q2400911$86509E0D-5F8E-4DFE-9C4E-4F9F9A6FD973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd43143918d2ac1f45bb46d4c58ff9542e21bc42","datavalue":{"value":{"entity-type":"item","numeric-id":2512398,"id":"Q2512398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278ada18bf3602505e7e176a6e343517e8d13937","datavalue":{"value":{"amount":"+0.9326725","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":"Q2400911$2A6ACBD2-4BD0-48F4-9BEB-C93F6D293B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e0823e0b51d9493ed09a01ac045cfd3cc096e4","datavalue":{"value":{"entity-type":"item","numeric-id":2326221,"id":"Q2326221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d463280c0ca26cae36c720e0854b9418ee544e0","datavalue":{"value":{"amount":"+0.9325564","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":"Q2400911$3695B665-4944-49C6-A580-8B2E9CBA87F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6092d9fc8898e8bf9603d02328f8763139e1674e","datavalue":{"value":{"entity-type":"item","numeric-id":1652722,"id":"Q1652722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81648b0692a4c98c241e716f06173058d83ad5c8","datavalue":{"value":{"amount":"+0.92364526","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":"Q2400911$E1755964-8B9B-408B-9523-C2F7EEDD5882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe4911f7c997a0ba5b37eb3936a20d834b6777a","datavalue":{"value":{"entity-type":"item","numeric-id":827957,"id":"Q827957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0eb7667096733c3352e65d997565f5841d11010","datavalue":{"value":{"amount":"+0.9223134","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":"Q2400911$F1C8FD6D-732A-4CD0-A59D-A7333DA23D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7f49ee7b0f63442fadaba954af9a67ff5b8a645","datavalue":{"value":{"entity-type":"item","numeric-id":296526,"id":"Q296526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b804a3d7cccd8172cf6f79787ed4d07ddf0d77b7","datavalue":{"value":{"amount":"+0.9170691","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":"Q2400911$90E76600-01AB-4751-BAFD-9D8BBDC54635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e487ba37b26d9ac7498fe0076a88911d4b189b","datavalue":{"value":{"entity-type":"item","numeric-id":2106177,"id":"Q2106177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c49c611c5fd03294e8e3ce6f12499027f57881","datavalue":{"value":{"amount":"+0.9149826","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":"Q2400911$EE32C4F8-FD5E-48D8-B0A4-9C9FCB5319CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09300acf5e7d39eefd2144c0ba98e85578fdf9ba","datavalue":{"value":{"entity-type":"item","numeric-id":369461,"id":"Q369461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d52151f7cdb0e3786abdc65b96602f2ac8c274","datavalue":{"value":{"amount":"+0.9144785","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":"Q2400911$7AA1740E-B1E4-458C-BD80-4ADE0491723A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ca1a62a5efa410612096625225be4ef6d50e06","datavalue":{"value":{"entity-type":"item","numeric-id":831518,"id":"Q831518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b691ef19a49542747abe07105b97e6070a732a71","datavalue":{"value":{"amount":"+0.91437083","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":"Q2400911$E881C9B9-2979-4BE1-8143-A59072572DAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2400911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2400911"}}}}}