{"entities":{"Q792078":{"pageid":793926,"ns":120,"title":"Item:Q792078","lastrevid":48696385,"modified":"2026-01-05T15:42:05Z","type":"item","id":"Q792078","labels":{"en":{"language":"en","value":"A proof system for concurrent ADA programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3852395"}},"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":"Q792078$40693F93-914A-4EE2-8AB1-0692BFCBD3A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81ba2f83794e70d6499b1698e0abfe4f003a7699","datavalue":{"value":{"text":"A proof system for concurrent ADA programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792078$200B47F7-09E9-4882-A6AD-4AFB4489702B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e595b4ef72620d33b5262352515330df0a043ad","datavalue":{"value":"0536.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792078$0D0C487E-B742-4094-94D0-5BE36210B87E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ed002e93e7ab17dafd504828a55661db2c935d0","datavalue":{"value":"10.1016/0167-6423(84)90018-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792078$3D71534B-12A1-4EBE-B98B-972D73AC80B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792078$08DA9268-1061-4F19-81ED-1A839F206B94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792078$6EC1ECD3-9D69-4176-96F5-6673883B3D38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792078$08BC3F67-FCF9-4444-987F-983F2D7B6B06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7969c913c2cb6d66f5d8765c6630d6aed72116b6","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/16239","type":"string"},"datatype":"url"},"type":"statement","id":"Q792078$15481B0F-3717-4595-88BC-B5E63D949374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792078$5B099AE2-C58A-40E5-BA6D-4063319C82CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792078$8470C51C-38E5-4443-ADFB-E8B55B5D7114","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c6b40c0168bd4572692e196ed81e7e34d5ebe34","datavalue":{"value":"3852395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792078$0FCD8DA8-F45F-4DF2-80E8-630B65F72EE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b835894c2e35bbca03a6da128b860e5c8b5952e1","datavalue":{"value":"basic synchronization and communication primitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q792078$AE99D619-4CF9-4B73-BF40-0FE490D672EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41de1c681beec4e4ffafaed82002ccc67f36a98","datavalue":{"value":"rendezvous","type":"string"},"datatype":"string"},"type":"statement","id":"Q792078$37BB3516-F874-41FC-B04C-7285B93A87B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3fc4a9535c6870e19bdcbc32a71366f86ad9907","datavalue":{"value":"CSP proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q792078$7FB401C7-9A4C-4622-89E8-945482094AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93362e023553648aaab72414e1716c418e057aae","datavalue":{"value":"Hoare-style proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q792078$C19EE1EE-E380-4422-A4E6-712BB676FC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q792078$14EC06D1-9762-4D3B-9A8E-871D16E492D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d91dd9d5e4ac5289bd974f58059afbde26940f5","datavalue":{"value":"parallel sorting algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q792078$CE5E25FE-DC9A-44F2-AFA5-E1027E16D1B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792078$726A00FD-6EF2-44B4-BE6C-147EE577352C","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":"Q792078$545794AB-88F1-4BD6-841A-431ADCEF90F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72775221ed5890af16efd5c285d562ddf71d1ac7","datavalue":{"value":"W2116320598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792078$731C9C39-0E73-453F-95AA-9E630C1E9C7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63544ca031668e1e20cd26af87cf9e92009d7a62","datavalue":{"value":{"entity-type":"item","numeric-id":3735062,"id":"Q3735062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04e028c70a2530e422b96832d1b084cab53cc82","datavalue":{"value":{"amount":"+0.8786774277687073","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":"Q792078$BC6271FB-28EB-4979-8113-0DAA527B06DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c5d0df6fe669a15d6b97018db584c41fd2f339","datavalue":{"value":{"entity-type":"item","numeric-id":3343421,"id":"Q3343421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62d08892bde26b37b037cdeca20f732332ce3ca","datavalue":{"value":{"amount":"+0.8110190629959106","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":"Q792078$C31195A4-7CE5-4C27-83B6-E89F19C27925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c80560c3cd2bee7825290085076078e10925ac3","datavalue":{"value":{"entity-type":"item","numeric-id":918725,"id":"Q918725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af225f99d258102e3e7c1b88c7fffbeee2133a8b","datavalue":{"value":{"amount":"+0.8107227087020874","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":"Q792078$32855304-793A-4C11-A7B8-F245C606D6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5da0fde5c2eaa16069a0dc0aac4620777f6f6b","datavalue":{"value":{"amount":"+0.7720856070518494","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":"Q792078$429124F9-1542-4BC3-806B-46149D32D6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717d3b86688db2a7a4de6e4455f2e7dfa67cb823","datavalue":{"value":{"amount":"+0.7651417255401611","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":"Q792078$4326F0E5-EB81-4BD9-8BB2-355D38768584","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:792078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:792078"}}}}}