{"entities":{"Q1349249":{"pageid":1359988,"ns":120,"title":"Item:Q1349249","lastrevid":68530170,"modified":"2026-04-13T00:19:54Z","type":"item","id":"Q1349249","labels":{"en":{"language":"en","value":"Focus points and convergent process operators: A proof strategy for protocol verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1743148"}},"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":"Q1349249$FF26C554-8114-45F7-81DA-7904B9E99DAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa82de8b81518ecbeb13344bf3f8f2a41eb83059","datavalue":{"value":{"text":"Focus points and convergent process operators: A proof strategy for protocol verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349249$C2D6ED75-2969-4BD0-99B8-CBA1CBDFD7CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6435ecbddc3de091cee989aef7a6dbf3552fa0f","datavalue":{"value":"1015.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349249$F1D69635-DD7E-41C7-BCC4-05066165DFA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0272a3def9e8afdad1aff9742b711ff24669dcb0","datavalue":{"value":"10.1016/S1567-8326(01)00010-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349249$A7AB4DCA-A71A-4B7A-8325-E79A8FA276E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$9565A918-DC9A-4BA0-8A6B-9E4A97AEAD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"717619a6e7763f95143557fe13c62cba07c2e4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1349248,"id":"Q1349248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$262170D9-54B5-4234-8758-5589D71FF69C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$AB0386A0-952A-4999-B0A9-34E4D75D9008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cda08edf6e14c28a948f9b78f5bc4351bb49e6b0","datavalue":{"value":{"time":"+2002-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349249$FE39737C-CDDF-48B3-BE29-937E29ADE0AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349249$546F772B-6090-40EE-BDED-DD565D0CEF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349249$1980A082-412B-4837-8E17-BDE1FBA3259E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"729918e8096edbc908b122c9af109100fa95032a","datavalue":{"value":"1743148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349249$1B47B9E7-13B5-4083-80C2-0FD63F7881A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc73707de530f2d3b6ee0a2875a49a2d62c6b3b7","datavalue":{"value":"algebraic protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349249$2159A27F-90CE-4446-8900-65970643E9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77bfa8fae99dcec55b47750bfb22b4394492c2ef","datavalue":{"value":"concurrent alternating bit protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349249$5E1C0E23-CDF5-4E62-ABE6-08303BE48365","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":"Q1349249$16AD9C83-0AB6-433B-B003-E83573221A81","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":"Q1349249$5E7F84D1-40AC-4526-B695-8E1CD5B46AD4","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":"Q1349249$973D13F3-AB4E-4D3C-9787-88871F7DF9EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$741806D9-B4AC-40AE-A8C7-E9730BD15713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1b054f3fedabfcc7b28f42f5e01f5ce7cf6b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$F04C5F84-825C-4BCA-834B-034999BCAFFB","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":"Q1349249$629BC05B-DCB8-4A70-BE2C-03FCD92DFFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7414515a925970afe4c8024b57cef12a78e4368","datavalue":{"value":{"entity-type":"item","numeric-id":1391796,"id":"Q1391796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$D8A7F78C-2817-495C-B661-8965A80DE5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$100F3275-DA29-4A5E-84A5-B20EB70ED5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b0a298cb162e6a5baf8aeb28ce0d44580987cf","datavalue":{"value":{"entity-type":"item","numeric-id":2576570,"id":"Q2576570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$049CDDF8-8189-473E-B280-477D6D37049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12773d3f7af80842ad6150da90dfaf1db162137f","datavalue":{"value":{"entity-type":"item","numeric-id":5946027,"id":"Q5946027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$05B1C8B0-CAED-46E4-AF32-CE7CCE1B75D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f23409092776b502b163449a38cb0814b6d9453","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$1BDD28F1-0C55-4C9B-B077-5CC2AF0A75E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df9e0175ef496e5ebd6df7b84e14f26ed96e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3999165,"id":"Q3999165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$76D6D0B4-F6D0-4CE7-9D74-355E4E136124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fbc8c4cb211e87640a85b8bdd8e1a296982af6f","datavalue":{"value":{"entity-type":"item","numeric-id":1193593,"id":"Q1193593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$3DF8A0E4-A5C5-4357-91F5-13A15F9289A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$5DD98BBD-85B5-41D3-9437-EBDFFE31C969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd5aba92b3114915b981730c847349622b36dd8","datavalue":{"value":{"entity-type":"item","numeric-id":1125432,"id":"Q1125432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$8B295DFA-1A3B-4142-8A96-2972076BBF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c1f525ea832981e63a4363ae9dd0b1c2696015","datavalue":{"value":{"entity-type":"item","numeric-id":1607115,"id":"Q1607115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349249$78543E45-BB91-4627-A221-ED470C1A6134","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab965f8412e8027423b6997c72e2529a07503f95","datavalue":{"value":"https://doi.org/10.1016/s1567-8326(01)00010-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349249$FAD432F0-C05D-4BEC-885C-14E3F3B829A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a749a6e45bc1655b9f6098f746bf936f94d11387","datavalue":{"value":"W2019702515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349249$F6AB8D43-A362-47A1-B6EE-E6842482A8AF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e7c4e0c1c0a0e4785ef25795771e73a84158a9c3","datavalue":{"value":"Q127120454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349249$2C8B3F66-059F-4B87-8356-24E8DBC9A1E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d51a8feaf20ecbad50e4bebe418d5b5eec39eb6","datavalue":{"value":{"entity-type":"item","numeric-id":853730,"id":"Q853730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d640e209c791b8e5c1818ddf0ae74f488ee3a4","datavalue":{"value":{"amount":"+0.8260849118232727","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":"Q1349249$8BE4D521-028B-42A7-96D2-982CE633CD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c6bbcf8818b00fed360684bd9fcfdbed35fcfd","datavalue":{"value":{"entity-type":"item","numeric-id":5754517,"id":"Q5754517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8bcabcc96a9b4f605a857ed080270db8a3f91a","datavalue":{"value":{"amount":"+0.8159010410308838","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":"Q1349249$4F3766C2-E0EE-489C-8231-0E2BABB2003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99557215988aed1340ebb29c3044545df58872e5","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b59fafc21fde3aab5460181563d53b2708cb93","datavalue":{"value":{"amount":"+0.8099348545074463","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":"Q1349249$F3B91396-56EB-4E0A-AD59-3ADC03515D24","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":"58b19ff5d948128a0c69c6fcda3ea6f6e6266a11","datavalue":{"value":{"amount":"+0.7954910397529602","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":"Q1349249$AB7A5BD8-2A6C-451B-A6C4-35B51FD2A8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01017b3d1c200749df743ffbc642572962518ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1355748,"id":"Q1355748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1f1d629ee6fda7b6cc51419b31cbbf6318e419","datavalue":{"value":{"amount":"+0.7773143649101257","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":"Q1349249$6CED446E-3C25-4412-BB03-CEA055CD2BFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Focus points and convergent process operators: A proof strategy for protocol verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Focus_points_and_convergent_process_operators:_A_proof_strategy_for_protocol_verification"}}}}}