{"entities":{"Q1362776":{"pageid":1373515,"ns":120,"title":"Item:Q1362776","lastrevid":46485177,"modified":"2025-12-24T21:40:07Z","type":"item","id":"Q1362776","labels":{"en":{"language":"en","value":"The Rely-Guarantee method for verifying shared variable concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1045403"}},"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":"Q1362776$260C0F56-FB54-465C-8895-ECB3775A0EC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3778cf45f06c866ea47bda0962ee047931de9f5","datavalue":{"value":{"text":"The Rely-Guarantee method for verifying shared variable concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362776$F8B85941-45BA-447B-8042-C542F86268C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87aa21d04d0d0f8a008e7970ff8d64e4dae729f7","datavalue":{"value":"0874.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362776$217BCDB1-0E66-4C64-ACFC-50EE8D6C3A38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1df3fecc101d1104ecd7ff8566cf30f92ffe68d7","datavalue":{"value":"10.1007/BF01211617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362776$AA2A564C-CB5D-4DEB-9701-59AD29D69214","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"704b83d0300494308abcf30144413fcf66992182","datavalue":{"value":{"entity-type":"item","numeric-id":706507,"id":"Q706507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$FECBD17E-DE3D-4167-9765-099171043012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$123F5044-07C9-4216-A708-71FE0B156EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a33e668865998ad06e8768f6451ffff95432cb","datavalue":{"value":{"entity-type":"item","numeric-id":967529,"id":"Q967529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$9D469E67-1233-46D1-938D-3DB501BF3724","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":"Q1362776$6F3B05E5-381D-4E3D-8966-E27CDE2FB7B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"723f17e9f8561cc274a12066e98f02324dedfa99","datavalue":{"value":{"time":"+1997-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1362776$5C132464-1A83-4529-A836-70DFB29AB882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362776$A7BFA1DD-170E-47CA-BEC3-8F901A78047D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e24bd01b15972155bff1370f0604eb8837aed365","datavalue":{"value":"1045403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362776$DB923A3B-4826-4E2F-9F5E-07397B9004D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c24df595f68410da8c2fc55917eee4688fbaec","datavalue":{"value":"compositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362776$A097BA02-7851-4236-92B7-3D8D2F7E130C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe927fca3e1fe466e07eedd77780cd4332f4288","datavalue":{"value":"shared variable concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362776$E306660D-10AE-49F0-9F1B-DE68E525743B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7304181fde15f2ff08bea8b954e64f699bd5523","datavalue":{"value":"rely-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362776$37E719D7-0EEB-4CC8-9D3E-0EE2EE462DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbbc431b243857762a4621a8966ef43c2c6add22","datavalue":{"value":"assumption-commitment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362776$838EDEBB-6F5F-428E-8BDB-15BF5383CB27","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":"Q1362776$7D28AFA7-27F3-4CC2-9689-2E4A4E22BD62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd066bce14d041c9ce7cc1370b33a9fcab12fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1140981,"id":"Q1140981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$0CD1FB86-0C40-4579-8DB7-1A400D6F37F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e707d4bae687b7a2d018b22ef15d22342b7b2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1155605,"id":"Q1155605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$39A31CBB-FE57-48D7-B6FF-EB62CDB7AFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$D86C6BBB-2B43-46C9-8996-220D998EF977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$787F8CFC-B57A-4228-82B8-C4FE7392A1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$3FD00207-BCD6-4D97-823A-8864DD8ECD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$2FF97E11-860D-47EC-AE05-5C4D23CC9E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362776$4232A308-3DD5-4805-9FFC-BA3AC6C0F577","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b31e5b56cdb4b1672f35d0fc7eb95fa54be027a","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6409f29da2283af1be6ca9c34dbd39193cf1956c","datavalue":{"value":{"amount":"+0.842131495475769","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":"Q1362776$DF165DEE-8A99-4797-8168-F9B02D2EBBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda4dfca60695c7eeed0eb1a816bdfbb03fb604b","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674555bfaaf14c7774bc292f628e3981512101d3","datavalue":{"value":{"amount":"+0.820929229259491","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":"Q1362776$194F7607-6939-4B44-A7B2-BC5A76D74A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb4c4b75493b45e3843b7454635ecd4a130d9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97505b63897c922dc396c12ad198e08ae4ab0e5","datavalue":{"value":{"amount":"+0.8137369751930237","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":"Q1362776$6CA0D80A-5250-44FC-BBBB-42400594C573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70604aef0b10bced3d8e81701d5fcdd8df1daa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a1ea9b6ee7ca0cee90bbe36c7cc5a605eb1d3d","datavalue":{"value":{"amount":"+0.8115319013595581","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":"Q1362776$6D12B250-27CF-4C50-887F-5FFA8E51F896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1362776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1362776"}}}}}