{"entities":{"Q6151611":{"pageid":13285918,"ns":120,"title":"Item:Q6151611","lastrevid":39730779,"modified":"2024-12-30T17:56:39Z","type":"item","id":"Q6151611","labels":{"en":{"language":"en","value":"The correctness of concurrencies in (reversible) concurrent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803176"}},"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":"Q6151611$95F32EF8-378A-40F0-8851-FB4ECA0CCA27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9119327aba5c3608e4420ca3f85121d935d9ae47","datavalue":{"value":{"text":"The correctness of concurrencies in (reversible) concurrent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151611$04F5F6CB-3E91-4356-B65C-FCDDBCA0AF57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d128d5001cacc189cf249a8ecc3ccfff5f8460ef","datavalue":{"value":{"entity-type":"item","numeric-id":276246,"id":"Q276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$E4138211-AD23-416E-AF2C-018D9E971846","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$CEDF72C8-75B5-4AB6-BABF-51348E283E2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2690d5dc291ad0ded12f2eb8597187f840576ab","datavalue":{"value":{"time":"+2024-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151611$F8D55B7C-A93D-46BD-A2D7-8F0439E385F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151611$6C9B7A66-A8A1-466B-A1CF-E84400841B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70ec35cc89a7be61378e5bcbe5a8c08e1a3e675a","datavalue":{"value":"7803176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151611$DEF47587-2C3D-4635-8CC1-43B767844C6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151611$0DFF858A-0C5A-4954-8ABB-A5BBFC7FC74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151611$DD9B698B-B583-45A0-88B8-4DAF272B4A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151611$FEC1EB91-7B7C-449A-9981-5C041135DC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6355a8ad52e3619000c8cf47952fa713220a28b","datavalue":{"value":"reversibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151611$F91257D9-042C-4B8A-846E-9450BBDB9346","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":"Q6151611$5C1F4708-0276-4886-BA35-08851B127CF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"040b8232894568ad11d21f1fa1bd69a084e8cf6d","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2023.100924","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151611$732AAB4E-0325-4C77-8BFE-5110EF41B361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b112fed342a28576bd761e2dd1154a6ef5bd2ec0","datavalue":{"value":"W4318242601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151611$289D6D46-E766-4A83-A869-6217E77800FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$172AB5A9-D55D-4E61-AFA9-FE7347C55AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97937b6fbcb19180a54e27203f6c8574e53be171","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$41875B94-869B-44E8-9DC6-F1EE73E6FCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601dde63f14f6902ce8587d228bf28a238e85b26","datavalue":{"value":{"entity-type":"item","numeric-id":2200840,"id":"Q2200840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$145F73E4-2543-4ED8-A6FA-43F5018DE893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa306dadf3dbc640c9eeb59db9ec93bbf61b4f73","datavalue":{"value":{"entity-type":"item","numeric-id":5162606,"id":"Q5162606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$7C58403C-5D0B-43FA-8EDA-B7EE3EEEA836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3405438ea27008c9b6bae71f987d10c158656d","datavalue":{"value":{"entity-type":"item","numeric-id":1796364,"id":"Q1796364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$B74D9210-02B6-4375-9886-28C5F0847569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d828d8ba43c93f30cccd4319529de5ac40255d76","datavalue":{"value":{"entity-type":"item","numeric-id":5918352,"id":"Q5918352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$F0D8651B-22BB-4EFA-8546-1518A5D859A6","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":"Q6151611$5E15925F-5441-4C55-B4B9-5CE802F715AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$4019B9F1-8FC7-4FCB-8D87-51215896C6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27900bace3dea310f9bcb8d8ebed7e8bc96c783b","datavalue":{"value":{"entity-type":"item","numeric-id":5162607,"id":"Q5162607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$7CA395AD-0AFD-44EE-9DAD-2AE47F3B0F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b83c95d28378702d9b15252b82e167c81926ac","datavalue":{"value":{"entity-type":"item","numeric-id":347363,"id":"Q347363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$2FA80DB9-6865-40E5-8C37-0FFCC8360D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9334eb8d6a15b20d49df6d00988318d7e9026446","datavalue":{"value":{"entity-type":"item","numeric-id":3188912,"id":"Q3188912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$5A05AFCD-AB9A-4C88-934D-D5637AA17D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0c0220e3b73b4ed915a38093b1cfd7809c6406","datavalue":{"value":{"entity-type":"item","numeric-id":5902418,"id":"Q5902418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$2CEBF6FE-8D9A-4ED3-A85B-FC53E2AD48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82c6ebae46b22253c326483654f403b09de3071","datavalue":{"value":{"entity-type":"item","numeric-id":2097423,"id":"Q2097423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$106505CF-68E5-43CE-A03A-69F8C67F9A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5831bc8a84b158719777b6adeafeb87c8785a92","datavalue":{"value":{"entity-type":"item","numeric-id":3655762,"id":"Q3655762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$EA4FAD8D-F8FF-4CE9-AEEC-B63513AD44B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$BFBB2089-0C10-4CA7-B591-C3029894BE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad255e962ec6e38d0c6c881b121a9dea41c9daa","datavalue":{"value":{"entity-type":"item","numeric-id":1285660,"id":"Q1285660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$375F5E6C-8B97-426B-9671-6390E12ED7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$DE95C985-74F6-44C6-9E99-4F7A0A42E7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25bbe5a75e3b0b3b933fec4c906d9e4ed01cf824","datavalue":{"value":{"entity-type":"item","numeric-id":5145308,"id":"Q5145308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$69C6EC9C-3836-4665-8E91-D0FE0DA84F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195a80b4448c1880d219e87826e248632a1205","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$B8438F48-CD2B-4988-838B-987773741074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1c37a41b0324c8e2737dc22a8750ce61f1fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$47C234CC-6DE4-4CAF-BDFE-626EEBE77DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374c4b2b7187b3e3ad30a1c4dce60ed65aeb4d86","datavalue":{"value":{"entity-type":"item","numeric-id":5162605,"id":"Q5162605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$3C2EFD79-7F3A-4939-BACF-7591B8ADC956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$A18A15E6-55AD-48EF-ADF8-3F242F4A2E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d627ec124ddf42f0a730652c8773aee1639a8a","datavalue":{"value":{"entity-type":"item","numeric-id":3396569,"id":"Q3396569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$A635D038-A31F-4683-916F-F6B265A63279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b398c8fc2e0ef4944e710680b93f025bda90ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2079681,"id":"Q2079681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151611$EB4B947C-B20B-4E39-9340-D62D8334E5AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d181fddb31355d05e7364cb38e4940e36ae9564","datavalue":{"value":"10.1016/J.JLAMP.2023.100924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151611$ED1E58BF-40A4-45B3-BC50-207A9A9A8834","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6151611"}}}}}