{"entities":{"Q6924003":{"pageid":21046963,"ns":120,"title":"Item:Q6924003","lastrevid":104076179,"modified":"2026-06-06T09:01:24Z","type":"item","id":"Q6924003","labels":{"en":{"language":"en","value":"Using \\texttt{Walnut} to solve problems from the OEIS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8099048"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$6BA89BF4-84DD-477A-9E73-55C5C0BEFED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"170d79fb9c38b3066e7d3ec2718f6535150ad601","datavalue":{"value":{"text":"Using \\texttt{Walnut} to solve problems from the OEIS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6924003$F92F7B31-3BD8-4F09-9385-3EF7228F42A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfde49482c33c5f566889d0107276cbd72ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":169325,"id":"Q169325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$E0BBAF8F-1BD3-4193-BCD4-FBEC099A3F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58eea1fb9ed08aa96c9833ba470587c7a1123bec","datavalue":{"value":{"entity-type":"item","numeric-id":6923999,"id":"Q6923999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$0B94AACB-5523-4C0E-83C7-024EB307D889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4795e9a1a205330c0fb417205490ece5551b0","datavalue":{"value":{"entity-type":"item","numeric-id":1295295,"id":"Q1295295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$5E715D2B-70AC-4E4F-9452-C2699B37BDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b3d8c3c9064a28e9b0b7e56c44ca44333db4936","datavalue":{"value":{"entity-type":"item","numeric-id":6924000,"id":"Q6924000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$0216C24F-CA73-48F6-8256-91D9D1D20167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6abba7fb17d1e67f9adc1b5de659af024a2860","datavalue":{"value":{"entity-type":"item","numeric-id":6924001,"id":"Q6924001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$5267E976-6F4D-4B5D-8144-43C73F1AA819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62edd5cc8fab6ab60d9c83beba04be0541410b56","datavalue":{"value":{"entity-type":"item","numeric-id":6924002,"id":"Q6924002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$E308B798-7103-4045-A3A0-7FEFACE753A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"740c8a0597d8dd834d65963b6485789748c34e09","datavalue":{"value":{"entity-type":"item","numeric-id":6496961,"id":"Q6496961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$1E0A6015-9453-4611-8A55-EB38986BDDDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67b571ae3ce5d75bc39c8248f19a512a27075c5d","datavalue":{"value":{"time":"+2025-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6924003$2CCBC3FF-58AD-4502-A4F7-A1CA6A833345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"001904a2973e53b6c7d4d4647800d7dde817f5f9","datavalue":{"value":"https://cs.uwaterloo.ca/journals/JIS/VOL28/Fokkink/fokkink9.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q6924003$626AD7F8-73AB-4A98-AD0B-AB8BE7531F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924003$BAE2A892-3153-4B1C-8453-817AD9D2C261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75b5ae7d63c4b2ff3513743a5ea9e7be306e24ac","datavalue":{"value":"11R09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924003$EDAC7161-D8F7-46C2-B80C-BE8BEBED461B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924003$B32AFC75-F844-4F85-BA46-C04F604168EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f0d0f31b33773b1e2f1265709ac7d97d065e8c0","datavalue":{"value":"8099048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924003$8BF9DD0B-9CF3-4449-A9BF-8F8F2646A8C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c2c884d192d787340e2cfc90b1f7efcae7dbb78","datavalue":{"value":"integral polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924003$59403FF2-96B1-47B6-866E-C180CFF5488A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ff52bf53fd911e2f53ad858d485516d590daa67","datavalue":{"value":"linear anti-recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924003$5CAEE3F3-6523-446B-92F5-7AC2ACFA6D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b27b5e39439770d195f38450685e280703794b","datavalue":{"value":"sumfree set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924003$0F6926C1-633E-4DC1-9187-5F8B39796316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5261be0addd6b0a08d205dda3d02ffd76a1e76ff","datavalue":{"value":"sum set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924003$61C6F45C-08FE-4C18-983B-7592D4B42992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf584afdec0578501c149df5d389f0728027f0d","datavalue":{"value":"Wythoff number","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924003$371E96AD-765C-403C-9343-AD3CE8D7A4BA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$7E2D6D4C-72D8-42BC-97E1-47409829309B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e773fc5c920012d17cf64e9b90628f42ac0b786","datavalue":{"value":{"entity-type":"item","numeric-id":664335,"id":"Q664335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$B2A14B07-368B-492E-BFF2-C80EE8927947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$9CE8F52E-B66A-49A9-A0D6-2AED8569C079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8d401e45535de0dffb796544ff07f45def2cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1156243,"id":"Q1156243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$2326453C-49AB-4F38-9938-54CDF927BE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b7d3aa41c072c9024b4011eed7a8d4f72d205d","datavalue":{"value":{"entity-type":"item","numeric-id":4015458,"id":"Q4015458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$DAA3DBF0-66E3-43FB-B1AF-F9F2BC52B218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1133187e1625c43367ceb6961acd1a5a3b5e33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5786066,"id":"Q5786066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$C2EDECCE-6B8B-4E6D-9137-5CD58A14D3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d8a0a7290d815d50fa460ff80947ddff974bec","datavalue":{"value":{"entity-type":"item","numeric-id":6048782,"id":"Q6048782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$A06A282D-BC12-435A-8747-82564432E555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc9ab29e465ec440a28c6badfd1d55c5e182c00","datavalue":{"value":{"entity-type":"item","numeric-id":2036598,"id":"Q2036598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$5C621AF6-CDF2-42B6-8C1C-DF8884782D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1d71edc83357f5c183315c82780bc23461a171","datavalue":{"value":{"entity-type":"item","numeric-id":2113366,"id":"Q2113366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$178B8A47-D255-4CBC-BB10-A210415E9DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021801e0e7589f5f0a34074e93031bf0dfe27dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2559486,"id":"Q2559486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$DA821040-DF04-4C10-B7A0-64FB9EB56B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79610d67000ac3800ec9c7fc973c320d024cafbf","datavalue":{"value":{"entity-type":"item","numeric-id":5093875,"id":"Q5093875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$A4088F61-5910-4C59-8457-F92A074D60E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ff307f4ca2624601281e69cd40515757ca48c","datavalue":{"value":{"entity-type":"item","numeric-id":2077894,"id":"Q2077894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$8410206F-9FCC-49DB-BCD5-1F43445641F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303290552d010e27b14d208b613ac83f20fef790","datavalue":{"value":{"entity-type":"item","numeric-id":6118839,"id":"Q6118839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924003$86208BDF-CC76-42BA-A0D3-F0AB10B5FDD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6924003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6924003"}}}}}