{"entities":{"Q3304813":{"pageid":3315521,"ns":120,"title":"Item:Q3304813","lastrevid":46185811,"modified":"2025-12-24T00:12:08Z","type":"item","id":"Q3304813","labels":{"en":{"language":"en","value":"On Communication Models When Verifying Equivalence Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7227101"}},"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":"Q3304813$A3DE310E-1564-4C40-8039-007F16173FE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4f0ab66961bbf3533f0d994b8cb0e50314bb116","datavalue":{"value":{"text":"On Communication Models When Verifying Equivalence Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304813$57494A6B-295C-4A54-9E6D-7AFE4FE75BF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96ae9738bfba7253732255d1c2fdbfc055a148e3","datavalue":{"value":"1444.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$7DB6CC17-D5E5-4073-8A7A-0B5ADA22AE6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"414bdfd0eb9730e2a9819edc77e976795be3442e","datavalue":{"value":"10.1007/978-3-662-54455-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$19AF2106-0D1F-4A1E-B781-215BDF7D8418","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90972c969d287a937e8867f261f344d147a1c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":3304812,"id":"Q3304812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$2397479B-908D-4520-89B4-FF39C40F3AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ce5379312fabb85a719672eceef973054125c8","datavalue":{"value":{"entity-type":"item","numeric-id":391118,"id":"Q391118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$DAE55C27-84F4-40BB-86FF-BDFBCB5D80D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9545c86dcecbba882f43703ca686b323cf501e","datavalue":{"value":{"entity-type":"item","numeric-id":437023,"id":"Q437023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$AEF30011-5F7F-4510-B0EE-2664DB66C4B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$40358D94-4D4F-42F1-A408-37CB3E9E844B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"469d299b05f6ef0db902802d19518b8f861cc702","datavalue":{"value":{"time":"+2020-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304813$8A1D8385-35A0-4C25-86C3-4BF02EE83C28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"123ad53466f21a295dda0e347345b894c77c6d38","datavalue":{"value":"https://hal.inria.fr/hal-01450898/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304813$E2E7B56F-B20A-4079-B5B9-EAA431423542","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$557E4DAD-C055-4945-B9A6-836FACF77ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$BC1BA778-944F-44DE-8E68-43EF86FD4DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$3D0FDD08-1609-4A4C-9C9B-F3F78B1F76F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$14BE057B-9C8F-4FD2-B92A-39CD9DB2F98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$7F774067-DC16-470F-8A2F-9239FCE8B615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$A45E6087-D9E9-4598-AB7A-E7AD88AC8063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43201d62dc425d64157de66c02a9d3d66abcee61","datavalue":{"value":"7227101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$9CAF4088-8935-4F2D-B81B-981F0184B9C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304813$C251EF08-96D7-4937-B57F-389EF28DABA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68eaf8a24da690646c56e56c0af9eae16b30fed8","datavalue":{"value":"authentication protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304813$8B35F5A7-E57C-4343-9C60-1D150540BDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b33a4dc4d23aeee3f029939c6c46c6a4d5c0db7d","datavalue":{"value":"extended process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304813$76782173-5516-4D39-B642-0B16299304AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73fe529cf1c00559bc8f4701b1d8f5eb487bfcf","datavalue":{"value":"classical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304813$9808A951-F054-4A80-A53C-2AA8623167E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$9B1F6209-FCD5-49D3-8B76-5F38FF63BC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9ffa40fc67c7e91bee6175e789c3c3247a988d0","datavalue":{"value":{"entity-type":"item","numeric-id":35211,"id":"Q35211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$7A847433-CB07-4D7F-B83C-0231DAD5D2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e372abbbc9bc0159c7c0676ebe9e1a66939a34e","datavalue":{"value":{"entity-type":"item","numeric-id":32422,"id":"Q32422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$71B81BE7-3172-4264-9FD4-6D489647F6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$22A5CB24-83D4-4CC7-8C56-EF285859176D","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":"Q3304813$E0619301-DC83-422A-B7B5-F425D68A2B17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39859e3e13e2fc6d38a8484b7c681d1df57da539","datavalue":{"value":"W2604073120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304813$7637C5FE-F357-4B57-A877-465010ED3CBA","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":"Q3304813$18508B1A-A342-4821-B3FE-857388897200","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":"Q3304813$F90C1A72-91DF-422F-B7B1-1469DA12A472","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":"Q3304813$A6C6B165-DD2E-4D07-9E8B-2CE1C7B5CAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$FE992809-D386-4CAE-8225-9A3B7BE4CC52","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":"Q3304813$E34D6A41-CDCA-4435-BD43-E5F0A3866070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d4b01899bf050d26bf94999ee7c3edfe020b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$FAB72136-F871-462C-9497-80B5E1466806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0de528048102a53c4a18deb26d5245930dec75c","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$7E5C94ED-D339-421A-A26F-CCEDCD5DBD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f78d062cb5b9397057492f87283ce3bfc9df7","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$937D4868-A3D3-424B-8AE6-42B7624B4A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f5eae3bb683afc8101fa8eddb89e73906fb54","datavalue":{"value":{"entity-type":"item","numeric-id":3569110,"id":"Q3569110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304813$78DA1F43-33F0-4795-9FCD-DB6CB87C04BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ee2e34356e15e2fa81ab628ba9df71231596d6","datavalue":{"value":{"entity-type":"item","numeric-id":511946,"id":"Q511946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7612045edcf5029f2833c828a435322a55e0582","datavalue":{"value":{"amount":"+0.7736514210700989","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":"Q3304813$08E11BC4-2870-432F-BDE5-A4D35626DD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a28eae101fe624097e1fa733469dd2c68a57e6","datavalue":{"value":{"entity-type":"item","numeric-id":2482448,"id":"Q2482448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4210dca63c8e1003ea5a2f40a44f238e8ffe8e45","datavalue":{"value":{"amount":"+0.7395679354667664","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":"Q3304813$4B090965-766C-45E0-9EF9-A59198602DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ac3bfb6ce02e5630bcee807373c8d7e2c5205a","datavalue":{"value":{"entity-type":"item","numeric-id":3165972,"id":"Q3165972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec90a829271beb8044905f16d7ec7b589caf75f6","datavalue":{"value":{"amount":"+0.7384435534477234","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":"Q3304813$56D663D4-5AD7-4829-84D0-85A9B5DCB465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6245ed8dd37fd94af4a3591c703437ec4f19a35","datavalue":{"value":{"entity-type":"item","numeric-id":4972166,"id":"Q4972166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4402a7e124755ee4937bbb336915f5d7ab02b8","datavalue":{"value":{"amount":"+0.7382494211196899","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":"Q3304813$4F2DE1F6-357A-404A-88FC-1ED6AEBCB919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4789cb71ac9897402ebad3f8711d594a5b0239","datavalue":{"value":{"entity-type":"item","numeric-id":2894322,"id":"Q2894322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2060860d688162bbd16a8cebf0532f38b5045667","datavalue":{"value":{"amount":"+0.7372882962226868","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":"Q3304813$6BD7CB57-BFC1-412E-B89D-EDA1F52ED9ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3304813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3304813"}}}}}