{"entities":{"Q2196558":{"pageid":2207301,"ns":120,"title":"Item:Q2196558","lastrevid":53812280,"modified":"2026-01-25T18:28:21Z","type":"item","id":"Q2196558","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 7243131"}},"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":"Q2196558$14D95E67-974E-4D95-B635-B56BDFD3A7A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7343e52767a8185decd202a9f023a1a1000444e","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":"Q2196558$AE1053E6-C3CB-4B78-B464-C12CE4807F84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adb32e82470ce51fdb9cfcff6f32e27121dfeb00","datavalue":{"value":"1453.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2196558$DC625468-6C86-4401-9C2F-3B99BF8C67A6","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":"Q2196558$C86DDBEB-1F82-49EC-AA4F-0BE6241ED2BB","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":"Q2196558$B3790292-D085-4929-BDF8-6AC20A8A63FC","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":"Q2196558$AD76F8CF-2EF7-422C-953B-F22754096F2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2196558$8084E995-153E-4717-B7C8-5D04E886321E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a809228dbeb08963b886789bb8f1c70e5af017df","datavalue":{"value":{"time":"+2020-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2196558$EA3432CE-4C3B-4D20-9099-23F4DFEF411A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e19945ed4d6d493d7d1d1eb7a8cf85c1ba4828fa","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8795/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2196558$642703EC-FF44-4C82-B072-DF17D571DF8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2196558$2A8621A6-3EE6-40BA-B489-B4C3D4E0AAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2196558$F7BA0C36-06F7-4E3A-A2BA-621E52569476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2196558$3326CEA8-87CF-4626-AF3A-D60B3DD9F00F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33ece5ac0fa01e7e53ae4117085ff4206ecd975b","datavalue":{"value":"7243131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2196558$28CEAC01-04BA-44B7-AF65-50E25252B406","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ead3fe7211b8462087d083458edaeb57c471b0","datavalue":{"value":"puzzle games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2196558$676F4D34-AF23-489A-A4D1-EA92034FD575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521b8d693960019a89d7f0ffc73d5e4ed5c919c7","datavalue":{"value":"solitaire games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2196558$154A63FA-FCA7-4F03-852C-7D821526CF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc6c02b2d6eb9c3b1c0019b277b68c29e444150","datavalue":{"value":"Trainyard","type":"string"},"datatype":"string"},"type":"statement","id":"Q2196558$BCAB3A1D-F858-4419-8AB0-759602F8EE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2196558$811CF145-3CE1-476F-A663-71866406407C","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":"Q2196558$B8112533-0774-4446-8703-E90ED9FA2C70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fbf1181cb18ec95bc3969e64a513133bb9d16af","datavalue":{"value":"W3027862920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2196558$772B1758-7B92-4E82-84F1-07DC286FF536","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02da94571bda19aad411052854f27c40fb08eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1623273,"id":"Q1623273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2196558$AE384AEE-3CC1-43FF-9E96-D29FDF9091E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1e0f497690203586702ddea8714acca04ff6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5282820,"id":"Q5282820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2196558$2FC3A356-557F-4E8F-B15F-E630BA93CBF2","rank":"normal"},{"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":"Q2196558$38B45F56-C852-44CC-9325-C237EA20C12D","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":"Q2196558$79069E2D-2765-4323-B440-17B7F63D6E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd03481e2178d8efdc47fa6c86d9059849758609","datavalue":{"value":{"entity-type":"item","numeric-id":3305725,"id":"Q3305725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2196558$01A82938-5449-44F4-A3DA-2ADD430E2D8E","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":"Q2196558$EBA470EE-10C7-4D54-B2E2-1254C9E17481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f010d26e91970873e59a9869ba2645b1d348dafe","datavalue":{"value":{"entity-type":"item","numeric-id":3305726,"id":"Q3305726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2196558$F4445620-003B-416E-9182-64627F7E9F59","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":"Q2196558$079B3CA5-227A-485A-B27B-1334AE0C179C","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":"Q2196558$EE900133-8B5F-4164-8209-3715D7D0616F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93543ef61ad8816f0c9975713d052a4d799e59e4","datavalue":{"value":"10.1016/J.TCS.2020.05.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2196558$EB702EEE-C689-4F7F-85C2-0B47CA5F8B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81c3cb272aa3b92b1f4b979bc41ea710470d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":3305722,"id":"Q3305722"},"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":"Q2196558$B6E3C592-B1DB-490F-888C-9E68109FF19F","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":"639a2c8046eae74c237bbe3cb23de57350006b40","datavalue":{"value":{"amount":"+0.8743569850921631","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":"Q2196558$A7721625-91E3-4B5E-A3D4-26014579C5C7","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":"edc306537a7a1658999fb4da8b3b146e289542af","datavalue":{"value":{"amount":"+0.871806800365448","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":"Q2196558$69E0B6B0-EACE-44B3-BB50-EE3EB62B0AA2","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":"699fb97a6457bfe7ade5722ba0f888a02ed93b2c","datavalue":{"value":{"amount":"+0.7185564041137695","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":"Q2196558$D18536BD-5F86-43C0-9B82-263924874932","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":"f2ac5f70ee84fc769a61cb4c998bdb9a6771ac38","datavalue":{"value":{"amount":"+0.7161269187927246","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":"Q2196558$4578EF9F-A383-4933-AD7C-3FE35550688D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2196558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2196558"}}}}}