{"entities":{"Q5874310":{"pageid":7903861,"ns":120,"title":"Item:Q5874310","lastrevid":39654554,"modified":"2024-12-30T16:43:21Z","type":"item","id":"Q5874310","labels":{"en":{"language":"en","value":"Near-Optimal Complexity Bounds for Fragments of the Skolem Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650922"}},"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":"Q5874310$06C47D66-5DE0-45E9-804F-4B77D13F331A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874310$C604CB45-4157-4F2F-9976-B05EED0C88AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"816c5c8f5f24a4bdad872113d3c70d62b37d0e49","datavalue":{"value":{"entity-type":"item","numeric-id":2173306,"id":"Q2173306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874310$CBD2160E-ACBE-47C6-B5F5-86F17A5B8EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e523a0085aac594a988851c67cb2a1c4636c020","datavalue":{"value":{"entity-type":"item","numeric-id":2151239,"id":"Q2151239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874310$12A9F30F-101D-411F-B218-19BED59F46AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e078cb470c2a703fd591529d9d9a972b1ffe8e3","datavalue":{"value":{"entity-type":"item","numeric-id":3195469,"id":"Q3195469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874310$1220D4CA-891F-4529-89DA-897B67D95309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d4ea39754eb23531f6b0460c095222be728bd4","datavalue":{"value":{"entity-type":"item","numeric-id":2119010,"id":"Q2119010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874310$3301C515-F793-40AA-86B8-EC57E08379B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874310$CD7D4FA1-FAAB-493C-BCA3-076407F856F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874310$397AD4B4-ECF2-43D6-A655-07F1C0E60E01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"251c9ea20cd600459d38f8c259fb8c9dace61d4d","datavalue":{"value":"7650922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874310$68EF867E-CF4F-49FF-B7BA-A110AEF11C35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaddba174af45f20542ddf02305a23b62601f6b0","datavalue":{"value":"linear recurrences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874310$B433E7D8-0BF1-410B-B30E-386C3D45EF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7aa81c67afb301064c97d9253c7e05c50ecf28","datavalue":{"value":"Skolem problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874310$E7CDAEDA-7CED-45F2-8F68-7040109A1CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874310$E9BF1852-C207-43B0-A48E-035B2E0679F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874310$C57E7864-2A64-4459-9462-2ADBB1775EF7","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":"Q5874310$B78BB239-0BC7-4A7E-9922-78F100DC45BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f9ad51ebe6ae13c6886d7003a788fe914d975a3","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.STACS.2020.37","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874310$090E0AF3-3268-41B1-956E-001BB6C1CF19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08ba77e68ef657cc712bf310cfd1c8c185a9cf2a","datavalue":{"value":"W3013335592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874310$D1F2A9EB-3DCF-4C63-81D0-34C899750F6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"553d6393cf2d05354bb207f25bf174936dc9e6e7","datavalue":{"value":{"text":"Near-Optimal Complexity Bounds for Fragments of the Skolem Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874310$492AAB5E-4285-47C0-9E0F-B2D726E7E11B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7494e127b6cffa0f29f8264e94e9fc05c4127f72","datavalue":{"value":"10.4230/LIPICS.STACS.2020.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874310$D203B5D6-6950-4853-9835-B37D8FDCC328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874310"}}}}}