{"entities":{"Q7361163":{"pageid":31519028,"ns":120,"title":"Item:Q7361163","lastrevid":105363524,"modified":"2026-10-07T13:35:01Z","type":"item","id":"Q7361163","labels":{"en":{"language":"en","value":"Native Word"}},"descriptions":{"en":{"language":"en","value":"AFP entry Native_Word"}},"aliases":{},"claims":{"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":"Q7361163$5B61E881-1466-4A30-B212-2685C8862903","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":"Q7361163$BC4EBF03-FF1B-4247-AB90-BFDA6FB72655","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361163$E8665974-1BE4-48BB-B497-864AEC0FCAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361163$990DEBAE-BFFE-4A14-8B23-1DD0640E731B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f9c206d15bdd59456cc6299d023cc85eb4ab5cb","datavalue":{"value":{"text":"Native Word","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361163$E1FA4B20-0172-4EAE-8940-9AA7A3203EBC","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":"Q7361163$42DFD5A7-92FE-4C3E-BAEC-E8CD70BDFA0E","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":"Q7361163$00A6A5A8-415C-43A6-8D1E-D2C66D19DE23","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":"Q7361163$654B8301-1311-4DFC-88C8-B146A17A859A","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":"Q7361163$F1646B87-56E0-4B06-9551-58D2C777C465","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":"Q7361163$B956F169-7466-4CC1-AE5A-4C1CEC111676","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Native Word (AFP entry Native Word)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Native_Word_(AFP_entry_Native_Word)"}}}}}