{"entities":{"Q5096731":{"pageid":7126307,"ns":120,"title":"Item:Q5096731","lastrevid":100211444,"modified":"2026-06-05T21:37:34Z","type":"item","id":"Q5096731","labels":{"en":{"language":"en","value":"Complete inference systems for weak bisimulation equivalences in the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572964"}},"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":"Q5096731$B8D1369C-E790-474D-A960-90B78BCFFD17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"719e00bedb747a818d806b3d1a4c6afe83a17eff","datavalue":{"value":{"text":"Complete inference systems for weak bisimulation equivalences in the \u03c0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096731$F7288BE0-E829-4944-A318-D917D8A69426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92801b490f340dda9115aff42f3db7d28607d12a","datavalue":{"value":"1496.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096731$44A9D604-7E14-474D-BB06-BA584FD3349D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3365f1454568e24ac7c343d8a0c9a699287f4600","datavalue":{"value":"10.1007/3-540-59293-8_195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096731$0629EA7D-9A7A-4222-B480-6EB4CAA3EEAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"109a2c1db1a35b8bca53c181e382a5e53b01a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":348725,"id":"Q348725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096731$209A4D08-D6AB-448B-B596-AF21E5FC9277","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4437f858d825af2a2d2785f879b0aaabd9ce736","datavalue":{"value":{"entity-type":"item","numeric-id":5096722,"id":"Q5096722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096731$EDBBE2D3-6623-4F31-9D78-D0E187A3E108","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5d7d1bdf288a91b8530ddee2bbdc5e2a735b6a","datavalue":{"value":{"time":"+2022-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096731$CEF43EB0-02A0-4EBD-882B-223A4336505E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096731$C746AEFA-3134-4269-86C8-F8536D785AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"948c9955ed5d019d00d4acdbddc21f31c957ba13","datavalue":{"value":"7572964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096731$61958AD6-E1A1-4FB9-AD19-AE2896F455B4","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":"Q5096731$DCE0F350-F89C-44E1-996C-1259D2003F47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7aa2ef389b879c6bf26f6066853f41ac8e9a693c","datavalue":{"value":"https://doi.org/10.1007/3-540-59293-8_195","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096731$E2026B43-252C-4AB3-82F0-895933052D1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d2aa7eb0ec539765db209a83e4b9d3491d7a41f","datavalue":{"value":"W1568003051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096731$DA47DE70-CEC5-4350-A972-2A266EC95A93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096731$9FEAF527-0B40-40ED-B356-18C85D75F93F","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":"Q5096731$A85603A3-14CF-4B2B-876B-A177F2783097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096731$F2C2BDD2-5A13-441F-BD75-CA906E64B3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30eebd202e1d23be9819f5cc5a73c6f27b7e94c","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096731$4A980667-411B-4BD5-8BF6-AEF94D73778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096731$13811F99-5505-46AE-A077-C5E02512B02D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c314b3a0a9d619a61fe66f501a73b29f8ee0eb6","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f321e33216f8003887bf703477b874a59eaf9b26","datavalue":{"value":{"amount":"+0.9905495047569276","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":"Q5096731$42BB8ABA-4AE0-409A-8985-162977DC6A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f06a554b506c9e5f41a5bfffab7a987a3aa511","datavalue":{"value":{"entity-type":"item","numeric-id":4219039,"id":"Q4219039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75759c8df324fa10716ac4c3504750eb471cbeb5","datavalue":{"value":{"amount":"+0.8549137711524963","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":"Q5096731$357520C4-21AC-42F0-911E-B0C42EC8EAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208526cb311498ca2890ff8bdc1ec6ee0e755151","datavalue":{"value":{"entity-type":"item","numeric-id":1974214,"id":"Q1974214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77a57dabc9192caa249d6af6fda904833226ca0","datavalue":{"value":{"amount":"+0.8359408378601074","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":"Q5096731$350A6B3A-C0E0-407E-BCD7-76BBEE3F162D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdee7104b094098dd46f2a174080fd555798c697","datavalue":{"value":{"amount":"+0.7949801087379456","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":"Q5096731$0DF35900-A183-40FD-841E-A99FFBE56E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fb670341eec387190db86572e6609f071e0654","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d09bf3a938e19562af12e0591b91beba3a67d5","datavalue":{"value":{"amount":"+0.7906162738800049","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":"Q5096731$242997DD-DE1D-48AF-8CB0-48FDFE192254","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete inference systems for weak bisimulation equivalences in the \\(\\pi\\)-calculus","badges":[]}}}}}