{"entities":{"Q764348":{"pageid":766197,"ns":120,"title":"Item:Q764348","lastrevid":57161061,"modified":"2026-03-26T20:40:27Z","type":"item","id":"Q764348","labels":{"en":{"language":"en","value":"Absoluteness of subword inequality is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014328"}},"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":"Q764348$B24C903C-FB71-4055-9533-D1EC2F506F7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4f22f8cbb6de30e626b956851c269dcdb36322d","datavalue":{"value":{"text":"Absoluteness of subword inequality is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764348$1B6C5D67-65AE-40C0-A2F3-32749571CCA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b57760fde1482d168873f71aa4e9ef763df4f55a","datavalue":{"value":"1232.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764348$C1E1E437-3156-4585-83B3-C379E8008049","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9afaa416287ab6266df9a2a191233e4c5a8394a8","datavalue":{"value":{"entity-type":"item","numeric-id":264985,"id":"Q264985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$9740370E-9AEB-4BB0-AEA4-F57B1C8BCB3F","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":"Q764348$0E5CFF1D-8C5D-4953-A492-B42F396DBCD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764348$17DE5DBD-BA3F-4C23-9D63-1398AD3A3E8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ab1a23bbb034ecc49600347cd9cdb3a82350bca","datavalue":{"value":"https://arxiv.org/abs/1108.2758","type":"string"},"datatype":"url"},"type":"statement","id":"Q764348$FDB0A620-E7E9-442F-AF17-E07128B5F8C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764348$C879EDDE-C0A2-4485-8916-B0662D93D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764348$6EE41251-A594-4FE4-9AEB-D1D1D29B2F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764348$B20704A5-67CE-45DB-9C7D-9A94A59664E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbd2b29779191d9253440de22719481ed9a53ddc","datavalue":{"value":"6014328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764348$4D5924BB-64CC-4F68-826C-D4D441F3468B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0226ebe31e77dd38dae15e3639a90891af08d614","datavalue":{"value":"subword history","type":"string"},"datatype":"string"},"type":"statement","id":"Q764348$87860A85-A54B-43AB-BC3D-1D5CBA12422D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0736c136576f35fa6c6c00b76e40a35aec465c20","datavalue":{"value":"subword inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q764348$3F4FEAB0-49DB-4C7E-B8C0-27DB3E1C83A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22cd694a1ceddc890d56567c3e53f75738015abd","datavalue":{"value":"Hilbert's 10th problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q764348$632B2390-1F05-4FD9-9F24-B85A8C76607C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4ccf56720c6cab3d62019be535766050a08cb8","datavalue":{"value":"Diophantine equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q764348$97463F3E-6433-4E9C-A98C-9E27E2FC229D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q764348$37F62386-394A-444E-BC8C-A2A07FE5E687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q764348$FEAAAB39-D2CE-4CC3-A4E7-81EA60BB7543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9431999b083fe3f3c7c084c9d628172a1e59a0db","datavalue":{"value":"absoluteness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q764348$05F1EAA2-FE64-4E25-A312-487D6314F979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15af875203f61841e74b691292cce7ea18c7c754","datavalue":{"value":"equality problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q764348$CB3CA351-7A99-4FA7-89CD-D4D267109CB3","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":"Q764348$FCACF93F-D813-4295-9AE0-A89C48C34EE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96af47989d865cb4d6eea92bd08776a5f28f1ea5","datavalue":{"value":"W2055195461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764348$722EF865-3B34-4F7F-AFB8-81D439D93FFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$01DFD579-0C62-48A4-9332-C69C6B305352","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":"Q764348$4DA46D8E-4D49-4542-8B5B-65EEF423627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b1f8ed48c1d9d9a912aab4b82ed27c1242babb","datavalue":{"value":{"entity-type":"item","numeric-id":1878676,"id":"Q1878676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$6768FFF7-9B2F-40D2-8721-BA7748FFADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485e66379086eea3c65de0b92f4a79024414b678","datavalue":{"value":{"entity-type":"item","numeric-id":4294173,"id":"Q4294173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$A272A069-0295-4BD3-9F19-476E61CE632B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$6FDBD26D-D233-497A-8338-C89AFA8402A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425e2693745edeab20eb287777dee973361116c1","datavalue":{"value":{"entity-type":"item","numeric-id":5628115,"id":"Q5628115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$7B8B1E59-D380-4E89-A694-F528329009CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$71700436-B51D-47D6-A72B-0782B1EA87ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c346fcf8c23cf4fedee6adca5eb2e9b1b265a3","datavalue":{"value":{"entity-type":"item","numeric-id":3887444,"id":"Q3887444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$AA8D037F-605F-465D-9F4B-83E8469786DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574960c81d25953b1bfc911cd7671b4abf38a5de","datavalue":{"value":{"entity-type":"item","numeric-id":5713561,"id":"Q5713561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$526E60E8-8C15-4605-9359-BE261BA19B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599930a905837137ef5ebc1328d65c8a2eb1677a","datavalue":{"value":{"entity-type":"item","numeric-id":3216717,"id":"Q3216717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$F43D195D-B4F6-4D39-9F2F-37169877B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff26d3ef46def994ce6f0201b11ade0542f9f57","datavalue":{"value":{"entity-type":"item","numeric-id":3526551,"id":"Q3526551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764348$8BECF5A0-1710-4FF4-A6AC-C61E5193111D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7679b7bea53d637a5903162799e586e4404c7def","datavalue":{"value":"10.1016/J.TCS.2011.10.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764348$4D5A3A79-83C9-4A31-8071-C0485F47E75C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d4ba43e0f39444c130d1d2d64b852b5f9e7e58","datavalue":{"value":{"entity-type":"item","numeric-id":2856016,"id":"Q2856016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb97350b41fd4abac027b39398969a529225a67","datavalue":{"value":{"amount":"+0.8986203074455261","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":"Q764348$20BCAA65-7D95-4921-9EA7-CE1571C3091E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba54e6de249800620b2941dfb8abb16e95db4f62","datavalue":{"value":{"entity-type":"item","numeric-id":3526551,"id":"Q3526551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8aa8c92b9a054fb1b1117c079d86c1e5840093","datavalue":{"value":{"amount":"+0.8510516285896301","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":"Q764348$A1B261DD-DE43-4AF5-B087-ACB24D8A3E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04903b6d039da5559b267fa03ac3ec8ba13663a","datavalue":{"value":{"entity-type":"item","numeric-id":1878676,"id":"Q1878676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85413c6227e942e45d64d2a9f3edb152d27bc541","datavalue":{"value":{"amount":"+0.7889498472213745","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":"Q764348$E49CDFA0-6FCE-4A36-87DE-36CC413F9F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a54457216ae19a3f2d4fe4d83b9b62ebbdcbb2","datavalue":{"value":{"entity-type":"item","numeric-id":4596614,"id":"Q4596614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6f284db65eefdb238094112147fa455cd99704","datavalue":{"value":{"amount":"+0.757612407207489","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":"Q764348$0C0EEC3A-8871-4909-89B5-BC9CBAA949B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da66ecb5edc3f77a6e7f3764f31bfcf61e79633","datavalue":{"value":{"entity-type":"item","numeric-id":954996,"id":"Q954996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dbfbd6b6eb7d832cdc74427c8e53bec41bbb37d","datavalue":{"value":{"amount":"+0.7524814605712891","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":"Q764348$2DBCC98A-3830-48FD-99EA-0F89C98DAE43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:764348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:764348"}}}}}