{"entities":{"Q3647313":{"pageid":5677219,"ns":120,"title":"Item:Q3647313","lastrevid":87565427,"modified":"2026-06-04T12:00:23Z","type":"item","id":"Q3647313","labels":{"en":{"language":"en","value":"Automated puzzle solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640588"}},"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":"Q3647313$564A674F-EFB2-4AC6-8EE6-292B2B84AA23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d078024db854192445c42fc541ca4646fb252877","datavalue":{"value":{"text":"Automated Puzzle Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647313$8E29B714-8AEC-450F-BF4D-910928B7965C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9f4481e90d833b2d6fa297c82e285b9b66d6d05","datavalue":{"value":"1185.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647313$294AF2AA-9349-4B36-882A-64FFB604940A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23b1e2692e0c18ac88a72b72427fbcc9f872c528","datavalue":{"value":{"entity-type":"item","numeric-id":904172,"id":"Q904172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647313$F57BAEDC-7656-40EC-8872-D07D418D22FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647313$B2FFEB7E-78D3-47D0-BE99-498735E24B37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-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":"Q3647313$4B6A1B2B-092D-4564-89EF-49A35AE38595","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647313$B137B353-6122-482C-9A38-AECD070DF8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647313$D2AF39B0-293C-4A85-8B82-1276E930454E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04259aefd71dba22180ea62ac92ef930967202ce","datavalue":{"value":"5640588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647313$EFE4AF73-9125-4B8B-920C-EF679F22D860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647313$C973D3C1-B147-4AA8-BB3B-791E93B695F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647313$B8DA823A-6488-4540-ADAD-67A8358896F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c5ba48e0fd8cb7ec58bfc553aeb7915be583c4","datavalue":{"value":"knight-knave puzzles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647313$183322E5-EBC6-4E16-8FC7-C8078E3143BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647313$96B925E9-3ECF-4815-B39D-8CEA228B2005","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":"Q3647313$3BBF8B5A-103B-424A-92AA-F57CE1B038E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"781e40a0470d7c8f9e29cb1a5b7c33edf06e4301","datavalue":{"value":"https://doi.org/10.3166/jancl.12.99-116","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647313$228525FC-EC89-4E9D-83FE-0BF396C42A72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a77bc1b278fbf1f2c164d05909b402a28aaa0c54","datavalue":{"value":"W2095049628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647313$19EDBC82-D59B-4009-93CC-901A81369CD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf913a873afd0189cc0055a27f61a10eecf6f53","datavalue":{"value":{"entity-type":"item","numeric-id":2738834,"id":"Q2738834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647313$63619D9E-2A16-494F-83ED-42B46B42B91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6ef22604ffcaf8d1dc55b11c5f547fd8d6565f","datavalue":{"value":{"entity-type":"item","numeric-id":4296171,"id":"Q4296171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647313$969FC3C0-D413-479F-B57F-11F3DDEA1204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247c9163e83c1af1f0bd1f30914cbb6e385cb543","datavalue":{"value":{"entity-type":"item","numeric-id":3869300,"id":"Q3869300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647313$5036B6BC-902F-4EBE-BF0E-6F7D97201924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647313$0D93F525-6619-4EFC-9CCA-31FE117CD3D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"372c8d06271de82de0a15d34aa8a3802f9167efd","datavalue":{"value":"10.3166/JANCL.12.99-116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647313$F3C42E11-385D-4BAE-842B-93D5852F635D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa6bf9970473d0493d53acbc73a5315ee64766b","datavalue":{"value":{"entity-type":"item","numeric-id":3481491,"id":"Q3481491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8cfff39ad5b184fdfaca265e2cc9fc75b2a7f4","datavalue":{"value":{"amount":"+0.7247104048728943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647313$165AC3CA-905F-46EF-A77B-7A5C56AAA29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246cca7af92a85e58e8477e71d70fa3bdc7fe93e","datavalue":{"value":{"entity-type":"item","numeric-id":5184881,"id":"Q5184881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3229d761331d32a9ed9c720de1a1866bf492cc","datavalue":{"value":{"amount":"+0.7124978303909302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647313$959AFC18-3F64-4705-8EBC-84B12C4F309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdeb3e53ab217f78fc230dc884c48260f7aa54e","datavalue":{"value":{"entity-type":"item","numeric-id":4459901,"id":"Q4459901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abfd3aa3b6d935f45ffc1fdfbec49a8d2d003a1","datavalue":{"value":{"amount":"+0.7090587019920349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647313$AAC0B646-07AD-4D48-887F-9FA340BEFEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77229aad62351eaf3942d148080cf5957561f26c","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870c84e494f8e8ada2547d62bfd4d7b3b1218ad4","datavalue":{"value":{"amount":"+0.7041946053504944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647313$99FA1BBF-AAAF-4E96-AD74-DC15545AA6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa418dc352ccf1b2d9d4e42d7624dd06729ae9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4305338,"id":"Q4305338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671eefcbbaea4d9066818259bf341a084bc686b0","datavalue":{"value":{"amount":"+0.6998622417449951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3647313$051D17C0-56E9-49DD-83A3-D87A11562621","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated puzzle solving","badges":[]}}}}}