{"entities":{"Q7310230":{"pageid":31275076,"ns":120,"title":"Item:Q7310230","lastrevid":105090541,"modified":"2026-09-16T15:14:30Z","type":"item","id":"Q7310230","labels":{"en":{"language":"en","value":"Negated string containment is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236295"}},"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":"Q7310230$87E53C63-BD72-4B88-B47D-B5E54074FA6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fafbb8be9393999d98692b63989e3f4914575b7","datavalue":{"value":{"text":"Negated string containment is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310230$BD7E20A6-83AB-4896-99E9-2C5A7419F902","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9edb1a1c9a7cae959530ad714da856b440fa032a","datavalue":{"value":"10.4230/LIPICS.MFCS.2025.56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310230$F83005F2-799D-41D2-9E50-C9871B8EAB3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27fd7f8ac9d02e546743864814989ba04fcab120","datavalue":{"value":{"entity-type":"item","numeric-id":2038089,"id":"Q2038089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$BE8824F5-6257-4D74-860D-1ED13E08A740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef09e2ff3ec0191bf77edcb9142e0362f487332","datavalue":{"value":{"entity-type":"item","numeric-id":7310229,"id":"Q7310229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$793F5478-2013-495D-8F6D-54D338CB1D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$220F7263-C36B-4703-993D-D13CA54163BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$C3EF719B-21EB-44D1-B83E-A5509D0D16C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310230$75A16663-75D5-4A54-A429-755DEFB8F693","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310230$D2521910-FB94-4E63-A6F8-2A37C6367192","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf446803f928a0f0a8555a3b8b02fd8b323e67be","datavalue":{"value":"8236295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310230$33AF478B-65B6-4340-81A2-F18401917B52","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$3BA6B4FE-AB78-47A9-942E-22D2FBFFFC1F","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":"Q7310230$4BF85784-CCD3-4365-96C7-25EEBA7C6138","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a6e9508925801ba64a3b7f803fa50c7a4c6472","datavalue":{"value":{"entity-type":"item","numeric-id":6488164,"id":"Q6488164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$DA010DB9-93C9-4E21-ADAB-F9CA696267C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdb27290e727aaf8814e06a49f48f08e3ab294f","datavalue":{"value":{"entity-type":"item","numeric-id":3297597,"id":"Q3297597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$8D12FE05-E979-4D15-BF54-449287ECFAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9640f428a889d6837f5544f2a90bcd43befa3f","datavalue":{"value":{"entity-type":"item","numeric-id":6649435,"id":"Q6649435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$0EA2F1FD-B050-4804-A47E-0100D485556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184f6b1ef9dc6ec01dfaad6e33d1e8d5c064a33a","datavalue":{"value":{"entity-type":"item","numeric-id":5408580,"id":"Q5408580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$CC2681DA-DB11-44B9-8F09-A3FB448D0C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f513dee4b5698293b272c411ee2c4e17059445ed","datavalue":{"value":{"entity-type":"item","numeric-id":2680985,"id":"Q2680985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$FB74239E-B8CF-44CA-BDDF-255A9040178E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9297d0765766411dd0d536ee866abe35681b6d","datavalue":{"value":{"entity-type":"item","numeric-id":832270,"id":"Q832270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$1D7D0688-4A26-4952-9427-1F5415BAFC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$8C6F7E31-4174-457D-9319-6F67FD606896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06cba94529e5a4c9f7c2111ff669dd20024a60da","datavalue":{"value":{"entity-type":"item","numeric-id":6174543,"id":"Q6174543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$9A9F60F4-62F7-428A-951B-1482405BFD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abc084dd7e691a8aaf19ace257251eb5f414910","datavalue":{"value":{"entity-type":"item","numeric-id":6485885,"id":"Q6485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$22081BDF-AE4E-4A63-97FD-F89CFDA3C139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80c0c955661a3be7255e6ae15d8e2f2b95def01","datavalue":{"value":{"entity-type":"item","numeric-id":2330594,"id":"Q2330594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$71B6A130-0F50-4F11-8E5C-9CB1334CBC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$D01B661E-ACBB-4110-9BF8-C02BB99798F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b90ce876afc6f420406572534d02a40f2727fe1","datavalue":{"value":{"entity-type":"item","numeric-id":4406307,"id":"Q4406307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$A22FCF3A-E32A-430B-BCED-AC3EDAA69C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e685f4dc0520de6dedf71054570fa4ef9351bb4","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$08C0E2DE-0ECC-4AF9-A876-B1AAF5A2B08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdd9e476d1f75379ca5fa58c4f7bf7ca1cf3ade","datavalue":{"value":{"entity-type":"item","numeric-id":2964458,"id":"Q2964458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$8048E977-DE0F-4655-8198-0C2C7F09223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72a24ab38e8fafa6fbae1839d4df37aee0396ef","datavalue":{"value":{"entity-type":"item","numeric-id":2828250,"id":"Q2828250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$12F96F2D-A7C2-46C4-95CA-3B71D0E6AA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b10886ca8b4810e91e18ed9a8c6b352daf84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4341774,"id":"Q4341774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$F521F206-6AF2-4F62-ACFA-18DD18B60003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$0F4A6DB5-F382-4544-90A1-96D402A26CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d984942714a8ab29c2d47a77f456c0ee4e53475","datavalue":{"value":{"entity-type":"item","numeric-id":6535533,"id":"Q6535533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$1C38FBD9-638D-4B71-BB14-E0DDDC3B02FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ca34fe94cbf494863af77ec148aceea3d9965b","datavalue":{"value":{"entity-type":"item","numeric-id":775458,"id":"Q775458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$641F7037-8E78-48F0-98D2-3D04E3445C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$1CA96314-5EDD-4260-AA24-31E59833296C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c971204f4614adbb31094885da1fb7977d8cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5997104,"id":"Q5997104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$CDD35E36-886E-4750-B271-010CB51AA251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45eae4be6d7ffbeeaf6fa13772378783aa42ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2233503,"id":"Q2233503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$09DD2DDA-45F8-4F43-A173-A9724EA23313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484824b7d07f91028ddddaf59e72151dabe344df","datavalue":{"value":{"entity-type":"item","numeric-id":6487337,"id":"Q6487337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$00BE1861-DD61-4AE6-848C-ECAE44740225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee05a5737522c1d606daa8e2b60a8235617283e","datavalue":{"value":{"entity-type":"item","numeric-id":7238316,"id":"Q7238316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$4592BB03-A7A2-4591-A8CA-BECAF61EBA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea55efa8381dda049f5e08991aabf0c69feabca","datavalue":{"value":{"entity-type":"item","numeric-id":6154871,"id":"Q6154871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$91B0DB8F-F643-4F70-8CB7-671517B10214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fa78d199c1a45949047edb73ab94398f608b93","datavalue":{"value":{"entity-type":"item","numeric-id":2164248,"id":"Q2164248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$FF15705A-986E-4B44-B018-BBA63DE7E86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d6b89662737eca25b15fe8b84be8a6e6a8d4ed","datavalue":{"value":{"entity-type":"item","numeric-id":2165529,"id":"Q2165529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$6F138406-4AB3-4E95-B6C2-F5369FF1776C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e228385446612792a4d90d8ee96321896ab29de","datavalue":{"value":{"entity-type":"item","numeric-id":4640286,"id":"Q4640286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310230$1475C896-CD6D-45A8-A6F5-D2F1BCE62647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negated string containment is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Negated_string_containment_is_decidable"}}}}}