{"entities":{"Q6584082":{"pageid":14195238,"ns":120,"title":"Item:Q6584082","lastrevid":42363364,"modified":"2025-06-13T01:59:27Z","type":"item","id":"Q6584082","labels":{"en":{"language":"en","value":"Deciding emptiness for constraint automata on strings with the prefix and suffix order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893114"}},"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":"Q6584082$4AAD746B-C055-4C6A-B403-BEE3A454D177","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72b229ba08aef2a5fe2ee9e3488ba5252d1152a8","datavalue":{"value":{"text":"Deciding emptiness for constraint automata on strings with the prefix and suffix order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584082$CF01F933-4266-4C18-A922-9BD043D6A0AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae964dbde260dbff89700069d3c00a1213f7d8f5","datavalue":{"value":{"entity-type":"item","numeric-id":6584081,"id":"Q6584081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584082$6BCE0F7A-034B-4D2F-BA47-4893DDA5720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584082$DA36533C-9251-4B0D-B8A4-F0F48DD2A2F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b289cc5d2b085b187346f3152c3a69a70d0e3be","datavalue":{"value":{"time":"+2024-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584082$5834BE98-58C5-4A56-A63B-1DE395A4C1CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584082$B190AAF4-D6E1-4918-94D6-19A23803178C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0684dc022fab3df41832d99c95947a0d2d3c104c","datavalue":{"value":"7893114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584082$88C75F65-40C7-49B0-816C-D9A54282D577","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e57e10dbdda311ff1547a9403eff1427aa38a0a","datavalue":{"value":"data languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584082$84B8AEE4-FA3D-47E3-8F45-A17DB98AE30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f375d9831de7dbe7071a94820ee318a076eb222","datavalue":{"value":"strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584082$65029F8D-165C-47E8-87E3-13EA10192C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584082$F6500AA0-0773-4B2B-B388-8DE689934F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9947e86031adb4cdbb200f2a9c08a77817d41858","datavalue":{"value":"prefix","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584082$7A6D6B0A-31CF-4CAC-A5B3-25913D2710CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dd6a4b3d569a6a654eac5603bc845df311df82","datavalue":{"value":"suffix","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584082$D2A0C6CC-9332-46DB-A2B4-0F158DC330EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584082$66D7064D-0B9F-41FE-8F73-E91302065755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584082$E72B7B40-ED44-48A3-9099-612965644ED0","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":"Q6584082$ACC14E67-051B-4B30-AD74-7F42839FC025","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"402ca3747bb10926613cd3017f37fac8acd5c1d5","datavalue":{"value":"10.4230/LIPICS.MFCS.2022.76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584082$81CFB090-3B30-4C3C-9A73-DA70A4F424CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584082"}}}}}