{"entities":{"Q2643130":{"pageid":2653873,"ns":120,"title":"Item:Q2643130","lastrevid":50150780,"modified":"2026-01-13T06:57:53Z","type":"item","id":"Q2643130","labels":{"en":{"language":"en","value":"A mini challenge: build a verifiable filesystem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182240"}},"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":"Q2643130$699DA3AA-2F44-4E15-8174-39239C477685","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1dbb888287d46a9e4ad7a661ff9804b12491047","datavalue":{"value":{"text":"A mini challenge: build a verifiable filesystem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643130$A59A316A-65BE-4134-BD97-82CCBDE957F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71157b298f0e770abb571a5574b4e927f201941a","datavalue":{"value":"1123.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643130$15CF2AF6-42E0-40B4-A0C3-0CDC56DA3323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6f417f09c985107129e25aec6563cc542c4012","datavalue":{"value":{"entity-type":"item","numeric-id":457248,"id":"Q457248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643130$ED80B7E1-9DCE-49DA-9AB0-16A6D4E1D0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"014c09e7b90e04a7c11fd7dd1957177e28b3dbc8","datavalue":{"value":{"entity-type":"item","numeric-id":539427,"id":"Q539427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643130$542D5CEF-D7C4-4D02-8212-5FEB37E429C4","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":"Q2643130$3FB9D46F-AB8B-4291-BE9E-B9963AD17BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643130$4275688E-2904-4E50-95D3-19ADB658E363","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643130$E165438F-D601-4438-9048-19F10F2FD249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26981bc4f1d19ac3cb32dd0cf6a8de62a5798f6e","datavalue":{"value":"5182240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643130$DFFFD505-9FA6-47D8-9963-576E88AF3864","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d091c5510eba3178ee609190c9404ab59baee4e","datavalue":{"value":"Verification grand challenge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643130$6EB2685C-3E20-4E24-95B6-2474BF227439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201e23d1ddea982054a08fdcc9bef1cbb415545c","datavalue":{"value":"Filesystem design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643130$64736382-B877-4644-BFE9-EE5DE39FD27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf9c2b5fcd46606db43506dc4d0fb69d64da19","datavalue":{"value":"Formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643130$E2925B10-46EC-437A-8627-EC650736E977","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":"Q2643130$BEA93A64-B70C-4BE6-8C9F-39A59427CBD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bed54d960b0a1249c5126b3f2eea7e083e5e75db","datavalue":{"value":"https://doi.org/10.1007/s00165-006-0022-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643130$B18E7B62-1B01-4E8E-8AEF-A6199A3B9A56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a2c088d586d65dbaf7357292053baf37d32f567","datavalue":{"value":"W2020395879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643130$598A9BED-8583-4D6D-8714-B0B7DE794B50","rank":"normal"}],"P223":[{"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":"Q2643130$C86E3864-1D0D-4D78-A39B-3644DED0F497","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":"Q2643130$2A2DB97C-50D5-42B7-B4D5-CB4A3AFB2B0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efa6b83435b0e9c1f6f86a230e5d81f120e64cf1","datavalue":{"value":"10.1007/S00165-006-0022-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643130$2D3308DC-83B0-4FAD-985E-240524CDFCAB","rank":"normal"}],"P1643":[{"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":"d8ef73fdc78bcc3d70f728e7be3e1800784d88cf","datavalue":{"value":{"amount":"+0.7060974836349487","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":"Q2643130$98A2FD41-7336-4347-8F08-6BCDE768DD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff7620bbd20fbd19a29d6e27296025883329ff6","datavalue":{"value":{"entity-type":"item","numeric-id":2038034,"id":"Q2038034"},"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":"Q2643130$10CA65B4-4719-4089-8CA5-F6E691BDC7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e5511c15d878b2757b1c0d41fa1af2be59fd32","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a866dd2ac89df318da0358bf70ab56b97515d05a","datavalue":{"value":{"amount":"+0.6868400573730469","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":"Q2643130$4E1DB374-B10D-4FBF-A047-6FA01D3C89FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe80e0b9b7a486eedb880cec43410b3d0694a0c","datavalue":{"value":{"entity-type":"item","numeric-id":1004295,"id":"Q1004295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1d0eac33ad93c5e1f8770be3feb33649a6adeb","datavalue":{"value":{"amount":"+0.6690844297409058","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":"Q2643130$5E7D0860-C89F-4DA1-9855-1FEF5BE3EAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e731b1ab1d24a7e831d6e96e139492400c47f7","datavalue":{"value":{"entity-type":"item","numeric-id":5711511,"id":"Q5711511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bee67fdaf30c19fd3b52d80f82ce64d72c54874","datavalue":{"value":{"amount":"+0.6536084413528442","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":"Q2643130$083C0508-7B10-4DD6-BD0C-06B6214B433C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643130","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643130"}}}}}