{"entities":{"Q5458796":{"pageid":7488355,"ns":120,"title":"Item:Q5458796","lastrevid":101131742,"modified":"2026-06-05T23:57:19Z","type":"item","id":"Q5458796","labels":{"en":{"language":"en","value":"Unwinding Conditions for Security in Imperative Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267182"}},"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":"Q5458796$2EB30679-057C-4BF0-BA30-8AA9E3DA0F4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e12faf9e8b68761266d8c4d36144d9076af0499","datavalue":{"value":{"text":"Unwinding Conditions for Security in Imperative Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458796$711C2F76-ACEA-4962-BCFB-91FFFA762375","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f51a5435c65aa61b0623bac4984b5ce1c738deb","datavalue":{"value":"1134.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458796$04331B9C-AD94-4EC3-9F36-3C053B385277","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6be2ed8ba4343178b36d4d27154b37b94647438d","datavalue":{"value":"10.1007/11506676_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458796$6DC9F3FC-A474-4264-945E-BDC5E5CEEF2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8746e3e542fcb2c86c5c4dd73da00ffe7d92d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1035701,"id":"Q1035701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458796$9B1C4CA1-DD0A-4640-8574-3BA1AE34E1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458796$D69912AF-9863-4DBD-97D7-341A8A123EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458796$C4D4572A-E559-4F07-9C0F-715B53602C32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458796$BEADADAE-2519-4BDD-93BE-7BB7A837CADB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458796$97CFEA09-B201-4E4F-97F0-781413137D6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458796$A3E3A7E0-ADDE-4899-9EE1-7145E29DA9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458796$164644F7-3CB1-4736-8186-06B233E307B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d11a2836349c82ad19f303a81e525c8e4d61014","datavalue":{"value":"5267182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458796$37D768A6-156D-4E6E-B6CB-AD920A81E0C9","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":"Q5458796$DEBE5B8F-D2D6-48F0-9754-A899BFE244D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eade08378c8310fa2d2b8b3ad4dd5341fe711ded","datavalue":{"value":"https://doi.org/10.1007/11506676_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458796$62C20AC0-0364-489C-878A-75E90383583D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9a3aaba9353255321cec4fc61bb21b98453bc6f","datavalue":{"value":"W2161053548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458796$34944A69-03FA-41F4-A397-613A8070EA1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849eb5e4a4b646976d95ce9c627200c0da752b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5862302,"id":"Q5862302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c7e0e6252003c8167b8ebc41470a4e449ccf0e","datavalue":{"value":{"amount":"+0.8634414672851562","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":"Q5458796$36EA2CC7-9606-482C-AD9B-57CBBAA5716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49713591421d542ac856c60647732701ed74a86","datavalue":{"value":{"entity-type":"item","numeric-id":4916055,"id":"Q4916055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a564ec90ce77837679da5e2961b2395cbce3bd52","datavalue":{"value":{"amount":"+0.7575021982192993","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":"Q5458796$A3705E6C-B0F2-4176-B770-7FA538AD27D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508b3f50a1bc845a7286cb66a16d7d0f187e3555","datavalue":{"value":{"entity-type":"item","numeric-id":5348913,"id":"Q5348913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e3c1f78801bd180a7adb9e7cfa17309ffea28d","datavalue":{"value":{"amount":"+0.745152473449707","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":"Q5458796$09145F2E-78EF-4B7E-AA5E-B3736840C6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c81f8ebb2cb1f154c18d248aba470585b50f90a","datavalue":{"value":{"entity-type":"item","numeric-id":5195249,"id":"Q5195249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602d16cb829ce79c1ccc80c3a3b4f1342881ac17","datavalue":{"value":{"amount":"+0.7388225197792053","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":"Q5458796$FACC9C82-D3DF-4FC4-857A-ECC2C7326AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c2db78eb099fec5fffc01088eb82dd2c3a9025","datavalue":{"value":{"entity-type":"item","numeric-id":4414391,"id":"Q4414391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36cbb184e01dcefb4032f415ab03a61e939fd6d9","datavalue":{"value":{"amount":"+0.7338711619377136","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":"Q5458796$86D215EF-2A1E-4321-A14F-3DFDB7D06A6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unwinding Conditions for Security in Imperative Languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unwinding_Conditions_for_Security_in_Imperative_Languages"}}}}}