{"entities":{"Q1318283":{"pageid":1329033,"ns":120,"title":"Item:Q1318283","lastrevid":67161375,"modified":"2026-04-12T15:42:43Z","type":"item","id":"Q1318283","labels":{"en":{"language":"en","value":"A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540134"}},"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":"Q1318283$03303D0B-391B-44A4-A8A3-7D4759E4D0FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9c28091dd918321b2616be2a36981fd0361f629","datavalue":{"value":{"text":"A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318283$D91A434F-5346-48EA-9F46-46C12E8A0154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d52cb17139bf831c8cfc2e5cd3f78a154b995ef","datavalue":{"value":"0802.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318283$73AB7052-594D-486A-9B57-693CF44355FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d5b1f5a1e94db61f72d12c0fe101cae06b1953","datavalue":{"value":"10.1007/BF01211081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318283$1FEB78DE-929C-4B50-9295-05FDEBA3591C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$EC1A9C69-69A3-4DC6-B864-976E200CB237","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$BE8FBEB2-B8F1-43EC-9357-A3229CE19B38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2ff807ad8f5a0fb377ff80be6081b48f28988df","datavalue":{"value":{"time":"+1994-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318283$1AFFD8DB-E97C-4288-8D19-9C65163FC22A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318283$A986D7EE-537D-46E9-941F-67F55764FA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e3ec0ebb66ad9a53653ec1e19a7608e786acef46","datavalue":{"value":"90B18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318283$1729C00F-36FE-4050-91C2-21670D5B4191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318283$48AA0C2D-B8C8-44A0-B3E6-5EFE39756C81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c51bea16c5d173ab309ba66dec0c486712b8dc6","datavalue":{"value":"540134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318283$2AA73B47-DA9E-4321-A778-E7592A0183EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$F31BDCC8-D30F-48E9-AC72-2479321EB721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$0FFFDB8E-FA70-4206-9E7C-BDD41E6D3BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$F547BE5A-C460-454C-9897-1FCFE8BCC644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"388762b046719190eca90dfdd8121eac4cc69a94","datavalue":{"value":"clock synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$9EEF949B-0E3D-4E6D-B792-19503FBE0551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d031991c160aed1a68497c419163d5856974cba","datavalue":{"value":"manchester format","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$BE79C1F2-3C18-4D22-9793-6FC282894A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$F46E86FD-0BBD-4C30-B111-A34C62B9D86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"694af979eef55bb457fcf856bbfc06413044bffc","datavalue":{"value":"performance modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$09DC11B1-1DF3-4448-94F8-A041C5D48F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e958ca5125c2979e30554fba52ed5bd4647310c","datavalue":{"value":"Boyer-Moore logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$C1FECC36-3A42-43A6-9AC9-96BFCBE9ECCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d66353374667f0e8a14c1c899755d931f8056e5","datavalue":{"value":"ISO protocol level 1","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318283$6A977710-D280-439E-84B2-E2CEFE960F97","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$D26111FE-0961-4EA4-BCBF-099B6E00611C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$4EB95E28-DEA2-4FD3-B712-E3A8283421CF","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":"Q1318283$49B4450F-D237-4012-9A90-C04CBC7E24EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e48d73179b7de11780ad81fa2d86fc066648eb","datavalue":{"value":{"entity-type":"item","numeric-id":3992422,"id":"Q3992422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$7292872E-9979-4028-8330-B5B92E052F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6e8044e1ce25d903b208ba71585994bb6de082","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$24961020-FB1A-4B19-8AA4-B8EE9BA06B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$F0C2D1F8-2A7B-4112-9215-1DD284483E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$92D4E203-9809-43C5-B30A-E2D33CA25FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$0989FCCA-53E6-4013-9601-FB4277A3B7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$0362F955-1597-4F4E-B446-C9CF08F4B41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$D7744053-0ED8-4C5E-80D2-A17790208F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c29368e9733758742d444e7bba01cb75642d55","datavalue":{"value":{"entity-type":"item","numeric-id":1327711,"id":"Q1327711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$6CDF1A11-D41D-4F20-BD8D-6776BDB5100C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$F6C5294F-DD0B-4419-94FB-72BF2ADAF5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$EFBB9291-E80E-4A4D-A5D9-D8C2C4949659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b50ec34ff6df3ffeb746c1035bc49f3a6dbaa82","datavalue":{"value":{"entity-type":"item","numeric-id":1318283,"id":"Q1318283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$53FE94AC-7528-4BB2-988C-0ED1008490C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9155b2a89151bd7c3b2b0d60a86b5cb673950cd","datavalue":{"value":{"entity-type":"item","numeric-id":3873545,"id":"Q3873545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$4137639B-AB4F-4F68-845D-98CE60A0F46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$37B507CA-AB85-43D0-9B33-277F06EBCCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173381b32cd2f2f5dd0ae6b6b63cbe5d2a16a46f","datavalue":{"value":{"entity-type":"item","numeric-id":3996479,"id":"Q3996479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318283$D21CB379-1F9B-4E73-9D55-705CE26C91E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9345c0c2754f4a7231f456fc98bd7e201215bb1","datavalue":{"value":"https://doi.org/10.1007/bf01211081","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318283$86BEEAF6-2D25-4D22-912D-24F9B8BBA54C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75b14def10e670dc435bfd3f71c1744a84f18118","datavalue":{"value":"W2122645481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318283$B57C3FB8-B1AA-4305-8025-C9B292575C6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ab53db5af9ffde55d234db3969e336e2696c29","datavalue":{"value":{"entity-type":"item","numeric-id":855013,"id":"Q855013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1555bbe9ec46dbf7f670f59ef042a0edc672f7f0","datavalue":{"value":{"amount":"+0.8026543855667114","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":"Q1318283$AC642629-4C0A-480D-93D7-E80CE9682F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bf956b8b56f9371aa645fcd4dcde9a6e27d197","datavalue":{"value":{"entity-type":"item","numeric-id":4873998,"id":"Q4873998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48fd6efcf4afe92b21d553263b05b3351f9213b4","datavalue":{"value":{"amount":"+0.7619191408157349","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":"Q1318283$05E8A677-8EC9-41B2-8EE0-48E4B14180C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acdbd4b4c30847811334ef8b85e7bbac73003574","datavalue":{"value":{"entity-type":"item","numeric-id":4507869,"id":"Q4507869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0338fb70b8c9788d7d7b4ccde2a0fd16bec5081f","datavalue":{"value":{"amount":"+0.7331081628799438","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":"Q1318283$AD29AAB4-79EF-40FB-9E5B-2F761DF75C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fabc0f55e2446333e51e04fc4a0f502b156a584","datavalue":{"value":{"entity-type":"item","numeric-id":3136588,"id":"Q3136588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfe2e081971ed758199f16fe8e8ab01524b47c5","datavalue":{"value":{"amount":"+0.7215274572372437","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":"Q1318283$D51023C1-D588-482D-A6D7-E004DD8AC1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc9c7adf0165f357f42a19f4bf038f7028a3a74","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfe2e081971ed758199f16fe8e8ab01524b47c5","datavalue":{"value":{"amount":"+0.7215274572372437","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":"Q1318283$9879204C-B2B0-4E37-A42C-26BED8624301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_model_of_asynchronous_communication_and_its_use_in_mechanically_verifying_a_biphase_mark_protocol"}}}}}