{"entities":{"Q385508":{"pageid":387275,"ns":120,"title":"Item:Q385508","lastrevid":61440546,"modified":"2026-04-10T23:23:15Z","type":"item","id":"Q385508","labels":{"en":{"language":"en","value":"A process calculus with finitary comprehended terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235173"}},"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":"Q385508$192E3906-9920-4D1E-9203-20EA473B8B57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b643792d30ad294e6f9f992775599369467b68d1","datavalue":{"value":{"text":"A process calculus with finitary comprehended terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385508$A0C53AD0-FC79-4E89-A3D2-DE1EDAD18815","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfb2df105f23af23a876becc507fd7f478a99857","datavalue":{"value":"1283.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385508$CFF0AC5A-6AE5-494B-B00F-B2B7CFE47554","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$4D87A561-A7A6-409A-A174-46F790A561FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$C887E4C3-97BA-47DF-B001-798D292CF396","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$2C9C0772-2007-4FE3-96A4-0D2EE87D646F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7512ae73b6d20a7027c802c69a571fc3a05b2e5c","datavalue":{"value":{"time":"+2013-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q385508$615BDBE4-99CF-4549-AD29-C9591B3C7207","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c9f21d554f7475cb4b468b60b0ff34bed1da5cd","datavalue":{"value":"https://arxiv.org/abs/0903.2914","type":"string"},"datatype":"url"},"type":"statement","id":"Q385508$47008615-E1B9-4011-937F-A29EC85571E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34e972a299c72d83b75f50362d708d1781c49085","datavalue":{"value":"The notion of an ACP process algebra based on the axiom system ACP is introduced (there is no need of having constants for each atomic action) as well as the ACP process algebra enriched by data, where the mathematical structure of data is a meadow (it is a field with the multiplicative inverse operation made total by imposing that the multiplicative inverse of zero is zero). For all associative operators from the signature of meadow enriched ACP process algebra that are not of an auxiliary nature, variable-binding operators as generalizations are introduced. It is shown that the use of variable-binding operators that bind variables with a two-valued range can already have a major impact on the size of terms, and that impact can be further increased if an identity element for sequential composition is added. Moreover, it is shown that all variable-binding operators of the calculus associated with meadow enriched ASP process algebra can be eliminated from all terms of the calculus by means of its axioms, and all terms of the calculus can be directly interpreted in meadow enriched ACP process algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q385508$0234704C-2D47-4A39-B278-C6C1FE0DFBAF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$1A3F952A-CEDD-49FF-8847-ADA3ED6F5EE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385508$76B4AED4-D8B1-4322-BD47-FC33E48B2A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88488ae8883bbb02914e05f57530afe3998a7f46","datavalue":{"value":"6235173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385508$910A0224-504B-4FB9-B2CF-87F3945ADBC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee268ccb6ece2a3e87029787e5c8a3fe7fb549b","datavalue":{"value":"ACP process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q385508$924D0120-5662-4D96-BF74-5E50AF042920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e78a62d98152bddcd7803321fc656ffe8a4a52f","datavalue":{"value":"meadow enriched ACP process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q385508$4F00AAB4-B467-42AC-BCF9-EE9F174582A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1be23e817672156c37c91c684133f84a49592e4","datavalue":{"value":"variable-binding operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q385508$8A8E0AEC-8FCD-4659-8AE0-2B3839F7ACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q385508$BB86C458-287F-45D1-BAC0-F77033424F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3059d64aa5ec178a967cc42b3b6aa009331f026b","datavalue":{"value":"comprehended term","type":"string"},"datatype":"string"},"type":"statement","id":"Q385508$F0E0DF46-13C3-4014-8A93-D902AA8E70CD","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":"Q385508$5BEBC9AB-0766-4410-930A-C8875467618F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"206e2d87a7ac1a448ce14e75279835f6ae64daaa","datavalue":{"value":"W2119846136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385508$EF9FCF66-A6DC-4E3B-B3EF-756FA8740DC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3692b296a33e238e2bac956eca17e6b4d638ba1d","datavalue":{"value":{"entity-type":"item","numeric-id":3776606,"id":"Q3776606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$34ED023A-5950-418E-8954-A78BCED9E35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$E3F83FDB-859E-425B-A2FD-776B227B03C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df9e0175ef496e5ebd6df7b84e14f26ed96e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3999165,"id":"Q3999165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$4225AEF4-1A42-496A-9D6C-8A0F2D842AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0ad1cced0b430191c4bc3b4c9a2082c3c31ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$E52CA92D-2CB6-45AF-A0D8-6FA3C9DD2B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76bb169f504668e48fdee0cccf434bfe1d5dba8","datavalue":{"value":{"entity-type":"item","numeric-id":1006649,"id":"Q1006649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$47C59228-3FC0-4B48-BBC3-AE0F0C5A8A64","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":"Q385508$C3C858A5-3F65-4E45-88F9-E443E6C0DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217516771e5b3c0876313ce2e6e6176b65d1ed06","datavalue":{"value":{"entity-type":"item","numeric-id":2500474,"id":"Q2500474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$8FB244E9-54E7-4A9F-B1A3-F5D46F2375B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a67489b4e40b50963ea7bcdc0ba4b481bf3baf4","datavalue":{"value":{"entity-type":"item","numeric-id":385508,"id":"Q385508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$6FFEC554-F47A-4019-BE26-92A9721F6287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09f5464f7f1bf4f3a97ec8ddd2a1fe31180322c","datavalue":{"value":{"entity-type":"item","numeric-id":420833,"id":"Q420833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$9609963F-3492-4FA2-916D-F37CD546096E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec0c4ed89ac87f86bb11bb605e05a06b56a0d73","datavalue":{"value":{"entity-type":"item","numeric-id":5757936,"id":"Q5757936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$2F595064-C6C7-4A56-BF3B-766A3A92C584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbc3dd2cddbb12d8ecddda57804558fe6c972e5","datavalue":{"value":{"entity-type":"item","numeric-id":3546326,"id":"Q3546326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$3917BDAF-B1D3-4560-9D7F-9CB976BB0525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$3601842C-B52F-4989-830D-5729AD522237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$9A331E6F-AB76-4BD8-B911-BC5832424B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24fb73f0334e94937043851c5cd1e51e395fccb","datavalue":{"value":{"entity-type":"item","numeric-id":4312484,"id":"Q4312484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$2803C8F8-B633-46BD-9697-5E6A33E5296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$BD878406-E3CF-40C4-B91D-07EEE423F415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$D4A80286-4079-45DC-ADC2-3B957706B7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59dd6707e2d45afafa6c2faf7d6f9346e75471bc","datavalue":{"value":{"entity-type":"item","numeric-id":1908358,"id":"Q1908358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$18DB6D8B-2FA4-41AD-A3EA-78DC27D3E8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb16cc67059cf490326f204c1ae943f947f5c92","datavalue":{"value":{"entity-type":"item","numeric-id":3485879,"id":"Q3485879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$B2677312-845D-45F5-A4C2-5950E336A6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6164d85c4694c71a8983f1c45bf387f665fdff","datavalue":{"value":{"entity-type":"item","numeric-id":1199827,"id":"Q1199827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$D9B43009-54A2-420D-B2CA-DB11334F0437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78a3e36fe45d147338a3a85253df95f889ded20","datavalue":{"value":{"entity-type":"item","numeric-id":1401983,"id":"Q1401983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$FAD43B4B-5181-44DA-86C9-E2D10532320F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c345d842dc3e7ab2c80bd591e9c327b43c0351","datavalue":{"value":{"entity-type":"item","numeric-id":4702592,"id":"Q4702592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$1C369A56-700E-4776-B504-E7811C697020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608dcee415bec70ba6d08c849d58f8223bfb26d7","datavalue":{"value":{"entity-type":"item","numeric-id":1274449,"id":"Q1274449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$8D45DCE4-8397-4304-9ACF-0D7CF307FAFA","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":"Q385508$6B4D9CED-D9CD-4B3F-8505-B6D6F04E2700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385508$2A4FC7C7-E1AC-4AF0-BD5F-5AB185641EFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a747189306a574ad3185042ec81b00aab6133ac3","datavalue":{"value":"10.1007/S00224-013-9468-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385508$5900ED0E-3FE7-41A6-8C28-AF6ED261E5ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc0f5486d6b773a95c35fccb61b0dcf78e02ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4500378,"id":"Q4500378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5158a6020e9bb182720f8b8ed26f4206948b18b1","datavalue":{"value":{"amount":"+0.6954769492149353","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":"Q385508$C81BAD00-6EEC-4275-AA54-B59C5A4A6B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961f521f3c733fd3886f4213655cbb7cf79828e8","datavalue":{"value":{"entity-type":"item","numeric-id":5262952,"id":"Q5262952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5158a6020e9bb182720f8b8ed26f4206948b18b1","datavalue":{"value":{"amount":"+0.6954769492149353","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":"Q385508$A952C359-7104-4412-9502-14FFC907C584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c5241796fb72dfc8411eb64c50115b23446550","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8bbb17e5e1b32c93e363eaa06a250c39544a61","datavalue":{"value":{"amount":"+0.6945591568946838","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":"Q385508$E6ED82DD-C573-4C1E-8906-64744FA8869F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf918aee25f8854ed36a797f3939ce9175258601","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589023f0e054a0e3a6940b09ee4a09a78b32a811","datavalue":{"value":{"amount":"+0.6884494423866272","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":"Q385508$7F4B96CD-1FA1-45BB-861F-6314843A9F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589023f0e054a0e3a6940b09ee4a09a78b32a811","datavalue":{"value":{"amount":"+0.6884494423866272","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":"Q385508$C44FE106-9E87-432D-B0B9-30D02C7595EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A process calculus with finitary comprehended terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_process_calculus_with_finitary_comprehended_terms"}}}}}