{"entities":{"Q6154978":{"pageid":13289375,"ns":120,"title":"Item:Q6154978","lastrevid":39732150,"modified":"2024-12-30T17:57:37Z","type":"item","id":"Q6154978","labels":{"en":{"language":"en","value":"Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805941"}},"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":"Q6154978$4166885E-6429-4FC8-85B5-9196450CE394","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b958acb8b6ba19396d6b594ddd4aff9fe4a0b186","datavalue":{"value":{"text":"Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154978$C5C838A0-A997-4BCE-A629-97396995EBB1","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":"Q6154978$0BB7686C-7DFF-49CF-83C5-2B675E44E947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"083e0bda31789df46789b9fb623330c0a36ad760","datavalue":{"value":{"entity-type":"item","numeric-id":512188,"id":"Q512188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$45B641F0-32CB-488B-AECA-F1C4E3DA78F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$E5D227AF-5AF3-4B96-8CE7-AB62C669C027","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154978$85094239-B62E-4A41-A954-88F05BA1EBFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154978$4A2DD398-A6C9-4ABB-BFA4-8A499C1EE06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154978$0EA82BA9-F4FA-4C0E-A17D-A956FA81ECCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1397c7d07b55282862d4db12cbe94becf8137559","datavalue":{"value":"68Rxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154978$91280A33-9E3A-442F-A1EE-F2FCCED49647","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e419d615370bb5787d0ddad3ef9c7cbf2a63e6b","datavalue":{"value":"7805941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154978$D547405F-0E20-4F12-B3E2-6DE0FF874DEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c3bf42f77dc67ca034d9f5f173a119900d5f95","datavalue":{"value":"binary Post's correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154978$B6B499BF-867F-41E5-8934-60C57E1D790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37195c0a4266bda872a6cc7aaf2981ba317b2638","datavalue":{"value":"periodic morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154978$29AC4E76-2248-4728-B613-91CBECB70318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154978$33A2E1E2-479E-42A2-A3F1-C55D5CD06C87","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":"Q6154978$5D5F247D-635F-423E-86A8-A3EB429D53D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66c9126decd60e9c67592d4f41296a52cad5de65","datavalue":{"value":"https://doi.org/10.1142/s0129054123480076","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154978$F6CFC6E2-FAD9-479D-B9F1-766ACA13ED67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59451acbd8a250c1806a0ce2b46d83e5ce2f1380","datavalue":{"value":"W4387672105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154978$9A14B7AF-0F95-49E4-B53C-0BBF0897D598","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0e9aefd3466c35342a2fc5af85df1f5f4ffbce","datavalue":{"value":{"entity-type":"item","numeric-id":4510794,"id":"Q4510794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$341F3138-40DE-4722-ACF8-B7799D123284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$EAFEC897-046A-44DD-A774-AC0114AD1CF8","rank":"normal"},{"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":"Q6154978$75E83B20-CF0E-4873-A1FF-D324D7A3538E","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":"Q6154978$D3028A11-DC64-4D19-BE06-C593C93B26CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ccc435fde0a78be3342eddbecebd8aff631925","datavalue":{"value":{"entity-type":"item","numeric-id":3086251,"id":"Q3086251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$C40CA210-5311-4C45-B0F2-F51AD2F9F5BF","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":"Q6154978$5B23FC9D-CA6F-4370-A0A0-224A9A4DDAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9df8cecf2c14b9eb735d2872dc04d8dcef9e46bf","datavalue":{"value":{"entity-type":"item","numeric-id":2997928,"id":"Q2997928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$E3EA1A89-6F03-4499-82E7-E4A050F42E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bc7c1bbf64bb4f4a05b4e291086fd11faea6cd","datavalue":{"value":{"entity-type":"item","numeric-id":6099611,"id":"Q6099611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$23DCB08A-C965-4882-8A53-B496E50B8A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028d24f00e69c703e3bb5da0e8da340547977ac0","datavalue":{"value":{"entity-type":"item","numeric-id":2955030,"id":"Q2955030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$D7416DFC-AB19-4D65-8CFD-6742E6553C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$580E90A4-E183-46B8-A811-D2325E385DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0ebb280b6b000f849ab6c9b9381019af83726a","datavalue":{"value":{"entity-type":"item","numeric-id":4001741,"id":"Q4001741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154978$FBCA3980-E57B-4544-BDD4-C5F7D206E9F2","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":"Q6154978$B00CF69C-5B1B-4B6C-9C04-83BBB1799A32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7551501c02e38872b19a606e866bce7d56601adc","datavalue":{"value":"10.1142/S0129054123480076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154978$9DF4A104-280F-4BAA-99F2-5D7B2C8EBC4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154978","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154978"}}}}}