{"entities":{"Q549205":{"pageid":550972,"ns":120,"title":"Item:Q549205","lastrevid":62671947,"modified":"2026-04-11T07:40:27Z","type":"item","id":"Q549205","labels":{"en":{"language":"en","value":"The free process algebra generated by \\(\\delta \\), \\(\\epsilon\\) and \\(\\tau \\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918244"}},"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":"Q549205$FFB535EA-A772-4E7B-896A-1F478F869380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba8df5563878ac8012580d9632755ffd2a6cfff1","datavalue":{"value":{"text":"The free process algebra generated by \\(\\delta \\), \\(\\epsilon\\) and \\(\\tau \\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549205$59254E29-F32F-44BD-A586-1AE049DBEA90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54908806194081774ac2a30b2f8c6d8dacd7642d","datavalue":{"value":"1216.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549205$D736DF20-3470-464A-8FC8-DE7ED16B01ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$3B35487C-E9BE-4247-A5AB-1757167770D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"316fc89d0de9ff0f285134a3dbc0fdb098913eee","datavalue":{"value":{"entity-type":"item","numeric-id":549203,"id":"Q549203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$B77AD852-0779-4C57-9230-AB1B3E5F5692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f078eea2eae66b46545d76a187d86d939ce9e3f4","datavalue":{"value":{"entity-type":"item","numeric-id":549204,"id":"Q549204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$EA73F929-B797-4AD3-A713-7EDCF3528238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b427a374f5a21d1a904d2606dc3f2813824c389","datavalue":{"value":{"entity-type":"item","numeric-id":803266,"id":"Q803266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$AA1197F6-4EF2-4845-BF2F-C9F7F641432A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$E3F52159-EE5B-4239-8D10-ADA94CE19153","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549205$555DDDCE-B471-440F-B461-F2FF8510F061","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549205$71439033-A778-4828-AB17-1197ECFA8493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"339ab520b4ec32ee4c90d365ee86f6f3c4e3dd8e","datavalue":{"value":"5918244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549205$F6A33617-A964-4C54-B0D1-7410D3E0A0B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q549205$55EB3664-FA32-4668-9F99-5A6C8F804068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549205$B21FAFD9-6A3C-4704-A46C-F51E7A67F5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q549205$E46C0248-225A-4EEA-BEAC-B2C65CC5B9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67bf86876f614d1fabf15e34ad352231bd61cb4d","datavalue":{"value":"empty process","type":"string"},"datatype":"string"},"type":"statement","id":"Q549205$EA0026EC-170F-41EF-8E43-1C88225DACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7a63c81973c23aff0416053c137ea3ab4c2534","datavalue":{"value":"silent step","type":"string"},"datatype":"string"},"type":"statement","id":"Q549205$33BA0FD7-4F10-4474-85B7-5D9166F720E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8266c624dc117d8136186c6ed15f0fd2c7b00527","datavalue":{"value":"infinite sums and products","type":"string"},"datatype":"string"},"type":"statement","id":"Q549205$8082D0F2-0490-4CAB-9A01-4A95975C38FD","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":"Q549205$4F400F65-B743-4CDD-8B74-8DDB18952288","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce1697fafcfb2929ef2e29d230366f489782ec41","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.03.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q549205$3006EAC2-4DDB-464E-B7CF-A01358F06ECA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb7a4ee1c6b5b880acd928d6ce0b70853433495d","datavalue":{"value":"W1514227910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549205$E14B4A77-61D6-4D2D-A0F9-71722452FED3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$F5D4B5A9-1C00-4BA5-85E2-224717C88BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a80d8545eecd8e383268eef4c0012d53a95d5bf","datavalue":{"value":{"entity-type":"item","numeric-id":4732097,"id":"Q4732097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$580D3A34-27F4-4196-9000-503A87EB542B","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":"Q549205$E8418064-5D1B-4196-9D30-376C6FF67424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$39FDEFAA-45B8-4D9B-9551-F4185FE1FA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d306fe5453e13dac5aace6f82668ff9863de3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5904363,"id":"Q5904363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$54D95BCE-BE13-4D4F-B9DF-BB2C70D53E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$B18B16A9-E341-40B7-BB24-9C2947AAF0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2923ba93ab6aebdd9ed791f622b2fbb5d51f9aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4192043,"id":"Q4192043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$F24307D9-4B28-41CC-A330-A94BB4F2B7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$1A832179-177C-4FF0-AD74-9317DCA1C5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549205$F5C6A799-9331-4A0E-9BA9-43EA48AF9874","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e67d749e1edc83915f02f3d62752f3c76d36d3ba","datavalue":{"value":"10.1016/J.TCS.2011.03.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549205$545EA08D-3E99-4814-837B-4C5F216CA3C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The free process algebra generated by \\(\\delta \\), \\(\\epsilon\\) and \\(\\tau \\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_free_process_algebra_generated_by_%5C(%5Cdelta_%5C),_%5C(%5Cepsilon%5C)_and_%5C(%5Ctau_%5C)"}}}}}