{"entities":{"Q7361366":{"pageid":31519637,"ns":120,"title":"Item:Q7361366","lastrevid":105365153,"modified":"2026-10-07T13:35:44Z","type":"item","id":"Q7361366","labels":{"en":{"language":"en","value":"Finite Map Extras"}},"descriptions":{"en":{"language":"en","value":"AFP entry Finite-Map-Extras"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db37e607744e428b2f7462648e5dbb2dffcf9d79","datavalue":{"value":"https://isa-afp.org/entries/Finite-Map-Extras.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361366$30AB0F73-52AD-47E6-B223-225AEBB8A45B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0163f8e6677e49732de512ceb92368b6cf6a6ee5","datavalue":{"value":{"time":"+2020-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361366$39EE6CE2-D081-4E03-9225-D68C3BA74972","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85f2c26a9869ad8fc1011885f090f0c55ab8d3a3","datavalue":{"value":"Javier D\u00edaz","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361366$5776516D-382D-4531-89D5-B083651C4410","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f4d34e12cbfbd57824047e89edf0286b344ac2f","datavalue":{"value":{"text":"Finite Map Extras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361366$1A7CAEB5-FA50-4E2F-B9DF-A3E85956FF11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc23d6fe4bfc0069743edb18bc71bbae9ea5b9dd","datavalue":{"value":"This entry includes useful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard Finite_Map theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361366$A4DFBD5C-65C3-48CC-8A5A-414344513205","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":"Q7361366$5B82A0A0-3AA7-453F-B140-78C06D691EA1","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":"Q7361366$9F98B0EC-73A7-4C6E-B449-F1C888F3BB36","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":"Q7361366$2C041F41-A0FD-43A2-B085-28C8C17A1DA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite Map Extras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_Map_Extras"}}}}}