{"entities":{"Q963345":{"pageid":965193,"ns":120,"title":"Item:Q963345","lastrevid":65717913,"modified":"2026-04-12T04:51:49Z","type":"item","id":"Q963345","labels":{"en":{"language":"en","value":"More decidable instances of Post's correspondence problem: beyond counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5694917"}},"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":"Q963345$40661CC9-0639-4840-A671-494931090990","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a046990dea848654efb25134a24ec54d01f70f85","datavalue":{"value":{"text":"More decidable instances of Post's correspondence problem: beyond counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q963345$F542FF43-2C5D-4DCC-8088-68D0EF2E1EAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01abf3eb9060e84aeb34128f3fb7461ce2e31bf8","datavalue":{"value":"1186.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963345$1B4DFB6F-3BF5-47C2-9489-3C0FE635AC7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e48cb634a21ccf10ac9013a5f4e0ca01c0742f35","datavalue":{"value":{"entity-type":"item","numeric-id":963344,"id":"Q963344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$67B14647-3263-4794-92B2-C54EDAC60566","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$52ADD51B-2978-4A1F-B3DF-4B29A0DFC603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df35f107dee033aa4a629b06ed8424344d71e9dc","datavalue":{"value":{"time":"+2010-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q963345$E2F0CBA2-FAE1-4B5D-8EA0-EB7E897A9DE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963345$4A874BAB-3464-4148-803C-49740D01988C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7abfc3906d804feb397fc6fcc96164b60486e1a5","datavalue":{"value":"5694917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963345$01A655A6-DDE1-4851-860A-23708C38B7E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q963345$C7AC37C1-91DB-401E-BD28-EEBF8EB68326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75d448735778f46c4e9667e177539a844422b26","datavalue":{"value":"context-free language","type":"string"},"datatype":"string"},"type":"statement","id":"Q963345$5DD31901-A143-4C87-B161-1A75836C955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q963345$41C5426C-D87F-4EC7-ADBD-DF2AB859EDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93d69ebc1c51cfee06b00c8b748e2b4275c0266","datavalue":{"value":"combinatorial problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q963345$B9A3B9C2-4171-42A4-9213-60E044DE7312","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":"Q963345$BF4B0B8C-FAA8-40FD-A69C-FB0EB5DA9FD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9df32270535ffc07d89fc31ad378510cb01647f","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q963345$677D6478-3B9B-45D9-8BB4-DB7B60A03F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fa83b67ff55cf84e37ae55d36d8c5c38a218ccc","datavalue":{"value":"W1986342569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963345$096DCB62-99E3-4649-82AC-ABBFD77AB7BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2cc8bce8a19ae76cd76755edd0109ccf1e5909","datavalue":{"value":{"entity-type":"item","numeric-id":1168746,"id":"Q1168746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$ADCD7972-5318-4769-8D7D-72439326D384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8494219a569d3257da480586fc2efa6ecf6bc2ac","datavalue":{"value":{"entity-type":"item","numeric-id":4065056,"id":"Q4065056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$41C8CC7D-419D-496D-AD79-B44502DCE72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfcdeac2afe89b17a1b4fdbe75ff58dc877fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":2709980,"id":"Q2709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$A06D2458-DB73-4283-AA8D-16BE9472925E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0843973f3ac101624b4b66753169e3160eed2261","datavalue":{"value":{"entity-type":"item","numeric-id":2373757,"id":"Q2373757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$93C74315-78A2-49FD-882B-587F40246840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c1cc586f08515e85e2943e020580888ed2d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941069,"id":"Q5941069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$AC2DD56E-C978-4DCA-AF4A-5356CBB17B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37a7732801448172e8ef7852ef3c4251ba24a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1230657,"id":"Q1230657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$364B0A0F-0169-4059-8D7D-7A9F04CD3571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1723a8debf8666b33408e4a0eb605418500826","datavalue":{"value":{"entity-type":"item","numeric-id":3907104,"id":"Q3907104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$811B29D4-FC15-4B32-A7FF-8D074EA510B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$D874271D-42AB-456C-B42F-7AEF5470603D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q963345$DE16275F-327B-4F36-812B-3786F64E620D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf08cdbf4c520dd1816ae57331005a8d067323cc","datavalue":{"value":"10.1016/J.IPL.2007.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q963345$09BA5BDC-E5C5-41E4-B7EE-3267204D9947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271691eb42baca8a53e27ecc66c74d6674a58096","datavalue":{"value":{"entity-type":"item","numeric-id":792770,"id":"Q792770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b09ea8f790edfb01e67488b57480cbe9718ab07","datavalue":{"value":{"amount":"+0.87644756","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":"Q963345$309EA451-F5C7-4BD7-8F89-094D8DF02F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fded7d83a66917e584add0d176c2537fe7506b4","datavalue":{"value":{"entity-type":"item","numeric-id":1408462,"id":"Q1408462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedff34f0f712d6c2bd5fea87fb56d459735d590","datavalue":{"value":{"amount":"+0.8728741","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":"Q963345$D170B77C-6578-4CF4-80EB-6134F0A3AB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fddbfc8ff36c00343cd853ea77407a88fa92226","datavalue":{"value":{"entity-type":"item","numeric-id":4729772,"id":"Q4729772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5254fb8f6ca118ee4cd043d78e1725fe7921f6","datavalue":{"value":{"amount":"+0.87089616","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":"Q963345$585F7B42-FBDF-479E-894B-577A08B4F621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41fd2f7ee1fa0e63e88bcd13fb00a608e4a9370","datavalue":{"value":{"entity-type":"item","numeric-id":4453473,"id":"Q4453473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e4ea6ebe98f0ae0e249a46a1b9a7c05f97c1fc","datavalue":{"value":{"amount":"+0.86618686","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":"Q963345$1546D05C-DE0C-4EF7-B9D3-A398A90A2F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6bdb7e6be1348a1600ebcdd1613011f04c2521","datavalue":{"value":{"entity-type":"item","numeric-id":2345861,"id":"Q2345861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16c8705bc59ce274c2d80fd7c63da4cae7c74b7","datavalue":{"value":{"amount":"+0.8608094","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":"Q963345$A870478B-F028-47AD-A5CA-DCA6B7D52AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be5b5b1cd225482704d45c93b83519c103b4910","datavalue":{"value":{"entity-type":"item","numeric-id":496055,"id":"Q496055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e452de9f3bd9c4f0ef9c113ddecab417f217a7","datavalue":{"value":{"amount":"+0.84953815","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":"Q963345$B1A2C17D-91A8-4431-8027-FA1C44B0555C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c447e0c2cb0e9006e7d8af0ba641b969a3bc9bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1899905,"id":"Q1899905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd48b302fdbde2dd5df65474685fb3d0aa3644fd","datavalue":{"value":{"amount":"+0.84365714","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":"Q963345$6F51C7A4-C23F-417F-B1AA-9E80B456C412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161a81d0a6cdd482f1779212bfd6a0cfff9b2a80","datavalue":{"value":{"entity-type":"item","numeric-id":1323352,"id":"Q1323352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfd48053cfb8d16678d0715b18664d76880c967","datavalue":{"value":{"amount":"+0.84310365","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":"Q963345$4DC960F4-8A10-4FF9-AC07-DAF2E2F6E4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aca6d5bbdadea72fb7a191861fd98527ce611c2","datavalue":{"value":{"entity-type":"item","numeric-id":6173100,"id":"Q6173100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75bf67b4dca2ef79a46fe6041a4a09015232ad3","datavalue":{"value":{"amount":"+0.8419726","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":"Q963345$736C653C-0420-4B05-BE50-340A1207F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c3e86fb6714988ded945440100cb506c5da763","datavalue":{"value":{"entity-type":"item","numeric-id":4265636,"id":"Q4265636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461d32f0ba1c15c9e6a36ee0e3e8f3bc92badc68","datavalue":{"value":{"amount":"+0.83943546","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":"Q963345$BF4C177A-67EF-4156-A73C-093279B8413A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More decidable instances of Post's correspondence problem: beyond counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_decidable_instances_of_Post%27s_correspondence_problem:_beyond_counting"}}}}}