{"entities":{"Q5111295":{"pageid":7140869,"ns":120,"title":"Item:Q5111295","lastrevid":46185283,"modified":"2025-12-24T00:10:41Z","type":"item","id":"Q5111295","labels":{"en":{"language":"en","value":"Complexity of Restricted Variants of Skolem and Related Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204412"}},"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":"Q5111295$25E31DAD-164B-4D88-A41B-9B09F58E9B80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de6890f40745cd6d3b40011675133d553d2178cf","datavalue":{"value":"1441.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111295$969B6075-2679-46DF-BFD4-B6CFD1199736","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":"Q5111295$9BBF8773-357D-4E58-8174-6A7C42FCB149","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":"Q5111295$DC65184A-9F57-4FC9-BC49-F10F2CA191C2","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":"Q5111295$58DF8BB5-DA55-4A35-8889-BF60A845759B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111295$B849C76B-F769-4C98-9496-FA4F6C2DEA0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111295$C0E859C4-F1CA-47DA-B7D3-C5F41CC29D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111295$3E95E5B8-4910-429F-9D71-2A12F67B7CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111295$05B56AB6-EC14-477B-ACD8-7C81C86A4539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e2bece0137b481d7923e0536c406bede2c54603","datavalue":{"value":"7204412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111295$B383DF61-925B-4D46-98F7-7A10A88D6453","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e11395c90e65247d03d2d492a8f888ff2959c4","datavalue":{"value":"linear recurrence sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111295$BE8A1D66-03F7-4F3B-8A1C-CBE3DE860153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7aa81c67afb301064c97d9253c7e05c50ecf28","datavalue":{"value":"Skolem problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111295$71C93B1C-0DCC-4055-BD6D-4A486B2791BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111295$2BC9EF84-79A2-4DC3-8061-83913058B2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111295$D6E049B9-958F-4A83-98DD-9EA43360E2BA","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":"Q5111295$C431D642-60D3-4CC8-8362-2AB31129AA5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e361303362106d748658b6298a68993e25e6b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$6F74FD65-5FB8-4F07-9B98-5FEEA1939AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1212c8425b239752c05c7ca478ec7f069c4d8361","datavalue":{"value":{"entity-type":"item","numeric-id":477610,"id":"Q477610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$FEB3CCE2-6958-43FA-B8D7-F20ACCED8A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabbcbe7249f540b07ccdf39b1c739c4eed02199","datavalue":{"value":{"entity-type":"item","numeric-id":4601857,"id":"Q4601857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$41248078-19AC-49FE-A0E1-A33CCF3427F1","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":"Q5111295$0DF50824-E52D-4891-ADF5-24B49A8130AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec956bf2c6f1491524f07a55ef08532b155b9421","datavalue":{"value":{"entity-type":"item","numeric-id":2891402,"id":"Q2891402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$B29DB577-6D40-46A3-B83C-3649F776466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebb3869a651f68b24a932c14d1c52f4cee80ba5","datavalue":{"value":{"entity-type":"item","numeric-id":1611897,"id":"Q1611897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$75AE79F4-142D-49FC-B6DD-77631A231997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fdb745992585236d8b46bb0113602daefd8179","datavalue":{"value":{"entity-type":"item","numeric-id":5756742,"id":"Q5756742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$6E67CC8F-42EB-4F48-AC76-E36557A7B985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad74f62749bfefcc22f88e1df1a68076434d298","datavalue":{"value":{"entity-type":"item","numeric-id":5362998,"id":"Q5362998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$1AB18591-25BA-42B4-A28B-E7ACA7829F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd01bbf7ac64b8bf27e24be386f3ae72f8af850","datavalue":{"value":{"entity-type":"item","numeric-id":4598241,"id":"Q4598241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$08398D06-4128-4A7F-928C-F93255A985BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7d03acfe694d55b5bfb81a8721b654f11fafd6","datavalue":{"value":{"entity-type":"item","numeric-id":3139838,"id":"Q3139838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$9A1BCA65-234D-4CDA-80CB-F95FA3F54AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52811bfc7c1962136717156ab14a01cf0d130ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4421931,"id":"Q4421931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$A75826B5-1BB0-4EDF-A8A6-F78CED1404D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3e3558b50439422518ee430b41736865426220","datavalue":{"value":{"entity-type":"item","numeric-id":3317245,"id":"Q3317245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$5B6FB307-0EE6-4FFB-8867-EC9863DF6248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847f43a12784abd824ccccc602688df087916fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3565237,"id":"Q3565237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$EA08CD12-6B80-49A5-8CB8-7614A2C33FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e93caf186186bcbb3ad04559170566cd97e296","datavalue":{"value":{"entity-type":"item","numeric-id":5363097,"id":"Q5363097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$B2058C6B-1FDF-46E4-833E-2C084EC8B7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4c4e10e2a379ac0948dd390415bd76c21bf3d1","datavalue":{"value":{"entity-type":"item","numeric-id":4899140,"id":"Q4899140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$DE9944DA-623A-4F3C-9C21-F2DE09F80C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359422607dd63c53cf4915b59944dbec77214d61","datavalue":{"value":{"entity-type":"item","numeric-id":5167848,"id":"Q5167848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$408A9CDE-A107-4E16-A0F7-A236F170833F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b46989355988e5d4e240f250b8692542b0eec1","datavalue":{"value":{"entity-type":"item","numeric-id":5167849,"id":"Q5167849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$265B822C-4978-4958-8C2E-50F1B7036B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c10eb504c74e47c89ec8f43dd8fd893e917cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$44EBB6F3-062A-4807-8010-3BD73493C93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b75e019a53f79c763d4273027a80a362f9d817","datavalue":{"value":{"entity-type":"item","numeric-id":1203641,"id":"Q1203641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$F7EFBBB6-D788-40FD-B12F-C97FEE31B22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f69685c8aa4ace929bfb3e560624f0efd67eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":975420,"id":"Q975420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111295$A665767E-E982-40C3-8634-1C92739A0105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92ea866df61c22f8da28e9b196f5ba966c63ee3c","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2017/8130/pdf/LIPIcs-MFCS-2017-78.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111295$CC1C2F11-1B3B-4CE4-84FA-7A699DD22AC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"735f7a52583284402edb1613e5d16fc1e105c70b","datavalue":{"value":"W2773589705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111295$FC83B2B4-3FF3-4047-AF64-3546757DAD0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2f7873711fa7d4d13ff0c4628ebf44d4f48ec5e","datavalue":{"value":{"text":"Complexity of Restricted Variants of Skolem and Related Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111295$2E5174B0-E45E-4050-A03B-A544F37E62AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb35b0ec6631b0b2794fdad71b2f6f0f26b91eaa","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111295$0C9F4B8A-3324-4CE5-87DF-980519092ADE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9108e18af4ce31cbc5238c4e4b013b70afbad3","datavalue":{"value":{"entity-type":"item","numeric-id":4899140,"id":"Q4899140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d0d5152466523c45421bfe319647b742d834e1","datavalue":{"value":{"amount":"+0.8520805239677429","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":"Q5111295$D2F317F5-8BB6-4297-98AA-69FC327D37C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1016bfb2ef8441ea9814e94a5361c016b01ba6","datavalue":{"value":{"entity-type":"item","numeric-id":708215,"id":"Q708215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7bf8bc0a8de1a640ba7034538133400d29d9e5","datavalue":{"value":{"amount":"+0.8215749859809875","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":"Q5111295$1F8BE682-B542-4D88-B526-B81106DEAB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72444f4ffc39160bd4276cc1e346a52f8477cf94","datavalue":{"value":{"entity-type":"item","numeric-id":1634425,"id":"Q1634425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cd2e47cbc69a230815f0c94367e43c36453464","datavalue":{"value":{"amount":"+0.8135907649993896","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":"Q5111295$E193ED69-0CA6-4BCD-83AB-2E82308B892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb7ef292f76ebabf07efb31ed96fdd7e21276f6","datavalue":{"value":{"entity-type":"item","numeric-id":5383986,"id":"Q5383986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925a311b6fa1246adcd320a4cbc049ae68565d39","datavalue":{"value":{"amount":"+0.7963347434997559","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":"Q5111295$4C82DFFF-56DF-49E5-A57C-88EFC250ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3cdf5831a7c7c09e339ddb82cc6abf042f7f24","datavalue":{"value":{"entity-type":"item","numeric-id":5080876,"id":"Q5080876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97daf6191a565809556c6ca9de141ba45ffee30","datavalue":{"value":{"amount":"+0.7911933064460754","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":"Q5111295$4F6DCBC8-4F89-4E16-9731-9B990C22D591","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111295"}}}}}