{"entities":{"Q792086":{"pageid":793934,"ns":120,"title":"Item:Q792086","lastrevid":64372914,"modified":"2026-04-11T19:25:17Z","type":"item","id":"Q792086","labels":{"en":{"language":"en","value":"A formal system for specification analysis of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3852429"}},"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":"Q792086$8E3D951D-CEDC-436B-B65C-C20ACB6B35CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e1da79293fd7603b12f8ab78798b12b42a57dc5","datavalue":{"value":{"text":"A formal system for specification analysis of concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792086$4A383A6D-BC32-4CB7-B918-A094AF679484","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6daa69d7135d50acc339bc2a83e6b2de4f196bc","datavalue":{"value":"0536.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792086$DF1DA78C-1EB2-4623-A731-76514B3951EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c3be199401e53715d44e493d51c20c4e855996","datavalue":{"value":{"entity-type":"item","numeric-id":792084,"id":"Q792084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792086$01E94644-55A3-405F-B3FA-766ADB6A8FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae05b1eed9f9b653c9451066f4933d8f29395105","datavalue":{"value":{"entity-type":"item","numeric-id":792085,"id":"Q792085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792086$DE5B41D4-8182-4564-AADF-6EAE81457A2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792086$F88003E9-1C58-4AA3-8356-CE4FC34EADCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q792086$80B0B1EF-1055-4E42-AB7B-B538A421069F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9be6f5f00dbb793c1005a21a966e28497cdf75c","datavalue":{"value":"A formal system, which consists of two-sorted language and twelve deduction rules, based on the forcing logic (FL) formulas, is proposed to analyze the specification of concurrent programs. The system may be easily extended to a formal system containing the ordinary predicate logic formulas only (although this extension is not described in the paper).","type":"string"},"datatype":"string"},"type":"statement","id":"Q792086$BB0ED82A-3482-4ECC-8E00-3AE3D17923AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792086$3D091B6F-5590-4816-BAEF-BEE58D7085E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792086$7D40D774-AC06-4A66-992F-6F21A5528763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e7af904e22bc1b90668bdcf16b1974379ed0d73","datavalue":{"value":"3852429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792086$5F084F1C-235A-42BF-995D-03A43753C106","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dea9cde1868be8f4112b644c40480ae52e23f1a","datavalue":{"value":"two-sorted language","type":"string"},"datatype":"string"},"type":"statement","id":"Q792086$45CA1992-AB9B-4A20-BDAE-62C5CF13218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5561eba2d0918a767b8bcbe2b9dc9c37c9aea049","datavalue":{"value":"forcing logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q792086$C2195E09-5384-4098-82C9-F8DE4B2F156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2abb2c292b64daad5028d2ffcfd6257d49d6cd","datavalue":{"value":"specification of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q792086$237DD944-629E-4F47-9E17-136D0EB98171","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ef154828838154f55171333cf59109f6242d31f2","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792086$9E3BB9CE-E25D-4925-9804-2471B2DF754C","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":"Q792086$CB55D647-15C8-4F70-B37C-A999E0C4F5A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"654e86fce522be8b53928287c7b40dc3ee5c49bc","datavalue":{"value":"https://doi.org/10.2977/prims/1195182015","type":"string"},"datatype":"url"},"type":"statement","id":"Q792086$B4062D7C-2429-49F3-B647-3DC35F8EFBCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de9e14fdcc5948a4c33d475d1ac820194af6d308","datavalue":{"value":"W1983802754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792086$DDF76741-9B5A-4C95-A38D-F117AD7AE84F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fda785ba06a1c78c3b1fa3da035e72d736ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":4048566,"id":"Q4048566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792086$0C3CC9DE-844A-49C2-8110-4068D0946D75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5ded9b930339e4260cb240b417ff2d25754394b","datavalue":{"value":"10.2977/PRIMS/1195182015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792086$F5EB09E6-2CF1-4489-AA57-18B5FEB70B0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96387e7e6fa017d89347a011847cd77dabf662ea","datavalue":{"value":{"entity-type":"item","numeric-id":4226631,"id":"Q4226631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492b83f38150ceb3487c2d62436b50e209fb2940","datavalue":{"value":{"amount":"+0.9529819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792086$5A6C2FBB-3965-47EC-884D-EE9B6447C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e05681b08cc7404161630df2c83841d189745e","datavalue":{"value":{"amount":"+0.9328044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792086$EBCC09A5-98CC-49F5-9039-4D0D96593CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d802a70c96e217885c44d79fd4efd3492ead918","datavalue":{"value":{"entity-type":"item","numeric-id":909439,"id":"Q909439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93282846df55bd5de5750f489fc5206f32a93fa9","datavalue":{"value":{"amount":"+0.9266015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792086$1D74FE44-A2C8-468C-B116-68D14897F629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f07593922a4e0b687e5b4b9110e7b5300a1316f","datavalue":{"value":{"entity-type":"item","numeric-id":4023058,"id":"Q4023058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1874d690db1fb5df927ac3d9d97d22c9896d6101","datavalue":{"value":{"amount":"+0.9142432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792086$0137446B-8191-442B-BFFC-2847DF8B247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26f558779702745b04d0c6918c1edea4498fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":6049931,"id":"Q6049931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e5e9bc6df0a46d83944d7a31fe30031af492ec","datavalue":{"value":{"amount":"+0.90611404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q792086$0635BC58-DC46-4646-B169-81A6377A5566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal system for specification analysis of concurrent programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_system_for_specification_analysis_of_concurrent_programs"}}}}}