{"entities":{"Q2117600":{"pageid":2128343,"ns":120,"title":"Item:Q2117600","lastrevid":43521855,"modified":"2025-07-30T14:00:30Z","type":"item","id":"Q2117600","labels":{"en":{"language":"en","value":"Flashix: modular verification of a concurrent and crash-safe flash file system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495063"}},"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":"Q2117600$04927EF1-7656-46C7-9428-AEE03F9172A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fa64b3815b7cbbdb223afaa128e14d1b2b0d6e4","datavalue":{"value":{"text":"Flashix: modular verification of a concurrent and crash-safe flash file system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117600$E5234369-CF41-490E-A575-BE0035119AA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"694bc15ed244f78f5adcf67485b19fa9625fe580","datavalue":{"value":"10.1007/978-3-030-76020-5_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117600$A422C377-41AD-46DC-89D0-1D1606983C08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a80a6714f589c177f14c3b70034e2c7785f638","datavalue":{"value":{"entity-type":"item","numeric-id":2117598,"id":"Q2117598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$4827F8D0-8686-4E61-80FA-D1BBC69D8CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$3820DD00-DC3E-4890-8FC9-F57F97A3FD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17c9fbbc7925cc82a9dd25a17510e72a6d365944","datavalue":{"value":{"entity-type":"item","numeric-id":2117599,"id":"Q2117599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$28F1FD55-6262-4BBD-A367-D959D47B7277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$E4BCC55B-DA7A-4717-A555-F30C6BF3FE35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-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":"Q2117600$4224B447-D1FB-4A3A-B461-951C80057D98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f1b4e91a4dcb051a9efc864dc595188253dc712","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/87303","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117600$19D856BF-3192-4BED-831A-44D81EF6321A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117600$19F3591D-E566-41DF-AEF6-7F4BB835EA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117600$DE58E34C-283E-4FF4-8D5A-188CCE013819","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"667b325bc5f34db71a7f170e03125daf96f5f7cf","datavalue":{"value":"7495063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117600$EA1795A3-ABB9-4242-BAF1-178F2737A003","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$096799BB-47C3-435B-8E38-8E4C04F3D0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4b6f4b7a48cdf456c9938aef3c0d6283e57bf6f","datavalue":{"value":{"entity-type":"item","numeric-id":25828,"id":"Q25828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$82FF220C-50EF-4732-84A9-BBE7BB7E126A","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":"Q2117600$FD19443C-282F-4ACB-9345-A56D4F80ABDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b67cdb4dd93cd8091ede45c729e84b44e4e89240","datavalue":{"value":"W3166142592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117600$BD3FBAEC-1BDD-42F8-9333-F1718AB60618","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$2089EE03-5956-4071-9BC2-02B40C725FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4466e8aa487a593ea921901360c37b590839a89e","datavalue":{"value":{"entity-type":"item","numeric-id":1982636,"id":"Q1982636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$17B9EC95-B6FC-4239-89B6-7ACC6C983667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef08ce0f6a92f1d79d16ab6cdfd62d2d7e7e612","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$D3746B51-F154-42A8-A531-9DE0B2169996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce85ed64aa6e3bb3be37240176665ec5968eccf2","datavalue":{"value":{"entity-type":"item","numeric-id":4839029,"id":"Q4839029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$BE82DFFB-BF4B-43EB-A093-7546C48CDC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$30E8E64C-F32F-44AE-8570-D5A1A3C9CD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efd5b02cb50e5d746415123fd168fbf1accbe78","datavalue":{"value":{"entity-type":"item","numeric-id":5302139,"id":"Q5302139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$A3236598-1C1B-4E73-A146-81610252C30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a73e45d8a02c02a1a7e4eee577edcddc70f907","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$7247DA03-0F4E-4F01-A638-4BD04FAF7B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a437b3debfc6e39e14adc5ae5b77545ffa37fb","datavalue":{"value":{"entity-type":"item","numeric-id":5261501,"id":"Q5261501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$DCFDA3FA-2C4B-4656-8AF2-0063B7204A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$C8D3780F-1BA9-4DD4-9BAB-6CB91F555AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6d1f02d1dff7e0706b804b37a3cfa574fb6579","datavalue":{"value":{"entity-type":"item","numeric-id":2982005,"id":"Q2982005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$A0D328DA-0F92-4F72-A1D8-288F8C851009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d761d81a5a82c266b822dd00556b7a4ff57c359","datavalue":{"value":{"entity-type":"item","numeric-id":5403462,"id":"Q5403462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$3C7CAB19-99D0-4120-8A7A-B84B35B634B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1502ae2bd07e62b3e44b4e1b5d5bfa15055a9895","datavalue":{"value":{"entity-type":"item","numeric-id":2702600,"id":"Q2702600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$06248FA8-AB92-46DE-A875-90AFC1F481B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b52d32cf493a9d30541eb43bfe81d2683002f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2251128,"id":"Q2251128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$05B087A1-2426-4667-B92F-141D771F94FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$BDAC7FFF-6199-4535-81BF-FE62EB09DC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c78eba5e5fd5c0a92eed25371302058474624","datavalue":{"value":{"entity-type":"item","numeric-id":5313002,"id":"Q5313002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$8A43C8CF-40A7-4D10-8B0A-2E13140C50FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117600$AD67D9EB-467C-4E32-AC9D-C8232D7034A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117600"}}}}}