{"entities":{"Q5403085":{"pageid":7432659,"ns":120,"title":"Item:Q5403085","lastrevid":75491356,"modified":"2026-04-19T06:22:47Z","type":"item","id":"Q5403085","labels":{"en":{"language":"en","value":"Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6273817"}},"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":"Q5403085$571C2941-C90A-48FF-BA39-BC170AAFFDBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c2f1883b7346baf31749d3282625e973be9aeeb","datavalue":{"value":{"text":"Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403085$79DBF74C-9AE4-4835-B283-DFEAA86B1E12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f61ceffbb218784df2783a15627d63bf08a5e6aa","datavalue":{"value":"1407.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403085$98FCB13B-EFC6-4B0A-9EFD-74AB79F162AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d892e9d21585219b99e5af5cc0e8879192a797d4","datavalue":{"value":"10.1007/978-3-642-54624-2_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403085$6289AC77-51ED-4309-9170-EFE05CF93A0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$F4AAE5A6-54BC-4847-8908-51BE89BA9574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$4CEA79DD-707F-4D2A-B529-0CEFD9838620","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4df2f4bc2ffe4036b415b2ee5c20621445d90244","datavalue":{"value":{"entity-type":"item","numeric-id":5403065,"id":"Q5403065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$76A0CFBF-54F7-4C94-BBDE-DD4FA093B028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dffee03b61d790552fa728bec5833993c2eb4588","datavalue":{"value":{"time":"+2014-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403085$B8B8FF89-78D9-4AFF-A1B8-985D323256CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403085$049F80C1-D582-4A3B-8492-4B9E048D8EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403085$F3898E92-B365-4291-8D54-FC6AE0948242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403085$AF063250-A01A-4BAD-8F9B-059D8469A929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403085$A6F0B3F7-512D-427B-853E-539679E7B21F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9d5c506fdd0d7424109fef55a878e7e033caad8","datavalue":{"value":"6273817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403085$4C805453-9F35-4972-BABE-80AF3B462B7C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$F4FE9D9D-E1EC-4AF1-8B7A-2E40ECD09811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"903c7da49c20c9009e67a8d7476070a05dd9137f","datavalue":{"value":{"entity-type":"item","numeric-id":15266,"id":"Q15266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$87294F0D-6504-42A3-8460-E1BD1A03DC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$0B41953C-5A4A-4C2C-B977-82E34D4A5C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3768507efd3f2cad2943d82f93d6f9f4e20c2bf0","datavalue":{"value":{"entity-type":"item","numeric-id":37011,"id":"Q37011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$CF14A730-BC8F-4C16-A19A-A063CF7ECB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$2A6AE078-2886-453F-A0D4-A646E9B2A826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a28d96c60ccb1156ef0d94d14c5814678632b54","datavalue":{"value":{"entity-type":"item","numeric-id":21761,"id":"Q21761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$5F88C670-5AB6-4C7E-B024-447A9FA638FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e47bfc9ca3460f2c3fb036bce19d55eb11134797","datavalue":{"value":{"entity-type":"item","numeric-id":22092,"id":"Q22092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$AC2C3A76-5388-495A-B962-4CB667252F68","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":"Q5403085$4DD04095-D0B4-4E96-9F54-66456DBF0B09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9ac2a08ba4dba04b3f25c82cc3ba8d47a3049e8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54624-2_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403085$589C8C03-5604-436A-AE06-7B539388BEF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"968781c5bbed37fd1f81491765006a133a6f5374","datavalue":{"value":"W9489112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403085$338A6EE9-AC34-4B5C-B2B6-05CB6E3F849E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e7fb512c3c2088a0e31db09a35588d6ca50ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$8E337E6F-ECAD-4DD7-B229-F4E926A2DDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$D28EA579-F01B-4BD2-A277-90E7B04D897D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78051514151aca4804c29b73bf87a3e4855334e9","datavalue":{"value":{"entity-type":"item","numeric-id":4933279,"id":"Q4933279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$404B816D-1B44-403B-9A9B-4AFF2279DB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d48a6c0937b7ae664e8c5c8a3e254ae210365c","datavalue":{"value":{"entity-type":"item","numeric-id":1929233,"id":"Q1929233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$1F8CD014-00DC-4842-A67A-E384159637C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df1eaba4cc78ca635c8dfdc5582f9a130f426bc","datavalue":{"value":{"entity-type":"item","numeric-id":2848959,"id":"Q2848959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$CC7E8919-F681-44E5-AE4E-6F8F31874734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520e063846e65ac776d4f65949ac0cc812cbbb0","datavalue":{"value":{"entity-type":"item","numeric-id":3164835,"id":"Q3164835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$FACCBB20-F810-4B59-B511-2FBECE018665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$2EEA0607-80DF-4917-BA3D-034B57EEFFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$FDD8A72B-EDEC-4DEC-897E-B34627F7C378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$CCBC2858-CEF8-4EDA-AD0D-6F7C632D2DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee29e8a506c504ab9034445431f767c21cf2916","datavalue":{"value":{"entity-type":"item","numeric-id":5902548,"id":"Q5902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$926392E3-3906-4F0D-88D7-79F800A99366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55474ef7b09a7d9ac924269c7b98f7c00174578b","datavalue":{"value":{"entity-type":"item","numeric-id":3090877,"id":"Q3090877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$C48C1D87-1611-4298-877B-4E415E221902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b87b14b54f4adf48efa7ee7cd99885943cfdf89","datavalue":{"value":{"entity-type":"item","numeric-id":4222999,"id":"Q4222999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$43EAA342-8711-4B52-AE1E-4AB3AD971D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403085$66EDFD69-0C73-4B72-ADDF-A2DCAF5EEC7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6a4f837fe677b1512f0a548a42f3f878d78b2","datavalue":{"value":{"entity-type":"item","numeric-id":3090877,"id":"Q3090877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a9199806090cb4b6f2488a567f38f663deddde","datavalue":{"value":{"amount":"+0.7282302379608154","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":"Q5403085$361C1A4C-BBE6-489B-B34E-71C6B8EED71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6818cd45b997c627c00e90e817272a99221a2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5716581,"id":"Q5716581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315401d80865d8c1ea01428685cdae43aedefb20","datavalue":{"value":{"amount":"+0.7198693752288818","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":"Q5403085$AF7434C0-DB3C-4915-AD73-14C46517B1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e08a08472d821d61c665524d6e16a65c75c1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3454119,"id":"Q3454119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d779416a873711aefa78c15f8e5578d28d80e27","datavalue":{"value":{"amount":"+0.7037027478218079","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":"Q5403085$27AB4E98-D903-4F15-A157-3D11FB31D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9063ce4f8ee99742dba24e7a6d1df1ef75eacf","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b467e650fc4b8757b76c841e4faca9192b0c09","datavalue":{"value":{"amount":"+0.699245035648346","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":"Q5403085$5C484809-D4D2-4D1B-84A9-24D36563DD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aec427e53e4f885dee97c61d15b89d5ad262e8b","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ecf31d63e8b29794a676faa23fdcb4bdd5f79e7","datavalue":{"value":{"amount":"+0.6973754167556763","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":"Q5403085$FFAD29ED-0C61-46BF-9D01-4E29C63D8440","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanical_analysis_of_reliable_communication_in_the_alternating_bit_protocol_using_the_Maude_invariant_analyzer_tool"}}}}}