{"entities":{"Q4362275":{"pageid":6391874,"ns":120,"title":"Item:Q4362275","lastrevid":89566052,"modified":"2026-06-04T17:41:46Z","type":"item","id":"Q4362275","labels":{"en":{"language":"en","value":"On deciding some equivalences for concurrent processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1081170"}},"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":"Q4362275$A2342E1B-605B-4713-8932-A43C068292C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"798faf15716a88bf711bfdf67d46152c175f379d","datavalue":{"value":{"text":"On deciding some equivalences for concurrent processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4362275$AB33D7CF-546E-48C5-BF79-FA37767CB8E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5856d23ca880ec3c0320bab4d8b0455ec88f6576","datavalue":{"value":"1004.68521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362275$D7C6F714-321B-45CA-AF86-12B2C8B36002","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11d29d2cbdb03c4d5ff90d92cbc2f1d658ba97d","datavalue":{"value":{"entity-type":"item","numeric-id":391197,"id":"Q391197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$5DF38071-556E-4A95-B5B6-383598F364D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e8b38f0566e6f49211d95c340d70a07b86b6611","datavalue":{"value":{"entity-type":"item","numeric-id":746488,"id":"Q746488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$B6915DD8-7FC5-412B-9C84-31BBC7BCBF88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$813BF959-8D94-4B12-82E3-32A3923BBD9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d90d85b920e511ea1943635a009d3bb8b683c3bf","datavalue":{"value":{"time":"+1997-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362275$ADC6CA84-2833-4607-8DBF-06DB019DB317","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25af952012207c7615d5dcc2c83df4def37aa675","datavalue":{"value":"https://eudml.org/doc/92469","type":"string"},"datatype":"url"},"type":"statement","id":"Q4362275$6DDFECAB-4292-41CF-B284-97E2C63EF9B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362275$F7FA49BA-BABE-4872-ABDC-A584A8E45BB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c12f7df847f5dd29ba530b8bb74cc2d787c6bd9","datavalue":{"value":"1081170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362275$6D31B942-74D2-4EAC-AF36-BAEF7F87D695","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":"Q4362275$02C424A0-AE8C-489D-9434-3C37B3B7F77D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c98871a8111407493ae23d5122f763a5ec19861","datavalue":{"value":"W1564519684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362275$A3C7A453-257C-481C-9D40-DA39031501E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95dab920df6bb4688d107a498b005a8577eead2","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$3A615CF8-6AED-4803-A583-1B5F6A6E5E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930cff729793c9543272b2b16970f179d3d40ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3763573,"id":"Q3763573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$81DDD67A-AD4F-437E-8556-EAB78D2367F7","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":"Q4362275$DE2B1A0F-4F91-45B2-BBE4-FAC1270E1350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d582a0d50e629df24500ae1a94f85ab63d37cfed","datavalue":{"value":{"entity-type":"item","numeric-id":3833645,"id":"Q3833645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$DDB10457-3EC5-4320-BBEC-8BBEC8AC822E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb35ba07657c0646fcd49d425df98cbc3ec905ad","datavalue":{"value":{"entity-type":"item","numeric-id":3479542,"id":"Q3479542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$8D06BF82-B98E-4654-802E-07F4D104F71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3106aac8cf0dea8da5d4e7310840e7f75d907897","datavalue":{"value":{"entity-type":"item","numeric-id":1198030,"id":"Q1198030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$AC8C9456-A76B-488B-926C-C24BDDB50AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501f3fbd705d11fcaeae25c1782faf1936afe5e3","datavalue":{"value":{"entity-type":"item","numeric-id":1061481,"id":"Q1061481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$D9BC2178-8EB3-4EC4-B175-768E64B232F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dba53b11e07bd388230fb3794b135d3cc90dce","datavalue":{"value":{"entity-type":"item","numeric-id":1235014,"id":"Q1235014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$4E3DA480-8CF4-47C8-9FEB-503D31F7AB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$C5955AEB-8B31-4E37-AC4E-299579E3A72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2bfcd0571c34a2c9a0b90939e40b9f7349d65","datavalue":{"value":{"entity-type":"item","numeric-id":1198053,"id":"Q1198053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$1D01C83F-32E2-4907-A5BD-AF42E6862998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182a34c32fa6eb3396137e922d81d0cd9546d802","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$F4E6A037-0C5F-4E17-97AD-9D597CC5F76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$93F76C27-F047-4B6C-A3A6-A66162F5C729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$51A908B8-F1EE-4422-847B-955AB6E1BC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430461b6883a7663fba1e8d32bfc88fe9b4e4d49","datavalue":{"value":{"entity-type":"item","numeric-id":4209294,"id":"Q4209294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$65BAD31F-ED46-4BA5-B9B3-0081750C9DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf3f35c6ad8f338a1614ce772a1b049823823e3","datavalue":{"value":{"entity-type":"item","numeric-id":1310916,"id":"Q1310916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$89EEA11F-0BF5-41E8-B962-36CA7F9910F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be13b7afd97fc9823e2db5db740eb0f3a0426fc3","datavalue":{"value":{"entity-type":"item","numeric-id":4032309,"id":"Q4032309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$F1EC1E3C-DEE0-4AA6-879F-982B04BE7727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f2f3287edaae3038e2df686f70d537cc2d531c","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$AF04E515-24C9-4E84-A96A-D9E3D019BA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392585ac4d23e8774d897d25d7b60cd2e7ca3c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1331934,"id":"Q1331934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$3E2A019D-0494-4730-83D2-F21ACAF50FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$5106EBB8-09D8-45EC-86C1-8286A8D4CBF1","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":"Q4362275$43267E5A-4331-47BE-8700-F291F5E69FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c767919e94a3332b8d198174b1921d5e4026fe","datavalue":{"value":{"entity-type":"item","numeric-id":3821586,"id":"Q3821586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$98030F3E-2787-4071-A6B5-51E0EAFC0113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$B8DB8189-54BF-4ADF-A270-EADADA2D9809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$E87DFDA6-C791-4F31-9FA9-8CF93B2C4C72","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":"Q4362275$F670604E-5CB9-4CAE-A4F2-CFFD695F5BA3","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":"Q4362275$A148E0EB-B1C0-4120-B2C1-3DABD730EE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$EFD89F16-448A-4C2C-BD06-75E155DCC3B7","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":"Q4362275$1329AE74-8358-4563-A018-5DB511A02D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$B2EED4CF-E5EA-4121-A158-BE80F0EC2478","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":"Q4362275$DC070BF2-99F3-42BA-BF03-DF0DC919ABB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$988382DF-B6A9-4246-9444-04AEC244262D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f200ddc20c2d33390fb94670a066f08d95c0e9","datavalue":{"value":{"entity-type":"item","numeric-id":1215271,"id":"Q1215271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$A00FE81A-482A-4645-B2DD-9DB216DF7C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186efa9cbcaad91d0d4ad1f36de56ca7d39bfe2e","datavalue":{"value":{"entity-type":"item","numeric-id":1099620,"id":"Q1099620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362275$3488519F-6BE0-4918-BBA9-400CB2B14006","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33449e492c4c58105f5e283487e018ba3f049037","datavalue":{"value":"10.1051/ITA/1994280100511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362275$0DAEB47E-60F5-4426-9AB8-E1F1BF8DB3B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On deciding some equivalences for concurrent processes","badges":[]}}}}}