{"entities":{"Q2163987":{"pageid":2174730,"ns":120,"title":"Item:Q2163987","lastrevid":55918645,"modified":"2026-02-21T03:40:29Z","type":"item","id":"Q2163987","labels":{"en":{"language":"en","value":"On the decidability of infix inclusion problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571003"}},"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":"Q2163987$6EA99CDF-414B-4999-B146-DBA4BD5DA90E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd7f4cbbc71323054a36a4f4bf3dc64e8bba09b0","datavalue":{"value":{"text":"On the decidability of infix inclusion problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2163987$F7BC487B-04F7-4E5F-A6FA-F18C750A87D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c82acac5615a5ec8ff0a3144810b72ad2fe21bf","datavalue":{"value":"10.1007/978-3-031-05578-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163987$E3C94A05-B107-4ABB-B1C6-88AC3B3254E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"261716ca50f18873cac5fbd2248061645f239a49","datavalue":{"value":{"entity-type":"item","numeric-id":2163985,"id":"Q2163985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$73B3A178-5CFC-455C-B4C9-AFF845E8DA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e7d936c82df762e84175598ed9337277c5d7eb","datavalue":{"value":{"entity-type":"item","numeric-id":2163986,"id":"Q2163986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$E3F43A16-EB93-4A74-A1F4-4EFE4838A782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b9be352a0547cbf58bc75f40a54645b3913886","datavalue":{"value":{"entity-type":"item","numeric-id":247253,"id":"Q247253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$8CCAE5F8-F52F-46B2-84A4-D3714B4FC288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fd1acb8904e12f62d9f3ab24cc05cd2904bb26f","datavalue":{"value":{"time":"+2022-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2163987$EC2AA92A-69D1-4D59-B8C1-C5AEFAC97718","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163987$382B9152-6688-483D-9F3F-28C9E02CF278","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"785bc2a0feea10162ecfcd9e309ac204be6ece00","datavalue":{"value":"7571003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163987$172E1DAE-791C-4919-9833-4AC450CF2DC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28f15c4e46cd3eeb197f7edf16a13f5215dc97a","datavalue":{"value":"infix inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163987$F09C45E1-45DD-4C56-AD6D-70C23C32E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163987$8D6132C2-86F5-402F-B7E4-3D2241BCD2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163987$D47E1BFE-227A-427E-8953-13FD30FAD237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163987$03E818C3-3A47-49B3-B404-3EFD46039474","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":"Q2163987$BC28EECC-8055-4EE6-9C11-E7DCF09D0EBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"792cc977c44a69264d4e8230ecf41a40e92926ae","datavalue":{"value":"https://doi.org/10.1007/978-3-031-05578-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2163987$68F5AF17-79BB-4669-95A9-2443862BC2B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11ab01231526089a14568e9d17d20a3c7571be86","datavalue":{"value":"W4285173793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163987$AB4FCAEA-87B4-4870-B838-5D1414A01801","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$DF945626-E127-4125-8C70-5912ADED395D","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":"Q2163987$455271E2-C4F0-47B9-AA31-8EE10D599C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afcdb80c5d3b664f4ad87c19b57d4224d2da9e70","datavalue":{"value":{"entity-type":"item","numeric-id":4994938,"id":"Q4994938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$EC7B82F6-0446-4CCE-B5E6-2675033C8694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61567bec04b92f85e8877d33fd2b3d2f797b95","datavalue":{"value":{"entity-type":"item","numeric-id":3564854,"id":"Q3564854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$6A39EB4E-1682-42D9-B25D-8832D81DE3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa63dbca5e2a4304fd9460ba182225d558062a8","datavalue":{"value":{"entity-type":"item","numeric-id":4910457,"id":"Q4910457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$0EEB34AA-3E14-4C95-B817-061275AADE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82809b9dfb828731e3c7e1690fc592e40f8f9a6","datavalue":{"value":{"entity-type":"item","numeric-id":4589234,"id":"Q4589234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$781DD784-8CE5-4AFE-A2BA-066C63E27DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$C6C82E7C-224D-4EA5-8FDB-1EA6031E8439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1606411f31cc70183ac90e1a1d01580e39ae225","datavalue":{"value":{"entity-type":"item","numeric-id":5020647,"id":"Q5020647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$EE87D4D3-3809-49FD-A34D-65208A1D0EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c501d1a13bcdd6d815089b290484e1bfbc13abe4","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$121A09BD-BEB5-41DD-A088-312A9F010375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1039a4c84eb42ff381f0cc0ca8d6fcc1b1ef13ca","datavalue":{"value":{"entity-type":"item","numeric-id":4640039,"id":"Q4640039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$94033B9E-44D0-4344-B46A-35B1EC7AC30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21903b6014864aa4aeb9312cb0a70a134ad47f05","datavalue":{"value":{"entity-type":"item","numeric-id":4590910,"id":"Q4590910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$07ADE9E7-56DC-4543-AC04-09B1BACAC916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2cf228e7f6980c3ee8de846819585d642e9839","datavalue":{"value":{"entity-type":"item","numeric-id":5536277,"id":"Q5536277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$CFEE6C74-8206-44CD-A453-BE496BA1D06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61717e6c81cf68d0221f021cf62bb20b77cf3cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3584908,"id":"Q3584908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$404B272F-CE7F-43B4-AC9B-1F17FB6F1183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78c022fa9182ec2262a92787ead13bdfa80de2e","datavalue":{"value":{"entity-type":"item","numeric-id":2909103,"id":"Q2909103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$80EF4E6A-231F-4AD4-950F-7B058BEDFFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$9187BF79-A255-49FC-991C-9AE999770D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$6A378776-9931-4C1E-B3A7-D7B2CB868750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d617310b37fc85fd09ec7dd2c4fe23b8a3c75fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4692941,"id":"Q4692941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$817A314B-0DAA-44D2-AD54-3F2B13557B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff14f4b8724352593a5d45ccf3ff80f277002de","datavalue":{"value":{"entity-type":"item","numeric-id":3303917,"id":"Q3303917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$F0E8C006-18B7-4ACF-A088-32980EBFA385","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163987$5650FF58-D2F1-440A-A878-D625F2087B71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf22774ff8b350c3e2a701e473a5cc92d2ce95b","datavalue":{"value":{"entity-type":"item","numeric-id":6580072,"id":"Q6580072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8da5ef0ffd7abe9a235fc35ea56e41332f7f337","datavalue":{"value":{"amount":"+0.9680236577987672","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":"Q2163987$0B45CAE8-9377-4D36-8150-D31806FA7E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4c18bff17d7eeedb0248533999a16654738fe1","datavalue":{"value":{"entity-type":"item","numeric-id":4630269,"id":"Q4630269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844437fa1579066afdf08ddf571d39cbf3b5cc1b","datavalue":{"value":{"amount":"+0.7813816666603088","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":"Q2163987$4708976C-4DCF-435A-93FE-DF08C72A930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc3dafb0fa4f794283410a3e6b81a414eb455e0","datavalue":{"value":{"entity-type":"item","numeric-id":1892205,"id":"Q1892205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6294fe2ce4ecd7b463641667247a2c36976bf2cc","datavalue":{"value":{"amount":"+0.777131974697113","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":"Q2163987$EDA123F4-34BB-4F3F-88FD-DBCACE011527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d0a2d4e62ca5c88fa04efbe3da6b73a3f51a80","datavalue":{"value":{"entity-type":"item","numeric-id":3533022,"id":"Q3533022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f10c8bef63063af001fb5ce15e10f8cc3d8c56","datavalue":{"value":{"amount":"+0.7592401504516602","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":"Q2163987$9ADD4468-EC6C-4EBB-A06C-FCBA6CA9F4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05ed07a528d74796068c6eea6424d991111fdb7","datavalue":{"value":{"entity-type":"item","numeric-id":1049406,"id":"Q1049406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af475660c1fd0f30aab8248b922ac71d427c56da","datavalue":{"value":{"amount":"+0.7553721070289612","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":"Q2163987$E25C702B-84D9-42A1-9250-564A45529588","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2163987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2163987"}}}}}