{"entities":{"Q432156":{"pageid":433923,"ns":120,"title":"Item:Q432156","lastrevid":61872504,"modified":"2026-04-11T02:14:04Z","type":"item","id":"Q432156","labels":{"en":{"language":"en","value":"Formalizing a hierarchical file system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052560"}},"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":"Q432156$81625E9B-83EA-4E01-ABDA-DBE80AC29A1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f54fca794ab54a913a34c1cf97aecba8b9aaebc","datavalue":{"value":{"text":"Formalizing a hierarchical file system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432156$26CCE22C-200E-404A-A508-D760F1654086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49962bb619f43d1ea13c457686c5217c444418f1","datavalue":{"value":"1242.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432156$2F92FDEC-ECFA-48F5-83DB-4784EDC77886","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":"Q432156$A75203D5-72C6-42A6-A2CD-CE69BAEF5073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2588447be048906c8ad0cc3c501b6ca912be45e","datavalue":{"value":{"entity-type":"item","numeric-id":432155,"id":"Q432155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432156$3D4C195C-C983-43DF-8DDE-77CFDC1E9144","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432156$21736AC6-932C-4255-8404-50D54F8B2996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q432156$DEFA2EAA-F71B-4E0F-AA91-A5608E6225BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432156$98FC3776-3ED3-4762-A071-B7A7DD5BE2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432156$DCB36398-A896-4E44-A5FD-3AB83494A852","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f9b52272f430cb39ad6fdd770bb27c1e24d1242","datavalue":{"value":"6052560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432156$99E9E516-EBA1-4519-ACFB-74E6FB17F92E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509d2b02f2fd4c2b0326eef378e1877d8fd581a8","datavalue":{"value":"file system","type":"string"},"datatype":"string"},"type":"statement","id":"Q432156$4F55E85E-8125-4506-9ED4-60C9FD2EFEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q432156$9CD8A2E6-3082-4C4C-BD2C-6866A90589DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q432156$0F9ABFE4-B7E9-4DDC-97D0-18ED3E0103B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q432156$F114444C-616A-449F-8E81-513C96A1309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8cefd5354a8387d0d995a691a5fd3de0f7b4ec","datavalue":{"value":"permission system","type":"string"},"datatype":"string"},"type":"statement","id":"Q432156$61A2CDB6-C900-4314-813C-3DDDA3DED685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q432156$212E65DD-7A3C-4626-8660-32E21004A3FB","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":"Q432156$8207EDD6-C7D3-49CC-8A6B-F7789C6B789B","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":"Q432156$302312A8-770D-4DFE-8442-EC7A2931F162","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0471f3afca10fbc158be3c7223f245ebd2f856b9","datavalue":{"value":"https://doi.org/10.1007/s00165-010-0171-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q432156$96A1F1F9-0999-4BB0-8E2C-22362E7AF7AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e4634351d7bb0c1e3c218abf57b5099b8832c24","datavalue":{"value":"W2065725913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432156$41876AC4-B1C7-4B93-AFD3-D8D46D526740","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49facbbc93098a02501b362ccddfb363ce1276f","datavalue":{"value":{"entity-type":"item","numeric-id":1004295,"id":"Q1004295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432156$B6B593C0-5725-4E75-8AB9-FA2761B89B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e6f00fe85e5cf392eb428fe128700ba8786eca","datavalue":{"value":{"entity-type":"item","numeric-id":1124317,"id":"Q1124317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432156$FC79B838-2862-48A3-905A-E12435AE7962","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":"Q432156$430CD47C-3BDE-453C-8EE8-4C3EF3BF2704","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":"Q432156$3B18740D-DC4F-444A-84ED-21401120DB61","rank":"normal"},{"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":"Q432156$88C212AA-1709-4EAE-98CE-145B867A6E0B","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":"Q432156$EC84D416-6C27-45BA-AF34-029AAC30CC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37b23b7db99d33ba41b8c893bcac4aca2de8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432156$F1AB1ECC-5538-48F5-A1C5-3C1DB32537AE","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":"Q432156$7C9075D1-220E-4AD8-8256-7D372AA4F366","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee2947e508886942f01296327aa5129561da442a","datavalue":{"value":"10.1007/S00165-010-0171-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432156$BE54FCEC-A381-42EB-A8EF-132E43BB8DF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b091afc21264a12eae69e4f60fbe967e84eb8875","datavalue":{"value":{"entity-type":"item","numeric-id":2994491,"id":"Q2994491"},"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":"Q432156$A2707262-281B-4C8F-9D62-033A8F77E337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68eac9af76447b305b35b7b74fc1a0677e3894da","datavalue":{"value":{"entity-type":"item","numeric-id":1004296,"id":"Q1004296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217ea6e69f8b4173a9d624c2b89e297a5cdf03e6","datavalue":{"value":{"amount":"+0.7004528045654297","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":"Q432156$916B14F6-4148-4852-B7DF-406020A09446","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":"e90d0172d4039b217854d50980b62bcf5626298f","datavalue":{"value":{"amount":"+0.6817776560783386","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":"Q432156$CF695655-BEAF-4667-8B7C-455BA3123D21","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":"087ebf5607715fab42f05f288e832329d6ecdc9e","datavalue":{"value":{"amount":"+0.6791001558303833","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":"Q432156$BCC30264-1713-47DE-88A7-D354A7A89716","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":"f6b2d711f76fa2ca64c43367e3d9f52a1b523838","datavalue":{"value":{"amount":"+0.6789326071739197","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":"Q432156$F19A3370-B72D-4A8A-A984-A448D421AA77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing a hierarchical file system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_a_hierarchical_file_system"}}}}}