{"entities":{"Q40630":{"pageid":40686,"ns":120,"title":"Item:Q40630","lastrevid":105427910,"modified":"2026-10-09T10:08:40Z","type":"item","id":"Q40630","labels":{"en":{"language":"en","value":"Native Word"}},"descriptions":{"en":{"language":"en","value":"AFP entry Native_Word"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"8c93fad162f94b64daa4fe3af3d7681d394e1604","datavalue":{"value":"28916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40630$14606CFB-330D-4B5D-ABF6-664E259A47FA","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":"Q40630$BA3536A2-77C7-4340-A318-8FBC597BCE62","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"77e4e869d4067c8f58e5d684ce3ffbe601a81373","datavalue":{"value":"https://www.isa-afp.org/entries/Native_Word.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40630$263D253A-DE19-40FC-B38A-F56A957B5C53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40630$DBAC7E52-ED4C-4DCB-B777-14CDDFA3F627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40630$AA95D98A-3A54-45BA-91A4-D342C226AD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d524cbea14b3375266fe3893cb26a33f13ae791e","datavalue":{"value":"5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40630$A0E96A3D-A3F4-4B49-9A46-1CB5FB8A0B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40630$210D8C08-67AD-4020-91D2-21A86EDAAB89","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$66DFC032-A2A1-4849-97D8-A3F42AE44AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a5226fd137c2167e439294ca4cdc09da6fe13411","datavalue":{"value":{"entity-type":"item","numeric-id":40324,"id":"Q40324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$6C1C1680-9453-4B58-BC31-7632EFD2BD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$90369C2F-22BB-4340-B5F9-1F3F69463E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$C5F1EE8C-CAE0-484F-B025-5B8412DE8AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"643be13c947e04b013d9c437afc8010ce42f0505","datavalue":{"value":{"entity-type":"item","numeric-id":40292,"id":"Q40292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$55BB02E9-1DBB-45B2-AACF-6C0FD73816C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$782B48A3-F4A6-4A5D-8257-85CCE09C42D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac6e4b2309e3317f96b1f72a4f626411283f5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$1E67BE8E-E9A7-41EB-AA97-35C84C383E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$94169F84-4EFB-4C14-8E9E-EBB8B89A60CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$FFDB3120-0401-4B48-8648-7E759077BEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$665018DB-5527-424B-B40F-D84CEF1DFFA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a914ba509b11470df5f5b5c3196149ce0822ed4b","datavalue":{"value":"https://isa-afp.org/entries/Native_Word.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40630$67C55BE9-8DDA-4D44-9ED9-48E89952A17B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40630$F02C1F0A-01EE-4A10-ADC4-88FF9AC2C55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q40630$A7B16F13-065C-4556-AA74-267C0604CCBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d068cf601c715442ce17f6da865499ca9baf6573","datavalue":{"value":"This entry makes machine words and machine arithmetic available for code generation from Isabelle/HOL. It provides a common abstraction that hides the differences between the different target languages. The code generator maps these operations to the APIs of the target languages. Apart from that, we extend the available bit operations on types int and integer, and map them to the operations in the target languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40630$1186B2C2-A83B-4702-9EEC-71EBA814654D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40630$12FD8FC9-A46B-4BC2-ACE6-769C39A79CD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f9c206d15bdd59456cc6299d023cc85eb4ab5cb","datavalue":{"value":{"text":"Native Word","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40630$D5CCB3C5-6F93-4EAD-A1FA-0D7C8EB882E6","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":"Q40630$1AF5C8CE-182E-44B6-BB7E-68DD3B3A0357","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"e63516e58241acf42ac71681fd6610456ac84f3f","datavalue":{"value":{"entity-type":"item","numeric-id":7361376,"id":"Q7361376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40630$FA715DED-B9B9-43C5-A0B9-2C3FEBA92BFC","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":"Q40630$50BDD9DF-BA71-4E16-B585-52F18DC26DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Native Word","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Native_Word"}}}}}