{"entities":{"Q1049404":{"pageid":1051252,"ns":120,"title":"Item:Q1049404","lastrevid":66626955,"modified":"2026-04-12T11:23:22Z","type":"item","id":"Q1049404","labels":{"en":{"language":"en","value":"Non-interleaving bisimulation equivalences on basic parallel processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5656619"}},"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":"Q1049404$A457B06C-FB7B-4593-B170-9A9F3004ADEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbf98e587c318bae23a226514df2b031bfec348f","datavalue":{"value":{"text":"Non-interleaving bisimulation equivalences on basic parallel processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1049404$D7D63566-EF44-48FE-9D67-1BE24CF9C52C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"154434a657169d84718fd675ca25974569f7bfbd","datavalue":{"value":"1185.68444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049404$71785F69-B85D-4A3E-AED5-623A654DB623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e6124c50a3014292588470f89d4808872cd469","datavalue":{"value":{"entity-type":"item","numeric-id":532391,"id":"Q532391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$78C8C51E-1DE5-4E4B-A7CD-41C1F047D8F3","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":"Q1049404$079CB3D8-8AEB-48A1-A2A6-838FEB6DEC04","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":"Q1049404$A71D7BE1-45DE-44F8-BFA9-0F95E1741438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$E4EACD30-1A01-4957-B5CD-C10351E08E93","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":"Q1049404$CF5FD266-B230-4DED-9FD6-166732B514AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1049404$442028A8-AF0C-4EB3-8E83-54188C39CFFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049404$25ABEE15-8778-4D2A-AC33-1EFD5920E51D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79ded9cf98fff568d731c415641680135fc21c16","datavalue":{"value":"5656619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049404$BEE62E26-DCD0-4B0E-A2B3-A73BA0AC3A0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049404$BB9F1024-E641-47B7-A9CC-82F7F7772B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049404$3AE30C56-6852-4590-A4C8-0E80AB89D475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adeba3012ac12c73a09c1547a37ec91ac551956c","datavalue":{"value":"non-interleaving equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049404$B152D0BD-4B8D-4630-B072-CE31A0B3DFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6677afb58ed902c991016dbcb1654732189ad618","datavalue":{"value":"labelled event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049404$17A77818-D5D6-4643-BD90-8D94FC3188B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da291211478be7bf4f04ddc161b98d203ed1025b","datavalue":{"value":"hereditary history preserving bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049404$C840D4AF-09FB-4148-885B-AC33355C4F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3c441b48b9bb4aa5ece8d1fe256a07601f9a8b","datavalue":{"value":"history preserving bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049404$A23C5E89-6C9B-41E8-8F61-416A4EAC9FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049404$979D407C-CED6-42FD-9C3D-FF5D6FD77991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a76afa3f9278439ca52ef5c2e29fb4a00797c","datavalue":{"value":"basic parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049404$34D72A14-FE63-41A1-B4AE-2F43BF2702CE","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":"Q1049404$6C705F7E-D939-47AD-B21B-B9B81CEB96B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f24770b7ad8a0447d906e37d4ef47afb27bae17","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1049404$D683B326-156B-430D-A8DA-D9EFA1FFF19B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2c3bf6d8cfb6a7328ca20f4488a9f47c1193f41","datavalue":{"value":"W2136901681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049404$624B7693-E9CD-4227-ABDC-D7A2D4CE8DBD","rank":"normal"}],"P223":[{"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":"Q1049404$1A3D87CA-FB95-476B-ACD4-5CB18324385E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$A4AE961D-88BD-4594-9545-2C93D301ED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024a9473052e6077ed02788c664c7db7649f7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4665738,"id":"Q4665738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$B644BC1E-AF6B-4566-8F2D-1B2F31719287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$EAF7D115-693C-4E74-A505-99D92D009F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f2d410691b53da1bf0b18453dc2357b3b236ea","datavalue":{"value":{"entity-type":"item","numeric-id":4015488,"id":"Q4015488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$B5C60090-DD6C-4367-86B2-164E50E2656E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8fb40e7efd4326176f30890bb2f27a43723210","datavalue":{"value":{"entity-type":"item","numeric-id":4015485,"id":"Q4015485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$59680AAB-A1E8-408D-94D9-2B955A0891A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b422e323cfd6825189d1d8e5c7d8176911d5641","datavalue":{"value":{"entity-type":"item","numeric-id":2503324,"id":"Q2503324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$ECF5A58F-7D7E-416E-8640-D5EF3641DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bb2d79d7856588575b5f6a12e9beae87fc9581","datavalue":{"value":{"entity-type":"item","numeric-id":674005,"id":"Q674005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$8C8CF217-7E6F-41BF-8C5C-DDE559EBE0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$4C4A91C9-87E8-4515-B937-5CE5EB35F4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1000ea3c7437af88e8dc77a6449b31406f60ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4941914,"id":"Q4941914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$491F065E-EB39-4D93-969F-1405A3F5E09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a89304773bc457e5fef3c469cc695eb89fc11d","datavalue":{"value":{"entity-type":"item","numeric-id":1401953,"id":"Q1401953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$A5702C43-3AE9-41EF-B4B9-331787996F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7e455a612beec6c821450022b9bba06bfada4","datavalue":{"value":{"entity-type":"item","numeric-id":835053,"id":"Q835053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$EEA56A4C-36FD-42BB-B3A0-0398C55650D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95789b1ded4f64bc044fa53a65a44241082d655d","datavalue":{"value":{"entity-type":"item","numeric-id":4736869,"id":"Q4736869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$5DC93BC1-8A90-4D29-8963-EA0B7C9E2698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1cbb7867a200f2abd5447ecaa47e9811d7878","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$F4060AC2-B208-401B-A996-3855CC4C08D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"665b99218c96335a8253d17a9a2535ea687ea065","datavalue":{"value":{"entity-type":"item","numeric-id":5897488,"id":"Q5897488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$2423293C-11BF-4F95-8C58-3C5E54CBC13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$8EFB7C47-AA30-49C7-B7D6-5FEA96F3FA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3edfe4d12755d0aa49f3bf8d40511755d4a2c0","datavalue":{"value":{"entity-type":"item","numeric-id":5431340,"id":"Q5431340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$5A7E4057-4611-4CEE-B87E-5B230004DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09873cffd167d733116a0af539165519c3cedb51","datavalue":{"value":{"entity-type":"item","numeric-id":5179048,"id":"Q5179048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$83F44FF1-F4BD-4AC1-9CEB-077CE6952CB9","rank":"normal"},{"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":"Q1049404$0A66671E-FF2B-46BA-94B1-6F6EF4C7CAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049404$3EBA00D5-B3DF-4BBB-87BC-E63406156D04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31e708ad8ae06ffa1e9eaafd08e123df8a2de7aa","datavalue":{"value":"10.1016/J.IC.2009.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049404$355B69E0-F444-4077-A0F7-A355EDA144E4","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":"c4a9b9bb6ed601efae178be84041348d883f9780","datavalue":{"value":{"amount":"+0.93843406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$C6EDF12C-5C26-4BE6-81E9-55872F89263B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23652a21ac9e476a693d0317a0eda9275738ede6","datavalue":{"value":{"entity-type":"item","numeric-id":2072066,"id":"Q2072066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189a1d9a64fd0c141c739c0416857a015a35826a","datavalue":{"value":{"amount":"+0.93365824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$F5D11C9C-0AD4-4A07-B7F1-D6D4973E637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d297bcb452728c934fc795e02fceaa07ca1c3","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6af9bfa032103a37404c2fc0a092e4b6daa6d56","datavalue":{"value":{"amount":"+0.92558867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$C88F9C60-7B79-47C9-AB69-B09AA4D27872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d214b601527774fbb33788dda48b6d2d14121832","datavalue":{"value":{"entity-type":"item","numeric-id":4986262,"id":"Q4986262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcce838863056f8d83bfc230e92c66631c321977","datavalue":{"value":{"amount":"+0.91130173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$5DBED118-297C-43BB-BDB6-5163A7CC19BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab54850448f4d4aea413cf1328367a3cd1b51f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aadc49fe542b0062b27d3ed1023815ae7fa191b","datavalue":{"value":{"amount":"+0.902816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$3E1294D3-7CA2-4070-B79F-A7CC46D5939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f1dce7176c0bcedc82be9790112083cad1023c1","datavalue":{"value":{"entity-type":"item","numeric-id":4223072,"id":"Q4223072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eacb2e6cba412ee39bc6aa50639d50cf67a3b63","datavalue":{"value":{"amount":"+0.9001947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$0C42B0B3-C875-4178-8637-34DB98E710BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881af164b8055a21072d30f286243476fa951fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bba55a487b8ded07d7e53d74e47d15f52137fa3","datavalue":{"value":{"amount":"+0.89766234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$C81BF21A-9D31-4540-BC9A-89C21F4019A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4868fee9de90509016383192b5714c7d694a59db","datavalue":{"value":{"entity-type":"item","numeric-id":2389334,"id":"Q2389334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bba55a487b8ded07d7e53d74e47d15f52137fa3","datavalue":{"value":{"amount":"+0.89766234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$DEC83FD1-AD60-444B-9FC0-3F3F63CC4CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2684368addcf23d710ff784afa2fbcdbdb4d56f8","datavalue":{"value":{"entity-type":"item","numeric-id":5278398,"id":"Q5278398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4599462103f401f397cd333efe76c650a7b2ca18","datavalue":{"value":{"amount":"+0.8967377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1049404$6A12F5E6-3259-4B97-AA26-2955F83AFA2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-interleaving bisimulation equivalences on basic parallel processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-interleaving_bisimulation_equivalences_on_basic_parallel_processes"}}}}}