{"entities":{"Q3305722":{"pageid":3316430,"ns":120,"title":"Item:Q3305722","lastrevid":53788544,"modified":"2026-01-25T17:37:20Z","type":"item","id":"Q3305722","labels":{"en":{"language":"en","value":"Tracks from hell -- when finding a proof may be easier than checking it"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229748"}},"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":"Q3305722$084EB8DE-CE0E-413A-B73D-4FAED357DD47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3245569566e7fb1a1c717947a2b0dad7b8c2bb3d","datavalue":{"value":"1453.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305722$AC35481F-7F2A-4B79-86B5-94B7D7C17E22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a445f523a101b5ad49048079a83fbe429783d6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1623272,"id":"Q1623272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$FC0911DE-41BF-49A2-8700-FD1322319D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd211810cc8a5a7a39d8246edf9c32d55b7ab95d","datavalue":{"value":{"entity-type":"item","numeric-id":338391,"id":"Q338391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$A4C2ADDA-D5C5-4CB7-9791-E2C72679E773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7059dc37480e3ec45454f04d5e0c8b67678d4a4d","datavalue":{"value":{"entity-type":"item","numeric-id":293219,"id":"Q293219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$15C2667A-E8C8-4FE4-A458-9E4E6E230DA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ae619531271a7fef5de0eb47cb7a4f39ba22ca2","datavalue":{"value":{"time":"+2020-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305722$1CCC29AC-9CFA-401B-B7F1-2ECA24082004","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305722$09B16176-33A0-4E62-B660-8BDE8864A539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305722$7EA41612-70F8-4BEC-822F-73A83B652316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305722$BE209C5C-8480-44B1-BEC9-295AAC478026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e85bdcff32bff64b40689c35d21c9439203bb12","datavalue":{"value":"7229748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305722$F8A8B8F8-50A9-420E-A1AA-21E8D31E16B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ead3fe7211b8462087d083458edaeb57c471b0","datavalue":{"value":"puzzle games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305722$A8E58024-98EA-48C9-8986-9F304DD1AE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521b8d693960019a89d7f0ffc73d5e4ed5c919c7","datavalue":{"value":"solitaire games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305722$FC535B58-7B7A-4971-8180-6FB4CAF0C05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc6c02b2d6eb9c3b1c0019b277b68c29e444150","datavalue":{"value":"Trainyard","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305722$EB2C0007-3A4A-424A-B2E9-FF2EC21A9988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3305722$29E1FAEC-96A2-443C-BC8F-1128E8928234","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":"Q3305722$368D1771-E20F-494C-BFBB-20D1466ACA9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"510df08a59e9664091dc3713f66b677f53a466e8","datavalue":{"value":{"entity-type":"item","numeric-id":5958338,"id":"Q5958338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$094AB013-28BA-4329-8A24-99A3ED5C0F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a60044f1d64574e444847ca15fd106fa907267","datavalue":{"value":{"entity-type":"item","numeric-id":897867,"id":"Q897867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$989EB109-4BD5-4965-A24E-A44E3075D243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca61902af279a1e6d0e563beabf45e53fe6a88f","datavalue":{"value":{"entity-type":"item","numeric-id":5282816,"id":"Q5282816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$42D05A70-9A65-47F5-BBDF-3345874EB3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d194eef673345408a33bd1407d8f6b64655c472","datavalue":{"value":{"entity-type":"item","numeric-id":3395518,"id":"Q3395518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$036634C7-8C33-4254-98C8-B234B4C98CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8930d0b9ecf21ffff79e41827d09bb73c322e1f","datavalue":{"value":{"entity-type":"item","numeric-id":2831399,"id":"Q2831399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$56D8D306-B1BB-4F3F-A1D3-D190E0A25D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4254df31d3b5f8097f5b086f93260a17c4e449a","datavalue":{"value":{"entity-type":"item","numeric-id":5282822,"id":"Q5282822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305722$1C1ECE48-E32B-4B3B-9FC2-8AEC23AA0BC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad0bd2978f0f75c0b7683127f4b56e8e10bcc298","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2018/8795/pdf/LIPIcs-FUN-2018-4.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305722$C777057F-E64F-4474-A894-8E267BB803E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91093ab1df91eb623ff0cb2d94e3423f4209075e","datavalue":{"value":"W2809897442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305722$75F632A9-8771-4D9E-AB80-F44BAA677DEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d09dedb956e64fa243c351958bf63348539bb684","datavalue":{"value":{"text":"Tracks from hell - When finding a proof may be easier than checking it","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305722$2066E905-922D-415C-A0BE-CE325AFEB401","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f90bbe653470fb86814af0d0b734d161fa144ad2","datavalue":{"value":"10.4230/LIPICS.FUN.2018.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305722$3385E8A8-FDB6-421A-AC3F-B5090E888736","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3285b32b9edd369305cfccdd5e270c2968034400","datavalue":{"value":{"entity-type":"item","numeric-id":2196558,"id":"Q2196558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acf92d51ddbe28f11196253561f9fd40ccb1670","datavalue":{"value":{"amount":"+0.9989651441574096","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":"Q3305722$8E69CAC9-4C20-451B-8662-45300E4D07EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06555ff5dcff4027ae7a81957781de5e6a5c0514","datavalue":{"value":{"entity-type":"item","numeric-id":1623273,"id":"Q1623273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c83180cd84cf7d10cb61784ee2ce652f68c7129","datavalue":{"value":{"amount":"+0.875652015209198","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":"Q3305722$5A413A42-8D6B-460D-A19C-9F55C0999D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733144b6f2ef59e88b41b87e197aef38c6e7d5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5282799,"id":"Q5282799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb230a70976cff7439ab8f69899561eb6e460b56","datavalue":{"value":{"amount":"+0.8736101984977722","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":"Q3305722$2AFEA179-E548-49D5-9C28-D73B39E4E7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2c774102db21a1c0865cb16c7b52d68f2d7915","datavalue":{"value":{"entity-type":"item","numeric-id":4604381,"id":"Q4604381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e9b71eb5b78f42ae07eacde38e77a8060515e1","datavalue":{"value":{"amount":"+0.7184925079345703","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":"Q3305722$8AA0D10B-E17E-4739-AA90-22D1EEA54D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249969934f09c0d021487fba6dfb337933a2600d","datavalue":{"value":{"entity-type":"item","numeric-id":509884,"id":"Q509884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4452d2c2ba4f4fe2bdeacca0b66f472d58ba00a2","datavalue":{"value":{"amount":"+0.7158723473548889","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":"Q3305722$77C6B09F-FA8F-427F-B81D-66731ED30430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305722"}}}}}