{"entities":{"Q1036135":{"pageid":1037983,"ns":120,"title":"Item:Q1036135","lastrevid":69965808,"modified":"2026-04-13T11:31:49Z","type":"item","id":"Q1036135","labels":{"en":{"language":"en","value":"Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5625352"}},"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":"Q1036135$422A27A3-DDDE-4678-A09C-F9C2BFF57905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1f6ede01f5e242923af9bb38e492b6e312ff5d4","datavalue":{"value":{"text":"Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1036135$5D4E17E3-56DF-43BC-917A-E76ABE90BE59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3b35e841bfe6e6ca810eff4ba8ba2a4dfab1423","datavalue":{"value":"1177.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$F2C0F4B8-BF84-415F-B771-6EFF837ACE9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48e719a34186be94dee6af75d46db9dd8e8de933","datavalue":{"value":"10.1007/978-3-642-10452-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$B4D1CE4C-A396-4C78-A5D3-3368E4A07400","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":"Q1036135$A2455B2E-E69C-4BCE-932F-CE96DC793CC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f64cda6c38473afdec30989105db5294c67eb19e","datavalue":{"value":{"time":"+2009-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1036135$1BE1D3B7-191B-4141-979A-EC804B811853","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$E0823B05-D7EA-45C7-B0CB-7702F1925830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$B143035E-EDF1-404E-89E3-1551F1CC38E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$F0CB0184-F7E9-4CA9-9BE3-B5F91700532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$BEFD8D5F-44D4-43B1-8ACC-5DBC92C3221C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dab027b8f783aef31bffef1dcdc5f166f879ce9c","datavalue":{"value":"5625352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$35E03BD8-3AD3-4B31-8E97-996A3B6F8C53","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"173c8e3c867e55902011fcfd6bf407c5cb686add","datavalue":{"value":"Q59625931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$F333AB04-3CF3-443C-A0DC-9E6B2F1DC6A9","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":"Q1036135$2365DCA7-FEEC-44BF-87EA-F45035B0C4D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8569acd5dd5124988f364d8ced4178878f7748e9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-10452-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1036135$C9FB7EAF-F1BE-4431-8D74-F9A4FA6FBBF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ca9336e983d96661f610c1f24e28b30bfb02444","datavalue":{"value":"W2624891686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036135$19D00A37-AFA0-4BF4-8E74-A0B6BB62EAFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f2a47d439919cf78c9faccb81b7a57fb68c1c7","datavalue":{"value":{"entity-type":"item","numeric-id":645928,"id":"Q645928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1cb0f0d3c1bcdf294b917c0c74746194fcb1a3","datavalue":{"value":{"amount":"+0.9579567","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":"Q1036135$DA04DACD-8FF5-4BE9-B089-040E6B3419BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e06322b2038174130efe5be6f678b17dc70728b","datavalue":{"value":{"entity-type":"item","numeric-id":2431623,"id":"Q2431623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8edcfd5352bed07b032856312764da8e07789a0","datavalue":{"value":{"amount":"+0.95633656","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":"Q1036135$1C0FB9C9-5BC0-4E95-8D02-05025082672E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fcb4d52501f3a929b9e3b68298245e10c95de80","datavalue":{"value":{"entity-type":"item","numeric-id":451070,"id":"Q451070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d465a4e6b7da0431bac7169c55a9e3e96df205","datavalue":{"value":{"amount":"+0.95479256","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":"Q1036135$92CAD329-B866-4AF7-8737-DDC20E55144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc9aa47cd1bbf1a6f8affbef8cf751378ebbaf3","datavalue":{"value":{"entity-type":"item","numeric-id":363483,"id":"Q363483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6a24a2df62e09d196e473cd90212a759108614","datavalue":{"value":{"amount":"+0.94858","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":"Q1036135$A3DA015F-0819-4A58-A82E-4E658A24F3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9250d56e0e144bfbe2df90f9ea66ab9cf1c16c1b","datavalue":{"value":{"entity-type":"item","numeric-id":907242,"id":"Q907242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aeffeaaa052d4f70546142bf97f993b40d2063d","datavalue":{"value":{"amount":"+0.94396454","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":"Q1036135$CE2551B3-5C07-4741-8DBD-488D02A405C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f37ad1aedc1bee859912cf2c377829a5a70561","datavalue":{"value":{"entity-type":"item","numeric-id":2339982,"id":"Q2339982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab888d0c519ea1ed3325841af971ea8b5f8d744e","datavalue":{"value":{"amount":"+0.9404981","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":"Q1036135$400DE794-2880-46FD-9C00-4DAC44F67C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97541c6a0c779c6d61bd1c5aa5dafdc29f763258","datavalue":{"value":{"entity-type":"item","numeric-id":340366,"id":"Q340366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddebf746f2ab831e847cf5a9b1088e0a1ec01947","datavalue":{"value":{"amount":"+0.9386797","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":"Q1036135$705839E0-A0AB-45F5-9922-75D9AA979B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac68f8ea6d56c49bc41a59fb90f3085ef347bf08","datavalue":{"value":{"entity-type":"item","numeric-id":1677306,"id":"Q1677306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc69643059be2de2905e9a6d3feb1783468b49c7","datavalue":{"value":{"amount":"+0.9351647","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":"Q1036135$42E82EF8-B4E8-4F5E-B183-A7E5F0C5C764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907942e4f26169111171beaefda09eaf5977e87f","datavalue":{"value":{"entity-type":"item","numeric-id":1623007,"id":"Q1623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b60b5db0e5673e72e68706400f1dfb73a5506a1","datavalue":{"value":{"amount":"+0.9315928","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":"Q1036135$E860AF5C-6947-4AFA-9168-818982A1E1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cc913827be0422933632b8d13d4e7d0cff6dfe","datavalue":{"value":{"entity-type":"item","numeric-id":2028510,"id":"Q2028510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e697c6467182a4f9666e31b0d9dc9b18b18473b","datavalue":{"value":{"amount":"+0.9303943","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":"Q1036135$C4CF4EAF-061B-4FBA-8EE9-EBD09DC66B37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers","badges":[]}}}}}