{"entities":{"Q754637":{"pageid":756486,"ns":120,"title":"Item:Q754637","lastrevid":42677609,"modified":"2025-07-08T09:46:19Z","type":"item","id":"Q754637","labels":{"en":{"language":"en","value":"The ''Hoare logic'' of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648113"}},"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":"Q754637$F4EB2BC9-3F6F-4251-96E8-C4A8D2E5199B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70326d44fb651d48b2ffa09de4d452d908076d8d","datavalue":{"value":{"text":"The ''Hoare logic'' of concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q754637$97894F3B-D706-4514-8488-8FBDBC22CD87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de15a659c00baf071086f05cbb3dc7ae09ad9ce6","datavalue":{"value":"0416.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754637$2F84B6EC-79EC-445E-87F1-1E7736ECE743","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d99583e6cd8c32dcb33a809810b2e70901bbc22e","datavalue":{"value":"10.1007/BF00289062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754637$1AFEC432-A61C-49DA-B26B-7B5390E9CB4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209ba2abb9262ee2627b025b7dc9cc61471e318c","datavalue":{"value":{"entity-type":"item","numeric-id":661001,"id":"Q661001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754637$CD8037DF-FBFE-4A52-B819-818404FB1A11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754637$084CE93A-4E39-43A3-B848-15E0AE853CD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q754637$A45D2537-5028-4972-957F-2DF56C77ABCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754637$A3BB6171-252C-4E73-A013-8632CBD54F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754637$5ABA9A9F-03D6-44DC-A486-38C70603FF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754637$1FE7DFF4-85CD-4525-98DF-95729A776A91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c317b2528fcce275f396adfb1e3b3d073583c7f8","datavalue":{"value":"3648113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754637$1E775713-C2D1-49F7-B83E-FD2E1F2B878B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q754637$64AA3BD0-A518-475B-898A-C3F6A9C33451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q754637$A6E34372-6C6D-40D9-8F76-A515BFE028FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q754637$949CE5D6-97B5-462A-9DA5-282D076BA2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a7806b125fb33d0dc654d35ef8db0d00748675","datavalue":{"value":"Pnueli's temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q754637$C5DEC399-454E-4C54-BC89-0E2566679F90","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":"Q754637$CBA21F8B-BB58-4A6A-ACCA-34D90A08CF85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c166cfe0e3a05c6a84e2be26185c9beeb7d177c9","datavalue":{"value":{"entity-type":"item","numeric-id":1215264,"id":"Q1215264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754637$F061AA55-4B6B-4E29-8154-463DE67CCD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754637$E6215876-996D-457D-A18B-CD64FFD20B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754637$0AE0514A-497C-4E0B-A2D3-BB48FE9030F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c1a786ea64a626a9229bbdd6308fd80203b0e8c","datavalue":{"value":"https://doi.org/10.1007/bf00289062","type":"string"},"datatype":"url"},"type":"statement","id":"Q754637$2F2D630A-464C-46FB-A2EA-DAA625A99F4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95f1cd8ed8597a3dcbd1c1232fc4dad16ce89a3d","datavalue":{"value":"W1983409972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754637$DF5339D3-2EF8-4D75-A7AC-216E3E2F5467","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:754637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:754637"}}}}}