{"entities":{"Q1007235":{"pageid":1009083,"ns":120,"title":"Item:Q1007235","lastrevid":66571518,"modified":"2026-04-12T11:01:12Z","type":"item","id":"Q1007235","labels":{"en":{"language":"en","value":"Distributed semantics for the \\(\\pi \\)-calculus based on Petri nets with inhibitor ARCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5530604"}},"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":"Q1007235$2AE69516-C3C9-4CC4-92FA-4E7FDB762DDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7895560de0327305d18e01860dfc6587b821cc8","datavalue":{"value":{"text":"Distributed semantics for the \\(\\pi \\)-calculus based on Petri nets with inhibitor ARCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1007235$B710C41A-3324-4B04-A539-924D93B0CE9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7769c7909d62886985597c11768f324d9908f709","datavalue":{"value":"1169.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007235$60192B27-27C1-4002-8A0B-E6FE0044009D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c2bc0b6e38486e99b72183c6358e32f8811ff11","datavalue":{"value":{"entity-type":"item","numeric-id":872195,"id":"Q872195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$719276B4-9636-41B8-B93F-6610D49A1B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$71AF7CA4-2BB9-40FC-B642-47A2624A6168","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$6C7CE45D-8518-42D9-9F3B-32868B4B5F9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e445d425c43514397255c49f46fa0ce50aeefde1","datavalue":{"value":{"time":"+2009-03-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":"Q1007235$FF76E39A-82C2-47C0-A08C-9E29EF3C87FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007235$9382FBF7-57B9-445B-AE16-281E5D3095A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007235$1677A093-03BE-464F-AF69-C0FD388B1A7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f97dcd55ab3fc2e717a4cb095f48a02bc9e17310","datavalue":{"value":"5530604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007235$A5918AB5-F487-4BDA-B370-464D9A993809","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007235$30067296-B2A9-4E04-9524-AED434CE9D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007235$D901B912-C2DF-4794-840A-10999F85DFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007235$5D2CCC9E-B5B9-4589-9A18-C6CC6D3AEFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5204fbd7c86416d110259da502567849f8ee6345","datavalue":{"value":"non-interleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007235$07EC08A6-A0C3-4A03-9D88-6F3CFF99B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9244f2572160ad397817f52e8b96ed21da4748dd","datavalue":{"value":"decidable properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007235$6A636AE7-0659-4761-91A9-F9B381A05465","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"966f5e8a97ea12124cd8285b1340644dc996b569","datavalue":{"value":{"entity-type":"item","numeric-id":16570,"id":"Q16570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$FAE1036B-A0F6-4E24-9F70-6C3B73696DC2","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":"Q1007235$467288B8-914E-4664-9C80-2CDFBB4A0DE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a0c9b44682c383683f179c8fe45385266150544","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1007235$47098DB8-DDBD-45F2-8851-F86BC55B88EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff035ce5b7f1fb1ed44100fd910db34acdc4fd79","datavalue":{"value":"W2071574641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007235$B60FA666-FED5-4CF0-B421-E750E24CFD5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$91AB66CB-317C-4D66-AD52-A7BDA30DB8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780e6b41c7647d692a811e1fc733b7b4c0a5664d","datavalue":{"value":{"entity-type":"item","numeric-id":2760251,"id":"Q2760251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$8633E0B0-265A-4C97-AD12-0F30BB109D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$C5E39CB0-6D3E-426B-8FD5-7E3A7B541331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d429f2e9cf7dfe13e5f9a397641aaf1ab0a129","datavalue":{"value":{"entity-type":"item","numeric-id":1606123,"id":"Q1606123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$1B0E69C8-1D04-4042-8AA5-39D2C2523ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b713e75ef4cfde70933cd5d349af2d5b4b5144","datavalue":{"value":{"entity-type":"item","numeric-id":4948012,"id":"Q4948012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$9DC8CB9B-9FF1-4434-A8FA-0218A4D087F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650f74e9aeeaefd9d645a7c6dcf30a9d277f80a0","datavalue":{"value":{"entity-type":"item","numeric-id":4526681,"id":"Q4526681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$75B51599-42AC-48E2-964F-178543A6819B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087393a33cf3c7f9534537ec518dbba20345ac6","datavalue":{"value":{"entity-type":"item","numeric-id":672459,"id":"Q672459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$5E475C2D-9A47-4D7F-8AF0-87E172E741CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7354c078ca1bcf23d6037391e2a7ec7a2200a","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$3A837BF8-2DFB-40B3-A252-9A40E038C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$40D85CE3-3851-450E-BFE0-DEF7B1B2A55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdee236e5bc560533f60d3e26b033c21437edcb","datavalue":{"value":{"entity-type":"item","numeric-id":3821598,"id":"Q3821598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$21366A71-236D-437B-8402-B0AF439AF6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6107f260e49f24face2c3a848922d3daa9d92c63","datavalue":{"value":{"entity-type":"item","numeric-id":4645219,"id":"Q4645219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$C813B178-D2E6-42CE-BEB9-EC84F69CD61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad255e962ec6e38d0c6c881b121a9dea41c9daa","datavalue":{"value":{"entity-type":"item","numeric-id":1285660,"id":"Q1285660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$F91474E2-C9C3-4CFB-937C-9DCC735A9C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2039743f016ca9c6f042e489ce4ea595f08c51e","datavalue":{"value":{"entity-type":"item","numeric-id":5480176,"id":"Q5480176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$798FC6DD-CC44-4A3E-8CB1-F3DA7C41FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5b194e03105dd1754e2c47d081fb53cabf909e","datavalue":{"value":{"entity-type":"item","numeric-id":3525146,"id":"Q3525146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$65A58946-EDF1-4FB7-96B7-8A461DC506DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2d9b56da40253633847e390dcdea86383fc05c","datavalue":{"value":{"entity-type":"item","numeric-id":672867,"id":"Q672867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$4CC41DA7-857C-4C44-A04A-CE43B77CFB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf2959e81c9ee6b1943e08246fc0acf92931e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4954445,"id":"Q4954445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$5D724CA3-7F6D-4F5C-96FD-CE424CDA9934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$119A6B19-2DEB-4917-ABF3-C25D09D2D7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$CCEC97BB-59A2-449F-BA99-D98A76516DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f67c1e63f57083d3ae4a372ffffc556fc42611","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$E92F304B-11F4-437A-9564-5365C82F9A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2a104c55c09c56c46598cb01772db3eda82783","datavalue":{"value":{"entity-type":"item","numeric-id":1318729,"id":"Q1318729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$4B1422F3-20ED-4B98-9275-88DBD006A595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60b5062978988eb0a1792a9f6482a32bfa32aae","datavalue":{"value":{"entity-type":"item","numeric-id":673785,"id":"Q673785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$505A8606-4721-4E7E-983B-2F3E543F0ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44a1145e260c347d17380ab66ad54c66824f81c","datavalue":{"value":{"entity-type":"item","numeric-id":2508333,"id":"Q2508333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$717450A3-7E17-4C2F-8357-758A89C60E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db95b5bb0cb81f961aac507b872151e1a12fb75","datavalue":{"value":{"entity-type":"item","numeric-id":5096391,"id":"Q5096391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$D28801AF-C35F-464A-84DD-94A0528CCEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$679B208B-A046-4784-958E-8DA6F3F4F133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$A488C0E3-F3FC-4A87-B9A3-A014DBFBA770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$9E511F27-C3E5-430A-8B1E-BA1C2E24F7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baaa0e87e2e8b9c624d1f839a1fa5ad548fb9dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1014276,"id":"Q1014276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$FD5A0545-B28A-4777-801D-DF3B9785E166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6470e5c46fbf1619a56cd84924637618de9ae4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5900141,"id":"Q5900141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$C8CC7C0E-0311-4666-893F-69052E50E722","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":"Q1007235$81C98E83-D857-4466-A745-B30361354A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$96B2B276-EA06-402E-9DE5-05CEC358F4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3979bafe4eb9f717a5fb20fe1d7c87e4416fdbc8","datavalue":{"value":{"entity-type":"item","numeric-id":5048942,"id":"Q5048942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$1D14D452-4CA7-42AF-90C5-88AB6F036672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b81d109e9cce1f8cce6f16bb692ddffdd5d143e","datavalue":{"value":{"entity-type":"item","numeric-id":1902298,"id":"Q1902298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$30624098-7E6E-4626-B575-2A85B8360F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$E036CE87-7C44-4F61-AE65-0BD9BE5FAB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$E4CF64BF-CFC9-4CAC-9211-0360CF68E9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$442B662B-D6A8-46A7-B004-B932C2B37DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$1C9D9875-6EF4-498B-BA3E-572514FC5F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c2332a87c74ac2f232164b069af3ef4f6dc1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4699325,"id":"Q4699325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007235$87B997FD-830E-4961-878C-CA1C6FAE185A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c13de8c4c1d1e73eb062760ad1ab68c000aea657","datavalue":{"value":"10.1016/J.JLAP.2008.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007235$FEC698AE-8C52-469B-9346-9DC0662677A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46be5bdbb80e71459a77b9f6a7336266a77b7799","datavalue":{"value":{"entity-type":"item","numeric-id":5464478,"id":"Q5464478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56184e93341b2575ccda3a90a25ed8b85f8e8d1b","datavalue":{"value":{"amount":"+0.91046494","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":"Q1007235$B00A84B6-4849-428D-A7A9-4C5840DB2DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8b0d6cf9e16791ac75f034ce0fec5531a5f841","datavalue":{"value":{"entity-type":"item","numeric-id":5480176,"id":"Q5480176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a501b9d3af72eb30cfece50269371d798725c72","datavalue":{"value":{"amount":"+0.89851445","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":"Q1007235$576A4751-256E-441A-8314-77150EC552F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86252b9d4d861a49b9ff555c09c6564c296ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1749475,"id":"Q1749475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232a7eb2d7b14bcf377938a32a959ad68a9b9ca9","datavalue":{"value":{"amount":"+0.8948779","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":"Q1007235$3EC2489B-EB87-465D-B63D-AB1DFFBCA858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b1a562614c78f82999413cac9bc03f3cd5aaa1","datavalue":{"value":{"entity-type":"item","numeric-id":2941144,"id":"Q2941144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db0fe4fdb65aae222a07f4317f0f83d6c10c860","datavalue":{"value":{"amount":"+0.89289075","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":"Q1007235$36914235-E511-4F71-ABC3-06C2A1DA2092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becad3aa3627e7507addd85d604b6bb3606cb39a","datavalue":{"value":{"entity-type":"item","numeric-id":3525077,"id":"Q3525077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae9a03489b873badf9c325decca7138941d6e16","datavalue":{"value":{"amount":"+0.8893684","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":"Q1007235$027C6296-B701-4483-BDDF-D32C18D0C03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525a5895036f0579ba4a4489ee0307a7e4614eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2892781,"id":"Q2892781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c22af432d5587da7e78a89d14beba4f388697e","datavalue":{"value":{"amount":"+0.8820549","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":"Q1007235$599F4CD3-B4EC-4649-B2A4-B87B37175BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c446a2605c8098634739b943cc592eeec8aedcce","datavalue":{"value":{"entity-type":"item","numeric-id":4536619,"id":"Q4536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a73bbda0d9fe7dd12b10b32a1d0325119a8d83b","datavalue":{"value":{"amount":"+0.8805123","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":"Q1007235$A1683C57-7929-42C3-B097-F1A9C1F8028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5050c7dbe2c5b68624b4234ae44f7445994dba5a","datavalue":{"value":{"entity-type":"item","numeric-id":2766567,"id":"Q2766567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365002941f3550f3ec3a221d6a5286215145f2af","datavalue":{"value":{"amount":"+0.87782437","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":"Q1007235$E0FD86A5-7F11-4B0F-8C6B-CBDB7D9CE21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b412dfb9b4ea5f473cb02cbd1a837810805aca45","datavalue":{"value":{"entity-type":"item","numeric-id":1882900,"id":"Q1882900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74413e0cd9c7c533c388dd2f222a7f2d9f9a8caa","datavalue":{"value":{"amount":"+0.8766361","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":"Q1007235$C6E7AB93-CA41-4C01-994E-2D31E74AACA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6058e7212ccf794faf9b9f961b1d53e712b8c26","datavalue":{"value":{"entity-type":"item","numeric-id":3502660,"id":"Q3502660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c10d157b91b4625d0ea482561f17b5d247cd89","datavalue":{"value":{"amount":"+0.87419605","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":"Q1007235$56BF2EFC-DC00-4F4E-8D5C-28194FC5D72E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed semantics for the \\(\\pi \\)-calculus based on Petri nets with inhibitor ARCS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_semantics_for_the_%5C(%5Cpi_%5C)-calculus_based_on_Petri_nets_with_inhibitor_ARCS"}}}}}