{"entities":{"Q7361390":{"pageid":31519709,"ns":120,"title":"Item:Q7361390","lastrevid":105365318,"modified":"2026-10-07T13:35:47Z","type":"item","id":"Q7361390","labels":{"en":{"language":"en","value":"File Refinement"}},"descriptions":{"en":{"language":"en","value":"AFP entry FileRefinement"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7adc6ae04bae80d2e04b5bb94768c3b363ad0c4a","datavalue":{"value":"https://isa-afp.org/entries/FileRefinement.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361390$294EC5F4-D810-4531-B96F-0FEAFD25F3FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0548996eed8e357f952096652a6209fb1d4b7f4","datavalue":{"value":{"time":"+2004-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361390$AC14E5D4-1E6A-4C1A-B37E-FC1D7F116DE0","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"03275a5647657a6a9d28a572045ba56c155da5ec","datavalue":{"value":"Karen Zee","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361390$5D922837-2BE1-4F65-8281-AFB40F5E4082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"91b66eaff113d5b6f84c36e1f83875bc096b67c1","datavalue":{"value":"Viktor Kuncak","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361390$9142C865-D425-45DE-9FFD-635B6A532327","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"481f413beaee94d969ded2b0d4dc250fce1bb585","datavalue":{"value":{"text":"File Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361390$0737B092-110C-4238-9296-A7405AE7B149","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f38afb4f3a5a3f70e4ecd28d3efe40862724994c","datavalue":{"value":"These theories illustrates the verification of basic file operations (file creation, file read and file write) in the Isabelle theorem prover. We describe a file at two levels of abstraction: an abstract file represented as a resizable array, and a concrete file represented using data blocks.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361390$03EA3C00-1605-4631-AD2F-1C508A5BE5CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361390$EA0DF8CF-EEDD-48B2-A65E-BF6F5A04DA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361390$57E15B3C-45D2-4F7B-BF32-73AA21A6D280","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361390$C5EE92D5-D1EA-48D7-A024-CAEE4B93C2AF","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361390$6F3AE7B5-2B01-4331-9120-5BA5F71F34CE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361390$39FDCC47-8AEB-4CBF-AFFB-24373A35A30D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"File Refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/File_Refinement"}}}}}