{"entities":{"Q855013":{"pageid":856861,"ns":120,"title":"Item:Q855013","lastrevid":64884006,"modified":"2026-04-11T22:51:58Z","type":"item","id":"Q855013","labels":{"en":{"language":"en","value":"Analysis of a biphase mark protocol with Uppaal and PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5080867"}},"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":"Q855013$6A28C224-95C2-437F-AD92-7453222F5450","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6fa5fd8a4df6d5e017b72f31c52d19199349af2","datavalue":{"value":{"text":"Analysis of a biphase mark protocol with Uppaal and PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q855013$7162D5AC-63D9-4F6D-A42C-BFA1592B47D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"633e785dad875d69886daeb9727c3f61f920a2bb","datavalue":{"value":"1102.68505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855013$4F5ABB1A-A296-404F-BB71-BE7ECF2B3D06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e19a674420abd07685c9a742bd8fa8ea886fc632","datavalue":{"value":{"entity-type":"item","numeric-id":855012,"id":"Q855012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$804D14C5-9E57-420C-B167-B34A8B39ACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$830660FD-EEE4-4E37-B3E2-DEA0A31445D6","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":"Q855013$94D40ECB-5E96-461F-93C9-1262145664E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8040e767283f13b3f95c9a5ad3ded117e1275e38","datavalue":{"value":{"time":"+2006-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q855013$0A21D3AA-CA7F-4580-B268-6BC728D16CB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b491828d5fe199e055f3b39ba77e457bba9c8c12","datavalue":{"value":"http://hdl.handle.net/2066/36086","type":"string"},"datatype":"url"},"type":"statement","id":"Q855013$00DE7D34-DF19-4D7C-A23A-688BF9104C97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855013$C2844239-BB7E-4C33-AB9F-280607DB8308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855013$A400A04B-6252-469A-BE7F-9BA2AA63555B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bc3bafa9211641a304f3e2b14be41cf700325de","datavalue":{"value":"5080867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855013$7F47EAD6-6674-40E0-A674-F33B0FE0D702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e259f59ea949254051136cddb1f2fa8dc3ff335","datavalue":{"value":"Biphase mark protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q855013$1A81DFD6-5F83-48EC-9C52-8F113B7AD727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q855013$CB006EFE-314D-483B-935E-47B75E801626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q855013$5FBFCB9E-1A7C-4CAD-818A-0B8A2D697980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3bb276ae4ef9c48ed65139062799af125995c57","datavalue":{"value":"Theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q855013$4F34F822-B2A8-4B35-A7C5-CD9F52B4A378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q855013$BE044935-C712-4EE2-902C-8BE9FDDF5CDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$2BD47D05-6D95-4A22-90C5-D240E957EE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$B6CB3129-70AF-404A-A556-5B8F34D6B33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$7D5994BA-A3B9-4055-A904-770573F34E95","rank":"normal"},{"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":"Q855013$D56F1407-2BA0-4F26-9FAF-855E58825090","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":"Q855013$40C34D34-53BB-4FC6-8A2E-07F381359E40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"654994a457906562d578162d19ce2e120c4627d6","datavalue":{"value":"W1978250137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855013$4416E263-B36F-4E4A-88AD-E08D7BD10B6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbacf7213fac1ad7134058ae3b370a57245783d9","datavalue":{"value":{"entity-type":"item","numeric-id":2754104,"id":"Q2754104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$B221AD3A-9CC9-4E93-8AFA-B31AE8D19995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$3F2992BA-42AD-46A8-9734-F87ECB89DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$28CEDA90-259E-42FD-BBB3-625A2A0CC6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa3da78f2eea525f2bf2cff1a3a19d48026daf3","datavalue":{"value":{"entity-type":"item","numeric-id":2722048,"id":"Q2722048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$F7A80CDC-D910-4620-B549-221E1F847841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4faec33de555bb08e87fc0ae8b7afeae0008ae19","datavalue":{"value":{"entity-type":"item","numeric-id":4417917,"id":"Q4417917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$3CBB3569-1762-482E-82DB-C39F6A9FB791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371f63f4af58c3e593052c2ad4c0646f36c9dd09","datavalue":{"value":{"entity-type":"item","numeric-id":916348,"id":"Q916348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$2F2AA027-40CE-4BA4-8F34-4116926D2A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$C357EAE3-428A-45EA-90FA-5EFD25BAB8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q855013$722D508F-B681-414C-8FBB-49BD5D86D5FD","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":"Q855013$10F4EC6E-83E1-43E3-90BB-B1A02171749A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c787314cdc339ef0108e9ca8cbc7ee5e9a127000","datavalue":{"value":"10.1007/S00165-006-0008-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q855013$4DA7B7C6-12FA-4101-9275-8F189A831C66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02f262df7e73435eec16d12e9173f7dc672ac9e","datavalue":{"value":{"entity-type":"item","numeric-id":1318283,"id":"Q1318283"},"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":"Q855013$29577E0B-810E-4FFC-8BFE-7A67ED54DC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80eeda685f60f8441e4f5beb3de20a8d190ee5df","datavalue":{"value":{"entity-type":"item","numeric-id":1858445,"id":"Q1858445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16202b5670ba3accc0b40a37b259159e30cd289","datavalue":{"value":{"amount":"+0.733360230922699","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":"Q855013$4FC448EB-5C43-460A-8710-6F4A1B14B11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7279297fd9e525d20aeb81fd9b309b372ea6498","datavalue":{"value":{"entity-type":"item","numeric-id":1125438,"id":"Q1125438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4754ce8af841b80d7515588cf34cc9ed7442fa88","datavalue":{"value":{"amount":"+0.7237783074378967","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":"Q855013$AB2EC652-0071-4E5B-B7DD-2CF03B6CF644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fe4ea2cbac848ac986c198d6c98b02708bbe2e","datavalue":{"value":{"entity-type":"item","numeric-id":539420,"id":"Q539420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f421d5ccb86617f2ac0c800574dd64ac749842a","datavalue":{"value":{"amount":"+0.7133057117462158","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":"Q855013$E9AD66B4-ECC9-439B-9DA2-53DFBFFDC2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26bf4f5d69d17c3f3d0cdbc9e15c39c90b88360","datavalue":{"value":{"entity-type":"item","numeric-id":5184418,"id":"Q5184418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f712aea2bba80c7b96c047da195b16882dc25275","datavalue":{"value":{"amount":"+0.7099273204803467","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":"Q855013$008D208E-3AF2-4509-A624-40AFD5530CCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis of a biphase mark protocol with Uppaal and PVS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysis_of_a_biphase_mark_protocol_with_Uppaal_and_PVS"}}}}}