{"entities":{"Q2038034":{"pageid":2048776,"ns":120,"title":"Item:Q2038034","lastrevid":54041849,"modified":"2026-01-26T03:46:05Z","type":"item","id":"Q2038034","labels":{"en":{"language":"en","value":"Separation logic-based verification atop a binary-compatible filesystem model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370050"}},"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":"Q2038034$32560E68-B3B1-493C-92D0-35DE2AA63E9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91b649f255c683f6cb05c7ab8becffc52ae0dc38","datavalue":{"value":{"text":"Separation logic-based verification atop a binary-compatible filesystem model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038034$EB2C0838-C66D-4A70-8898-E9C440CA95A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a393e6d375357bb8704b9e38329d9d64e90ce1d","datavalue":{"value":"1475.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038034$B7065E08-4CB7-47AA-994C-0CB9AD6A274D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83658756b1bb2044ae443b72d55e4cc7dc6035ab","datavalue":{"value":"10.1007/978-3-030-63882-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038034$EEA633FF-C874-48D9-9363-31F9CB5E29CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da31a96ca2e1859db2a78e27c3e7835b0f5e570","datavalue":{"value":{"entity-type":"item","numeric-id":2038033,"id":"Q2038033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038034$DF1257D8-D583-40B6-989A-002996703000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0b4973efe17610d1282ef6c45c1a9f8b28d1793","datavalue":{"value":{"entity-type":"item","numeric-id":935475,"id":"Q935475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038034$04D689A9-1FDB-4F3D-90A5-DA855F8C0A00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2038034$3DEE7C8A-1EC3-4854-B546-BF5ED9F8AF05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038034$6B73DE0D-3118-450C-BB8B-63CC78C98710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038034$B7CC3152-DADB-4D92-9C43-569E2F034C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038034$F003D7D9-496B-47A9-A45B-4DB63765157D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb2a5066ae42461e83c3fbfc58cdf56da44847db","datavalue":{"value":"7370050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038034$A80A0E80-5E8B-40E5-AD8A-1B7CE543C38A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386ac953c10596e33df4ffeba933f1141fc70cd1","datavalue":{"value":"filesystems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038034$5B491F7B-59A6-4104-BF91-AD53567A5D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038034$EF502089-B2D9-450F-AAD4-ED4F1F8DE95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038034$649B4D9F-FE2F-493D-AE60-FE98525CBCC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038034$231F8DDF-D108-43DA-89FC-07ED1593A1D1","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":"Q2038034$41B64739-2DC7-4393-A357-C3FF08F45CE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af0cf1b2b79c2b4c4c75d773fdf1096c769e7286","datavalue":{"value":"https://doi.org/10.1007/978-3-030-63882-5_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038034$63C4401D-A25A-45AC-A63F-D80D32FA8BCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b1a3ead35b56d69b950c6319a6f06eb63b387cd","datavalue":{"value":"W3109504427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038034$040B7588-BBFF-42B5-8A4F-158DEA27A489","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289cfc315d89d7bf1c9e9330ee535a75da31b393","datavalue":{"value":{"amount":"+0.6929152011871338","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":"Q2038034$AC563DE1-4D8B-4AB6-9D0A-4C29E36EF2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b2af2f6ec3f11430690519da20467a939786bb","datavalue":{"value":{"entity-type":"item","numeric-id":2643130,"id":"Q2643130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02877444e1c094018758830c18656419bb3f3d0","datavalue":{"value":{"amount":"+0.6874366402626038","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":"Q2038034$E2EF45EB-8158-4638-BD3C-DA79F6BD58B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa465297c13a271159d6cebb3e70231e65d81ba","datavalue":{"value":{"entity-type":"item","numeric-id":5041105,"id":"Q5041105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3129e56202c7272b0536fa697ae2620baf9007","datavalue":{"value":{"amount":"+0.6845504641532898","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":"Q2038034$7FCE0DB3-597D-4360-ADE8-4704CFFBB7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e016c36edcd3a33eb45bd670c7736707a0de35","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec121ae7d551498b35ccdbf1a569647a4bf0426d","datavalue":{"value":{"amount":"+0.6800024509429932","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":"Q2038034$9C346D0F-CFCA-45E5-92F7-D5B37C1388C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea93506793d7ae3e9f100eda6c9ed8d96448d9b1","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cb515d39f19a497787c7a7cf81e096f117dfa9","datavalue":{"value":{"amount":"+0.6783151626586914","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":"Q2038034$EDBEDBBA-CE44-419D-BEE4-C89CB7C59C62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038034"}}}}}