{"entities":{"Q970002":{"pageid":971850,"ns":120,"title":"Item:Q970002","lastrevid":65893845,"modified":"2026-04-12T06:05:26Z","type":"item","id":"Q970002","labels":{"en":{"language":"en","value":"Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705776"}},"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":"Q970002$5D5B76D8-5671-4D0E-8117-6795E7974C6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60621fef609408f35d7fe61a523fd0306221fad8","datavalue":{"value":{"text":"Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q970002$D2D1E7C9-3AA8-4DA6-844C-F2E6646BA02C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"448d1a24fdc9bdd5c70ec6e1ea7a802dc501b8e0","datavalue":{"value":"1185.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q970002$993C98E4-B83D-4EE5-B7E0-7ED242C668BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"442ab4f251eef23225015c1082eab0d1a65dcdaa","datavalue":{"value":{"entity-type":"item","numeric-id":646091,"id":"Q646091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q970002$C2E6017D-9A1C-4897-A871-2FA7AEB74E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9596a1b19ae8576b74dd9425a42e80e9f92d15f6","datavalue":{"value":{"entity-type":"item","numeric-id":970001,"id":"Q970001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q970002$96D3AA58-2803-4856-ABAA-5D1CE9EA4DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q970002$85DE92CA-1B6A-4C13-A142-C714739F9F49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b010567da0e068295e34b824b5eafea5ffd18ef1","datavalue":{"value":{"entity-type":"item","numeric-id":166953,"id":"Q166953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q970002$36D82919-C644-4BF6-BA67-D72A1B05D428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eec89b832e1c544dec3abb012a4b8812730028ca","datavalue":{"value":{"time":"+2010-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q970002$21CFEF79-8769-4D05-A478-8BCCB2D1F035","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61a863134018664f9dcc8cca0b716e321cb89d2c","datavalue":{"value":"https://hal.inria.fr/inria-00516025/file/Formal_Specification_and_Verification_of_A_Narrow_Bandwidth_Protocol_in_PVS.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q970002$094D6CB1-3759-4BE4-8D22-DA8E00CB58DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q970002$0C9DD8FB-CB8C-42C0-9AA3-233005A1CF22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7738e543d852c47baf389db5f63665e2b3e9f18","datavalue":{"value":"5705776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q970002$97186726-A542-44D6-A95F-C13EF1516177","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebae4e12370780a8b1079b5288073673f01014b1","datavalue":{"value":"connection establishment protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q970002$02BB1E97-0650-4C4E-AF6C-3DC518F2E18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b169dbeaa40fd73a5fb602f9c29f55538fac13","datavalue":{"value":"narrow bandwidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q970002$4DADFD86-38FB-4467-9A37-55CB72A3A48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q970002$99BC3E79-16F3-4519-A20E-9AB59A28BE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q970002$52EDBFAA-7D59-4502-AD4D-930133DF9D80","rank":"normal"}],"P1463":[{"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":"Q970002$CA54D0BD-1AA1-41F5-93AA-3ED66C1EE6A1","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":"Q970002$8551FF02-2D86-488F-B248-FA0BBDEB4F20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63e2031ffc85afb9161a317b0c7af3b95042270f","datavalue":{"value":"W2041852817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q970002$3421EACA-C745-45B6-9A81-285F90048286","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89aac6775bdd496c74d0e88ac3d099f1fde8f8c5","datavalue":{"value":{"entity-type":"item","numeric-id":1346769,"id":"Q1346769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q970002$37E3D4CC-A8D5-4E66-9BC0-732996A2FF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"474a9c5006b1c8521d2dd519a0a51be506f51471","datavalue":{"value":{"entity-type":"item","numeric-id":2729921,"id":"Q2729921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q970002$D474F890-AFDC-4B13-8926-5434489C1765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ceb0d9fba52e2fdbae7761efa7f19731354b40","datavalue":{"value":{"entity-type":"item","numeric-id":5464641,"id":"Q5464641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q970002$7860D448-8F77-4C65-BF1D-4474130F43AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51f7864d2774ad970dc2a32093786946ec445249","datavalue":{"value":"10.1016/J.MCM.2009.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q970002$0FB4F9D5-CDFC-4D82-9E4A-290D50957F62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4787302f64d345d8211421492af0c5ac3e95d0e9","datavalue":{"value":{"entity-type":"item","numeric-id":5314464,"id":"Q5314464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031aaa913a06eecc992c85add032e2157c95ba80","datavalue":{"value":{"amount":"+0.7124197483062744","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":"Q970002$02C22EFE-6643-475C-92D2-D7BBEC87148F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b94894cf5ab0a7fc9128e271007d16dd2267fa","datavalue":{"value":{"entity-type":"item","numeric-id":4945217,"id":"Q4945217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daefaa96100f4cf1506c6182e31eb3aaa561b84f","datavalue":{"value":{"amount":"+0.7075861692428589","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":"Q970002$B51DBEEC-8024-40ED-9315-1140835AA81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07add2a033c4d114df78f5cf9900aad5ff8a49f6","datavalue":{"value":{"entity-type":"item","numeric-id":1757159,"id":"Q1757159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670b20b145bdb15e865a15db55744017dbc654f3","datavalue":{"value":{"amount":"+0.7002447843551636","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":"Q970002$C0498E36-5E9B-4AD8-A1B6-6E517C46A97B","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":"0d3b069bded9f2915d4abd64878d29283b0c6e04","datavalue":{"value":{"amount":"+0.6975089311599731","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":"Q970002$22E71615-229A-4656-B25B-43CDBE3DC318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b4f504e6cc35fbad016eee585f75cd1528845c","datavalue":{"value":{"entity-type":"item","numeric-id":2979821,"id":"Q2979821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc90c167cb0180d64d29ff8c0951bcb952f6c52","datavalue":{"value":{"amount":"+0.6942376494407654","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":"Q970002$3F9CDCC1-AD37-41DD-9DC2-FB3A99A65984","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_modeling_and_analysis_of_a_narrow_bandwidth_protocol_for_establishing_and_terminating_connections"}}}}}