{"entities":{"Q6486045":{"pageid":14064703,"ns":120,"title":"Item:Q6486045","lastrevid":103425410,"modified":"2026-06-06T07:20:43Z","type":"item","id":"Q6486045","labels":{"en":{"language":"en","value":"Verification of the IBOS Browser Security Properties in Reachability Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636417"}},"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":"Q6486045$A09C8D55-262E-4EDD-BF10-E84F9723CBDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"769d440c3237c40fefaab41827dfa6d18340646d","datavalue":{"value":{"text":"Verification of the IBOS Browser Security Properties in Reachability Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6486045$6D41F9F8-834E-4F68-8588-79FE670DAE06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f3c021086b6ad70cf40b593aa0dd22d2449b7d3","datavalue":{"value":"10.1007/978-3-030-63595-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486045$8CD0A3AD-08B8-4832-9B8C-E89218A03B1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9c91656e4fb99e949fd586d1de2461e88c53457","datavalue":{"value":{"entity-type":"item","numeric-id":1671152,"id":"Q1671152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486045$D8F4CC88-22D2-4428-85BD-ED20FD1844AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486045$0F6C342D-3B12-41F7-B628-378522FF1387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486045$CB220554-AF59-4FFA-B20B-6358656169CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"72cc16c9dcf1ed41a19f94b3bbcaff6aee242733","datavalue":{"value":{"entity-type":"item","numeric-id":6486044,"id":"Q6486044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6486045$B77F93C5-8701-4889-A655-3129124B6EB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6486045$EE76FBE9-B261-4238-B461-8BAEC94A626C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486045$42D9C126-A2B3-4061-A0D6-5A482E291F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486045$03680737-657D-4329-9FFD-D3BC0906309D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486045$3CF78197-457D-4274-9F86-B239DEBE01F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e019332abd769ed210fecff1f511e327d716e48","datavalue":{"value":"7636417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6486045$1F5068E9-3BEF-45D8-AAB5-74A01EE8B1B6","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":"Q6486045$EA7AB0CF-C853-4252-A007-0023973BDF5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62914308c0631b8c8027cd93d5a4c76e0e98147","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64d5116f6352d78b7cea411f7295fe8894ef975","datavalue":{"value":{"amount":"+0.7443444132804871","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":"Q6486045$8BE37DEE-7C76-4347-9FD4-5B675894E2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e6439c9ecc37247f435ac5bca7e4bb5111310f","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7af0ce8e9cced9093745b1e5ba3cd3e224fe63e","datavalue":{"value":{"amount":"+0.7094853520393372","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":"Q6486045$14306926-695E-4DB6-8F22-3812FFF77539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953f8808924d93ce3881083fdfc321e5ccc4d9dc","datavalue":{"value":{"entity-type":"item","numeric-id":3025340,"id":"Q3025340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19df6f4bc76ab727a3ed7879742b73d05924486c","datavalue":{"value":{"amount":"+0.703526496887207","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":"Q6486045$594CE3EC-FB5E-4A35-9B84-4FA15C3A8EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f53430be3e63b53037556f228b8559ae84c227","datavalue":{"value":{"entity-type":"item","numeric-id":1671153,"id":"Q1671153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d64bdb6a853e67e4a6cb344e3260baaca2390e9","datavalue":{"value":{"amount":"+0.6996501684188843","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":"Q6486045$CB46652B-389A-40F2-A74F-D13495C05396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26436a96f7d2cf431beb31dc392294cc47579b0","datavalue":{"value":{"entity-type":"item","numeric-id":5134281,"id":"Q5134281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e549b16aaec023add1a81608c111d9ec391e29","datavalue":{"value":{"amount":"+0.6990072727203369","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":"Q6486045$D19F1672-833E-480D-9B3C-28B201D84884","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of the IBOS Browser Security Properties in Reachability Logic","badges":[]}}}}}