{"entities":{"Q2994491":{"pageid":3005215,"ns":120,"title":"Item:Q2994491","lastrevid":52585286,"modified":"2026-01-23T01:17:01Z","type":"item","id":"Q2994491","labels":{"en":{"language":"en","value":"Formalizing a hierarchical file system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608403"}},"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":"Q2994491$E39813D5-789A-4873-A416-937231E3BC98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d578ee66075f0f933ac26464f9f73ad38a8ca2ec","datavalue":{"value":{"text":"Formalizing a Hierarchical File System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2994491$8E58F312-392D-45B9-BEA0-756718F60853","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68087316b091710d5e92775f3092e2b6e729bbe6","datavalue":{"value":"1342.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994491$2F313BC9-B5D7-4758-9E34-9E23948E5872","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$7EAA3969-8DC1-483A-A5ED-3EA62B04236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8235101a54f7e7402870ee698bf1e71ba0e0e4","datavalue":{"value":{"entity-type":"item","numeric-id":243966,"id":"Q243966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$B3380DC8-006F-4F97-8860-159BB3C6BB8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$1D7ACDDF-F105-4CDC-B727-DF6646558BC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2994491$C71C8579-74B7-4143-AB22-5F69DC831C65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994491$04EBA35D-D09F-47C0-B3BA-316F5A6F8D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994491$06EBD362-AA96-440F-884F-ABC9EAE390B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994491$1604A341-DBA4-403B-9792-507AB03400A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d58b97020524c9060c1558ab6ef2242312e170","datavalue":{"value":"6608403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994491$8B257E9B-7390-43D6-B203-D9DDC602B584","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509d2b02f2fd4c2b0326eef378e1877d8fd581a8","datavalue":{"value":"file system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994491$D494E5DD-1817-461F-808A-38DA3F085EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994491$08D788B5-7C77-4981-A676-16AAA2674169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994491$2C0646E9-F239-4107-91A5-EE16E946FB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994491$DCB5B73A-1C66-46CB-AD94-398F55EAD3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8cefd5354a8387d0d995a691a5fd3de0f7b4ec","datavalue":{"value":"permission system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994491$2508F840-CB5E-49BF-99F2-42C64B41485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994491$0F2ED550-F0AE-45B8-96DB-BB761A627F5E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$5108B577-E680-46C8-840A-A80EED7D5D12","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":"Q2994491$C9D55D0C-0503-4E70-ADE0-7B407D788102","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a689aef19b9a34dfb53f2254bf6430b7fb47f09","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.12.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2994491$6FC7E496-3DA1-4291-8D54-311E7811D922","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"330e4daf8b93a238d679872c47e676b8a06c3e9a","datavalue":{"value":"W2139015511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994491$6E9AA3A4-A371-4FD5-832A-A4EFEB73122A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$5F2EF002-116D-454E-8A25-B0DDFEAC38E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"097beafc05a97f0c4e666d19252acf96b5d4d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$DF5F4687-BC3A-4865-AEA6-3F096AA104B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc8eac40142f19f8a0519a932eaf2be5e0ba0e6","datavalue":{"value":{"entity-type":"item","numeric-id":2643130,"id":"Q2643130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$89B9FD31-41CD-46AC-9E8F-542A84BF6ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398d44412f4db1adf75a492fb0d957243a508bb2","datavalue":{"value":{"entity-type":"item","numeric-id":3314973,"id":"Q3314973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$13FBF86C-33F8-456A-849E-B68C44A5346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399da09cb148df17bed8bb8c65504e4a8b89345d","datavalue":{"value":{"entity-type":"item","numeric-id":1004296,"id":"Q1004296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994491$CE02B3EC-6E22-46A6-8622-488E5E04D4AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbce725f7b6993517ebf0f2faff719673fa58473","datavalue":{"value":"10.1016/J.ENTCS.2009.12.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994491$BAE39509-2BEC-44B2-9C65-5ED7620B1616","rank":"normal"}],"P1643":[{"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":"53bcd49c57697a379db55d8556b5f61661c37c0d","datavalue":{"value":{"amount":"+0.971451699733734","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":"Q2994491$FAA64F01-B197-403B-ABA4-5BF5AC56D9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34754e59ece8ec9b13334c1a8444fdaa14c59bde","datavalue":{"value":{"entity-type":"item","numeric-id":2767127,"id":"Q2767127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dd69d1619c8cb4fb6ab64c42e49f208619b2f6","datavalue":{"value":{"amount":"+0.6941010355949402","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":"Q2994491$82786D0E-1C5E-421C-AA73-2D2E8593A0DC","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":"81eeef9c1627a5eb9af3f86f0056a584c4dced81","datavalue":{"value":{"amount":"+0.6713709235191345","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":"Q2994491$3702EA13-DACF-4C95-B4A4-131C5469DCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d5d07b7d279148d5656a0ac681ece570e05dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5195286,"id":"Q5195286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c931a78adaff4f53ff1927692f553c0cd3316e1","datavalue":{"value":{"amount":"+0.6711440682411194","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":"Q2994491$1977D4F3-7968-4D44-ABD5-A1476235D666","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":"6ddd8bcdf66f9183e1f8f0dea204de94eb232456","datavalue":{"value":{"amount":"+0.6680387854576111","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":"Q2994491$6FDBDBF9-E11C-429A-BD2D-BBCC7EB676E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2994491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2994491"}}}}}