{"entities":{"Q6580072":{"pageid":14191227,"ns":120,"title":"Item:Q6580072","lastrevid":55717519,"modified":"2026-02-17T21:36:01Z","type":"item","id":"Q6580072","labels":{"en":{"language":"en","value":"On the decidability of infix inclusion problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7888049"}},"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":"Q6580072$287EFD8E-1253-496C-91F5-9A8A918185F7","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":"Q6580072$C81F403E-40B6-4F96-ACA5-0DBD57A10FCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07f47ed17ce8497a1d838c049ae2213739e38d6e","datavalue":{"value":"1547.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580072$681ECAA5-4444-43DF-AAD8-337592A29213","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":"Q6580072$80A4F68B-2F4F-47D6-8E0E-9814DD58767C","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":"Q6580072$69F58EC1-32C0-4EB6-8606-14B4C531EBD9","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":"Q6580072$9C91C757-02A6-4850-875D-64853DACF849","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580072$5ACB5CFB-8E04-4564-92B7-C09A4937BB17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"581d0568ac17ca43ed5d0aedd4efb6193b09597e","datavalue":{"value":{"time":"+2024-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6580072$103A6752-4A36-47F8-B919-9C6B65AEC71A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580072$01201096-E08E-4CB2-9B49-7E541D36A9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580072$DB039BBB-85A0-462C-BD80-F4A737149661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580072$8ABB0553-2D54-4935-8313-D1D692FF29D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7693dccbf70fa7a2a139060847b27dc1e9fce44","datavalue":{"value":"7888049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580072$D8E28051-08B6-45DB-AAFB-951417252E7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28f15c4e46cd3eeb197f7edf16a13f5215dc97a","datavalue":{"value":"infix inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580072$2503E53F-1531-4B82-B036-F28C7619D2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580072$70D1FBED-8617-4357-B66B-A6A7611D7D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580072$B6D997A8-75B3-4F1A-A1DB-39D8376970B5","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":"Q6580072$C194E5E4-A48B-4C9C-95B3-C2478BD66BEB","rank":"normal"}],"P223":[{"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":"Q6580072$C1E0A500-3854-4DAC-AC3A-012E600F39C3","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":"Q6580072$B5106656-1CFF-479B-9AD7-44AB7BC883B2","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":"Q6580072$B1BFCA21-107B-44CA-9383-07CB4D1713B7","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":"Q6580072$92B5CEA7-A641-4FA7-8250-F45C81A6366F","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":"Q6580072$F05CC054-AAA7-41D6-94D5-1F5222765A92","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":"Q6580072$D614AB1F-5D83-4091-A26E-2FB6AB06F5FE","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":"Q6580072$A9B784A5-EA06-464A-8243-9E3A2EB0A43E","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":"Q6580072$55794B67-FD6B-47BC-8596-DD26B697B753","rank":"normal"},{"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":"Q6580072$4C9C4132-588A-4675-A5AC-99BA14A16D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94145afe50b52f52c2565ad6db46c72e8c5bbbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5918675,"id":"Q5918675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580072$F0E78515-E08E-44B4-9A9F-C50ABEBDFABA","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":"Q6580072$B8CCB1DA-E26D-4396-A6DC-A51A51383182","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":"Q6580072$7BA2466E-68BA-404C-9F6E-FD2BC1DE355A","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":"Q6580072$46813D2C-6193-4EFC-89D8-D6B1F1EAF3CE","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":"Q6580072$F5A40287-53EA-4DE4-BBDE-C43880DBA95F","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":"Q6580072$99AB6FBF-95DC-4394-8F5A-4B7194D47B80","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":"Q6580072$9DBF7F5B-EBAE-4318-A34C-9054844F8581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97f56149b298f04d635caacedbdf52864bde9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1041037,"id":"Q1041037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580072$2C194C88-DCC7-44BC-B17B-B16E040F859A","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":"Q6580072$0092F6CE-C806-4DFC-A8A5-978A79875E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb8a2fa19b6be0343313e36e8b373bb3837e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2163987,"id":"Q2163987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580072$9D618D38-F052-4EF7-95B5-15DD135D471C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d28befa95d177e0b6a79662ffc4cc13bb7288603","datavalue":{"value":"10.1007/S00224-023-10160-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580072$18F462A2-8868-4EA5-AB1E-423BE19BAA64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e02ebe1da6fa22ef551534190168f706fdd5125","datavalue":{"value":{"entity-type":"item","numeric-id":2163987,"id":"Q2163987"},"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":"Q6580072$207EAA4A-0FD6-4745-B81F-BEDC4D075717","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":"66c1388db711c2da281786984b73c7662c14ffca","datavalue":{"value":{"amount":"+0.7636511325836182","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":"Q6580072$46271B56-C693-4746-B44C-B594706DA192","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":"d3c6caf5932059b49a7658091982702d8c831da1","datavalue":{"value":{"amount":"+0.7552184462547302","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":"Q6580072$378F343F-085E-458B-BAE1-4A0A73D5B697","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":"cc0e808ac8b520c543aea56f8d731dd35278c93d","datavalue":{"value":{"amount":"+0.7387620806694031","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":"Q6580072$D0CB7825-DF3C-43FF-9B57-2818ABBD1103","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":"a284d5592b5be9c1c4fc5f94b9bfc868ab15dddf","datavalue":{"value":{"amount":"+0.7349776029586792","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":"Q6580072$90E69F4E-C4AE-453E-90AA-5BED3D95DDDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6580072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6580072"}}}}}