{"entities":{"Q5170184":{"pageid":7199756,"ns":120,"title":"Item:Q5170184","lastrevid":52046105,"modified":"2026-01-20T20:06:36Z","type":"item","id":"Q5170184","labels":{"en":{"language":"en","value":"A complete symbolic bisimilarity for an extended spi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319542"}},"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":"Q5170184$0C8E0015-9FFA-4986-A620-98552F59943E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb2308cba26f226e2c2e79d0f72a2809235d06f8","datavalue":{"value":{"text":"A Complete Symbolic Bisimilarity for an Extended Spi Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170184$FF4CEAAA-69F7-44FC-9E3E-A59F88CEB0B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"378101a19b3a4344c1b18a89e7a85c54ab61fa29","datavalue":{"value":"1294.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170184$7FAEBD5C-B7FB-4921-AFD3-DA3CD1FAAC89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ac0ece65ffa29f2cb3e18f66e3388d5684450f","datavalue":{"value":{"entity-type":"item","numeric-id":2233469,"id":"Q2233469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170184$C6A1652C-8DBA-45B4-A0E0-CBBEC81480DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170184$BA4CFACF-C68C-4EA8-BE2B-A95D664584EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170184$36BAAD48-0C80-4387-9D16-54623827FADC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170184$A4748DCF-BFB8-4276-B8D8-4DA3656A09B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170184$D261DC5C-D4FB-49CC-A830-3B24E6E91F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170184$6CD6B7B7-22A9-4A58-ABD4-05CAD193E888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5e80bfcbd6f1b197c3c05dadecb2c8ab194320","datavalue":{"value":"6319542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170184$595BFD8F-8ADA-4E0E-A59C-949F62923BF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170184$31A92AB4-623B-4B66-9B6F-C6228BC3237D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170184$01C207AF-522F-4739-81CF-361D58266128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170184$5CED1F39-FB9C-4597-AE54-0B2D9DB92B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806501e31bee2830679c4e43367e7ddec89d66e8","datavalue":{"value":"symbolic techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170184$AF8478AA-A97D-454C-A5C0-9B939FA2F19D","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":"Q5170184$BB27DA27-5D2A-4F01-ABEE-9E353D412ABA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8cbce09aefe940e172f6b310304579ee87bf3af","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.078","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170184$DAAE6ABB-4AC9-45ED-BAD0-ACF4A2F7394D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc1489853a80b38e827db1b6c29a6be0618b0bfe","datavalue":{"value":"W2103263694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170184$8FDF709F-06D3-4A2D-AECF-25D3CB04E02C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170184$76ACE5D2-86CB-430D-B824-8A55702CAF0E","rank":"normal"},{"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":"Q5170184$49143AD5-04C7-4779-BB33-8C2D3577BFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170184$FD7ED1FB-4E80-4C34-BDD5-5E9953469073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170184$ADDCF4AA-768C-4D08-B27E-6FAE276F6BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ac13a6543352e6e6440fee8830a7c783412af5","datavalue":{"value":{"entity-type":"item","numeric-id":5716865,"id":"Q5716865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170184$5CEB82C1-6632-4125-9EF3-2AE99DD12085","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":"Q5170184$8A0952DE-7AD3-4A8E-B21A-7A0D24A6D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e9f3619ca3d6b2ce6e8820f8ce4979ea0cf459","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170184$EA090145-46D8-434E-8344-FF9BAA7C33A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d1bf22da72285a101a10cb9fafaded92bf6ada","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170184$BC7BF690-D259-491B-891D-448B47B32F8F","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":"Q5170184$3310ECD9-1DA1-4279-8832-0A1E140821C5","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":"Q5170184$F99B6C0E-D53D-4772-ACC9-D9688BFC324F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70391158ffc73116773dad1e122fc5e0d2852be2","datavalue":{"value":"10.1016/J.ENTCS.2009.07.078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170184$E0CF5A52-E5F2-4E89-A4FC-DFAB2BDF723F","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":"09a9737b9b09126fa2624759b53c2fe7d0a75edb","datavalue":{"value":{"amount":"+0.8760624527931213","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":"Q5170184$928599AA-9A69-4329-A4F8-61052653EECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255d8ef32e88fb8fd96f1dba8dcb1489964549a3","datavalue":{"value":{"entity-type":"item","numeric-id":1758155,"id":"Q1758155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6b5265257ea34408808f39e1e96bd09ff6d1f2","datavalue":{"value":{"amount":"+0.8744285702705383","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":"Q5170184$9F59ED0C-81B3-444C-875B-6C4566189BE3","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":"033063c0b94ae1c9bcc122f2e729ade9d1b48d5a","datavalue":{"value":{"amount":"+0.8504440784454346","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":"Q5170184$63B5AEE7-824C-4C59-BFB7-E25A08B7230F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc40447aa0163b5fb9e136798f4a7b6be94e8446","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd935b894cef0b244ebe7ad332d492e4a45b2d1","datavalue":{"value":{"amount":"+0.8267830014228821","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":"Q5170184$1595918E-0238-44A0-B063-6D2571E4CD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c904271e5db34315e479c0a8f7ae77d7d91506","datavalue":{"value":{"entity-type":"item","numeric-id":2842870,"id":"Q2842870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814e474bf9ca367d175c027d828adb2075874c43","datavalue":{"value":{"amount":"+0.8264437913894653","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":"Q5170184$EBE9031D-C4CD-4344-A8A4-0A09C7235B13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170184","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170184"}}}}}