{"entities":{"Q643151":{"pageid":644999,"ns":120,"title":"Item:Q643151","lastrevid":63236562,"modified":"2026-04-11T11:31:17Z","type":"item","id":"Q643151","labels":{"en":{"language":"en","value":"Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5964827"}},"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":"Q643151$E183B4A1-8DE8-4C24-9882-E21E9389F42A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad54e0ba248d65ca56de36efcf405b7956074105","datavalue":{"value":{"text":"Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q643151$785C7F46-3C8F-473D-BA93-062AE0E59D01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b52260aff86004264e0ef346279dd8180cbdc71d","datavalue":{"value":"1225.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q643151$A1913766-4BC5-48B9-A08B-26F76F08AFC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74a448f5f656b63cc682089ce81e2d537315c6c5","datavalue":{"value":"10.1007/978-3-642-24690-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q643151$F27D299B-E9EE-4D55-88D6-A050D23000CC","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":"Q643151$7EA131B4-27A6-454C-895B-134511B413DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38a81e84099573d05121e91aff13e9ace3cbdb14","datavalue":{"value":{"time":"+2011-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q643151$22FD6B61-FD28-4F32-84CE-A9B37D902ED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q643151$9877C762-7176-48EA-A6B0-183AA6433FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q643151$D8BBCB6B-C812-435B-AE7E-FEB2F9D12A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q643151$96EA8B57-8F16-4383-BEDD-7EBFB91DED7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32012500c96eb3fab4fe9c9cb5412b1ee7be777f","datavalue":{"value":"5964827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q643151$2747EC57-25C2-4742-BB2E-39B3180F1DF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q643151$9A876586-D8E0-4CF9-8678-363875E592A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a4587c9274b41a62dceb3b95ff35192ad3a34ea","datavalue":{"value":{"entity-type":"item","numeric-id":18814,"id":"Q18814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q643151$AD78FD02-0E2D-4980-93A7-E6EE6FB184EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q643151$7D1B1D23-256E-4701-B72B-1719A88F8833","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":"Q643151$E826C244-3DDC-41FC-A6B8-5157FB15C559","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9c9cc951dedb6f579cd1150b49173e311dcda28","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24690-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q643151$69F42D89-BCC9-4BCD-A789-3DE9462699D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18e49984d9dde4b4ce5738c7532410641e4446e1","datavalue":{"value":"W2503936735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q643151$C9C3DD4B-9FDD-4C15-9CEF-978AF2727632","rank":"normal"}],"P1643":[{"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":"54001970ca52b6d5f947697c4c473b85c0bc98eb","datavalue":{"value":{"amount":"+0.9192805","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":"Q643151$0EFD72C4-5ECA-4655-B765-14CEECC644F5","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":"8f5e083e7a1dfea97a931b2e1c7530d10c0a7621","datavalue":{"value":{"amount":"+0.90014815","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":"Q643151$DBF084A0-9B66-4684-B92C-A6AB2EBC5797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f90828dd26a883185a4c67944ff98f1d6b3c48","datavalue":{"value":{"entity-type":"item","numeric-id":451068,"id":"Q451068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a513e4711ce9adb50ee287ca32459ba2e57e4f","datavalue":{"value":{"amount":"+0.8944108","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":"Q643151$796FA54A-DB0A-4D44-9480-D1849095C3CF","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":"1f12931f7d8613fc7630a155015cddce0694247c","datavalue":{"value":{"amount":"+0.89246356","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":"Q643151$5B96C96C-05DA-4A97-B467-BB30C14AA001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9445d73ec2e6eb9ca620c45d07f89c06a9e2ea","datavalue":{"value":{"entity-type":"item","numeric-id":2400911,"id":"Q2400911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7591b6bfd17470cf80aefa7e3fa466cca52c11","datavalue":{"value":{"amount":"+0.89137053","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":"Q643151$DDCAA899-0A66-44D6-AE93-37651EC49465","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":"66e9b7723e43936e6b506d1771297567cbd0f8d5","datavalue":{"value":{"amount":"+0.89123094","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":"Q643151$63C11E6C-29EF-4BBC-A087-F3E5528A2A22","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":"47ddd254de8be376d9242db5b88f0ffbc23dc511","datavalue":{"value":{"amount":"+0.8900176","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":"Q643151$4034C0B4-2CDD-465F-8FC9-46536E92BC67","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":"4d2e475a575cf3481f4e0b67d68c5c304a327a25","datavalue":{"value":{"amount":"+0.87689275","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":"Q643151$92292375-D878-47E7-B362-63CEEDC4CB70","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":"90a82c0326af8bfdb5f6e4aba6774583f9ab23ac","datavalue":{"value":{"amount":"+0.8722565","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":"Q643151$CE2E2674-2BBA-4045-B983-1F09A313B733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7061df1db24475589d8c71108108675c784a5b88","datavalue":{"value":{"entity-type":"item","numeric-id":2339984,"id":"Q2339984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ae6682b3383c2802ca3173fb493bce374f8eaa","datavalue":{"value":{"amount":"+0.862363","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":"Q643151$305C7D96-9C61-4D4F-BDF5-84F7092DDF74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_engineering_and_formal_methods._9th_international_conference,_SEFM_2011,_Montevideo,_Uruguay,_November_14--18,_2011._Proceedings"}}}}}