{"entities":{"Q6917685":{"pageid":21008596,"ns":120,"title":"Item:Q6917685","lastrevid":75689854,"modified":"2026-04-20T15:54:19Z","type":"item","id":"Q6917685","labels":{"en":{"language":"en","value":"Automatic proofs in combinatorial game theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8104607"}},"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":"Q6917685$EE7D06E1-C123-4D87-9670-5B53EDB98C0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45d7d2ad9edee7ed329e61e3039aa9a51c3a8102","datavalue":{"value":{"text":"Automatic proofs in combinatorial game theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6917685$7E007C36-6CAB-4F60-ACF9-94CE56158889","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac8e6f23ae28aca1da792e07dc9969b20e861b05","datavalue":{"value":"10.1007/S00182-025-00953-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917685$C5D7A329-5A7F-4EB5-B113-94C8597C4247","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99b8e99844709364b8a43a55e562fa0014ce42e4","datavalue":{"value":{"entity-type":"item","numeric-id":6109086,"id":"Q6109086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$63430CCC-DD93-4AEA-941A-7F9EFC6E250C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4393292fc72c561baa43be08c17b20bf3b34a58","datavalue":{"value":{"entity-type":"item","numeric-id":6839954,"id":"Q6839954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$A91892F9-D00E-4E89-A017-574AF666728A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e048c609c571a9032d2c0f19ccde9301c9fc1f","datavalue":{"value":{"entity-type":"item","numeric-id":236475,"id":"Q236475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$3D66B2EC-94B5-4D1C-B8DC-A847650CF0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26b4514167d8cebf022214a803a4b7f5e8d15c8f","datavalue":{"value":{"entity-type":"item","numeric-id":521379,"id":"Q521379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$028FF3C1-623B-41AA-B464-290168C6D547","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef8712371e142c87c3e57daa1955918131611e11","datavalue":{"value":{"entity-type":"item","numeric-id":267073,"id":"Q267073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$C1219299-3EFC-47CB-BD91-6CE06953E5D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87e10ecfffd86b359ba2ba30492b483ad15667c5","datavalue":{"value":{"time":"+2025-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6917685$551A0BC7-EBCF-4117-8050-C0B37E3147EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62273aea3375cefac54cd8688def5a3b6704b92","datavalue":{"value":"91A46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917685$9E7FC6BF-7819-4F2C-9BE5-AB8A1EC0FC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917685$660E9EBC-1092-4BC1-8084-B1F3ADBCD89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917685$AA1B4278-2615-4B21-9F7E-120FA3EE3CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917685$4BD14A05-40F9-4555-A18B-B5589D56C75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d0952bb2a3066a5fb34a2b20ff5664b6749ed","datavalue":{"value":"11A67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917685$70BE6291-193B-4799-846F-C17945758AD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe27909ebf9196c342d0fe630b74c9611ddadd71","datavalue":{"value":"8104607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917685$8C9A7010-2B1B-4F65-A0DD-FD6A57B6607A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef12f635da4caefcd14bd09ac3331cc224d4286","datavalue":{"value":"combinatorial game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917685$C15D57A4-040F-499A-9CF6-892CC5E13FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa47eeb5fa38829b7763bfcf3b5c37337682232d","datavalue":{"value":"Wythoff's game","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917685$0DA0AC46-1B3C-49CB-8972-F6D9F048FD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917685$091958B3-3FDB-4A53-819D-DE028B83A3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4c64be41bfb3c2b89c73b0ab4350e0a766482a","datavalue":{"value":"numeration systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917685$54C2D0A9-CBDA-4BE1-BC63-03B27CEEC04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917685$2A76BC99-B441-4CDB-A45D-DD24E32F09A9","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":"Q6917685$9CB0F904-792D-4AB5-B5BD-C9283AB1E163","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic proofs in combinatorial game theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_proofs_in_combinatorial_game_theory"}}}}}