{"entities":{"Q5262950":{"pageid":7292526,"ns":120,"title":"Item:Q5262950","lastrevid":52303844,"modified":"2026-01-21T09:46:22Z","type":"item","id":"Q5262950","labels":{"en":{"language":"en","value":"The quest for equational axiomatizations of parallel composition: status and open problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457568"}},"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":"Q5262950$FB18E6DC-19E1-4B66-93E1-DDE750551F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ed6b107d9f9d1566529d8b4ad2b60d47521392a","datavalue":{"value":{"text":"The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262950$825C1F97-463D-4EA3-BB60-8633829720FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25202ebd81804f8c54d5e198aef7b829c38830af","datavalue":{"value":"1316.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262950$0E3A7025-96E0-41CB-8461-2282413C7C93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$F9FC9265-632C-40F4-8161-FCEF21D73DDE","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":"Q5262950$F9202C4C-5625-4F96-990C-1A3630337DDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-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":"Q5262950$05146BC1-8C1A-4718-92F9-650878BBDB4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262950$CB8D27F2-979D-4C3A-A65E-05DCE75F232F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262950$46939AC8-9700-46A0-B20C-EFB273755A52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e2b6f313988859c773cdf1f6fdae32a2a776fcc","datavalue":{"value":"6457568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262950$E4AC1B2E-F095-45BD-A2BD-3DBD818C126B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262950$83C91CBF-6A24-468E-89A5-B6D3C6BA69C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262950$4B7590C8-2DCE-4D50-9BDD-26BA0E334022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262950$E3977910-54FB-4DA4-9846-04878CC0B8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262950$EC61A1A9-533F-40D9-9C3F-03180C247670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262950$11467103-2DC3-4BCA-A19A-24657714FDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c33c59e1f4f197dc071cf5a8da1949062eed8b","datavalue":{"value":"Hennessy's merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262950$952540A5-D0FF-40D2-BDA2-5804915A7774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576c657049810a185f59bb6ccec8877ec2ff4b97","datavalue":{"value":"left merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262950$FC08AB7B-0ADD-4332-85A3-B54C927E796E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9a8b7646fa1287de3bffe608a09ee658f3620b","datavalue":{"value":"communication merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262950$9E80258F-5EAD-4B92-AA08-3E8D710DE6FA","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":"Q5262950$D69C9843-7FD5-416E-847F-7626D7415682","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fe66cbe86d1f8b599fc3f5e60c385b8f192424a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.076","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262950$B20B8C31-A4CE-407A-B140-789BD573181D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"669886343eb5fe6f41a1c032f073bc3df8ba6b1f","datavalue":{"value":"W2168928652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262950$89F3E656-29C8-4AD6-84AB-EEC6317816B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec70adfed1f6163266f65442abcdc194d543f476","datavalue":{"value":{"entity-type":"item","numeric-id":3395976,"id":"Q3395976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$276248F5-D45F-490C-A572-161635076DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfa42baf62b507b03385960a2763a583643376d","datavalue":{"value":{"entity-type":"item","numeric-id":1763725,"id":"Q1763725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$E362748C-5022-4730-8A87-0B77C2735AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$BF574626-AF31-473C-AD3E-C12060722911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1294a0dd96a0928644625507b37d16e6a40d6d15","datavalue":{"value":{"entity-type":"item","numeric-id":5096740,"id":"Q5096740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$13391A4C-DB5C-4FB8-BA73-1E0108CF73BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4283f7cd93d420d41471d6e4dd2c2c3fc28655","datavalue":{"value":{"entity-type":"item","numeric-id":671351,"id":"Q671351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$3BA16581-794C-464F-930D-88B5E98DF8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d57ae971919b1e5f0a00374fbf9bf36671bccd2","datavalue":{"value":{"entity-type":"item","numeric-id":1383153,"id":"Q1383153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$05E5C6BD-A48E-447F-B3A2-8162B0E81518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904a588387ff3f549bc4718b4ac7b3ea08956f2d","datavalue":{"value":{"entity-type":"item","numeric-id":4379683,"id":"Q4379683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$0D0EAF40-9AB8-4BCA-967E-8C3550D3CD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f5dbfdab882d83d3bf018d467653b2e1221e38","datavalue":{"value":{"entity-type":"item","numeric-id":1130164,"id":"Q1130164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$93F8A4AF-94AE-43D9-AA63-D44E0E9CE469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7822b031ff19f423d25bd44f51f17a2cf8271795","datavalue":{"value":{"entity-type":"item","numeric-id":4501680,"id":"Q4501680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$0C957280-C2F9-4B85-A162-D17F00A19C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9cbc7e198d53ac905d76863bd4c9be9d59b377e","datavalue":{"value":{"entity-type":"item","numeric-id":2754192,"id":"Q2754192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$0EAE29C2-2DF6-492E-934F-A5EEAB5E7C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$84D21F04-E811-486E-BFB9-F2B2B1EBC311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559cfc5c99beab76c0edcbfc995aac83468d7534","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$37683BBE-4DA0-4DD9-BB11-DF208B0EF445","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":"Q5262950$93BD9060-2492-4169-A606-FBF826EF41C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$085B68F8-C08D-45BE-A49D-806AE447C46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbc1ba03c1632113c162fe83c93ac6393a0e884","datavalue":{"value":{"entity-type":"item","numeric-id":4038732,"id":"Q4038732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$969E6D00-1A52-4E60-8C06-9EF15378EAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$5A44D42D-39D4-4773-906E-67945DDD20B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$3AF59D6D-223C-4684-9521-21D9C2D3F4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$3C447BAA-917C-41D9-995A-9F0B5E1AA5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48963a8ea7d70e328d931056d50939681e46fc9","datavalue":{"value":{"entity-type":"item","numeric-id":4327410,"id":"Q4327410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262950$484AEE98-6CE6-4AF1-B6ED-BF19CCC3C845","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b859360f2e82b518575ea999ac16e6599a3758a1","datavalue":{"value":"10.1016/J.ENTCS.2005.12.076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262950$2B00EEFE-A06D-4FCF-B252-D68235C2CD71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a787a4c613ab1ea1bbbbac1a60696d274fd6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3525626,"id":"Q3525626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099ee07b1479e384ee01f27e1be9a1baa9dc5591","datavalue":{"value":{"amount":"+0.8127453923225403","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":"Q5262950$7A0C2A79-E9D3-48F2-BF62-686EADDF706A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655fe7b35717e634f58941003b86a53f047375f3","datavalue":{"value":{"entity-type":"item","numeric-id":4305361,"id":"Q4305361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90df5dfcc4c0c1cf9ef91597c713a7a24d11212d","datavalue":{"value":{"amount":"+0.7600958347320557","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":"Q5262950$01A26630-A79E-418B-A348-23020E11D87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d7024e7ac64fcc1200e1ea3c419ada8af40cab","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95328c11b7b531fa6eac8790c7e8be9519fd3aa6","datavalue":{"value":{"amount":"+0.7576647400856018","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":"Q5262950$FD8CB81F-223D-464F-8DFD-87CD5C8987DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e517c9eaf6cdb3fb6e266a311a7d01845aa1b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":549169,"id":"Q549169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b031e4b39954ec542fefdb9acc1d6b79f18dc00f","datavalue":{"value":{"amount":"+0.7573210000991821","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":"Q5262950$1EE82BBC-2BFF-4B2C-A9DE-601BDC727D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3afc1d8433304ef3b5b405969f0ff62ae0f741","datavalue":{"value":{"entity-type":"item","numeric-id":760203,"id":"Q760203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51b9eaef1ae0d01e4026841cabbe65ec76adf35","datavalue":{"value":{"amount":"+0.7188616394996643","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":"Q5262950$B11311E4-B8FF-4009-A9B3-4E477874300A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262950"}}}}}