{"entities":{"Q1758155":{"pageid":1768897,"ns":120,"title":"Item:Q1758155","lastrevid":74242533,"modified":"2026-04-14T19:08:24Z","type":"item","id":"Q1758155","labels":{"en":{"language":"en","value":"A complete symbolic bisimulation for full applied pi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103615"}},"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":"Q1758155$A809D379-2F69-4AC7-B60A-2CCAF827128E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d1b18b0d995b1d3498377a1d5d5c5b672402028","datavalue":{"value":{"text":"A complete symbolic bisimulation for full applied pi calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758155$123C344A-B5FB-4EE7-BF7C-265B77F1DA9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07f5de2880b4f5e63f94604d746996966f5507a2","datavalue":{"value":"1277.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758155$123D4E40-FB33-4FDC-A16A-5478725EB25B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e56ab8cd089a73503b5d81c591fa552ce18b3de8","datavalue":{"value":{"entity-type":"item","numeric-id":274964,"id":"Q274964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$590FD0ED-1836-40DF-8475-FBDEA0D261D6","rank":"normal"},{"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":"Q1758155$B9374010-9309-40AD-9925-112715F3DC01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$8309CA41-3892-40AE-8DDC-E68940D8EEDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758155$FF4219A4-9CC6-48E8-9B1C-3D68CBF89D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758155$FADF7E36-4FEF-44BF-8C32-74C410EC1EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758155$1C3D9A6E-0E38-4286-991D-3089996950AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758155$913898C9-2587-4F09-B4D1-196BE24EE026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758155$FBC64FC8-9172-4844-8F0F-8F4258DAA5C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a2ea668f53f6736854749b7ce1c3368c636678e","datavalue":{"value":"6103615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758155$62D34EF7-ECB6-4593-AAC5-22D121E1E141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c0bf2808dc9ccf5fc152d563266adf6dee6f9c8","datavalue":{"value":"symbolic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758155$F7776EA3-10E2-4FA7-B35A-CF166DE5C535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50995c35cf8f618870cb3d3e0ece6f60dbc0cadd","datavalue":{"value":"symbolic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758155$DBAC82E1-1658-496F-824F-D33D569E3E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99aec85ad335d7beb55770ec6674fa8b87d9c83","datavalue":{"value":"applied pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758155$4C8062A3-4939-4DDC-AA10-0BF4791E030F","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":"Q1758155$32448409-6F8A-43FF-B416-4CAAA0E678A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"558cad78bdb6b6eae0877ffc1832bb3e8eeb354b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.07.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758155$5A6A369F-B6C0-478A-895D-87DA394D078A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6aeba1c3828cbdb51d7d31791f9440463353a1c9","datavalue":{"value":"W2167019232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758155$3F045B9F-C990-4716-935C-C73039E5084C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$5CE07E4D-88B0-4C4B-B508-5E63114F3E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f93452b91edda8da8109ddb6ad4a31477422917","datavalue":{"value":{"entity-type":"item","numeric-id":1881255,"id":"Q1881255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$76349B43-43AE-4735-A62C-9037F4797E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$668F0A66-8393-4EC6-9926-E8D5ED59DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$DBF3B6F5-1673-48C1-9721-9E5AF32C8597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aef337f650d11bc3a249bb6348fabac127a4dee","datavalue":{"value":{"entity-type":"item","numeric-id":557806,"id":"Q557806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$3B2871EB-79C5-48A8-B50C-9DA42994DCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c30143ac0412207498d22d9d4521cbb7abf1f3","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$17D3F289-B250-48AC-8F19-E157E16B48B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71c2c795607e4acd6fb8d4d0544ab3820b187a9","datavalue":{"value":{"entity-type":"item","numeric-id":5170184,"id":"Q5170184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$FCB9FC62-711C-4315-A7E5-8B1DEAFEBAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$DE001470-E8B1-4F4D-B61B-1E8544AD2B67","rank":"normal"},{"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":"Q1758155$E5717D21-1346-4B4F-B3CE-4EA5FCC66A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14ae6b91536743b933c1ba4609c1171229026f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$A36E4C0C-7CB4-433B-A5D1-130BFACF50F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe60657614e935fcd2851869c653cd6c26386ef","datavalue":{"value":{"entity-type":"item","numeric-id":3520306,"id":"Q3520306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$B4D953D5-537E-4F7B-93AC-0AFDF730EC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f37781aa914c1d87d854c93e84c935e8c635ef","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$E9C87627-4E32-4F64-B9C7-15386E0C1880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1119f2350ec127e4897f11105e20b4816e1e091a","datavalue":{"value":{"entity-type":"item","numeric-id":3401115,"id":"Q3401115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$0D4746D0-AE3A-4327-BBD1-D37DE4373DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96536a3513c764186ae19524652263bcfe7ab572","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758155$833EC28F-14F3-47DC-8583-4D2CBC8C1F48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e42264401b9369448668141cce404a4d9bfbf42","datavalue":{"value":"10.1016/J.TCS.2012.07.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758155$119E6302-A42E-41ED-94AC-0536967A2EEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e53780b2aabe51dfa7f619fafb9a362a52b7e25","datavalue":{"value":{"entity-type":"item","numeric-id":3401115,"id":"Q3401115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10f3c0dd0428c611b82476c257668f45b936a61","datavalue":{"value":{"amount":"+0.9895101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$5F79F8BD-1898-4A39-93BC-F4ED43F130B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b77039336a644ac4d585a702ef5e49976f0eef8","datavalue":{"value":{"amount":"+0.9721036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$CC006AAA-8371-4A21-B6D2-A9510DB869BB","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":"971c06f1babf1d09335ad386e502a6b421de24ae","datavalue":{"value":{"amount":"+0.91242623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$0FB7CC96-AC79-44CF-8645-CE40AE13DE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a025efa84a18592663102e949dbcff0b082431ca","datavalue":{"value":{"entity-type":"item","numeric-id":2871830,"id":"Q2871830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac091035d46ac5716f41a2db97af6315505c8ae4","datavalue":{"value":{"amount":"+0.90549934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$7998BF71-511E-4366-86D7-7309CA37FF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad024b6d5a586bcb824ddb91497e2d41af492ae8","datavalue":{"value":{"entity-type":"item","numeric-id":5170184,"id":"Q5170184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5188e17d823dd014b5a46a2b4da2ffab473fc549","datavalue":{"value":{"amount":"+0.90386856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$589FE84A-C3F4-47AA-BE13-4DF1C54B775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30686e4b96dbdea5912a334eab698ec8c93f1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b88cfbca0c4d8fe9156d57c549c15754e44888","datavalue":{"value":{"amount":"+0.8938892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$68039A5B-26F4-465D-92ED-ED0C4A305772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bbbebfbdbd14491d7ffdd034cc1b28ee81820c","datavalue":{"value":{"entity-type":"item","numeric-id":3172876,"id":"Q3172876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01d237bffde7d0824fa64341460d97741427a33","datavalue":{"value":{"amount":"+0.8860794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$E04FA4BE-60A0-40AC-BF82-33E1010C64B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d2dcdf30b2350cc1ffd8d2491c16b2fd47b318","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d903a6ac78b0c1002e4c53fbbc6f151537ee61e","datavalue":{"value":{"amount":"+0.88519907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$507FFBA5-8598-4352-94E9-C738A170E3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ebbaf52060a9a1cbe1a50119acfcb47dcc52ab","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc74983eba71b9fe87184d455bdf1650d924166f","datavalue":{"value":{"amount":"+0.8822539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$90B929A9-C70A-4E65-9CBB-49C9575A5C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c96bd02229b8c4449b718092f8cbe1c7efcdb8","datavalue":{"value":{"amount":"+0.8807136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758155$DE1E3ECA-C364-4057-BC08-98D95E2A2679","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete symbolic bisimulation for full applied pi calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_symbolic_bisimulation_for_full_applied_pi_calculus"}}}}}