{"entities":{"Q2849919":{"pageid":2860639,"ns":120,"title":"Item:Q2849919","lastrevid":83865284,"modified":"2026-05-07T13:04:33Z","type":"item","id":"Q2849919","labels":{"en":{"language":"en","value":"Complexity of checking bisimilarity between sequential and parallel processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6209980"}},"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":"Q2849919$8598D425-407F-47A3-951E-56498915F55A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91a9bc5c982ddb1ce81f60078042c9b891afa4b2","datavalue":{"value":{"text":"Complexity of Checking Bisimilarity between Sequential and Parallel Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849919$859FC6E5-5173-46C5-9F00-72ED3E7EFEDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af3167857b5cedfdaf72ba3f3e6dc91012cd6435","datavalue":{"value":"1398.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849919$3ADFA149-D5A8-4581-9081-E3C6EA969D22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff4a8668b5eb24558ab6a470b9b27e1a47bcb028","datavalue":{"value":"10.1007/978-3-642-40313-2_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849919$49AA9235-EE02-4168-8484-866108C7D7DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849919$C954020C-7E6F-4876-818C-5F081B08BDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f51c10682ff6e99c54420fca8007c3fa5c26943","datavalue":{"value":{"entity-type":"item","numeric-id":1959481,"id":"Q1959481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849919$3CD7E6ED-D623-4744-AD87-3873476FA78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03ac5bba01b795f28026ca20b8186f691ef6095","datavalue":{"value":{"entity-type":"item","numeric-id":1015389,"id":"Q1015389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849919$5B7D3563-1586-449B-A839-40D93DB4D855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849919$7F42033A-21F0-4FE4-BE85-4D7CB9A4144E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b0aacf98b336f97857e5af880885f827de491a1","datavalue":{"value":{"entity-type":"item","numeric-id":2849893,"id":"Q2849893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849919$EE958810-77FC-4160-BD4E-F3B12D88C3E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849919$FC1F3FA2-5436-4B29-9C75-B00E1D340595","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849919$3DC67F72-B366-4866-A127-489650E23E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849919$B57125DD-F473-443E-BD74-86EA8B83FE13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb7bd559c6e138f441cf5a1a0497c843355a3083","datavalue":{"value":"6209980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849919$30E3FFBA-4A36-4AB6-B3F3-0F915B281009","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":"Q2849919$6D1424C9-D8FD-4742-97BA-0B82171E1314","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"730d8b2b1f607bc0d7e862b24e8e68a86b75ae79","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40313-2_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849919$0490FCFC-00ED-4887-877F-542C8D2F8CE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae8684900afabee9b6a026c2a7b5346c83d5c946","datavalue":{"value":"W62085437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849919$8CAB516F-AA5F-4C03-A466-35602FB7487F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c90ff0dfb68d7391e6d85244c7a78020c07120","datavalue":{"value":{"entity-type":"item","numeric-id":2754155,"id":"Q2754155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21d60add8449c0050fc935ce561ffcbc443596b","datavalue":{"value":{"amount":"+0.8273348808288574","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":"Q2849919$87189426-225F-4282-BECC-992F039D6D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2172453b0f0616f70f41b79c28f005384726eca3","datavalue":{"value":{"entity-type":"item","numeric-id":1854338,"id":"Q1854338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f3cc135f11347293c5021c95e12673be163455","datavalue":{"value":{"amount":"+0.8261325359344482","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":"Q2849919$29FC1D2B-B995-453F-94C6-3B31BED0A57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e6a61673b875a192093fd91815c6efc9400b79","datavalue":{"value":{"entity-type":"item","numeric-id":1401395,"id":"Q1401395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048fb2d7584f820102b30367b59c7e246b44137b","datavalue":{"value":{"amount":"+0.8155835270881653","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":"Q2849919$93A326F2-E0EB-4574-9DBC-85890E7AC1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d200a2dac8e851aa1f1862c4e1f2194c864e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1959482,"id":"Q1959482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a85ffcda906f59185761b214552be2be1fc4e4","datavalue":{"value":{"amount":"+0.8139341473579407","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":"Q2849919$E3390BBD-99AF-4D69-A613-265F0F9BCC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"730e7aac224263e971b91a763036d185e1229629","datavalue":{"value":{"entity-type":"item","numeric-id":5900564,"id":"Q5900564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edaee5c31a0b93191332eeef00afad34791b536","datavalue":{"value":{"amount":"+0.810565710067749","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":"Q2849919$5B67BF99-B0EC-4EF6-B658-5705348E890C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of checking bisimilarity between sequential and parallel processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_checking_bisimilarity_between_sequential_and_parallel_processes"}}}}}