{"entities":{"Q433855":{"pageid":435622,"ns":120,"title":"Item:Q433855","lastrevid":77805446,"modified":"2026-05-06T10:05:44Z","type":"item","id":"Q433855","labels":{"en":{"language":"en","value":"Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6053611"}},"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":"Q433855$CE2C24B4-3BFD-4280-ADF9-CD1305D5D858","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d50fdc09b26e20cbe7bb6957408d8ccb222d799","datavalue":{"value":{"text":"Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q433855$3AD07535-AF9F-4DE0-871F-653945469E36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9e7addd1dbdfaec140c887f1452bef75ec18a6c","datavalue":{"value":"1245.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433855$CB0296CE-56E1-4EC7-AAEB-F7CA6C7608BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aab53d6bb772b281ecdbf5e403914d93d9778c6","datavalue":{"value":"10.1007/978-3-642-30729-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433855$8238BC4C-B5CE-48A8-A638-B8D88E5584CD","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":"Q433855$EDFD23C4-BA09-4034-9EE0-F581DB52504A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16258e7a8ca6a7ca0cc8f1328830db400c7a92f3","datavalue":{"value":{"time":"+2012-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q433855$13A71C4C-4755-40F8-9DB6-D0356C253756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433855$EDD8CFB5-AB1A-4256-A5A5-A8CDF85D3E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433855$2FF4A204-0A42-411F-A1EC-64241C73BB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433855$49F4F53E-5648-4FA9-A42A-7845DD85975F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a2f30f8a4afb37a71e1884b807c9284a6e92bd8","datavalue":{"value":"6053611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433855$FF55D551-09A9-49F8-97DC-B2F1BA96CF7B","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":"Q433855$28BB51FD-E86B-4B01-B57A-82D6DE896AC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eafaa50a297658e6040ab0cb314ed93e25a5a0be","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30729-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q433855$F0C64545-FA2F-4466-BFE2-94E3585FC654","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96de64032bf3bd99e8bab0afc01d762296b667e8","datavalue":{"value":"W1522778889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433855$0BCC4957-E823-4ECF-AEA5-B0ED550AE135","rank":"normal"}],"P1643":[{"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":"b12b7c021bf1cb7b2c87176ef230e92775b1be35","datavalue":{"value":{"amount":"+0.9595741","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":"Q433855$2B06CD91-433F-4321-A4D3-FF8227D8A589","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":"c61b4195402dd8ad08981d94c21cdf8743c90a28","datavalue":{"value":{"amount":"+0.948662","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":"Q433855$9E798312-34F9-4D6B-BFBC-363541333F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3729242016a2a165d49a3c51e00132d37da7bb76","datavalue":{"value":{"entity-type":"item","numeric-id":1002113,"id":"Q1002113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7febe3a1011a2ce114a16c335c7e3fd2d9eaf0","datavalue":{"value":{"amount":"+0.92599773","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":"Q433855$C1F5EA3A-EC03-43F0-AF30-54B41861AC86","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":"a1fc0ae2309971593d1227897fc5d1aaa20fe345","datavalue":{"value":{"amount":"+0.9237091","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":"Q433855$A1EB260E-B3E1-470E-BED4-E14601F2D716","rank":"normal"},{"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":"8170ea2d649f378f13c47231d855471079d865d8","datavalue":{"value":{"amount":"+0.9178927","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":"Q433855$1CB49FAD-1B32-4214-8F18-B0BAFF71664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ed00e4c3f0eba357c368eb8fd8b9bffcf03dea","datavalue":{"value":{"entity-type":"item","numeric-id":1611715,"id":"Q1611715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0379a3aa59b0d229d701fe3cb2dad6fce7f6148d","datavalue":{"value":{"amount":"+0.9144115","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":"Q433855$A415EE77-E293-4B0C-9915-900D4AA1AED2","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":"0d565eec83fef6f115cecf40a55fb970edc39903","datavalue":{"value":{"amount":"+0.9137986","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":"Q433855$71E58045-E159-4176-A266-29AB8AE08FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d835d836615e1ae7a57f9f07cd6b6ae2dd1cc2e","datavalue":{"value":{"entity-type":"item","numeric-id":831332,"id":"Q831332"},"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":"Q433855$1445A02E-7950-4EEF-9CCA-DBECBB7C5B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f9962ae506726b2ad3de0bdbcefa94ef0bf3ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4936347,"id":"Q4936347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f3dff7eb9e36a2c0a5027d9a07ae278f75e2db","datavalue":{"value":{"amount":"+0.9134044","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":"Q433855$2F94926F-57E1-4593-A94C-3AF07EF61837","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":"0caaf85eb7662cded391135b730b1154097cca38","datavalue":{"value":{"amount":"+0.91251713","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":"Q433855$04779439-7BA1-4ED3-A81D-4F2311F1D7D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrated_formal_methods._9th_international_conference,_IFM_2012,_Pisa,_Italy,_June_18--21,_2012._Proceedings"}}}}}