{"entities":{"Q547076":{"pageid":548843,"ns":120,"title":"Item:Q547076","lastrevid":62656176,"modified":"2026-04-11T07:34:14Z","type":"item","id":"Q547076","labels":{"en":{"language":"en","value":"Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, D\u00fcsseldorf, Germany, February 16--19, 2009."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916094"}},"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":"Q547076$2A92E669-3A28-4706-9A8D-75AF90A7531C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e409592b262bb3be7707c0941b901444d584d0ea","datavalue":{"value":{"text":"Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, D\u00fcsseldorf, Germany, February 16--19, 2009.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q547076$7F13EE63-F0FA-4DAE-BDEC-6DC6C9F092C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9a61a06aa872ce54127cfe916869075d6498d08","datavalue":{"value":"1221.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547076$9026FE06-ED86-40A2-AF90-0A90F760F5B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q547076$51443BA5-525F-4B97-B6E9-FEB73212EE84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a120db9f973c25ec9f4d7fedafc327b72241f3","datavalue":{"value":{"time":"+2011-06-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":"Q547076$48547B63-455A-46CF-BC8F-6E7B740CD4FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547076$CD7E388C-A97A-4DAE-B0E1-DD4B5AE5E2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547076$268110CF-0348-4664-95C5-94FB2D1C306A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547076$F1ABF328-D805-423D-8582-723BB4A8EB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547076$85C12A5D-8368-4F11-8934-E2239BB0A428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27e333f50de50c166706f2955b7e14e465d4b239","datavalue":{"value":"5916094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q547076$EAD729C7-ABCB-4B5F-AE3D-EA7CCEA9D6A4","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":"Q547076$9BC2DB2B-66FD-409B-AE49-296CBF6E1799","rank":"normal"}],"P1643":[{"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":"359856d7e62d7e385728297de762f6686e8b1554","datavalue":{"value":{"amount":"+0.959946","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":"Q547076$B4A0B703-DDE2-42CC-90EF-6BE32DD2ED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404fbd789365e32e6774056a8fa8fcf83cbde880","datavalue":{"value":{"entity-type":"item","numeric-id":433855,"id":"Q433855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ef8f0fe787fb99b98aa083d3c0fa709a437119","datavalue":{"value":{"amount":"+0.90146846","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":"Q547076$94B783C6-1FCB-46C9-801B-0B4CB8AD71CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f655e3f77afef210c2e0259f095e8a061ce5ca4","datavalue":{"value":{"entity-type":"item","numeric-id":650135,"id":"Q650135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c71b8dedbf878ee817d03f68885e310856ec14a","datavalue":{"value":{"amount":"+0.9002032","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":"Q547076$0C2910D7-A2C2-4B71-8BCF-AB208A2AD988","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":"7ad3356ffd6ce2b4125448a9beffc3493b052373","datavalue":{"value":{"amount":"+0.8925537","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":"Q547076$3F55EAEC-BB20-4253-B4AC-88863CBB4D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9348b10d8f96d5c8a94d51328f2439d5cbb91e","datavalue":{"value":{"entity-type":"item","numeric-id":625621,"id":"Q625621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa32e87957c885c844711a67f826b6ec22a0980","datavalue":{"value":{"amount":"+0.8897595","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":"Q547076$ECF2E876-4E1F-4473-BB5D-7E2EE07CC744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92584ea4a29aa17cdb3d1de91a998af0e3e61a2","datavalue":{"value":{"entity-type":"item","numeric-id":1589860,"id":"Q1589860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699a6000558a926c71d438ca2aac5b772da38612","datavalue":{"value":{"amount":"+0.8879748","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":"Q547076$59DF0306-28A9-48F4-A35A-8ECC9CA3E128","rank":"normal"},{"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":"7345bc25cfd2668df707480ad2a427e4ab87622c","datavalue":{"value":{"amount":"+0.8854633","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":"Q547076$335957AA-5318-4B41-80E2-13D8686E3386","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":"f46e4148516d80f35cc8ca3d5fdce25cff446fa0","datavalue":{"value":{"amount":"+0.8853543","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":"Q547076$AE60B53F-3D4C-4ECF-994E-BE51715563CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592a9551844016df0bbcc054741562a968a97d32","datavalue":{"value":{"entity-type":"item","numeric-id":2385814,"id":"Q2385814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6696c21b878e03b57670df59e8894f9a9c7c2033","datavalue":{"value":{"amount":"+0.8813662","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":"Q547076$A46C0C7D-8A9E-4899-8C18-ED63E1490A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235359e58cb71543e0dab26999862a0d4e386bfa","datavalue":{"value":{"entity-type":"item","numeric-id":1958488,"id":"Q1958488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9325c12b7db4fba252f9db1225397fc6732fdfd","datavalue":{"value":{"amount":"+0.8706613","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":"Q547076$100FD546-1156-4F40-9763-6B62932AE382","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, D\u00fcsseldorf, Germany, February 16--19, 2009.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue:_Integrated_formal_methods_(iFM09)._Selected_papers_based_on_the_presentations_at_the_7th_international_conference,_D%C3%BCsseldorf,_Germany,_February_16--19,_2009."}}}}}