{"entities":{"Q5434459":{"pageid":7464023,"ns":120,"title":"Item:Q5434459","lastrevid":41198490,"modified":"2025-04-18T23:52:58Z","type":"item","id":"Q5434459","labels":{"en":{"language":"en","value":"Automatic Strategy Verification for Hex"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223456"}},"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":"Q5434459$4959BD75-0AC6-4B88-8749-222DC3C31A14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15c2a6c0ea26303cf31d6741e1b7eaf5e025cc23","datavalue":{"value":{"text":"Automatic Strategy Verification for Hex","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434459$2CFEBA3F-F66A-4D14-A1D5-8927CA806D9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcaee82fcd0d049083fd15ff8e071b8ae9c3267e","datavalue":{"value":"1135.68584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434459$C202FF0D-FDD4-438E-83AA-78B3BD60614F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4d8d7ef710b4fbba53fa56b061393340e98da21","datavalue":{"value":"10.1007/978-3-540-75538-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434459$6405F2EF-ECF0-4427-9946-6759D012AEF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46bd635dd0821de2113c270b8d0c0de1c106ffb3","datavalue":{"value":{"entity-type":"item","numeric-id":222626,"id":"Q222626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434459$C118B6F7-917F-435F-8B04-16A5B1CBF6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"580e4724bda90cd4006457e42e493a2777ec88fe","datavalue":{"value":{"entity-type":"item","numeric-id":3073721,"id":"Q3073721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434459$038B3A9A-C704-49C9-AA30-2F9A56AEA50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89492f7beaadf6a0b32623f6455fce0c152ee618","datavalue":{"value":{"entity-type":"item","numeric-id":658030,"id":"Q658030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434459$6F26A608-873A-439C-B719-750A7DAF92A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a5a4e68dec3b553d6b740e481801ae8e77b3650c","datavalue":{"value":{"entity-type":"item","numeric-id":2947900,"id":"Q2947900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434459$990D0DD7-12AE-43C1-B34B-3078E7E1FE0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5434459$08512025-D67A-4B0A-9721-22FA73C42E0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434459$3B29B3EA-F97E-4D84-A924-B44C190B1FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434459$52B8DD43-D696-4A57-A5B8-2E3B4D3649DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"956f119a33368dae4173a0f8208326bbc1706aa5","datavalue":{"value":"5223456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434459$487FE5C2-87EC-4A7D-BD2E-FD3DE5F2CE3C","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":"Q5434459$7D4936DA-4185-48BB-BF6B-6B9FD44CB5B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e6e946bf08ea909189826a0426fd7eeca3c25ff","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75538-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434459$7ED7AEC5-279F-4589-BC59-8F8A3628DE76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54428873cc4e157eb89528d7444e541e2abaa5b1","datavalue":{"value":"W1554010179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434459$E27AECF0-EAB5-44D6-A101-DB1DD270EDD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c719d275bf02f0abd9ecc2c8f78185a8b266bdac","datavalue":{"value":{"entity-type":"item","numeric-id":1896369,"id":"Q1896369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d689d3d3cb1e7478f20b2bc2087beb9d70c20625","datavalue":{"value":{"amount":"+0.8422564","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":"Q5434459$F8DF3E2E-D929-427C-8E71-789D7FF8A6A5","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":"a1ff3a53ca5c4bbb09f173fa25fe9c03c38f7bbf","datavalue":{"value":{"amount":"+0.80825037","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":"Q5434459$E966A66B-37AD-4DCC-8560-FA6BD0F78010","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":"e1358e6554cb66cea5bc1712628adbeeea06c4a7","datavalue":{"value":{"amount":"+0.8063192","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":"Q5434459$449A16A9-5B83-447E-8317-CBF070914E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae0de31a9f4b93385f1dbc40bd56e6601dc1440","datavalue":{"value":{"entity-type":"item","numeric-id":2864527,"id":"Q2864527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600fa8bef7e8647d2c975c8b4e61b578e3406ec9","datavalue":{"value":{"amount":"+0.8042477","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":"Q5434459$C5B2933D-489D-4D98-8930-7FA6CE4ACC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9af9cf46adca233fc7dcd14824bb24acb93175","datavalue":{"value":{"entity-type":"item","numeric-id":4831496,"id":"Q4831496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086dfabf562794004bb5ac7d75e89eef05951227","datavalue":{"value":{"amount":"+0.8035916","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":"Q5434459$E29382DC-DD82-4689-A19E-811EEF9E1623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ea4377983e95d0b646e0e7578c5018c3ba0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c07b284af38766a0cdf00194fc521cd1818a07","datavalue":{"value":{"amount":"+0.7958777","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":"Q5434459$DEA960BC-2E3A-4426-9315-D704629BB5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe42a06c24d5cb9bb8947f6b9bd120b89c436a8","datavalue":{"value":{"entity-type":"item","numeric-id":3166989,"id":"Q3166989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816cc03d65f9f67552544f2f83b6eb1b5242cdca","datavalue":{"value":{"amount":"+0.79080117","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":"Q5434459$845F125D-D5EB-4D9C-A479-7AE38A3977EA","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":"885798404068d3041a6adf78fed416589ccb49c8","datavalue":{"value":{"amount":"+0.7896228","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":"Q5434459$6CF82990-E36B-4712-BD0F-3234B2C34D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bccd7aafbd99a08888970d6a4e731540367627b","datavalue":{"value":{"amount":"+0.7880137","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":"Q5434459$A9E13631-AF41-4282-86EB-DD6B5B9B848C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5434459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5434459"}}}}}