{"entities":{"Q6839832":{"pageid":18042084,"ns":120,"title":"Item:Q6839832","lastrevid":84287597,"modified":"2026-05-14T16:39:54Z","type":"item","id":"Q6839832","labels":{"en":{"language":"en","value":"Are two binary operators necessary to finitely axiomatise parallel composition?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8176014"}},"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":"Q6839832$9FFAAEDA-0563-4CEC-822B-1B71B9B8B375","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98d3bfe4d7eac4eb00c8afd5fd1946c99ab91e6a","datavalue":{"value":{"text":"Are two binary operators necessary to finitely axiomatise parallel composition?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6839832$E1CB281F-3739-4053-BF53-65446E955175","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a222aee97e1676d266f24cb075e053e7e23e2d5c","datavalue":{"value":"10.4230/LIPICS.CSL.2021.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839832$4D1AB7B8-6679-409B-964E-29241C28EC03","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":"Q6839832$2D6B99C1-6289-486C-8021-68015773BA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14f6d6fbd58df47fdcafbaabb809ad20774bfb28","datavalue":{"value":{"entity-type":"item","numeric-id":783680,"id":"Q783680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$3F39DE03-0ABF-4E9D-A4E3-02FCCAEC993E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$3F8DA2FC-F3A6-4BFD-8621-93BDB718E427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$C8FFFCFA-B3BF-4B2C-9A0F-B23CCB539D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$402B8A91-8484-4B30-A520-928AC48E74E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3fb882359813b3d73bc1b64740f049fe4ede3c4","datavalue":{"value":{"time":"+2026-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6839832$8796CD69-D9EA-4DC4-88B2-9B89D8DA1E3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839832$6D032416-E590-4CED-B8A9-98D2EF5A5D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839832$053D26B4-BA43-4FD4-B174-EC81AC2FF2B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65b3e1f8f46710324416f339c31e077fabc0080b","datavalue":{"value":"8176014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6839832$036DDB43-50FF-4EA4-B779-364C1066E25A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$3C986079-D15B-4501-B7FF-3C163636F6F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839832$5917F0E7-2BFA-4992-8828-56D95184E409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839832$544535F4-437D-4F35-B9AE-ECC6FB6A7D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839832$4A7D7D78-A16C-4105-8E8E-656F1DC50B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839832$CE8EDE5E-6E99-4806-B59E-3988076FB31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c7101cf26ec6545ff935779f6f4882ac2f0854","datavalue":{"value":"non-finitely based algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6839832$2BBBF908-9CAA-494D-8499-E383C8951BF8","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":"Q6839832$E6AC3C2F-52E6-4332-A041-26A1A420552A","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":"Q6839832$07DCDE9E-21A8-4583-97B0-5A68E1F2DC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$162AEBF5-6625-4C51-A699-0CB08822D0C0","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":"Q6839832$61EA9DAC-FCE2-49DC-B8B9-137300FD9523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb59ec563cf19e056ea22838a6a0546203828e9","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$B9E21247-BD77-40D9-8DAB-C93968750BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc413d718331528bbd951b82db92cd49ea0645","datavalue":{"value":{"entity-type":"item","numeric-id":5277824,"id":"Q5277824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$5CCF2858-5D14-4981-BA2A-935AD1C8CB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$2872B206-E980-4130-8FA2-D10C111EC636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1b054f3fedabfcc7b28f42f5e01f5ce7cf6b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$DEAD46F6-8DB8-4473-8DF2-34F758826149","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":"Q6839832$B8E7BC44-1CB2-4D15-9EB1-D58BA1E41520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$85C3E68E-732F-41A3-8E31-4CBFA49EA99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$59CEDC32-E00C-447E-882F-F92F2079B689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$0EE3FFA0-45A6-4545-9721-BB38F7208B3E","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":"Q6839832$B78E1EB3-47A2-4FF2-B564-EBCE4EE26B06","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":"Q6839832$5897EE2B-219E-45E8-ADAB-B873AFB6662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$EF98B4CF-38F4-4EDA-A661-B2AABD6CFC52","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":"Q6839832$5ED039A6-6273-4F86-99BE-646A409C8D23","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":"Q6839832$9B5DCEF7-B7D6-4DDA-8D10-4C5E1F351D26","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":"Q6839832$28FCC1A4-41E0-4A78-AF8D-285E1002E2CC","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":"Q6839832$694EA546-C27E-49D9-B37F-6FB0EF30A4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc329f38f30a77cc91bc1f49ac8dcd7fb972522f","datavalue":{"value":{"entity-type":"item","numeric-id":3853702,"id":"Q3853702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6839832$0493DCD3-B2A1-47CA-9EBE-FD881B5C60C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Are two binary operators necessary to finitely axiomatise parallel composition?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Are_two_binary_operators_necessary_to_finitely_axiomatise_parallel_composition%3F"}}}}}