{"entities":{"Q7361376":{"pageid":31519667,"ns":120,"title":"Item:Q7361376","lastrevid":105365207,"modified":"2026-10-07T13:35:44Z","type":"item","id":"Q7361376","labels":{"en":{"language":"en","value":"Finite Machine Word Library"}},"descriptions":{"en":{"language":"en","value":"AFP entry Word_Lib"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edc67952cae802a182ad1de12805d8bbeaff7fce","datavalue":{"value":"https://isa-afp.org/entries/Word_Lib.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361376$AC15B850-AA87-4694-A5E2-C457C00EA262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-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":"Q7361376$C16AC79F-66FA-4891-A9AF-F5E8044C380D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"38f444249ba9f7cb7b553e818331345c21aee21d","datavalue":{"value":"Joel Beeren","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$991F6AD9-5C20-4898-A061-0B8ED35D73CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"80a606c47272142f4bc7ee5f50facb8ac96195cd","datavalue":{"value":"Matthew Fernandez","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$B02DCC86-8868-4117-BFCC-DCCCA9786407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"31b819d4a44dddc0dfe2f5e70301764c19f1ca63","datavalue":{"value":"Xin Gao","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$F7D124DA-05DE-4B7F-98FD-23409F001A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"46145f92c416e0014f5972c8ef4f728e7419b9b2","datavalue":{"value":"Gerwin Klein","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$B1E9D6AD-3963-483A-8116-D5B5E8A8C0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9fa6183578d80badfa7cba05e2fcf62073b3650f","datavalue":{"value":"Rafal Kolanski","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$130B20B7-EB99-41B6-87CA-319C3AA536B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3be41d58a3dc42bd83bedffcd1f5904218b2ab86","datavalue":{"value":"Japheth Lim","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$906B6B24-BDE0-4E51-9B38-4F0CE429D348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"ccca58a7196dc8d63484dbd305917c54000c4d1e","datavalue":{"value":"Corey Lewis","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$3E0D304C-8031-430F-86DD-22A80B74B852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"171a34c05dba79f97c000c5609950caa329e3201","datavalue":{"value":"Daniel Matichuk","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$C92DF297-1F1D-40F5-9322-AB806DF5E410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4c15075fe9cbdbb8435df15e8ff3758cb0689396","datavalue":{"value":"Thomas Sewell","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$D7DD1C56-BBD9-48F8-8B17-2F7BA76D1C18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c1e525a3a65be363dd0eb64f4c9a78d112f0356","datavalue":{"value":{"text":"Finite Machine Word Library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361376$D4022925-11BD-4545-8460-C256A39D7395","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f381f8e8817450509da0cc0bc18e986fafd9332","datavalue":{"value":"This entry contains an extension to the Isabelle library for fixed-width machine words. In particular, the entry adds quickcheck setup for words, printing as hexadecimals, additional operations, reasoning about alignment, signed words, enumerations of words, normalisation of word numerals, and an extensive library of properties about generic fixed-width words, as well as an instantiation of many of these to the commonly used 32 and 64-bit bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361376$C2268E0B-823B-4D8A-837B-D903693F9C9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"660effe9ce80c2e2a05477b85c995605acf7273a","datavalue":{"value":{"entity-type":"item","numeric-id":2756966,"id":"Q2756966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361376$B6AC875B-9824-4AA1-94A3-B0DED8478734","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":"Q7361376$113AEFFD-D7F2-409C-A606-F6A523EEF0BF","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":"Q7361376$3469D565-CB0F-471E-836D-DD0BDB86788F","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":"Q7361376$98523392-B57D-47E5-BD87-8A44635DAD22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite Machine Word Library","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_Machine_Word_Library"}}}}}