{"entities":{"Q5162605":{"pageid":7192176,"ns":120,"title":"Item:Q5162605","lastrevid":36730457,"modified":"2024-07-26T23:21:43Z","type":"item","id":"Q5162605","labels":{"en":{"language":"en","value":"Towards a Truly Concurrent Semantics for Reversible CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7419486"}},"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":"Q5162605$4B3F26A9-56E5-4BA7-B67E-EA5DAF547088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e0bf9d2d5c7c4e21e95330ee51709189f968343","datavalue":{"value":{"text":"Towards a Truly Concurrent Semantics for Reversible CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5162605$C9986D62-4F82-4B2B-8805-E5DF2F83B2EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5386e01bec352e03d95017914eb5d67cdad68868","datavalue":{"value":"10.1007/978-3-030-79837-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162605$9E633D8C-F27D-496C-B8D3-A4139C7B64C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e486ff16bd191aa095648f962c7d6d0234cad69","datavalue":{"value":{"entity-type":"item","numeric-id":2037952,"id":"Q2037952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$6F916C82-A9ED-4C6C-ADFF-E819DF348963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6bcbecbf535f456e0a183c5992b5c2f1360f691","datavalue":{"value":{"entity-type":"item","numeric-id":264994,"id":"Q264994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$9955809C-DF98-46C3-8647-A0253ED42B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc31d8ba926152915a2d85bf90621c795d9f87c","datavalue":{"value":{"entity-type":"item","numeric-id":272304,"id":"Q272304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$F74B127B-9A1E-4851-9B34-14BC97AEE235","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a717b5be1a91222f4c61369f09045de11793bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2822486,"id":"Q2822486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$063ADF0A-4739-45F5-9C1A-D8C749AA27B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9646bb8b94af16daee7eb7191395758c93317c4","datavalue":{"value":{"time":"+2021-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5162605$31005EF0-D08C-46C2-9C33-0C0C008811AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162605$9E08C342-18A2-468C-B910-9FD45CBB3C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162605$27D83556-1D92-4148-90AA-87E54214AD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162605$F381F3CE-BCEE-4B0C-8E6C-272765849814","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22b6c02f218606fef548017c59a7c5755f50f6b0","datavalue":{"value":"7419486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162605$DAB5C19C-1C29-4012-B454-5490AC9FA297","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5162605$C4D2B498-2CDC-45A0-8DCD-EAD0127A658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a106de6a895629bfc7490178fe0f4d708eae4ed1","datavalue":{"value":"reversible CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5162605$4DCD3157-CAA5-47F7-AF67-24C0F17F0954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5162605$F3D494AE-FCC7-4AFF-87D2-5AE9F32D2E69","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":"Q5162605$D52EED8E-865B-4B26-8B70-A70613B5C323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ffc712f634c021de7add5152b1487dfdc1aa855","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79837-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5162605$45DC8FD6-49FE-418B-8E9F-B8058CC6A5EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21bd2b7e524ba16958ae3e89ee02fd22824347f0","datavalue":{"value":"W3173890928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162605$37B38902-C129-4BEC-BEB7-3C8A31FD7855","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$2596784E-D9B3-4155-A443-1E0D59696F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527b89ed7f0c49baf65445352a595a74e1e39d9b","datavalue":{"value":{"entity-type":"item","numeric-id":6044126,"id":"Q6044126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$61EE1F81-99DC-4C0F-9E23-07BCC10628B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd1b6978b5470297511f81d96560a5875694495","datavalue":{"value":{"entity-type":"item","numeric-id":1341775,"id":"Q1341775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$F949C977-5023-44E9-BEF7-A9444D82D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$6A69109D-58F2-460F-9E7B-E11AA7306F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$E83CE5A2-CBBE-4BAB-BF50-426A418EA694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07be906923ca4c3b0150f08bdc961e93fa1a7a7","datavalue":{"value":{"entity-type":"item","numeric-id":5916280,"id":"Q5916280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$F22AF046-D53E-408B-8627-533866563343","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":"Q5162605$B9FFB924-E1D7-49F5-95AE-E56E46386D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54328a610bdb9f12447ad27e9af06089300e35c","datavalue":{"value":{"entity-type":"item","numeric-id":3453753,"id":"Q3453753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$02B77DE6-6C65-4F30-A03E-5E19D555903E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10a1fc1b9a292d0d7a46bc368f4c29060d035d","datavalue":{"value":{"entity-type":"item","numeric-id":2022303,"id":"Q2022303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$8F7845F6-810A-4BA6-AE87-94A690E6B58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4184a61ad50d805d51dd885fd536840fd5ad22","datavalue":{"value":{"entity-type":"item","numeric-id":2039888,"id":"Q2039888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$D84A7563-16AC-449E-B499-B34ABA34E9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aaa05c5a1230a87b78bc7a7e877f11588855b5","datavalue":{"value":{"entity-type":"item","numeric-id":5129948,"id":"Q5129948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$3E4ECCDF-4B35-4D11-9478-0F1F34A79781","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":"Q5162605$F79CFD3C-8584-4BF3-A379-6F6E5C32B1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162605$55D8BAB7-4923-4F5B-A20E-DB601069C705","rank":"normal"},{"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":"Q5162605$C57F4970-5C95-41B2-86A4-A3D800C7A5E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5162605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5162605"}}}}}