{"entities":{"Q975420":{"pageid":977268,"ns":120,"title":"Item:Q975420","lastrevid":65856417,"modified":"2026-04-12T05:50:18Z","type":"item","id":"Q975420","labels":{"en":{"language":"en","value":"Post correspondence problem for short words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5719165"}},"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":"Q975420$B68AD96E-5863-4DB1-AF03-D217B7771BB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de426a47a723ff71ab365c3c65d34c7fca752ca0","datavalue":{"value":{"text":"Post correspondence problem for short words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q975420$DC035ECC-2A85-49F9-A2DE-9326A9E96063","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f22159c194d682306f0c342476f33649ce1f346d","datavalue":{"value":"1191.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975420$8EE789BE-9673-411E-B1E5-4FDAB2D22023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d83211de22bb9037eb8bb17627d49ead9fa4a9","datavalue":{"value":{"entity-type":"item","numeric-id":287018,"id":"Q287018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975420$A7E1B2B9-A81C-4A2B-9B35-F357BAD560AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ec9913fa096720df892fe4c83dc3b3c45fed1ce","datavalue":{"value":{"entity-type":"item","numeric-id":418772,"id":"Q418772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975420$76067423-434B-4354-966D-64CCD552184B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91cebe2c3862ce21207f21b89197103c43f307fb","datavalue":{"value":{"entity-type":"item","numeric-id":223814,"id":"Q223814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975420$A7395A2A-15F2-4F3B-92C0-3059C93E121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1040094bf74402ed6fa4c78436dda64e324757","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975420$3C080B54-9438-483B-8E81-8519789CD4AE","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":"Q975420$8AC0D7F8-7EB6-467E-BBEA-D244255C550F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1ba380dcd1b40e515c615a715f3a37c52287dd3","datavalue":{"value":{"time":"+2010-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q975420$4B384945-4486-4D5C-A140-116DB91C0D50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975420$E9228B05-500F-4ECB-85F3-E021A3719FAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80ac3f54e5a5185de3b490a325a13f901e982aef","datavalue":{"value":"5719165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975420$ED2BD5CB-33A5-4B6E-9694-FD33A2DD70C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2167c1603df170ff5458e34a919f1857d40b24b1","datavalue":{"value":"post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q975420$857F3528-C2AF-4E90-AF71-1029CF9D0587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff874d3e216708fe6edc8b9c1ff5893fc6d1fe5a","datavalue":{"value":"generalized post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q975420$36D31EE1-14DD-4CEA-A2B9-B9EC02BB1947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q975420$15B83333-4900-4B02-8767-BF17F7A477A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6278cbc02b7791f8ca1e9766a5b134adf345a0","datavalue":{"value":"Tzeitin semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q975420$90747269-12F5-4B70-AC9D-879406B53D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd25cfb6aa80b782fd82c373e60b5f83ed78839","datavalue":{"value":"short words","type":"string"},"datatype":"string"},"type":"statement","id":"Q975420$C285A187-37D1-49CE-B8F1-EAF2CF4146BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q975420$609F466B-84F4-477F-B257-6F79F70DB67F","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":"Q975420$34F96E0B-ED0D-466D-92DA-14F3CD50B172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f413d37087e5aa3a424cead21db1893e0fc0a5ec","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2008.04.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q975420$F0AD4330-583C-43F9-B451-D0AD11C7255C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc9e72859863e760253dece96a94ac68ecf7994f","datavalue":{"value":"W1978961500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975420$86623D46-AB3F-485E-9A21-5C76A41A7CC6","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":"Q975420$08AF061B-E283-4814-8E3F-245E823DA244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5855eb59f72c4bd81514ebd837d1695b0ce9f1","datavalue":{"value":{"entity-type":"item","numeric-id":1605309,"id":"Q1605309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975420$BC6FCE51-0A9E-4142-AFC4-C1120DB1AC83","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":"Q975420$B05A371A-3FEC-418F-8E9F-E44B528BF530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6497a4df225c5b900b33f67fbbe0b765d75d758a","datavalue":{"value":{"entity-type":"item","numeric-id":4593916,"id":"Q4593916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975420$F85CBD79-3456-409D-BBA3-59E917012327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975420$7D073BAD-EE86-405D-AC76-E9DFC6EDBEF1","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":"Q975420$294BDD01-CC56-47C7-8B91-364590050A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10075fc2315cb593b3a1b7a4be4384564e3f6b28","datavalue":{"value":{"entity-type":"item","numeric-id":3259710,"id":"Q3259710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975420$10C00752-4F82-4212-BF24-DA652D8255A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fb9f1e699957112ccea1f013b70ce1d0a1164f4","datavalue":{"value":"10.1016/J.IPL.2008.04.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975420$364F6040-7643-4EB6-938D-C2E66B049171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f49478777c639a8adc825ecee11fe93ee03cb40","datavalue":{"value":{"entity-type":"item","numeric-id":4593916,"id":"Q4593916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f500041c6217c81fcbebade783f4f8fb6ec93ec3","datavalue":{"value":{"amount":"+0.8550876379013062","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":"Q975420$4FDBA7C1-37B5-4BCA-8ABC-79E48EF80F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d735bee789c699aafebf6f434a309877ee428b5","datavalue":{"value":{"entity-type":"item","numeric-id":3423136,"id":"Q3423136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4293641d417c5eec3e1f1066f0fac919a2842114","datavalue":{"value":{"amount":"+0.8350075483322144","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":"Q975420$40E963C8-2BEE-4C18-9822-187FFE5ECE2E","rank":"normal"},{"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":"7fd3d5203009e6173aeb7b61e0dea50b34dbbf85","datavalue":{"value":{"amount":"+0.831192672252655","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":"Q975420$B1103597-8D8F-4EB7-A89C-087464411D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71906a49b82e5ecb9dadf9d9ac5f07e1a8ddea6f","datavalue":{"value":{"entity-type":"item","numeric-id":2905329,"id":"Q2905329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89fd41d8ab5f4ef2e74f813856c8bb16020d5f7","datavalue":{"value":{"amount":"+0.8254213929176331","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":"Q975420$65671066-7B90-4049-BAB4-097FBF0ADB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48abca16a41af4a954767330777c26591baad21d","datavalue":{"value":{"entity-type":"item","numeric-id":2271434,"id":"Q2271434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36efdefe96fbe77b8ba75119b14a1f1f981d476","datavalue":{"value":{"amount":"+0.8191255927085876","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":"Q975420$E2CF6722-DCB5-4520-AA93-4B3512509888","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Post correspondence problem for short words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Post_correspondence_problem_for_short_words"}}}}}