{"entities":{"Q3296339":{"pageid":3307047,"ns":120,"title":"Item:Q3296339","lastrevid":53767487,"modified":"2026-01-25T16:49:30Z","type":"item","id":"Q3296339","labels":{"en":{"language":"en","value":"Co-design and verification of an available file system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218148"}},"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":"Q3296339$DBBE8C5E-F754-4219-8E72-1DB621D1C98D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6807ecc30a1ff25b9b892c74ce89d83d16f09f6","datavalue":{"value":{"text":"Co-Design and Verification of an Available File System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296339$EF8E275B-8CBC-479F-B382-C986F7DA8713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98d1edf610df03465014e187305e34e551d7d02e","datavalue":{"value":"1446.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296339$D93CE9D2-857C-4701-BDD2-F7D6A29202FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abd9d3ffd2f569e6d86492446acafbc4ac6209d7","datavalue":{"value":"10.1007/978-3-319-73721-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296339$A8EC92F6-0E85-44DD-A374-E32F4F51D0BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"247f8d9d24bd7863f4cbd1ff1b4ec427a6a34a37","datavalue":{"value":{"entity-type":"item","numeric-id":2828280,"id":"Q2828280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296339$429513D1-D1F2-4675-8A51-9C00D614C3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e24c3fdfff04bb6426786023e690bfcf6068d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2828281,"id":"Q2828281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296339$49CB8CE2-5C4D-4B93-9E3B-D4D953E2C65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"481e083b5b2e15e19d949fc5e1d90e5242f02e55","datavalue":{"value":{"entity-type":"item","numeric-id":362582,"id":"Q362582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296339$95CDC8FB-3166-4265-B2EC-AE2F63CBB1EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296339$5DA26746-18E5-4837-A0F9-69B26259D2BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296339$5ED98C10-CD9F-43B0-BBB0-D6FAF638A5EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d149fc885df200441e298513980caf0bcfbdf1bc","datavalue":{"value":"https://hal.inria.fr/hal-01696263/file/VMCAI-2018-filesys.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296339$9DD66958-C868-44D6-8781-F16B43BB9486","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296339$24B52C9C-C7A0-4BEF-B530-6DED8F9E69FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296339$05604248-1242-42F6-A3AB-5725B31A0CF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6e5ced09572740f1c8a5d4357ef0faecfac4526","datavalue":{"value":"7218148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296339$9B99F520-3D24-4C56-9568-F80C2D187D92","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":"Q3296339$3D13F459-5284-4649-A930-344CA74D9634","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9585f91b79d22d77670dd2656b05f572a4be5449","datavalue":{"value":"W2775924136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296339$3DFD215B-9C63-465A-A7E4-BC49DC423FA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0ba0904ee8889d7391d855e7e890de916061e8","datavalue":{"value":{"entity-type":"item","numeric-id":3526923,"id":"Q3526923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d011d9dc42c09639962defbc6554f85acd0bfb3e","datavalue":{"value":{"amount":"+0.6662377715110779","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":"Q3296339$FABFCBD7-93CA-4CEA-8739-41836EC23D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65528eba5ade7db92b6e81df449b6ff7bc10588e","datavalue":{"value":{"entity-type":"item","numeric-id":3613061,"id":"Q3613061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2e3c86beeffa79bf25834ac7bddf7355ad7b61","datavalue":{"value":{"amount":"+0.6649243235588074","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":"Q3296339$81ECF9FE-F7D3-42C7-A41C-DAA976932910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a6af207576128f1cb824b42f378b5086130701","datavalue":{"value":{"entity-type":"item","numeric-id":5261538,"id":"Q5261538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb351095416a4a2a7ab4d7c921436add48eb2f09","datavalue":{"value":{"amount":"+0.6586455702781677","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":"Q3296339$590EA908-7DD2-419D-B7CD-A5FCC0759793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6abda3a5b47f1401c6051845d5ade0925b85b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":5714459,"id":"Q5714459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedfb7b2640cfc1434204a91fac9fcceab246c4a","datavalue":{"value":{"amount":"+0.6509101390838623","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":"Q3296339$B02B4E6A-689F-4639-8BAD-766E6BFE9A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d74575d9dda513fb4dbf73a5150199c97ecf843","datavalue":{"value":{"entity-type":"item","numeric-id":432156,"id":"Q432156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93939110895db81f92f0ee275227921c3d89d76","datavalue":{"value":{"amount":"+0.6505790948867798","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":"Q3296339$AE6F1866-45B9-4D33-9DF7-2C37BB85A945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3296339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3296339"}}}}}