{"entities":{"Q540685":{"pageid":542452,"ns":120,"title":"Item:Q540685","lastrevid":51261242,"modified":"2026-01-17T12:16:16Z","type":"item","id":"Q540685","labels":{"en":{"language":"en","value":"Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903834"}},"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":"Q540685$4ABCF734-372C-4D60-B1BE-5476AA68D398","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d82355d9369a1f01d060decc6920009f0afbb60","datavalue":{"value":{"text":"Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540685$665F6AB6-2E9C-4CC1-B88E-220C201BC53E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6e45bd297aa813c0b514f7cbac4b8aef7cb2c34","datavalue":{"value":"1213.94119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540685$09CD4CB7-6337-4E9F-89F1-486C0D43C007","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0737ca502857607b669ec6afb967ab7ce60981","datavalue":{"value":{"entity-type":"item","numeric-id":196898,"id":"Q196898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$6575549D-AB20-44DF-9AF9-4F2E02BB043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b1dd2580a672539483d17ad7a6719e6a612d3e","datavalue":{"value":{"entity-type":"item","numeric-id":540684,"id":"Q540684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$2334D98E-1D7D-4700-8AEC-56BB320E6805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$4AC595F2-961D-4EF3-A363-9768AA2C39D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-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":"Q540685$FD0DAA8A-7D19-4AC6-93AE-B28BA1B621AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540685$59DF004F-C421-4706-AE09-7E912C8337D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540685$71F654CE-DFDA-474F-8676-2125FA691451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540685$93FD8D4E-E13E-44C4-A006-FB62ECCE8D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a63afee3fe1be6dfae67d2acfd2627bbc8fa791e","datavalue":{"value":"5903834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540685$2EB0EB9F-722D-4E83-BDC5-D92106B29CDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q540685$3FCB1C43-F66D-4D42-9B0C-9EED0BC9CDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd00383260dfa97876251d90227e490636e38179","datavalue":{"value":"XOR","type":"string"},"datatype":"string"},"type":"statement","id":"Q540685$CFF1B45E-2572-4844-8BF4-615C9ABD2AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q540685$75DAEB6E-3785-4230-A3E5-6A21EAE3CC4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$F03E1A45-98A7-42DD-A1DA-8A2FF6FB0F42","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":"Q540685$5E9E1AEC-471D-4359-8B0C-1ECBE056D5B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17315e1c82f959b4e8b1a0228cda8672a6bcaad9","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9188-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q540685$894883CD-1CAD-46A5-B461-7FCC5C1067F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9aacd2a12b062bf17718989f1452dae41a6d007","datavalue":{"value":"W2053014980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540685$2D75C63C-6F91-4CA9-A41C-5D9AF99F8E5E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe05aea7155a713ae923606c1de00b9c24c1b1b8","datavalue":{"value":"Q60530316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540685$D8B07D98-AB0B-4F74-BF89-BE156E63CF02","rank":"normal"}],"P223":[{"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":"Q540685$4ECC7873-702A-47C8-870A-B7B2AA913A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b958f61e33e86ed158feb915cb3f5cd374ecdf94","datavalue":{"value":{"entity-type":"item","numeric-id":4797389,"id":"Q4797389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$CBCDD711-8CB0-407B-8FD3-3B8D1A44274C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$4D7F997D-B4F1-4F36-AEC3-8B7A8354DD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44564dfa3d16d303b1b82c8edc0467a444443889","datavalue":{"value":{"entity-type":"item","numeric-id":5758129,"id":"Q5758129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$00C4A47F-1D49-48F7-BDD4-93F095F463D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff8a97b4b9412cf94d02fb85f3195ed2195f2be","datavalue":{"value":{"entity-type":"item","numeric-id":4447230,"id":"Q4447230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$F2E1612E-BB53-4F4F-978E-F143BAAD56FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9546478b4ae6a85f56dd5e933b661091f9993c00","datavalue":{"value":{"entity-type":"item","numeric-id":1887730,"id":"Q1887730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$53D1197B-CCB6-4808-BED1-9ABE62835357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$6C11FFD2-879A-47B8-BB3E-3FD0207CFF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c605893f8c5c0af71f0cd2c934dcaf0378bc2f62","datavalue":{"value":{"entity-type":"item","numeric-id":5187968,"id":"Q5187968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$878FA6E6-90E6-4F58-9275-161F59F177F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450a8b0c92c9dce6fc14bc9b012b549a36d4a792","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$53E32EB6-F15E-428B-B899-FF0594E7890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf95b3c93687a9d84f234c630055dcbee95bc22","datavalue":{"value":{"entity-type":"item","numeric-id":540685,"id":"Q540685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$348F0370-ABCA-47AE-BEE5-3195982AD291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aee32e0f87b97672aa61041d0c8f50ccff25b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2876912,"id":"Q2876912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$A091347A-654E-446A-A80B-94547C9499F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f0fb6b36e4cc009a4ac0bd83083387acf6ee40","datavalue":{"value":{"entity-type":"item","numeric-id":5394622,"id":"Q5394622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$E8C4CE14-7A2B-4B2B-8036-6661F5BEEBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c0f8c2a693017a2b175cb3ab94529887d9e922","datavalue":{"value":{"entity-type":"item","numeric-id":3636822,"id":"Q3636822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$6DBC0F70-FC0D-43BB-8DE8-CE6B1AC923F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c7a786d50b61b81c837f107881a4b9a94a2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540685$ADFB6B45-F8F2-4141-9CED-5DE114A785A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b868852d9c8f48b52595870bf984bf31440f9907","datavalue":{"value":"10.1007/S10817-010-9188-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540685$873039CD-5CFC-4C0B-BF4C-E21B666D5168","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d40fbfc7c79288a8a58dff3230ad87bb3e37d6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72913135dda3d95991a4e525d2121b0201597518","datavalue":{"value":{"amount":"+0.799782931804657","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":"Q540685$25A4EDBC-EEAB-4EAF-90D2-456DC3A2DDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedd0051c9ad7964d7b4d129737bb77ebd01ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64109d05b0fe50fc648ebb0cd63e63ca2c1a881","datavalue":{"value":{"amount":"+0.7930394411087036","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":"Q540685$40B57742-7267-4F4E-87D7-93FAC9EB59A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831fdf921549fb7e6c277ea080f02501b3028f24","datavalue":{"value":{"entity-type":"item","numeric-id":5862666,"id":"Q5862666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2edfb96e2a0d3b2030f7eb630367368330a5804","datavalue":{"value":{"amount":"+0.7774930000305176","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":"Q540685$42F582AB-4381-46D1-9E49-F245431F89A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e7f743bcca1b007e42a470db5a301ec2950b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3591419,"id":"Q3591419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18c1b4f4723a8b2000519703129544043daef21","datavalue":{"value":{"amount":"+0.7701737880706787","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":"Q540685$80FA0DB0-BB2B-4468-BDA6-C87D26EF2887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54323aa033699f30fffea99baabbaeefe528081","datavalue":{"value":{"entity-type":"item","numeric-id":5758129,"id":"Q5758129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeafd2786544e42657db513578da7fe5c52fe264","datavalue":{"value":{"amount":"+0.7639607787132263","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":"Q540685$D849C652-5B3C-415B-919D-3DC4A84B776A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:540685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:540685"}}}}}