{"entities":{"Q1183608":{"pageid":1194357,"ns":120,"title":"Item:Q1183608","lastrevid":70205112,"modified":"2026-04-13T13:09:15Z","type":"item","id":"Q1183608","labels":{"en":{"language":"en","value":"Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33438"}},"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":"Q1183608$7B01AB9F-F958-42E6-A28B-49CA04B6DFB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84b7211acf017a54d46bf0de0c7b653804c511c4","datavalue":{"value":{"text":"Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183608$BAA17427-C0DE-466E-84EF-27CA6D9A61DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1552668d304e8f5efba12d293e849c00a9e23882","datavalue":{"value":"0744.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183608$8DCF1648-F070-4A50-BD54-B87BC83A42A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"529156a86144001abdbae175a0a5b8252853905d","datavalue":{"value":"10.1016/0890-5401(91)90044-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183608$3A312CCE-E4A0-44DC-8088-601C027252B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9602bef9505b2e60be78a89c5c30dfa6fcd5c5d","datavalue":{"value":{"entity-type":"item","numeric-id":190307,"id":"Q190307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$4A90F2D2-7B17-4BA8-813E-5CC252092A87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$74AC236C-43FB-4ECD-9941-D9B9F330B15D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183608$E773F0E8-196D-435F-BDFF-629B2ECBF059","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa9375bf4a007942459e2421a4e489d0b0296119","datavalue":{"value":"A non-uniform process specification language is presented. It contains constants for a set of atomic actions, constructs for alternative and sequential composition and recursion. Processes are considered as having a state in the sense that atomic actions are to be specified in terms of observable behaviour (relative to initial states) and state transformations. An operational semantics is given in the style of Plotkin. The process having an initial state is associated with a transition system representing all possible courses of execution. An execution of an atomic action \\(a\\) in a state \\(s\\) is specified by functions \\(action\\) and \\textit{affect}. The expression \\(action (a,s)\\) denotes what can be observed if \\(a\\) is executed in state \\(s\\) and the expression \\textit{affect}\\((a,s)\\) denotes the resulting state.   A partial correctness assertion \\(\\{\\alpha\\}p\\{\\beta\\}\\) is introduced. It expresses that for any transition system associated with \\(p\\) having an initial state satisfying \\(\\alpha\\), its final states representing a successful execution satisfying \\(\\beta\\). Hoare's logic containing a proof system for deriving partial correctness assertions is presented. The proof system is sound and relatively complete. It is shown by example that the completeness of the logic is lost if pure recursion is replaced by guarded recursion in the language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183608$0DB235A7-14DF-410E-9B40-370E2CBEE499","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183608$2DC7922C-E35D-4950-AAE2-C05DBB5398CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183608$00E8CA4A-7A71-4CF7-8BD0-5349E4A408D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183608$E92019C0-AFD3-4158-868E-CF53F9DF8FE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b36361d5990c5d6ad4009b66990465c1d4045b4","datavalue":{"value":"33438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183608$DC0E4815-FFB6-4126-AD42-7745B9945D95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183608$3FCDFBBE-D918-475B-B9E5-E7766D4E376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c081453d19c2d3739741230f12b2f6198b51908b","datavalue":{"value":"process specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183608$347E3BCA-8158-4980-A663-3FF6D38D4E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183608$63693541-D4F6-46EB-A880-166AD5005AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183608$46EFE3BC-1D83-40CB-8123-95226B72F953","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$188145BB-517B-486B-AC67-B65AB329858F","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":"Q1183608$8AF3FED4-2D43-43C3-9D8F-06C8965E22B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"735273bf8297797d04b555f06d3a484281cdecfe","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90044-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183608$52851658-19F3-429D-9E8F-FE71BCF95149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d69ece9957397ec759973af2adb220843d5ede8d","datavalue":{"value":"W2091623384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183608$3213ECC2-DB41-425F-9133-729D88512E53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$D60D336C-BADF-4133-8C1D-0C6D59C2C572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$2556C769-3218-47E1-821C-DDA814C41BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f9d45e7c4bf8a47eecb690915286b469226fe","datavalue":{"value":{"entity-type":"item","numeric-id":1106660,"id":"Q1106660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$6B58C962-8C4A-4AF2-B454-A8036E5220EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e055b0ab62d9c5cc4dfe103dcad4fe7ab3bc87","datavalue":{"value":{"entity-type":"item","numeric-id":758198,"id":"Q758198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$9098C7AD-0B64-49C0-A2E1-EDEDAC229397","rank":"normal"},{"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":"Q1183608$B78AF8A9-97D7-4B40-8165-EF710128A54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$DC5A8BFA-6AD8-41B8-833C-E804E268857B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc797dffd4261744033fe762266e9de6d8a7176","datavalue":{"value":{"entity-type":"item","numeric-id":3745260,"id":"Q3745260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$3768703E-4D41-4F36-91FC-41BF55DC18B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1312d69afa79930b58aa9f79ad23ca7b77f5ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$4A0169AB-6FB1-4583-8BD2-4F30F8544C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba4cd235346de0bc02a623953674e572b92e157","datavalue":{"value":{"entity-type":"item","numeric-id":5916300,"id":"Q5916300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$049E2C1F-3341-4D68-A7E5-34DC5A1AF4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$85FD9C6F-DC4C-4B6E-A9AF-3CCBED823B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$A275F17F-9998-4E76-BFDD-50E6F581DCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$29F372F9-BB2C-4CF2-9EB8-43B38AC5DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$E7A10B91-547F-4175-9C7B-B6402991B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183608$0235A75C-A1BF-48AB-8467-66EDF98EA438","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8511e9d7f2ca380b67160abca115a9c7f18a586f","datavalue":{"value":{"entity-type":"item","numeric-id":1329197,"id":"Q1329197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3cd8e2c6e7509be0d9ab15f7b3226d3e162f6a","datavalue":{"value":{"amount":"+0.7898364067077637","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":"Q1183608$F9372A95-DDCA-4EBA-9C36-BAD94E284A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a347481374ed1c05c451aeddf4f14af0580bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cc03ac78c0a0f7dbd20b28237ef7930d2ab73a","datavalue":{"value":{"amount":"+0.7879915237426758","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":"Q1183608$3B63A73F-B477-4A64-B44F-1FD1E41528CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a250ca016f0d5c763d56fe7f0ad35c2bbe1d87","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9967b167ff775705827a3af7664a3ee320e3a40e","datavalue":{"value":{"amount":"+0.7871598601341248","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":"Q1183608$6BA035F8-105E-49E8-BD26-26F5B609E755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8955a9e927f932f083e9808eef3624ad32a87379","datavalue":{"value":{"amount":"+0.7789579033851624","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":"Q1183608$578A22C5-E422-46F4-81A9-4F5D401A0107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9a684b8c6c6fc0bdc9ce64735d0b17823b4e27","datavalue":{"value":{"amount":"+0.7741295695304871","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":"Q1183608$0D67DD0C-5740-4AF7-839B-393A5C31833E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule","badges":[]}}}}}