{"entities":{"Q7361292":{"pageid":31519415,"ns":120,"title":"Item:Q7361292","lastrevid":105364598,"modified":"2026-10-07T13:35:22Z","type":"item","id":"Q7361292","labels":{"en":{"language":"en","value":"Power Operator for Lists"}},"descriptions":{"en":{"language":"en","value":"AFP entry List_Power"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c8f721591a3a2ed918ce381ef3480ce072df321","datavalue":{"value":"https://isa-afp.org/entries/List_Power.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361292$DC3E2E20-4E07-4485-8825-05CD726CE65C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b213abd4c76fb70459079a4893a65835a8bf9fcb","datavalue":{"value":{"time":"+2025-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361292$D0F581C4-6FFA-412E-A813-9559A677E9B9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"085865edf97a98215beb337f6896cdec46d2b6d9","datavalue":{"value":"\u0160t\u011bp\u00e1n Holub","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361292$333A8409-9024-401F-9E01-A56F1B32604D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f096ce01f1cf368fa7e2bec0f1dc6f74ada35e98","datavalue":{"value":"Martin Ra\u0161ka","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361292$ED736B97-636B-4364-91D6-009E4E72D149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9ddd9a293526951f1113989f140f1ab2451c08e6","datavalue":{"value":"\u0160t\u011bp\u00e1n Starosta","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361292$56CF9B54-F6A1-4E5D-BAC0-FBEB1F3D7276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361292$198B5ED4-9022-41A0-B459-65FFF858B721","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1086f13237a6ddca84276a8a8cb4d90296a761da","datavalue":{"value":{"text":"Power Operator for Lists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361292$4FB6AA8A-BF0D-4CCF-9DFB-242F768729DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a40c006213fb06a1485f84bb5a45148e73105e53","datavalue":{"value":"This entry defines the power operator xs ^^ n , the n -fold concatenation of xs with itself. Much of the theory is taken from the AFP entry Combinatorics on Words Basics where the operator is called ^@ . This new entry uses the standard overloaded ^^ syntax and is aimed at becoming the central theory of the power operator for lists that can be extended easily.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361292$484DA72D-E7F1-4DA4-975C-746BC409814D","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":"Q7361292$76934212-0AEA-4494-9230-07F5593883DE","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"eff161b7dcf55a20ec4d840b7f18d4148cc115e3","datavalue":{"value":{"entity-type":"item","numeric-id":7360789,"id":"Q7360789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361292$F02D1D6A-4100-4666-A2C9-76222E70D4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361292$8AD4C304-0518-4047-91F8-396ABECC016C","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":"Q7361292$F6BD53AC-1016-48B1-8C57-C527A89E7840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Power Operator for Lists","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Power_Operator_for_Lists"}}}}}