{"entities":{"Q918211":{"pageid":920059,"ns":120,"title":"Item:Q918211","lastrevid":65371044,"modified":"2026-04-12T02:07:25Z","type":"item","id":"Q918211","labels":{"en":{"language":"en","value":"CCS expressions, finite state processes, and three problems of equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157888"}},"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":"Q918211$F9B70AE8-ABD1-493A-AB15-104271D6DCC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d917942e987afeaaa9218a1b612554a1d1bb9ee","datavalue":{"value":{"text":"CCS expressions, finite state processes, and three problems of equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918211$EC21EC86-353A-454D-B5E9-49EECE81FBD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"368d6384b2fd581791993a0fc3bf77be41ab4f1c","datavalue":{"value":"0705.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918211$BE06EAE8-80D6-495D-97B9-4BD27C5DBA74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faf09ef8580534da1dd97cde750e06f92ad5b174","datavalue":{"value":"10.1016/0890-5401(90)90025-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918211$A4DE7853-AAA5-44C4-9303-9C71575BECA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad0dd0265ec494130c14e350640a6950f35843b6","datavalue":{"value":{"entity-type":"item","numeric-id":579956,"id":"Q579956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$83FBD9C0-164D-408A-8533-AE42A27811C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$E75A71F1-5419-45FF-96C8-86F63EEFDF0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$846CFB72-0AEC-415F-BCF8-8DF0AA78090A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918211$EE87B31C-5BEB-4338-87DF-707471390346","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918211$8D38CF83-3717-4258-97FA-9378939FE5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918211$2CBB6A04-91EF-43FA-8A30-8C4769DD3A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918211$F92A8A02-8634-427C-815D-1CE493F9AD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918211$DA26AC79-1BF5-463A-BC1D-25568C6AA694","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd72269123c919585e7801c83db7799ea832028c","datavalue":{"value":"4157888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918211$E629AE02-9B7B-475D-90E0-C63A80C8A65E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q918211$DCDF8CCE-97C6-4C48-B768-61299DB3E2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749e8499b8f4081b5f43e02c1da7353c3b92a07","datavalue":{"value":"algebra of communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q918211$6009A137-24F9-4CEF-8068-0C68873E9DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q918211$466B16EB-81ED-40C8-8EDF-5985B5CEBE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135d8aedfa48efbdf272187bb5e64a07ac5bbe92","datavalue":{"value":"nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q918211$4A4DCF84-3F9E-422D-B9CF-138789697C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q918211$B5960E5D-0124-4E54-B046-1CCB54F0BC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05057161f8544d69b3363d28a52a5cd1793521fa","datavalue":{"value":"strong observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q918211$27B4918D-B364-4B44-B675-2A46C3C02482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c02085c9225090667e1a40d036eec69f14295ac","datavalue":{"value":"failure equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q918211$C5014DEB-B244-429C-8155-DABC8E1E6246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d95f45a92298fd928fb284a0e339870d94d07d9","datavalue":{"value":"generalized partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q918211$F1D73A77-4888-4A4D-BBFA-DA0674A3BB4B","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":"Q918211$A63401FD-A5DE-413A-966E-3A3818FE9A26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$E5CD7DE3-E040-48CA-8F5E-175ADE45E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ceae87c9949031701fd6e8a998c407d594f1a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1822987,"id":"Q1822987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$ECECA6B1-F424-4BB2-B680-1E73577CDF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$E12AE65C-5E7A-4F7C-A24C-6CB00AEE4BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098358cb568c6c547d13ee0ec69c3f29140fbb1b","datavalue":{"value":{"entity-type":"item","numeric-id":3664417,"id":"Q3664417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$C8D7B9AE-3F5B-49A3-81FE-67F95BC3F087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$445D07D2-1532-4342-B66B-866EDFA86463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$3990D567-1787-4E67-B89B-A47722667D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$7FC48EEB-F2D7-440F-95F7-C5F7926F0C69","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":"Q918211$57875F23-CCC1-4D39-9CEB-3B2F76FC82EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$226B87A8-A86B-4EE0-85EE-17A58DDF8E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$DF92338E-9CEB-45AA-B20E-7C7B99416834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b282ec426ce8dffbfcad6628f7a302c0f02e72","datavalue":{"value":{"entity-type":"item","numeric-id":1098279,"id":"Q1098279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$1E38142B-0284-4465-9FB2-5C534BE6B85F","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":"Q918211$257293EE-631B-482E-836F-343FA5069206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$E74D85A0-D995-44FC-B497-411F95908743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$A87A728A-DA14-4C50-849D-D171AD2706AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$8D5BD551-DEA7-449E-9829-F20301F91DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$8798CBA9-326D-4EEB-B3B6-D6D4369466E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$DE488F1C-E281-425B-A697-067DAEEB510F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918211$D2DCC265-84A5-422B-BAE7-DB255CB7F01F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ce8da6adc222b5112bc4c4c963f4d7bcfe9f1ad","datavalue":{"value":"https://doi.org/10.1016/0890-5401(90)90025-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q918211$2132BBF7-C689-4946-80C8-1653BEFF28FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"889fc9179949e97a670805f2e002229b55463bcf","datavalue":{"value":"W2021473546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918211$1A3BDCE6-3FD1-4F25-BA56-B420359F2386","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ff7f27c217304396ac268c4f3f646f59170b52","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f410b8e0fd7f546002c036f484a2791656fde9","datavalue":{"value":{"amount":"+0.824359655380249","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":"Q918211$83125314-9FD6-4455-851E-9CEDB22FFE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1e5b9a023de60bfb2c1e6162cee9784c6d3186","datavalue":{"value":{"entity-type":"item","numeric-id":1892874,"id":"Q1892874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ed7bcc683d41025676ea35b7bf5d864476a876","datavalue":{"value":{"amount":"+0.8150317072868347","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":"Q918211$56A02FFE-4BB5-4070-B1A0-0B5E1B9E1213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c519f6db5688de71a3a2314c67a77fd8881c65d","datavalue":{"value":{"entity-type":"item","numeric-id":1310916,"id":"Q1310916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888a122af47986c4fa7d03805edf3e8db1f0fdba","datavalue":{"value":{"amount":"+0.8136435151100159","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":"Q918211$2B158F2D-6571-482A-BF7A-692169E5ADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f759f81f1bad17e9b5b85c80aa173caba33379d7","datavalue":{"value":{"amount":"+0.802611768245697","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":"Q918211$E5C4B930-7B8C-4F53-B295-91F136983AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eecc4cf3d9fb6d3a4b942a9d48371b971e05bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4474001,"id":"Q4474001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffeac5ad37f59df87c04f5daa6ad192730fa106","datavalue":{"value":{"amount":"+0.7979305386543274","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":"Q918211$CE043A24-4FD8-4A5A-9C28-44823E14B9EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CCS expressions, finite state processes, and three problems of equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CCS_expressions,_finite_state_processes,_and_three_problems_of_equivalence"}}}}}