{"entities":{"Q6496828":{"pageid":14075601,"ns":120,"title":"Item:Q6496828","lastrevid":103421201,"modified":"2026-06-06T07:20:21Z","type":"item","id":"Q6496828","labels":{"en":{"language":"en","value":"Using automata and a decision procedure to prove results in pattern matching (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7842463"}},"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":"Q6496828$C6F89865-3E4F-4E16-AAB3-010E197296AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e54f684d3082ef71ea540893e3917278af49fde","datavalue":{"value":{"text":"Using automata and a decision procedure to prove results in pattern matching (invited talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6496828$BE0762C3-253A-4AF3-B952-56047416505B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbe3fcdaa2e72f3bce067779bfee150bff0b503","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496828$C25912E1-806E-4AF1-8CB1-545A28CF00FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14c7d324deceb0c23bfcf3623394d19aef3276a4","datavalue":{"value":{"time":"+2024-05-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":"Q6496828$E707B499-EE9F-479D-AA08-AB6A24C944C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496828$2D724AA0-B494-4FE7-8D99-5B77F1DBB468","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49dc37b28a7937673f5bc9b1f663946c95c94e50","datavalue":{"value":"7842463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496828$BE5445B6-EF2B-48A4-A6F4-9D837B9F89DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6496828$92EBF907-2E62-4991-9D32-3157236EFA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6496828$4C39D2C0-870F-4C7F-A2E6-5ACAC14AE204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be4f3423059009e8324bd94d368a40b3cb8f1d1","datavalue":{"value":"automatic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6496828$ADF008CA-1D97-4320-8FDD-98BC04C2D073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1484d9165527900f2ecd9e3b2a7c6e8b90cf1370","datavalue":{"value":"Thue-Morse sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6496828$C6985292-1D57-49A7-8750-B28F8ADF2075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86ab5d46e49d26840e17a84022baa8b3adda4fa3","datavalue":{"value":"Fibonacci word","type":"string"},"datatype":"string"},"type":"statement","id":"Q6496828$8DE5AEE7-9D5F-4CAA-B58F-E38FF3E103D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721b6e59ea846c9e5804b0cbfe2bdf5b7b2d1af9","datavalue":{"value":"string attractor","type":"string"},"datatype":"string"},"type":"statement","id":"Q6496828$B731249D-161F-4C1D-A795-E68546DB9C22","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":"Q6496828$9389A14F-0E94-4725-8E8D-5FD6E624A353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0954957bfcbef484ef1014d88c2beaf5591edab","datavalue":{"value":"10.4230/LIPICS.CPM.2022.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496828$309A7041-F288-4D61-BE3B-B0DCACE2191E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using automata and a decision procedure to prove results in pattern matching (invited talk)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_automata_and_a_decision_procedure_to_prove_results_in_pattern_matching_(invited_talk)"}}}}}