{"entities":{"Q1045939":{"pageid":1047787,"ns":120,"title":"Item:Q1045939","lastrevid":66026475,"modified":"2026-04-12T07:02:21Z","type":"item","id":"Q1045939","labels":{"en":{"language":"en","value":"Easy intruder deduction problems with homomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5650200"}},"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":"Q1045939$196BABA2-2690-467C-A73D-395AB1886417","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc2bed4ee0d33f6128f1678495f651ec1ef5c464","datavalue":{"value":{"text":"Easy intruder deduction problems with homomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1045939$4983A6C0-850B-4822-AEF4-3F358AFDA90E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fba5e0f0072b6e7241669ebdaee79a0381f3df03","datavalue":{"value":"1184.68459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045939$5257BAC9-91ED-4E5A-93FB-51EC72CF7F0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$75A48702-BC21-4B52-8034-0D3CC1B9E23F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$B97788D6-5553-42F3-B103-6A2FBB415F76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f6fcb376ebdd62ff7d154537da52d56e95e1f2f","datavalue":{"value":{"time":"+2009-12-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":"Q1045939$98A60D7F-AE8C-4125-B337-4D746CE56411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045939$D59A1F55-7367-4E72-9460-61581626D47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045939$65915039-67B9-49F4-8C3C-4A92F19BEC95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e51492cba669f2780046f60ab45ad9063028c2d0","datavalue":{"value":"5650200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045939$FA161A63-AEAA-4366-BAE6-7C7D26087141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045939$F5FF0BC6-1569-4563-80AC-4F0535D7286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045939$DBE82C6D-E225-4113-AD8C-DE1EB1089233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045939$CAB29B9B-D918-4B4B-9E32-8D18CC6D2DC6","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":"Q1045939$FE788240-F9A7-4C1C-A337-47234BAFA506","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eae32883a3a1a3a161ed160af4b528506be8416c","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1045939$BFEEB14F-2C4C-41C7-B4EB-AC691DE2D3D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d1597de5051ea23c13c8f60e2572ff1ba5a351e","datavalue":{"value":"W2081719098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045939$0333E246-47F2-4F97-92D8-FC12E8EEA8B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ebd977bfa90ac2fedeed1040e81505630a4c12","datavalue":{"value":{"entity-type":"item","numeric-id":4461098,"id":"Q4461098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$C9335943-7138-43DF-9EC7-07E6BD5A03E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed18d35e8a74a111883a6ceaebb90ea14256035","datavalue":{"value":{"entity-type":"item","numeric-id":2817648,"id":"Q2817648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$1E321AB3-CF3D-4286-B2F4-4FB394E55950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$EA3D8841-D2A6-4DFC-BC3F-CAA2CD787BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4654966811e7c3e2be77b22c29c73834fc1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5305643,"id":"Q5305643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$1D5CEBD5-C10C-4A33-B034-393432E88D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$37A5768B-B2F4-4A71-BD03-FEF49409F8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727079b56cd73b62009131634b9e239952aac993","datavalue":{"value":{"entity-type":"item","numeric-id":3802506,"id":"Q3802506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$C5A8C379-4778-4C8B-99D2-0387AC43047F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc3dc957309bb9042121e42e12f8ed44caf1ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$2E3153B5-4EF6-4E1F-B7B0-1DF56A605CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0d0fd1ed6a0d6d1cbf76c02409bd15ce7ae548","datavalue":{"value":{"entity-type":"item","numeric-id":876047,"id":"Q876047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$FEB78F30-3FC9-491E-BC5C-71CCEF9F0C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa504e0f08fb80deb55e9670109c1f4ade70333c","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$7CFA652F-69DC-4FB0-8EA5-3CB7CBBB8A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$5AC54B63-3BD3-43E4-B532-3467A2F835F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7434998b2e70f40dde05d79beb9ec28871dffc0","datavalue":{"value":{"entity-type":"item","numeric-id":6488564,"id":"Q6488564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045939$6F6CECC6-9061-4F5A-B855-7811FAB47BAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d6e55522c3645266a0f08a63605565936a0f2dc","datavalue":{"value":"10.1016/J.IPL.2005.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045939$72B2C185-1CBE-4A27-85DF-6648BC6EA202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd416ff278c1f65eb4fc3475ce4889ec6d4f458","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88745afbb7e92f4598b99cf3b43c0e2ca9779755","datavalue":{"value":{"amount":"+0.8252929","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":"Q1045939$641D8BF6-B516-457A-905C-4FED09C473A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0104db76b705ff94fa0fe97441d4b1b553a4ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":4211739,"id":"Q4211739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd6189d5270999ae9f84f45a9066a7eb8db36f1","datavalue":{"value":{"amount":"+0.81497616","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":"Q1045939$1875D6D9-769B-46E4-8E16-BEED09B96D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfef51d841649aa9b787ebdf3c89716aaaa8867","datavalue":{"value":{"entity-type":"item","numeric-id":5092416,"id":"Q5092416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea23effd8868d1ee3338c1b508d4928c462590ee","datavalue":{"value":{"amount":"+0.80925435","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":"Q1045939$FA6DAA16-D84A-448C-A66D-31F2B10B137F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d0d5d19dff414cf2f5c368ddb5dccb8611eb5d","datavalue":{"value":{"entity-type":"item","numeric-id":876047,"id":"Q876047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7038d8c64f0e753cc83300da475a00c2e188e7e1","datavalue":{"value":{"amount":"+0.7978295","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":"Q1045939$6155D6AA-50E0-4AA9-963B-1DFCFC78CDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ddb495c0135388eea8434152bc934e19059ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4323729,"id":"Q4323729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46690e5c5870aa54fb92bf50f611752721260343","datavalue":{"value":{"amount":"+0.79613847","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":"Q1045939$666DC706-CD2D-467E-BAA1-E8521C0CCFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f540823b330219f1f23b93b1c1746dec74ed491","datavalue":{"value":{"entity-type":"item","numeric-id":5305643,"id":"Q5305643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44bdc86d6ec912f224ab2b6563be122c53382b3","datavalue":{"value":{"amount":"+0.7902291","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":"Q1045939$97551D34-5A98-4238-B4BA-69987A8211B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f869d1a4971656b2c0770ea44b6dd4c9868802","datavalue":{"value":{"entity-type":"item","numeric-id":948709,"id":"Q948709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7159b37ce1275d507a9bea762e2212ca30bd63","datavalue":{"value":{"amount":"+0.78598833","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":"Q1045939$192540BD-39AB-4EAE-B415-7161C9C9C61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e80a2f8656a017e9842c407e2db20f1b1114399","datavalue":{"value":{"entity-type":"item","numeric-id":2181867,"id":"Q2181867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd78320f4a62e1b9fb0f3264773111afa0f68bc","datavalue":{"value":{"amount":"+0.78293896","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":"Q1045939$58AA318B-06A4-4AAB-8C4F-22EEBEF02181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00284b2fa5568a414a9146567fac23f50d5d051","datavalue":{"value":{"entity-type":"item","numeric-id":3347294,"id":"Q3347294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2c7550f562c58c26175ede0ebee3d0b5f1f20b","datavalue":{"value":{"amount":"+0.7793087","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":"Q1045939$137A3E72-CB1B-4FB1-B3C1-2C71D5BC1D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3636626b40b876c246b33493d777fa8a11894f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54851e7a63b72c8e868852883e6e9e0d6c943680","datavalue":{"value":{"amount":"+0.7792625","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":"Q1045939$29250366-C6A4-498E-857A-B5548C01BA14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Easy intruder deduction problems with homomorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Easy_intruder_deduction_problems_with_homomorphisms"}}}}}