{"entities":{"Q4518908":{"pageid":6548501,"ns":120,"title":"Item:Q4518908","lastrevid":47540860,"modified":"2026-01-02T00:51:39Z","type":"item","id":"Q4518908","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538051"}},"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":"Q4518908$FCFDA7AE-BBAA-41FF-B996-C3BD40DB5524","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94569c368fda579b61574cc67139d3ac888a11bd","datavalue":{"value":"0965.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518908$434F4A99-A93B-4E6F-A669-906E7C5304AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97dc12cf1fb5f9d758fcaa5016f946da2f25eba2","datavalue":{"value":{"entity-type":"item","numeric-id":375473,"id":"Q375473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518908$21F9E2C3-1F9A-41C6-A3DC-0A9C8BE59C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3349bdc58c18b99bd478519fae34288b442f808","datavalue":{"value":{"entity-type":"item","numeric-id":4518907,"id":"Q4518907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518908$B9F95C49-0CEA-4DDC-9D6D-FC438FD997D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518908$BFDDFC40-DFBC-4FD2-9583-E755A1D7D6B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83cb66eba1c0064d689ae47e2e3c362891ffc60b","datavalue":{"value":{"time":"+2001-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518908$B20DEB5B-112A-4841-97BC-218272B71B57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518908$3282FFC1-17FE-408D-8E88-8A29862A9D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518908$8EEC03BE-B03F-4C8D-B087-AA34956058C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518908$E3CB5CC7-19F4-4185-9120-4854CB679250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fba84743e68df89335a45c9570e72638cced5abb","datavalue":{"value":"1538051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518908$905257CD-2DFB-4E3F-9475-C20B625FA2D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518908$07558632-1505-417A-909B-69D190976A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518908$83FB60D0-6403-4749-88F2-0C2B8F2BA88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518908$F065EBB3-3D31-4402-93C9-1A4D5D2F6763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5141c8d90ac4d9f0e2be4e79af0abbec225f0e05","datavalue":{"value":"BRUTUS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518908$594E457E-997B-4457-BB2A-DCAB0B4D0372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518908$0F46D228-34AF-4B89-8351-A6FC614FACF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518908$610E2C05-CB85-41FB-9726-EBA156927317","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":"Q4518908$3573272F-8D5A-4B0F-BADF-DA1465AD6485","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616d541cc7a4076647aa6b3c837adf1d55359237","datavalue":{"value":{"entity-type":"item","numeric-id":5357726,"id":"Q5357726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e19ebe55e9b2b28ddfe95ad879c8f3c6f3eff5d","datavalue":{"value":{"amount":"+0.8671150207519531","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":"Q4518908$9ED996EF-DB35-47FD-B49D-BADC01829C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e41e11b55706db3aa67de98ac1c80e47db2dd1","datavalue":{"value":{"entity-type":"item","numeric-id":453518,"id":"Q453518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c65c3d6b7a75db21c688bf48e6d91f9d545e25","datavalue":{"value":{"amount":"+0.7990787625312805","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":"Q4518908$4BE0EAC8-5531-4043-B37F-A19A1C2B3ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b9f8f3c10f3656bbaf8d7cf1f3d846187f2178","datavalue":{"value":{"amount":"+0.7746372222900391","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":"Q4518908$5AF18E92-3E6D-4429-A004-0CFE47852B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13eef1da412afceae7bc3475926ad65b7a5f8290","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3d738ec0ff364209c83627daed36fe5cb8ade4","datavalue":{"value":{"amount":"+0.7708569765090942","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":"Q4518908$F18CCD1E-CA73-4370-A093-3FC07488A6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1124589407aabfdc5ce011f199f697dc8b5e040","datavalue":{"value":{"entity-type":"item","numeric-id":4353637,"id":"Q4353637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce42fdfa3da53e4481137fcba86e0a1dc660eeab","datavalue":{"value":{"amount":"+0.7638474702835083","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":"Q4518908$D79C382E-E0DB-4C0F-A35E-3B5F34CE0470","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518908"}}}}}