{"entities":{"Q2405274":{"pageid":2416017,"ns":120,"title":"Item:Q2405274","lastrevid":57909399,"modified":"2026-04-03T01:21:47Z","type":"item","id":"Q2405274","labels":{"en":{"language":"en","value":"Monte Carlo tableau proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778426"}},"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":"Q2405274$EADE6EF8-FA8D-4083-B690-0C52A631378D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab9d5da317b43828ed1a8b7fe83272ae0526bcba","datavalue":{"value":{"text":"Monte Carlo tableau proof search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405274$2ADBA4FA-3BDE-4015-B8C4-D5BF1D112445","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"872355fb552433e3dbc8a188a2c2f95220ffe680","datavalue":{"value":"1494.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405274$4C9F9B4A-0441-4AA6-B5DF-BD52B27F86C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"090d03e32f22becf457f62c4a9f953448f852bf8","datavalue":{"value":"10.1007/978-3-319-63046-5_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405274$3E36175F-381F-4D36-940D-DBCF82A23664","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d813d7a07ca90cd7d58a326cc37575b5d447ac54","datavalue":{"value":{"entity-type":"item","numeric-id":2031417,"id":"Q2031417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$7A33CF0D-25C9-4FFE-9218-3430C9469070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$6E922C45-C7DB-440D-8625-C63F5D148389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$5850AD93-2352-43C3-BCF0-B47C005532F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405274$BA55E583-F0A6-4675-9541-B1EFC11C28C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48b9591e151ce19fa35f55e4b016a94c64ec1e8e","datavalue":{"value":"https://arxiv.org/abs/1611.05990","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405274$6474FD92-721C-4F7F-89DC-032D9812766F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405274$C978CE17-942F-4414-9A5A-146C6F65FD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405274$30CE9DF9-F820-4664-B943-10B26ED71F58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b8d89b1cb9f2d5075b16301e31d124e9b18e668","datavalue":{"value":"6778426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405274$6EB0D821-E4CA-40F0-98CC-BCFACE51FD19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$3B2CD957-73CC-46D7-B40A-E18CFFF47AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7cbb37e14a01458626c5623c37a9141435c8062","datavalue":{"value":{"entity-type":"item","numeric-id":19250,"id":"Q19250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$7427BFE5-3D3C-4133-A9BD-FB492BFA1A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$39DD1D34-5CD6-4593-B76E-A23352D9313E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$0EB17E05-513F-49E8-B051-11EA2D858CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a1e94f157d41116391eea794e4679c715853699","datavalue":{"value":{"entity-type":"item","numeric-id":32991,"id":"Q32991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$2AD44CBD-B444-4EEF-9FF7-09EC8DAC4667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$764CB09D-6215-4392-8833-7D0E3DD663E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$57442371-92FC-4C6C-9A74-AA28F52BB082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$0D53642D-BD97-4E1D-A4B2-230AC2B081B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad14f82278379093e75b5195fcd2d15cc85b252c","datavalue":{"value":{"entity-type":"item","numeric-id":25468,"id":"Q25468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$693F2AE5-943D-4F35-A0CD-B5544CA3D64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d21be4c8a37ad19736ca38bb83a00d1f4ca63e3","datavalue":{"value":{"entity-type":"item","numeric-id":33354,"id":"Q33354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405274$70A4C177-E3F0-46AB-B153-B0B09BFD2074","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":"Q2405274$3A69B67E-63D3-40DA-8797-DDB301480F9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"187c7d9e7c2f02ed604f446891fbdefde0cea555","datavalue":{"value":"W3103335455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405274$F3B614BE-AA00-4DB0-B028-2F2BC5C569AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c707b60cd54b1bac01373f3ed967853e075b1130","datavalue":{"value":"Q108482129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405274$7E6CD0F1-9CD9-47E3-8A0E-0C06CFE5A521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9155e55a239611afac1a190761f9e0d8633cf6a3","datavalue":{"value":{"entity-type":"item","numeric-id":4636615,"id":"Q4636615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8a2bc440d30c539dcfc50bf791c9db463174fe","datavalue":{"value":{"amount":"+0.8503307","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":"Q2405274$26A2FE65-D45A-4CBB-974F-C7E657EA24B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44f3389e3c145a0fd2f8db93a411cd5f7abc99a","datavalue":{"value":{"entity-type":"item","numeric-id":5703764,"id":"Q5703764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bd53f5b81b174840950bb14d8aae7b73be5f24","datavalue":{"value":{"amount":"+0.84695333","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":"Q2405274$EB713730-2FED-4DC2-856B-5F1390FBD9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2706954660c3a96ba600dfb34438a294f5471811","datavalue":{"value":{"entity-type":"item","numeric-id":3621900,"id":"Q3621900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4ec212e4ced8331cf6c88515ebae97036a8316","datavalue":{"value":{"amount":"+0.8468317","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":"Q2405274$B864F907-C494-48A2-B874-FAB3C2EFF203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f25bd403e1f9eecca610c46fd5acf83559dfe77","datavalue":{"value":{"entity-type":"item","numeric-id":3842627,"id":"Q3842627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c65a931f064416091ba0d7208c7b858e2b77480","datavalue":{"value":{"amount":"+0.84597063","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":"Q2405274$86D7B4FA-0162-412A-B9DB-DF1EE7659CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035c524dab43d5e6836288696984f50bfd3fc769","datavalue":{"value":{"entity-type":"item","numeric-id":2347957,"id":"Q2347957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8587161be3179ab45cf93921000468147a5a2dd0","datavalue":{"value":{"amount":"+0.84594655","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":"Q2405274$594B7826-0ABD-495E-8B39-81BF874CE30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262a7717de3548831d2451032fb1024773cb833a","datavalue":{"value":{"entity-type":"item","numeric-id":3596192,"id":"Q3596192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd08bae3402586bdd379abe6706266cff9426f4","datavalue":{"value":{"amount":"+0.8411181","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":"Q2405274$3592D8DF-5567-473F-95F2-2286F7E275A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec9310783cdb26b91f00bc1f872b7ac35fb8226","datavalue":{"value":{"entity-type":"item","numeric-id":4256256,"id":"Q4256256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738ffc279c6b7cba89766808ce59ac35c82bd0da","datavalue":{"value":{"amount":"+0.84111685","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":"Q2405274$2B4FF09F-FE31-4F75-BAF7-3368CCF6A28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3bfd0dfa0e26f7a035e11a80bbe9db88461297","datavalue":{"value":{"entity-type":"item","numeric-id":5230473,"id":"Q5230473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738ffc279c6b7cba89766808ce59ac35c82bd0da","datavalue":{"value":{"amount":"+0.84111685","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":"Q2405274$027439FD-F117-463A-B9A0-C139C1DFF1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb746cbd51a28a87d2f8f3748e99f541fa5cb3ee","datavalue":{"value":{"entity-type":"item","numeric-id":3366023,"id":"Q3366023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2f65da11883a3750b68e4ea01abcf55dc2917b","datavalue":{"value":{"amount":"+0.84111667","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":"Q2405274$460D10D2-A098-434E-9B65-2797BCB36C63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405274","badges":[]}}}}}