{"entities":{"Q5486061":{"pageid":7515621,"ns":120,"title":"Item:Q5486061","lastrevid":41774577,"modified":"2025-05-08T04:35:16Z","type":"item","id":"Q5486061","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051652"}},"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":"Q5486061$D03A6078-5FF6-4842-A5A7-C077334EBD70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"442adb5bce2806b1da917af7ae1f409e0ed85641","datavalue":{"value":"1097.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486061$C746CF41-60EA-4C42-81BE-E56CD5039109","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79a31f3b3f91522cc500cf523210d26a9fb2979","datavalue":{"value":{"entity-type":"item","numeric-id":2386106,"id":"Q2386106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486061$C69D39C2-3743-4BB9-AC0C-358BEC8EDB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486061$B609A32B-17F3-4218-8440-06FF4FA09029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f8702780907862d22fb68b03ee907a25b3573f","datavalue":{"value":{"entity-type":"item","numeric-id":2309217,"id":"Q2309217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486061$73725F3C-9FAB-48BB-9EA8-9486A73A2E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486061$49D30119-AF75-4F48-8F6E-55B901B88CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"462045eb4c5374d9047918caf1a69c2a2d3c23fa","datavalue":{"value":{"entity-type":"item","numeric-id":310085,"id":"Q310085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486061$8D5C9B02-0353-4859-B5EF-C9598F048A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7ae663d6fb9f82a0b3803b646a0a9cd276d058","datavalue":{"value":{"entity-type":"item","numeric-id":3066132,"id":"Q3066132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486061$25FBA89D-AB80-4C26-89CF-73F38E50BB6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486061$953B6D51-ED9F-42CF-9FD2-7731895F3EAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486061$3ED3D52B-F52F-46CF-8437-9120B1F62CDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de9b27f9b2c8bc9f25ac2593e7429b03725cc1cb","datavalue":{"value":"5051652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486061$F8DCA8AD-BE6C-485F-A077-06099E073452","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486061$EBA43709-5E2B-40DE-8775-927FB95B3536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a45dbaa79cf50405641aff826b12c7208f8fa12e","datavalue":{"value":"dining cryptographers protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486061$81ED4402-CD86-4615-A7A8-B704CA5DE96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486061$56428C0E-8A90-4669-A35C-1B9E4AC60E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486061$3FB2EACF-6F94-4DA7-BC6C-B9FB62397998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f230c47ce693e1ef568cdbf7a69f561dbd91484a","datavalue":{"value":"SAT-solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486061$7F66F101-3FF0-4FFF-83C3-F174ABC09172","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486061$6B63D4AE-ADA0-4C78-987E-5CCECF751707","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":"Q5486061$9D6049D8-57E8-4F10-9319-5EEB3ABCA37E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa61e77ab0db7e5c6e5268e1f91adb757c86c143","datavalue":{"value":{"entity-type":"item","numeric-id":2848037,"id":"Q2848037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec314ca76d86b9fa2916ddb67a7d0dacbe6837f0","datavalue":{"value":{"amount":"+0.85579485","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":"Q5486061$C3ADA50D-378B-4D00-8833-0369C932E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa6197f6f1faa7773976bbdf8dd87c8c8dfbfa1","datavalue":{"value":{"entity-type":"item","numeric-id":3164588,"id":"Q3164588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3309a23cf6a3d8388f7fc9194a484b9ca97a4a","datavalue":{"value":{"amount":"+0.854198","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":"Q5486061$532F5C99-CAC2-4539-95C8-A8905D48A728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97053eba0a5e1fc314ddf8e936a7265d58eccf3c","datavalue":{"value":{"entity-type":"item","numeric-id":3184717,"id":"Q3184717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422ffc95aadd37852e52857aad16f4a73055241b","datavalue":{"value":{"amount":"+0.85416186","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":"Q5486061$A2356ADD-982E-4950-83F2-052B6DDCFAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2850ed93b9300f9fa6dfcd630fc70b3e6cd1a60a","datavalue":{"value":{"entity-type":"item","numeric-id":4735931,"id":"Q4735931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7859a8713de1bb43b1fcac01c99d047c3ff6a2fd","datavalue":{"value":{"amount":"+0.8506198","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":"Q5486061$CE4384E7-CD4F-4B3A-971B-44BD06564F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d47001d388616676746d4877f00d336c2fb12","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225d5b3de2a52373b95e2f32c1d284a7defb7a67","datavalue":{"value":{"amount":"+0.8488434","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":"Q5486061$6D1F815E-B4AC-4C1A-9E7A-10A68D0D2DEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486061"}}}}}