{"entities":{"Q5429328":{"pageid":7458902,"ns":120,"title":"Item:Q5429328","lastrevid":50224763,"modified":"2026-01-13T14:01:37Z","type":"item","id":"Q5429328","labels":{"en":{"language":"en","value":"Underapproximation for Model-Checking Based on Random Cryptographic Constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216244"}},"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":"Q5429328$A78A9F5F-017C-4C65-94BE-39D694EA3982","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"830f1a9af2c193d35262d1454693e8a415f98f37","datavalue":{"value":{"text":"Underapproximation for Model-Checking Based on Random Cryptographic Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429328$587388A0-40C9-4CFA-9390-32CA184270B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf9bf4580fab07b476a4403db3d14f7d558f3f52","datavalue":{"value":"1135.68478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429328$0E6BE15C-FDB4-4EE3-B004-152FDEE21804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93cfeaebcf2e006071a291a282f0e58f803309d4","datavalue":{"value":"10.1007/978-3-540-73368-3_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429328$740A5D89-B2AC-4061-9E9F-138742AC843C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"620163ecf8792b9063bead5c6c1cf247f60b97ea","datavalue":{"value":{"entity-type":"item","numeric-id":452854,"id":"Q452854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429328$FCE980E8-9F0D-48C2-973D-86550533CCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429328$92ABA027-4718-48EA-B90D-5EC797E80BC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429328$A7AB170C-C25D-4733-9DFC-847538B266FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429328$145BDE4A-730F-4836-9D54-0490F3270527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429328$F065658D-F555-4542-8581-493576F30454","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b1c224b52b0868c741cbd6f0d907807fdd32fc4","datavalue":{"value":"5216244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429328$2BE23CDA-637A-4AA4-9E74-F5D61BA3E15B","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":"Q5429328$F16B2B0A-A025-467F-A361-A8BE65FC5634","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d1cc4d79632fcd3ea53ff765586ee572d85fd2f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429328$AA69738F-B3A4-46EE-A4FD-2D7F688D03C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af034703a0fb49f55e490b9ed65fe8c18d340943","datavalue":{"value":"W2123719097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429328$079799D3-1C87-4D9D-81AA-4BF22E9BE41D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed43fd3f9561c85864a9d4e4545b62fb790aea99","datavalue":{"value":{"entity-type":"item","numeric-id":963058,"id":"Q963058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ecac3a31644300f9ef68b7d1e51df5c6264e29","datavalue":{"value":{"amount":"+0.9560309648513794","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":"Q5429328$CA985629-CE48-4C2F-9A7C-9BD460D1345F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190233e20cb25d8f3400a4a2388d08bb56869ee6","datavalue":{"value":{"entity-type":"item","numeric-id":5492987,"id":"Q5492987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7570282e282301eaf445124cf1ee34e4572ecae8","datavalue":{"value":{"amount":"+0.6906239986419678","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":"Q5429328$B40CCA8B-5B57-4D73-9E54-416DBB74C45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2b2777028655ad3380b52f7aebf7c66a53cd99","datavalue":{"value":{"entity-type":"item","numeric-id":3620434,"id":"Q3620434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3517a4ba030467b74f5b34986e34ab5a77091e8e","datavalue":{"value":{"amount":"+0.688023030757904","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":"Q5429328$E7260DEC-AA28-4071-91E9-10A5817F9C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91548a6949b01cd3d49cb353e09f4529009c2317","datavalue":{"value":{"entity-type":"item","numeric-id":746774,"id":"Q746774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd878a6489667f854e89f96e8f8382b09ad9355","datavalue":{"value":{"amount":"+0.6694390177726746","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":"Q5429328$41557361-8088-43A6-B86A-991C65747C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683d35bcbf285436abbe5680f77640df5268dd90","datavalue":{"value":{"amount":"+0.6651910543441772","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":"Q5429328$221538B2-22D2-4E97-B192-79F50BAE9C16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429328"}}}}}