{"entities":{"Q2709226":{"pageid":2719965,"ns":120,"title":"Item:Q2709226","lastrevid":82800845,"modified":"2026-05-06T22:06:52Z","type":"item","id":"Q2709226","labels":{"en":{"language":"en","value":"A survey of formal methods applied to leader election in IEEE 1394"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1585302"}},"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":"Q2709226$D18850D8-D4F0-4BB1-B241-FE6F0E12C110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d61d2c91696cd7082d9218d990f7c598c54be736","datavalue":{"value":"0963.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709226$6B0EEC56-2C62-48DC-838D-A8D604C047DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"342e84477bf284f7e06fc26ac12b642450ac6499","datavalue":{"value":{"entity-type":"item","numeric-id":1402469,"id":"Q1402469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709226$78E1D51D-32F5-4617-A7E8-091407B2CA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e551ae27ee576e045428f55e71d24e55cc632d8","datavalue":{"value":{"entity-type":"item","numeric-id":542017,"id":"Q542017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709226$1EE91B18-F139-42A8-908A-4D60013893EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fae3664154dc61222a1003dc28228b6754c9eec5","datavalue":{"value":{"time":"+2001-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709226$45979B23-BB0F-425C-A6E3-1AD072455DA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29911bfd8965eda25de2949a947a00737d71240c","datavalue":{"value":"http://www.jucs.org/jucs_6_11/a_survey_of_formal","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709226$29EC4017-4C18-4EC7-8978-16402A12763A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709226$ACCEECB3-D391-4AEA-924A-865E7AC2ABCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79bd42cc85980a81d16c1098b600cc49398b2972","datavalue":{"value":"1585302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709226$E16A5130-834E-4C54-BB00-60438461400D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b04bf1178fa78e06cd02d3878fcfaf8fabc002a","datavalue":{"value":"formal specification techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709226$CC687854-526A-44A5-A674-A80E6B02D963","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709226$852B4FE0-7699-4192-A0A9-CD1773AFF41E","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":"Q2709226$043AC3CD-5710-4FD6-A1EC-BBA6E41B2071","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ecb0d20172be80e7a4a398016dd0f01ea72774c","datavalue":{"value":{"text":"A survey of formal methods applied to leader election in IEEE 1394","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709226$BBDB1765-19DC-44F0-BC02-82CB47B82BB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709226$88F83C7E-B07B-457C-B4A1-F30B7FBF78B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5baaa0025aee2481fecc82a60acd6c467b887aa","datavalue":{"value":{"entity-type":"item","numeric-id":5959853,"id":"Q5959853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd8bdb44ef88087464def3424a37f3c9bc60891","datavalue":{"value":{"amount":"+0.8122547268867493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709226$F355B460-DD9C-4BA3-9C57-ED69B1F024F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50a5a38fc796e642886f897ae1287cabe0655c6","datavalue":{"value":{"entity-type":"item","numeric-id":2703710,"id":"Q2703710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da232589af64575cde7172ad34b3b116b29b51aa","datavalue":{"value":{"amount":"+0.7943924069404602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709226$64295F9B-E587-4DD1-832D-EF143BD6EF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9237cabff669866ad3cf42f58f9932b989623fd","datavalue":{"value":{"entity-type":"item","numeric-id":1402477,"id":"Q1402477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38692ec475eef97e88f9c69c4a8878e5175b5c31","datavalue":{"value":{"amount":"+0.7836605310440063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709226$EC15AEF8-BB22-43DF-A4A2-15EA063E7E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716fe42c7f658b44642f3573aa741bc881435cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402470,"id":"Q1402470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7d720c2b3a74234d8af4e4a51606de47a5fda0","datavalue":{"value":{"amount":"+0.7832434773445129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709226$54F5CE12-8DD3-483C-A341-60A871DD9553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b62cecd0b735d3be7f29c806417b144dd76386","datavalue":{"value":{"entity-type":"item","numeric-id":1402473,"id":"Q1402473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab943066c56412adb33b75d1546e838d4b2d15b9","datavalue":{"value":{"amount":"+0.7797951102256775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709226$5C434F9A-D234-4EF1-A7F8-5CA9614CD589","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A survey of formal methods applied to leader election in IEEE 1394","badges":[]}}}}}