{"entities":{"Q976294":{"pageid":978142,"ns":120,"title":"Item:Q976294","lastrevid":65790069,"modified":"2026-04-12T05:22:56Z","type":"item","id":"Q976294","labels":{"en":{"language":"en","value":"Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722146"}},"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":"Q976294$28850EB2-561B-4341-AA04-67B9BD34C14B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9c06da67331850c60f13813c8d451d518763130","datavalue":{"value":{"text":"Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q976294$EA421CF6-F2FB-46C4-A5A0-B6DDBA3892BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15881c862c207c13eb6a8f452400274970ac4174","datavalue":{"value":"1189.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976294$AD9D7994-C0F6-430B-8536-8D5D6C063E7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e154b7fc825a99c79eba8e23e598b7f1295e71","datavalue":{"value":"10.1007/978-3-642-13464-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976294$24610D6E-7504-4843-8F73-09A247F07255","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":"Q976294$33A9ACDB-9346-4C44-9DE3-D0E519FDA529","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q976294$35C2D7B9-2A19-4B41-927A-CA39168BD97D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976294$63242B61-DD62-4214-A7AF-19D86829A556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976294$D3B60641-7F51-4AA9-9F1D-51EFC6A53946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976294$A2B00683-EBC8-41F5-B888-420A87730F60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f0b9111551df7f1ffbe8fc81b305d9d67b6f92b","datavalue":{"value":"5722146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976294$CAA2F9C9-6BC5-468C-B73B-914CFC9DED00","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ad61c6cd4c8edb3224bd78246f7e7b067af76582","datavalue":{"value":"Q56501637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976294$885E49F0-04F5-4629-BBC1-626307F91199","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":"Q976294$82ECCD38-8532-4ED7-B997-CF2876BB43EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"540ee301b4232e22952196958456ccd0842268f4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13464-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q976294$60870EEE-E67E-4A86-92DB-A10FC4F68059","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e636650d7c857dfc39c6a045918dc4c3c254569f","datavalue":{"value":"W1637375962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976294$1954B154-C548-4712-BCBE-E058C41CC147","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":"4210a601bd31aafbcc7dc8690f60ef1698d0044e","datavalue":{"value":{"amount":"+0.96488017","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":"Q976294$E76FE69E-1BE7-49EF-BAF9-4E793DE700D4","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":"f4bee5681b728c938c0f2141a5f96a325b297fe1","datavalue":{"value":{"amount":"+0.9642317","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":"Q976294$575F4E2B-75B2-420A-8788-ED7C2D62CEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e77eb48a83c5a60c0d106739edcd246f306ae1d9","datavalue":{"value":{"entity-type":"item","numeric-id":1025403,"id":"Q1025403"},"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":"Q976294$B1FBD6C7-2FE1-4F7F-8A88-C219CE185A17","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":"68ac32006920fce4371e15a709b23cbb0f6a4a50","datavalue":{"value":{"amount":"+0.95040965","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":"Q976294$DFC95BDA-5B85-465D-A4D8-421A6D2A4F47","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":"fe53c6ac666e62edab529649a746077387370df9","datavalue":{"value":{"amount":"+0.9106005","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":"Q976294$D24A2871-5E8F-4D07-A6C2-98B6F225326D","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":"2ba0605499dc389d4b41c13adaf64efd2131b1e8","datavalue":{"value":{"amount":"+0.90937173","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":"Q976294$893AB0EF-2037-4163-86CB-447626273226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03d7e9b66c58f797492b5db38fa40973a8f3155","datavalue":{"value":{"entity-type":"item","numeric-id":925318,"id":"Q925318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c078df8840ed180606e2f757518d5e99385cbda3","datavalue":{"value":{"amount":"+0.90771407","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":"Q976294$795D0B45-465F-43C1-A3B0-F09344078DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663f5b990f358feaa0caf5e58f71d193e88991e0","datavalue":{"value":{"entity-type":"item","numeric-id":1414845,"id":"Q1414845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11e1c24d8b2256ad7c9945402c11741dc468ecf","datavalue":{"value":{"amount":"+0.9044993","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":"Q976294$4E838D0B-5167-4BBD-B7BB-D3ACBE74CBAE","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":"d37c12ec91bd2e77e7b4cc0db3f8d7c22f08274b","datavalue":{"value":{"amount":"+0.9044888","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":"Q976294$40B1CF27-019D-45BB-BB1C-FFDF22FD6F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0bb091b721bc36cb7b54ef168727561c91878a","datavalue":{"value":{"entity-type":"item","numeric-id":593103,"id":"Q593103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d1db60fdb45cc2533a2b990cd600d67dbd449a","datavalue":{"value":{"amount":"+0.9044732","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":"Q976294$B7C79562-9369-4868-B567-06866D8AA98A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_techniques_for_distributed_systems._Joint_12th_IFIP_WG_6.1_international_conference,_FMOODS_2010_and_30th_IFIP_WG_6.1_international_conference,_FORTE_2010,_Amsterdam,_The_Netherlands,_June_7--9,_2010._Proceedings"}}}}}