{"entities":{"Q3600655":{"pageid":5630561,"ns":120,"title":"Item:Q3600655","lastrevid":90359087,"modified":"2026-06-04T19:58:36Z","type":"item","id":"Q3600655","labels":{"en":{"language":"en","value":"A symbolic finite-state approach for automated proving of theorems in combinatorial game theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5503109"}},"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":"Q3600655$303447DA-981A-4250-B03C-C13ECB9A113A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1931b229e0a43cbd1873937bf0315a2097fc3a79","datavalue":{"value":{"text":"A symbolic finite-state approach for automated proving of theorems in combinatorial game theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600655$6812516B-D168-46A0-866C-FDFCCFDE230D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39df95550b034b923a7b6ad029c1dc894d4837c7","datavalue":{"value":"1232.91071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600655$6C45AFD3-78A5-43E0-82E0-76C3E11A960E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54d06b5929230d6867c319d9b7ebc97fcd33f912","datavalue":{"value":"10.1080/10236190802006423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600655$851BE911-4B9D-4A16-AEA7-BE1DA7B8EF94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f966fbe29e4b44e7431acefbe649978343a310","datavalue":{"value":{"entity-type":"item","numeric-id":368446,"id":"Q368446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600655$39874691-B056-4527-AD67-F3A81B8D51F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87977d4bcf2d87beed5972db55fdd06d071a21d4","datavalue":{"value":{"entity-type":"item","numeric-id":180279,"id":"Q180279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600655$514CB7A2-0B17-46C6-A5B8-6E89C8CE32C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1626700e15228b9d634aea4fbfcf2bca11528da","datavalue":{"value":{"entity-type":"item","numeric-id":2707854,"id":"Q2707854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600655$AC61FD76-DDAD-43C8-9C4A-326FC21F02F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fb18d8802cf3abae5e4680d2164009847fc6528","datavalue":{"value":{"time":"+2009-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600655$683B5874-06C3-4C05-953C-A47AE693A05D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f5fa976c9bde814052e358b54ded6b2f88cc782","datavalue":{"value":"https://arxiv.org/abs/0710.4951","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600655$EFBD471F-83D4-4A7B-B3F2-48CCB9AE32E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62273aea3375cefac54cd8688def5a3b6704b92","datavalue":{"value":"91A46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600655$A1A93E9F-6AE2-46D3-98D4-EEDE4A6EE580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600655$20176927-A131-4FE5-8442-97C35F738F3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01fa59940153e299c2116bcbd4dba58e67486a94","datavalue":{"value":"5503109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600655$F54AA029-6DA5-4C07-A4AE-5BA60A1B691B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef12f635da4caefcd14bd09ac3331cc224d4286","datavalue":{"value":"combinatorial game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600655$76B99F47-8DD7-4C5E-B869-00E83F1793B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d431b018f9ed450ab1532677fb2707e9f53666","datavalue":{"value":"conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600655$916E914E-0C54-46E8-9C72-E2B23C3CB8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea09193c377bbafd3665217364feb7150dd32726","datavalue":{"value":"finite-state method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600655$485F4E10-F845-4895-9E26-4C0B61CEA445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b5c28ce31c1759628c64ba1269e0bb145a7d1d","datavalue":{"value":"recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3600655$B5ED9F4D-BD3B-45BF-B24A-9E6A7E0C4799","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600655$80854884-A84F-4DF6-95C3-6F44A78D2FFA","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":"Q3600655$D489E836-87FD-4E1E-8F0E-25643EB524C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66e6f80efa07a90e42134a8395f5e3385aed7823","datavalue":{"value":"W2020209896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600655$714D8AAA-EE8A-4432-9FF7-43B5396EA27E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"728964734428e8655cb87cece2fff202f92850f3","datavalue":{"value":{"entity-type":"item","numeric-id":3944542,"id":"Q3944542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600655$A1165377-600E-48A3-B474-5BA92C553EA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0393ab612837b20c9cc7819643a0aec4962e499","datavalue":{"value":{"entity-type":"item","numeric-id":4791854,"id":"Q4791854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10db3d6060a32a5cc68a3d60a35aa2cb8f7b0a8c","datavalue":{"value":{"amount":"+0.8818643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600655$64D6AE97-1D15-403A-83AD-41B781B44FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f7548e262e9c21fd3cfc7d8c9761d6ce223a027","datavalue":{"value":{"entity-type":"item","numeric-id":2263301,"id":"Q2263301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c93cb7533f2d9e6da42844f4773526bbe990ee8","datavalue":{"value":{"amount":"+0.87958384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600655$DD52D525-CC95-488A-89B8-AAD2126C38A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1363a3aa2faa960e9466f13a7e17a3732c15c0","datavalue":{"value":{"entity-type":"item","numeric-id":6113986,"id":"Q6113986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f743e828be34856d3459f1fd1933ccefefcaeb2e","datavalue":{"value":{"amount":"+0.8707245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600655$758D704A-D3C9-4448-B5F3-731771E2926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd71479d022f0ec65ce9f6b2979e3b7b79f702a4","datavalue":{"value":{"entity-type":"item","numeric-id":3613353,"id":"Q3613353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe584fbf778507b09433294d3ec9442e02410402","datavalue":{"value":{"amount":"+0.86677253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600655$8B5ED4FB-0B9D-495F-A7C3-5BBEC733D5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8faf5c3c9488f88777464da831fcbb025e17cb06","datavalue":{"value":{"entity-type":"item","numeric-id":1761287,"id":"Q1761287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248f5291d613bdf0ff2e10fd076da3e863ff3e39","datavalue":{"value":{"amount":"+0.8664584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600655$5DC6B5D9-8447-4971-BCF0-4CE176C91369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ad5d3289052513ea346bf6c9c2da0d762e3df0","datavalue":{"value":{"entity-type":"item","numeric-id":2817411,"id":"Q2817411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193c2372e32a6717cf01f6939827ad29020d9baa","datavalue":{"value":{"amount":"+0.860781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600655$30D07D06-666B-4A5C-B041-1C10E41646B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19de2c99d6283f67513aac42be8add59c69b34f0","datavalue":{"value":{"entity-type":"item","numeric-id":4222836,"id":"Q4222836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f913fbe0aa0ae78e5440cc62e8c040e26cb2d1b","datavalue":{"value":{"amount":"+0.8593619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600655$AA83DB4E-9FDE-41CB-A21D-580716CE252D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c69a9886e68263fdecd39738e77c9e442694b2","datavalue":{"value":{"entity-type":"item","numeric-id":2852368,"id":"Q2852368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2fef427347e610da9a5e16d9abcd535ebf348f2","datavalue":{"value":{"amount":"+0.8576475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600655$A8A49E9F-74A7-477F-88F9-53BD111990F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A symbolic finite-state approach for automated proving of theorems in combinatorial game theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_symbolic_finite-state_approach_for_automated_proving_of_theorems_in_combinatorial_game_theory"}}}}}