{"entities":{"Q1025403":{"pageid":1027251,"ns":120,"title":"Item:Q1025403","lastrevid":66058377,"modified":"2026-04-12T07:15:22Z","type":"item","id":"Q1025403","labels":{"en":{"language":"en","value":"Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5566527"}},"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":"Q1025403$673ACD66-8027-44AB-A1D8-238FF9BCAB8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d43db4d6c2e4be4a9bf9404335cd78b4fd571fb8","datavalue":{"value":{"text":"Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1025403$C486AB8D-6BB0-4FEB-B311-20C9089BFC8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c474842b9c894160d30e8957c9f6403dc10e229c","datavalue":{"value":"1165.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025403$1A393A24-C617-48DB-92F5-9B312C73ACFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b89c86d789b0aad54e5ffb619cae6cf99eaeeb6","datavalue":{"value":"10.1007/978-3-642-02138-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025403$455387DB-D132-4137-B67E-B633CEB42875","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":"Q1025403$FB431220-F41E-44C7-9ADB-AA9ABAABD139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1d001f6c6775fe6685aeb66e7ca5e3cb606e84e","datavalue":{"value":{"time":"+2009-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1025403$75325338-4DD7-48B8-A6D9-FC0EDFACAEE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025403$33D0326A-CF03-4DF4-A5F0-D70C8D0597F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025403$0B7A0E24-5B8C-4638-89D7-099C851D9EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025403$0AC1F143-3101-4513-B65C-741F663068EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae4fc52ba9fa22afebb041968c5867028596b37e","datavalue":{"value":"5566527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025403$1B04065B-E423-4406-9506-84A13C383DBB","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":"Q1025403$27D1394B-D05B-4F64-B07B-82B209B14D82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37226a64601dd0ab1eb1d9aba4be6ff35b4403b2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02138-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1025403$C3044A24-F6F1-4937-8FEE-C6CB17990094","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"156f2775d40a3134fc0870250395847870c39825","datavalue":{"value":"W206703680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025403$2214BBA1-30E3-41B7-A19F-DFBE5C247CA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8f056a83f1bf38a55a3a435104f4342aff6982","datavalue":{"value":{"entity-type":"item","numeric-id":544459,"id":"Q544459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8da9e81e84b36f21ba7c0a11c16cdd41d70dd2","datavalue":{"value":{"amount":"+0.96224743","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":"Q1025403$A79678E9-8D9A-4744-89C2-02A8004E221C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca88baca177c05dec9fe88e04b179da257a8ffd0","datavalue":{"value":{"entity-type":"item","numeric-id":976294,"id":"Q976294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bce0bbffdd4dd33f3043944fff2479e4e5ea231","datavalue":{"value":{"amount":"+0.95603806","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":"Q1025403$81D17749-E5F9-46A4-BAF4-9F4E08A5BE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a8795ce482aab8d7c8fe9ca413000b442a1a13","datavalue":{"value":{"entity-type":"item","numeric-id":428471,"id":"Q428471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc9bb9300c0012fc59b02492d1374726bdcac8a","datavalue":{"value":{"amount":"+0.95075136","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":"Q1025403$389EC338-2CD9-4217-8AF2-0CE0FF3F1B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8cb451be92fc1ff083ce08c5f4f9cc57554941","datavalue":{"value":{"entity-type":"item","numeric-id":1952567,"id":"Q1952567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946f98641bbd8973cb6d454fdb208686313858f3","datavalue":{"value":{"amount":"+0.94121534","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":"Q1025403$247F26D9-0533-43F1-B709-1A7CFED43B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa58a670a7a49c554e3b33fa8215d7de02ca9c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2419705,"id":"Q2419705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9998a9834d5416678970124ceeb29639ccd51c1d","datavalue":{"value":{"amount":"+0.90509593","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":"Q1025403$6764B019-9DEB-4957-AADB-0F01308046F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95eafbd6a622f4156b1bb93e92dfc3172d56475","datavalue":{"value":{"entity-type":"item","numeric-id":6171529,"id":"Q6171529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15285789768535be816ca8076afafd7696dada0","datavalue":{"value":{"amount":"+0.9050436","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":"Q1025403$D5D36664-08C4-4BF3-A6B4-E4F0D7A39A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa9a0326acc713da624c593341980134fd366c5","datavalue":{"value":{"entity-type":"item","numeric-id":2451834,"id":"Q2451834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46a603e82a618b3c5d41119f2f4376bb391fe00","datavalue":{"value":{"amount":"+0.8985239","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":"Q1025403$C774C561-AB27-4258-BC14-C7ACC0887282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822b23a1ab45f63893324660f3b9be6b44146440","datavalue":{"value":{"entity-type":"item","numeric-id":2382203,"id":"Q2382203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a9ebe9cc8c936362cd428bdb22b8813cfa4438","datavalue":{"value":{"amount":"+0.89450514","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":"Q1025403$4773A24B-B440-46BD-8041-D681D309BC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c843aebeb44eda70e3dac050b92a8b311cfa4e","datavalue":{"value":{"entity-type":"item","numeric-id":590566,"id":"Q590566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a460860d0494718875c1c51333b8fc7365668f3","datavalue":{"value":{"amount":"+0.8923826","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":"Q1025403$EAB6C865-C730-416E-ADF5-ED43BF821F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ad490254356a8a094621667fb0e2b1ae367a28","datavalue":{"value":{"entity-type":"item","numeric-id":1637920,"id":"Q1637920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99c3e0662ef39fcc526da68c89304c4768eb84c","datavalue":{"value":{"amount":"+0.89236295","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":"Q1025403$58E817A7-8E1B-44B0-ABE2-1FDA919538CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_techniques_for_distributed_systems._Joint_11th_IFIP_WG_6.1_international_conference_FMOODS_2009_and_29th_IFIP_WG_6.1_international_conference_FORTE_2009,_Lisboa,_Portugal,_June_9--12,_2009._Proceedings"}}}}}