{"entities":{"Q1124322":{"pageid":1135071,"ns":120,"title":"Item:Q1124322","lastrevid":69841719,"modified":"2026-04-13T10:42:36Z","type":"item","id":"Q1124322","labels":{"en":{"language":"en","value":"Type theory and concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4111990"}},"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":"Q1124322$7F8F1F8E-8F25-4F1D-AD4F-A595C198D0DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4572c39b5a91e72b7f6137112c86b9f64abd8292","datavalue":{"value":{"text":"Type theory and concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124322$FD0B60F0-5452-425D-9744-A0BD3A23F513","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d200cd4824ad8fd2077300312fd94205ac097918","datavalue":{"value":"0678.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124322$DE28DEB4-11DA-4217-9CE4-DA0A169C0C09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fccb3e6ccb9358e460400fb0afb130709ee7b0e6","datavalue":{"value":"10.1007/BF01383954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124322$12B5B688-CE10-4396-8E78-D30A6B51EDE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$FB5C8C57-A444-4355-89D7-DA9E79EB4973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55516c9acfe06eeff291481b7f91efa8e1b2799","datavalue":{"value":{"entity-type":"item","numeric-id":283764,"id":"Q283764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$4A00F7FE-FB63-49E1-8682-50AAA87AF83A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$72C28AF6-54BD-46CB-89AA-FB258BB2CBF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1124322$983E28DA-4D15-4622-8EB9-9545E26749A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f763abc2bb2b840b7ed3c04e48213fb1aa26882d","datavalue":{"value":"This very readable article discusses the use of an automated reasoning tool (Nuprl) in the context of concurrent programming, in particular Milner's CCS. To this end a denotational model of concurrency based on Aczel's non-well-founded sets is developed (which, by the way, resembles also de Bakker \\& Zucker's processes approach, and) which serves as the basis for the implementation of CCS (and presumably also related calculi). The paper provides a short but excellent introduction to CCS and its semantics in terms of the model mentioned above, an overview of the Nuprl system, the implementation of the semantic model in Nuprl, and the Nuprl implementation of CCS and Hennessy-Milner logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124322$B03F210E-DFB5-4CC4-B299-2DAF3BEC49C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124322$E9D9DC67-04C8-4D3E-B52E-E1ABB7B066A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124322$C7F46C89-1DEA-47CF-862A-68713CDC4834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124322$EE601D6D-192F-485C-ABB3-5083C6F997CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124322$945137E4-221C-4B3B-B7D2-2E0C1D7BD7BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bc2819498869568d00912dce4f2b6abefc8f0eb","datavalue":{"value":"4111990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124322$257A0F96-0C2E-4597-A23C-C2DFAA0DF9D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124322$E4731844-F6AF-44C8-8049-26B7CEF0066B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124322$5F254284-207F-4961-97C1-EB90025B9C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124322$BD071E2D-3389-4079-B83E-70971470F1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d5f0e3a2b6b82b903c0219118595a807ad1c7c","datavalue":{"value":"non-well-founded settheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124322$EA97D98D-E865-4B73-B21B-3E802AA086B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124322$7C039C19-A49D-459C-A4FE-AEADFE905BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124322$0612E2D7-C0FD-4022-8AAD-CBC2D0BDEE6D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71c876594569243d8a46dba6a49cb7e4f79f826f","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$E62073E5-5361-4C2F-803C-02C52616B8B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$D12BF8E2-7378-4CFE-BBDC-CFBCDAE3F66F","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":"Q1124322$516F553C-7228-4236-BC26-DCA2DF5E659E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8612e31926aa2a0d7d9b618cb86ed3ed06555ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3677160,"id":"Q3677160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$90D00E2E-7895-4442-9615-A5F453317D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$42584C6C-7758-4EDC-B15F-62BD146A60FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$20C928DC-05C5-4459-8426-F21145E24518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$94460B70-B8A7-4B32-AED7-0D67C9ED3BCE","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":"Q1124322$7E9E0032-758D-4304-B9E6-1DB46180168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$304F39F7-03B4-41D7-B8FE-29AD178FA9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$98C78825-B600-425F-BDA9-C0C648AF8860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$3AABC53B-7852-4609-B118-FACD2F969FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a777760682b1e7e67a80ce2fd41c1434c739bd49","datavalue":{"value":{"entity-type":"item","numeric-id":3750136,"id":"Q3750136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$3E673D4E-0A36-497E-B0BA-C4E56F306EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$B5D5D010-DE5D-40B5-8FED-AD7763F0D6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d444be6a5a5b9e0b68d42e9bd593ab81f7e6f11","datavalue":{"value":{"entity-type":"item","numeric-id":1124322,"id":"Q1124322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$FB229C84-B6E7-45AE-9C08-95B166BF9197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124322$3246A786-586F-495B-AEBB-CBF97FE07358","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f055ef19976c348ac8ba131b4ca767c010e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3030241,"id":"Q3030241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002d4dd18c965a2672a877c2b503b02fbe4d4f21","datavalue":{"value":{"amount":"+0.7738400101661682","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":"Q1124322$36C14A4F-842B-4641-AA99-B1E52317CDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd6681407128a813f4543a95793aff6f70d9269","datavalue":{"value":{"entity-type":"item","numeric-id":4827896,"id":"Q4827896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdecaddbbeee47d601cde57ff215ce1961bd5619","datavalue":{"value":{"amount":"+0.7693512439727783","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":"Q1124322$9AB3CAEA-CBAD-4F99-819B-B35F312823F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a24186bd94819919435724c546c4e68004ad2d","datavalue":{"value":{"entity-type":"item","numeric-id":3612481,"id":"Q3612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d87b33eeb8d704bd98d05638b03c38c7b5b29a","datavalue":{"value":{"amount":"+0.7553780674934387","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":"Q1124322$29D7CEB1-3B8F-4569-9FBD-3AD9951B8F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87f06ece8a35aab437ad4d596b517607bc0a123","datavalue":{"value":{"entity-type":"item","numeric-id":4525277,"id":"Q4525277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8abc92e14558baa6a2454d6707e600303bf0d0fb","datavalue":{"value":{"amount":"+0.7476688027381897","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":"Q1124322$75F15A6D-FBA5-4FF3-AD74-DF5AFB1307C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ff9a2abc2018a65d5d92ab38f325bc4e62af1f","datavalue":{"value":{"entity-type":"item","numeric-id":4692773,"id":"Q4692773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d79c491906ecbf95300d68153195052f9e6c052","datavalue":{"value":{"amount":"+0.7387756705284119","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":"Q1124322$1DFFAF4C-45AC-4E44-A09D-C2864C93290C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type theory and concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_theory_and_concurrency"}}}}}