{"entities":{"Q2871839":{"pageid":2882559,"ns":120,"title":"Item:Q2871839","lastrevid":79529879,"modified":"2026-05-06T14:07:45Z","type":"item","id":"Q2871839","labels":{"en":{"language":"en","value":"Specifying properties of concurrent computations in CLF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244369"}},"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":"Q2871839$6A50E5E3-81FB-4D7F-98DB-1C3EE2283515","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef7789e6fd12de88bbaf41e908f4474487cd8be5","datavalue":{"value":"1278.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871839$F6BBF422-6049-4F18-964B-ADAA8BC21C98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$65759C1B-DD07-4C06-99ED-D9B1D9DCE4C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871839$3DD153C9-CCC3-450B-8CD8-6905A691E6F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871839$4BC272A3-87F8-409E-9A56-42E42C1EC7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871839$3F63945B-28D4-457A-A987-62E64924BD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ed549e8aac7cc63e7a2ad42735c514e45b1da22","datavalue":{"value":"6244369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871839$EA55F3C8-AAE8-4517-BC2A-C365AF5F32CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871839$B8ABDA45-83B5-419F-AB66-6270221C5AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871839$157C20E9-D1D4-41C8-92A7-49B6CDD96434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871839$AF940BC7-FED8-44E8-8F58-C639831CEE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871839$6AE49A52-52DB-42BB-9784-B0EBF3B3E077","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$8E920AB0-F6AC-4D8C-BF68-5729270A4D0A","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":"Q2871839$16C4A69C-6FBA-4B35-A2D9-B5440DDAF7A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c3eb0db208bf44e8ff91a20bcb79af70b7a0865","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.11.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871839$1B3846A1-D56C-4283-8711-4EB0E8598A98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8aaa334e34f18224fe8c068f8643b7c0b60dce85","datavalue":{"value":"W2118371092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871839$B9C47D54-D960-4262-A71F-D41A1DFB01FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$27F88B69-D185-48B9-8E14-0BAD4C520C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$253B4219-96BB-4A2B-8837-0AD8582F4736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$9FD5EB06-CBF6-4FE4-B2AB-3F5E21AF7D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$EAB2455E-ADC2-447A-82D2-AF13235BA341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5cb53d50bb4fa29eff1ca902f010d917a30537","datavalue":{"value":{"entity-type":"item","numeric-id":1399972,"id":"Q1399972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$E91E9CEA-E38B-46D2-8A94-B34D63FA75B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$436F14FF-D439-444B-BFAD-A15CCDA150EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4db8f7fa996304ee694716b3fc5e63d2e83c95b","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$FF66725C-4CAA-4C35-8E44-62A0E08A390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$39861AD8-0373-46CB-B81C-4C72C88EDECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66408ed34b82c234df713b8aa6315011a631e7ab","datavalue":{"value":{"entity-type":"item","numeric-id":4228076,"id":"Q4228076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$2C3433B8-7ACD-496F-9193-2C7531DC4CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$999EE647-ED0C-411A-B2A5-C9B94DFC0739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$2292AC10-BF09-4C51-A586-74DE8F831BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$709D5C7A-BCCC-474D-ACB3-2F575C1B0E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02225b9bf52ec561b65599c55548fe72422e1bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$DBDAD1F8-8733-47F7-B1D8-B1D6EFC7730E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2755e7cd539486dd6957fcf22610f668bf35e78","datavalue":{"value":"10.1016/J.ENTCS.2007.11.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871839$44F9FE27-1B0D-4999-BE19-AA26552F6127","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"592c120a17c2739b6b2e86f53ddcfed087b2ac56","datavalue":{"value":{"text":"Specifying properties of concurrent computations in CLF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871839$993CD13B-CD45-48D4-AAC4-A0A49FA82A17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"235d159ff3b040ad65458e16e11a61d62a0b3892","datavalue":{"value":{"entity-type":"item","numeric-id":4944871,"id":"Q4944871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$7AE4083E-B621-4E47-BFD5-766F456713DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$E5A40A91-2BBF-431F-B89E-B29889F4830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$3617F221-EAF7-4A5E-8EE5-FCAFA6712B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d184edd78cef86173cf3ad2b7f89cfef2bc1ba0","datavalue":{"value":{"entity-type":"item","numeric-id":4124892,"id":"Q4124892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871839$E0379B2E-2750-485B-A8CC-9888E4DBD22F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10552120213414c3e89acf75da9ce2dfd1a00202","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3fb8040142111c9fe2ff8903ed61d12fa06e6a","datavalue":{"value":{"amount":"+0.8224449753761292","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":"Q2871839$66C08F5F-CF83-4C50-BA76-8EA8971C2067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3a2979a9b719ee09862d2c6e107ca6af5a62e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541713,"id":"Q3541713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c999333aba8897af20a6d0b82faf5125e24e9a87","datavalue":{"value":{"amount":"+0.7966994643211365","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":"Q2871839$11776516-C17D-4DE0-B92B-BFC9BBEC1B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fba85b21e76847272db7a31499949f440c0c32","datavalue":{"value":{"entity-type":"item","numeric-id":4992496,"id":"Q4992496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb1c43c13094eded88513258ca47d2113c9877b","datavalue":{"value":{"amount":"+0.7795848250389099","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":"Q2871839$3D9F97E5-D4CC-41A9-920A-D9FA85F948BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696c4ca228238e4beb09001c17ecb040f1e3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2026d884e9e91716cd0bc7f85ab9e37168e146a","datavalue":{"value":{"amount":"+0.7322881817817688","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":"Q2871839$8360B5F1-8118-4DFD-A410-46DE87699A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3837bf372fb081e7e469905c459161e17c08ed3e","datavalue":{"value":{"entity-type":"item","numeric-id":4236204,"id":"Q4236204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747e6777b1e400e01d01ce893c39aa92b57f8577","datavalue":{"value":{"amount":"+0.7229196429252625","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":"Q2871839$EB964ED0-B3D1-4EA7-8786-8DEE75E92F6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying properties of concurrent computations in CLF","badges":[]}}}}}