{"entities":{"Q6917685":{"pageid":21008596,"ns":120,"title":"Item:Q6917685","lastrevid":84147272,"modified":"2026-05-11T07:38:58Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$34370767-ED77-4ACF-B3B1-D3DAFB9D3D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f5231738e0df07d7c98e712ca1dd0f65ca91ed","datavalue":{"value":{"entity-type":"item","numeric-id":2222098,"id":"Q2222098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$288230E1-42A5-4E3E-B317-0D09E1B85A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6793a2e8870971d49f0e87d1ff69adcde1b3f96","datavalue":{"value":{"entity-type":"item","numeric-id":2757756,"id":"Q2757756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$A9A1CDDA-5F56-4B46-9CEC-A282366A6D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663d7aa8a91d32c57f148e4b8011f60101e01291","datavalue":{"value":{"entity-type":"item","numeric-id":5952899,"id":"Q5952899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$16CBB499-10FD-4FD6-9407-673242028726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aa25084eb9dde652ae7c2661964caee51accd9","datavalue":{"value":{"entity-type":"item","numeric-id":3559177,"id":"Q3559177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$513C2000-49D6-4594-80E1-E2D4D18AD9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$2618FF74-D399-4AA0-883A-79B894D9FD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ff45a241585a7eb3570ff2c5bbafca75bb741e","datavalue":{"value":{"entity-type":"item","numeric-id":3147019,"id":"Q3147019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$D3DFCF51-064D-47E2-AA4E-36BA04764567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7deb1a85711fe2351b1c5f474e15597b65aa598","datavalue":{"value":{"entity-type":"item","numeric-id":6899371,"id":"Q6899371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$7825F3FE-92DD-4F46-A370-37B2AF7A2343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946460a06c8e8ff3f6c30392073e1adfd41fc439","datavalue":{"value":{"entity-type":"item","numeric-id":4902892,"id":"Q4902892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$66366BCC-1026-417B-BAD3-F965C2E734F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c48132b204fa7ac0b1220225f119aee6f230c44","datavalue":{"value":{"entity-type":"item","numeric-id":3295608,"id":"Q3295608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$0ABD8F0F-9709-4784-9019-B2A46D8AA95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ddfe803ba7503260555494c1c8cf136f04eb22","datavalue":{"value":{"entity-type":"item","numeric-id":965231,"id":"Q965231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$A0057FF2-01FF-44AB-90E0-D11934FB5BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0cf2d2f5a24926964adedcbd61b16bc18e64f8","datavalue":{"value":{"entity-type":"item","numeric-id":986552,"id":"Q986552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$563EB1F2-2AEE-477A-9E4D-250946D36B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a955c5895a1a32b3858a5f45ca0c505cacd37e1","datavalue":{"value":{"entity-type":"item","numeric-id":2988072,"id":"Q2988072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$620D88BC-630C-467A-817F-5B6A67FF4D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac3e4c69bf5d2f528b6c424c54a3a5a0342a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":7035401,"id":"Q7035401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$C1C75D70-08A9-4D2D-A8D8-A912CF0345E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0268566ed4c4a0250fbfe1850681e6a8d95988","datavalue":{"value":{"entity-type":"item","numeric-id":4740359,"id":"Q4740359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$85805E5C-3943-43A2-825D-98B0D52F0FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8471a95a7e360e459981596716086cee767eeb1a","datavalue":{"value":{"entity-type":"item","numeric-id":1293425,"id":"Q1293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$3208F012-A057-4229-ACFB-3E41C5A77457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c55a5682d590f3f5feb101a6007c09b1030ea96","datavalue":{"value":{"entity-type":"item","numeric-id":4831501,"id":"Q4831501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$3C608739-AD4A-43C0-99E4-D0BF832EEE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100de5395b306e42651c9b6b51cf94ccd4fefa6f","datavalue":{"value":{"entity-type":"item","numeric-id":3295623,"id":"Q3295623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$8E3D4721-6227-45AA-8C94-1CC6893EDCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd52f9b2864d5eb26c0dee8cd058f17274aca5b","datavalue":{"value":{"entity-type":"item","numeric-id":3992021,"id":"Q3992021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$274D1B25-93D7-480E-BEE7-9D70CC727AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36b8721f305b3d00ab919cdb9ab62dbb7b84a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4880554,"id":"Q4880554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$171B2D05-25E2-485C-96A0-B46671A7343A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c969634746f71647f4c1acb61cb15c9bde45765","datavalue":{"value":{"entity-type":"item","numeric-id":423650,"id":"Q423650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$BF29BCF2-D20E-4709-81EE-710ED03BFCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6e7d3abc8946a8926f8b4cf72a827fea08294e","datavalue":{"value":{"entity-type":"item","numeric-id":4650120,"id":"Q4650120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$6F95D8FA-CBB2-4F9A-9322-63C338474823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea2c78986cc0349c9768abcec58d6e95a12cc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5502221,"id":"Q5502221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$6FC1629F-9721-4E7F-BDC1-ADFA4959FE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5fb92be4b85a64264ffd4f1a9978bc558453d4","datavalue":{"value":{"entity-type":"item","numeric-id":2926288,"id":"Q2926288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$8B6F9C01-6F6E-42AF-9966-703FEB902441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2923536c147c3755fd87f278b0f90100efc4d05a","datavalue":{"value":{"entity-type":"item","numeric-id":4939601,"id":"Q4939601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$C044AAA2-A0EB-44D4-A68C-DB0F44A34157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19324feede743357692937a5f85e76dd9043820","datavalue":{"value":{"entity-type":"item","numeric-id":3186674,"id":"Q3186674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$99AF6110-9575-4668-BB82-39EE3CE95369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efc379817c61470ac1c21021cb33554ef9c02bc","datavalue":{"value":{"entity-type":"item","numeric-id":5252468,"id":"Q5252468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$EE46DBE3-93BE-48A5-9D25-7B38AA5CD403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb6e320430c3ccaef87c54032b4a78003a7d13d","datavalue":{"value":{"entity-type":"item","numeric-id":5141334,"id":"Q5141334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$6B2D51B4-C913-41C3-A7CB-8BED2B01C7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91060cdeca0154f02bb1775d35e9b9faddf7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2140455,"id":"Q2140455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$E46F0827-CFE4-4290-ABD4-6643ACFC5F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3b4d6b2f8e78ff2e21e7571add4016ce819853","datavalue":{"value":{"entity-type":"item","numeric-id":6496828,"id":"Q6496828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$1F4533BD-0A76-4870-A901-C6436C72949F","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":"Q6917685$C0E59781-211F-46AB-A095-C8231A20A53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca64607ca981da5bcafbd4cda9bd18ab2d62667","datavalue":{"value":{"entity-type":"item","numeric-id":6093105,"id":"Q6093105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$7F50D281-473D-4106-AE4C-7E7B9041473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c62102d3ca97b0bfaf73b6b1645579a2f9b26ef","datavalue":{"value":{"entity-type":"item","numeric-id":6943899,"id":"Q6943899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$77229162-E388-417C-A553-A084D5A6A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802cb61bee775467d7df14ca09c4d4a3619e3a34","datavalue":{"value":{"entity-type":"item","numeric-id":1496902,"id":"Q1496902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$022EB63D-4AA6-46F5-A459-EAEEAAB08043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a29f3e0c75866192e5ee2025f7bb4fd46918197","datavalue":{"value":{"entity-type":"item","numeric-id":5665234,"id":"Q5665234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917685$F813EC08-EA5E-4F1E-881D-8EB55A2731F7","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"}}}}}