{"entities":{"Q3525145":{"pageid":5555049,"ns":120,"title":"Item:Q3525145","lastrevid":80896238,"modified":"2026-05-06T17:14:55Z","type":"item","id":"Q3525145","labels":{"en":{"language":"en","value":"A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342673"}},"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":"Q3525145$B1CF3858-A2E4-47C7-ADC7-3FE8C7A16123","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c062e8f2d9dcbc59571ce930705500105f115a8e","datavalue":{"value":{"text":"A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525145$A1A43565-B819-480F-9F09-76C3FC3250B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4e80c89ea9302aa5038030759613f8a315c3973","datavalue":{"value":"1168.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525145$9373B525-F1FB-4EFA-B7A8-2E883C910794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac90ca61e893a73aadf3b46fc265cb0d6d3140b9","datavalue":{"value":"10.1007/11921240_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525145$691F322A-9D43-4F47-93EA-39033180E033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac49e12a6b39d9f444d0dd029c695611ade0da14","datavalue":{"value":{"entity-type":"item","numeric-id":870279,"id":"Q870279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525145$A0034CDB-E2B6-46F0-A35A-075803214E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb891ece4818441cde8911c125cbd2b830b8c8e","datavalue":{"value":{"entity-type":"item","numeric-id":199021,"id":"Q199021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525145$9D9AF7F7-0F1C-47BD-A9FF-C4E447665FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bcc2517d7f29a0c99d871175f905014f619cab8","datavalue":{"value":{"entity-type":"item","numeric-id":539164,"id":"Q539164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525145$7B81EAC2-689A-4FA4-AE9F-31C99B5C0843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07620f78b2b1817435c51dab40ef14d785469197","datavalue":{"value":{"entity-type":"item","numeric-id":3070766,"id":"Q3070766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525145$410508A6-FED3-401E-9C50-441D69A01472","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525145$1A250DD2-1207-45D3-BB8B-BF8906C16F80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9b70832020d0274379b3b309a7c6882590833b7","datavalue":{"value":{"time":"+2008-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525145$9111E560-3FEB-437A-831F-45754796B19B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525145$CA1F9034-4F59-40D8-9DC7-633F414D941B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e478c0d9ca815620caf33b216e833aa8c87949b9","datavalue":{"value":"5342673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525145$8D903CBE-DA67-421F-9679-C995EE8908ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525145$5007F996-0B31-43A8-850F-D18102C4EBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e859fce0c08ff9784c5eb0581b9d04b347914b8","datavalue":{"value":"denotational models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525145$697ED8F5-3197-4338-94D4-AA2F4DA1A2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6557882288bf9655fd574f70dad22faf6b2e9a","datavalue":{"value":"nondeterminacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525145$6DC8F3AE-C3C2-43DE-BDFA-102570882441","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":"Q3525145$25D99845-75EF-4947-BC52-487A4C9087E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5adabb5916bad3ae7be6296e9830843f99911660","datavalue":{"value":"https://doi.org/10.1007/11921240_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525145$080825A9-3876-43AC-8625-424D2CDF0FAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffcecae29c8a2b7a61f5dfafd07d6145b4540fa2","datavalue":{"value":"W1524272918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525145$7B2C19DC-3924-485C-A77F-5347B9563F3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840da888fbbe566bd49f06baa9bf6e8ea14d2110","datavalue":{"value":{"entity-type":"item","numeric-id":3030244,"id":"Q3030244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7493b7f277af924ee0e41ad640845966a18aba3a","datavalue":{"value":{"amount":"+0.92726886","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":"Q3525145$A06F41EA-C0AD-4805-AC06-C2ECDD7666E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f801dc191f8369b66d34f708f760a1a35c3302","datavalue":{"value":{"entity-type":"item","numeric-id":3796728,"id":"Q3796728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ed738b051001c211eb464e3abda5767fc87193","datavalue":{"value":{"amount":"+0.91091704","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":"Q3525145$D1932209-EAD8-4C45-A213-11CDC105E6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490d0e491b007dfa1fb4d06dfe57cc799bfcab9a","datavalue":{"value":{"entity-type":"item","numeric-id":3798221,"id":"Q3798221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e072f4c15f414de2e6a4db6163aa0ea20db52b48","datavalue":{"value":{"amount":"+0.8941775","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":"Q3525145$A58FB697-DD4D-40FD-BBDB-66BFBBCBA0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d672eb639351333f9fe9302176dd95b18e620185","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac38a4312b8ba35b755d7bd8654229c1ab2ad4ab","datavalue":{"value":{"amount":"+0.89328575","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":"Q3525145$6581753E-DD85-4AD9-931D-18EA7CCA5BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084ed4519e9b3cd0f5857b2490a8d8c730d8cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805885,"id":"Q3805885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc022d5c4e6d25e6bb0dea82cf6702f45ed44f3f","datavalue":{"value":{"amount":"+0.8860873","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":"Q3525145$969F5DC3-8F63-47BF-B6E4-39FA52141A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d8a3796364b06cc4a9792b563c40cda0fc2071","datavalue":{"value":{"entity-type":"item","numeric-id":1179704,"id":"Q1179704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16629f99be0bff23bd5db3f58a84d107bdf44c3e","datavalue":{"value":{"amount":"+0.8845125","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":"Q3525145$9CDEC53A-0798-4257-8842-CEE92047A801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6690f5123be9fcfe06f9e6da3fedd40a8562dd","datavalue":{"value":{"entity-type":"item","numeric-id":3330490,"id":"Q3330490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2340ec86a4361aabd5a27db0edbb63ccdd250820","datavalue":{"value":{"amount":"+0.8839649","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":"Q3525145$6DF217AD-12CF-46FB-8A7F-A081C5FA8EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b2e02e79084d144e35b596a0ad0d29ba1e45c2","datavalue":{"value":{"entity-type":"item","numeric-id":3642523,"id":"Q3642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e4200d107bc19cb4d376d02bd988a1d6b9935f","datavalue":{"value":{"amount":"+0.88389003","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":"Q3525145$AC7869CA-7210-4CB4-869B-76AA9C6E9D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0776e719971d519fa4e4b023f2489fff5187ef1","datavalue":{"value":{"entity-type":"item","numeric-id":4270061,"id":"Q4270061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85153a7ced2d6594e78628f3f98d066d7b656db","datavalue":{"value":{"amount":"+0.88002133","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":"Q3525145$7F3DD5DB-0FD3-433E-8FB2-C6B45659C103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2352816ed7abbcc8b78493a6a37185af6a8933b","datavalue":{"value":{"entity-type":"item","numeric-id":3694669,"id":"Q3694669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48c6136f6038d98b36159cf4a58fa37522adb02","datavalue":{"value":{"amount":"+0.8777139","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":"Q3525145$6A26650A-5522-412B-8374-7A6C55FF9ACD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Lattice-Theoretic_Model_for_an_Algebra_of_Communicating_Sequential_Processes"}}}}}