{"entities":{"Q6104494":{"pageid":13238801,"ns":120,"title":"Item:Q6104494","lastrevid":47867866,"modified":"2026-01-02T22:36:44Z","type":"item","id":"Q6104494","labels":{"en":{"language":"en","value":"Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703762"}},"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":"Q6104494$6F455B57-11C1-4D81-AD86-43644D9CF11D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d789ca40ffd9000422bd09634fdbddfc4bc92f5","datavalue":{"value":{"text":"Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104494$4BDB05C9-D18E-4AD7-95DD-AE6B6030A9BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a0143e24c9a4077fcf79dd7bd3c1cf0eddb0f89","datavalue":{"value":"1514.94078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104494$EE33FBA7-C0D9-4B8B-AF4D-4C3E5C8ABDF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"345c3a2d30829c9172ec15ffcf9e18a2f9ad23ab","datavalue":{"value":"10.1007/978-3-319-98938-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104494$40CA4572-CE5B-4F09-B4F0-B2CFB9C20AF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$053394E5-EBF1-47A5-9A33-36118CF68896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed3ea61918f77787173b7c1e9095fc1727d95271","datavalue":{"value":{"entity-type":"item","numeric-id":437027,"id":"Q437027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$D677EE95-CEA8-43DC-BC8B-AB8FE6C16B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b27be3def650688d52133b916fe51e7f07e0f1","datavalue":{"value":{"entity-type":"item","numeric-id":1801032,"id":"Q1801032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$285FA625-ED5E-45DA-AB1E-124A6C2AE736","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":"Q6104494$3B53852B-3B7D-4DBA-9818-2612A4DBDB7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104494$C2B0B438-62EA-4640-800C-F80475B7E16B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104494$6948EB41-3DC1-49A9-A342-5D5B90EB1C7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d13a447b3d41e19fd0658a5ed59ce47414188e4a","datavalue":{"value":"7703762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104494$C95AA1A7-F7DA-4F0A-BE6A-9F31BE6FDCBB","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":"Q6104494$71C7A140-3149-43BD-AD05-E633949645D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec052c4d5e8be51701e868fe320038f8b994b792","datavalue":{"value":"https://doi.org/10.1007/978-3-319-98938-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104494$AF473A02-22A2-46AA-AC5C-FA58A890D380","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e6e1828ace44cd035049501d582c515d5c39c1f","datavalue":{"value":"W2886426098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104494$72EDAA00-CDC9-487E-BD1A-5D5312338242","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$95E8B9A2-0848-4CCE-A09C-617B298CA9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0c6e9205f59b4da35f13c2c9edde14decb7118","datavalue":{"value":{"entity-type":"item","numeric-id":1006733,"id":"Q1006733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$A0A0AC65-0919-4DC6-BF66-60C17D4C7A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c74a330b5c89ffa6afb6b93e78391cfa3ed028","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$69B1F722-D106-404F-B71F-5D90848CAD2D","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":"Q6104494$BA120EFC-F342-4107-8324-A0700CE6046D","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":"Q6104494$EDC23F07-D3CE-46C9-BDF9-3563D2F24737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822a596fbfc3a97a60d23e4f2069a139f2e245bf","datavalue":{"value":{"entity-type":"item","numeric-id":610283,"id":"Q610283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$08172E24-40BE-4928-87D5-B20655E14D6A","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":"Q6104494$41D0E12A-E36D-419B-B100-4E860AFA3BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b0a7622b9eeddfcd9d242d3bfa8036225b8d1d","datavalue":{"value":{"entity-type":"item","numeric-id":681598,"id":"Q681598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$00C7D57E-2674-4B0F-84B9-B6B3E6088ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$3447160B-C4A1-44A6-A663-BA6F78BA1C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec4be332633370dba051dd5911d53cf54c82e2f","datavalue":{"value":{"entity-type":"item","numeric-id":3549128,"id":"Q3549128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$892A92C9-6E50-4AF7-8DDF-98656104B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9020a7785480236ab635c16f5392511491ef64a8","datavalue":{"value":{"entity-type":"item","numeric-id":5316561,"id":"Q5316561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$801B7FA6-0BB1-482F-A008-A75F096FF212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5a09647dcea3c2fe5301e254b20be90b9c9763","datavalue":{"value":{"entity-type":"item","numeric-id":2576588,"id":"Q2576588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$82A78A5E-99E2-4A80-8ED9-49E0BCE1E278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0584045d36bcb0b717d88f7c9c9afd4e3a2876de","datavalue":{"value":{"entity-type":"item","numeric-id":5394799,"id":"Q5394799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$E4FF4F8F-7FA6-4260-BA90-D08C1EC27869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a8dd6d07dd6ae960ffc56968d5ac03d5dce852","datavalue":{"value":{"entity-type":"item","numeric-id":1603655,"id":"Q1603655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$26769CDB-8254-4D6A-B042-71A05F58C81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85ff012a6de3aa608b4e0484cf63cc7a89d3a13","datavalue":{"value":{"entity-type":"item","numeric-id":5308707,"id":"Q5308707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$3E8270CD-69EC-4FFD-A209-1907C61E53E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e67d001e0155770b04f208c6990101ba01f2cea","datavalue":{"value":{"entity-type":"item","numeric-id":686290,"id":"Q686290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$1AE322FE-81B0-48AB-82CD-CE1D6B04C1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8184aaf98b668acd5b2f8a968bacc120e77ebfc5","datavalue":{"value":{"entity-type":"item","numeric-id":3546368,"id":"Q3546368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$E16D04B8-A8D6-4724-A1EB-7EE0D991DE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2b7aeeb2eb1ed5052bbab1c94c6b4a93f9c3be","datavalue":{"value":{"entity-type":"item","numeric-id":3454114,"id":"Q3454114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$40CBEA3D-13A1-4496-8658-4348B655EDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104494$1A5CAC6B-B5CA-46EF-8E0C-CAB8DF86DD51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89aba3a89b2f31d26f78a527a53789b9e8929087","datavalue":{"value":{"entity-type":"item","numeric-id":2507460,"id":"Q2507460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07772f3c9aa1d25e15f29d409c85bbbba45475f3","datavalue":{"value":{"amount":"+0.7342075705528259","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":"Q6104494$80AC7608-5F37-441D-A19A-B514C1D60EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac36bfb420b95d3c4f5d6760b1c3a3725f2eae01","datavalue":{"value":{"entity-type":"item","numeric-id":5900812,"id":"Q5900812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4244b481e127653a74e15d44ed5dc74214ab54","datavalue":{"value":{"amount":"+0.7339142560958862","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":"Q6104494$91546BD2-2D4B-490D-8EB1-ECEF91ABB56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf7380c7d6dd7a828f6121c15034e8d262e64d4","datavalue":{"value":{"entity-type":"item","numeric-id":6487294,"id":"Q6487294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec0b6c22c7455a2c5f48648cd910f81c9a7bd15","datavalue":{"value":{"amount":"+0.732251763343811","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":"Q6104494$BD257D82-7B28-4ADF-A525-BC4A5B304360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c9ada20893d54ba30b6bc602d33f4da8b623ef","datavalue":{"value":{"entity-type":"item","numeric-id":5758128,"id":"Q5758128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1ea2bfdaab81916322d5ea712a71f455a47b0d","datavalue":{"value":{"amount":"+0.7287862300872803","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":"Q6104494$AB9A9371-830B-4E28-842C-F54AE5A18E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3001dbefa0131bf3994e5f32497248a60838ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1398674,"id":"Q1398674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc806a102bde6dc854fa923bebc4b9d8d8d6532","datavalue":{"value":{"amount":"+0.7265648245811462","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":"Q6104494$D900B919-3A73-4ADF-B36E-9B77240497ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6104494"}}}}}