{"entities":{"Q6649433":{"pageid":14260590,"ns":120,"title":"Item:Q6649433","lastrevid":55805092,"modified":"2026-02-17T23:06:27Z","type":"item","id":"Q6649433","labels":{"en":{"language":"en","value":"On the Skolem problem and the Skolem conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954820"}},"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":"Q6649433$FFBD21DE-D6E0-4711-ADFE-5D025811784E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf6fc31e31d53487c694655c76f6f32b8a294582","datavalue":{"value":{"text":"On the Skolem problem and the Skolem conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649433$22190EE5-32F0-4023-AB3F-8F33B7C6F8AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"671bf4c118d0849b0ede9af8ee870fb6fb70db2b","datavalue":{"value":"10.1145/3531130.3533328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649433$0D42F3DC-8C6E-4450-8B9E-1451AC819B66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"519815a7972217bdc0389f50221aabd7a20e3549","datavalue":{"value":{"entity-type":"item","numeric-id":951849,"id":"Q951849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$F0EAD35E-229A-4F7B-B6A4-8CBC777B8290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5a736319355d31e13239bc37a3f0fcf5a6f069f","datavalue":{"value":{"entity-type":"item","numeric-id":168881,"id":"Q168881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$A988B831-1BBE-497F-AB75-DBE7BB691E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa4c9d16b510477efc58f838da4d143bdb7cabb","datavalue":{"value":{"entity-type":"item","numeric-id":6203465,"id":"Q6203465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$AB1700F8-4B22-4641-BB22-8312D54C17DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$F5693236-7626-45AE-80A0-F25668EA0E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20f5b4127431a252123fabe9a9dd1834e29c1af","datavalue":{"value":{"entity-type":"item","numeric-id":832261,"id":"Q832261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$B7660FFB-D310-4C98-BF0B-3AA823A61CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$C531B6BB-CEAE-493E-8C67-8A615D5A81EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-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":"Q6649433$7C9BB99B-2345-450C-8A8B-9C97B8B5E766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649433$8A3C1428-69F6-47BF-8013-56DE52BA0411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649433$93BAB67E-B373-4DA5-99C3-00714E348729","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5665e15b942fd39fb2891d60d99f2c8e37077ef","datavalue":{"value":"7954820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649433$856136B9-C249-4ED7-8573-6FCB1F14EA2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e316686d64ebe1db1fd8b09b36e4252fa98405c4","datavalue":{"value":"exponential local-global principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649433$2D2692C6-7DF2-43C6-B768-75170DEDD2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e11395c90e65247d03d2d492a8f888ff2959c4","datavalue":{"value":"linear recurrence sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649433$F71CF1D5-AD20-4413-AD91-C339EC5FBE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626542d358e4355f9fca2b30950180edcddb77e2","datavalue":{"value":"Skolem conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649433$D4DBCA4C-1A63-4736-90FA-BD8B864CA07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7aa81c67afb301064c97d9253c7e05c50ecf28","datavalue":{"value":"Skolem problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649433$4C3D707E-3C9E-4AAB-AF48-F7C2BDE330A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6649433$A665BBCC-99CA-4ED3-A94F-5D520865F4B9","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":"Q6649433$22457052-8903-419B-B333-E2A7A5E1D16F","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":"Q6649433$FC4F09EB-C8B8-4C51-A7E5-F85AF34B7248","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":"Q6649433$02EDEA4D-D0D8-422A-81D5-B6F99437EF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc14d168ac10fe7e50eff724f9466143feaf4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":6134272,"id":"Q6134272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$860A0ACD-5F65-42AC-B36C-93E7CE847D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a94c17d63514f77b2282fabf7dbe09971e77f","datavalue":{"value":{"entity-type":"item","numeric-id":2895809,"id":"Q2895809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$2F104B4F-6B83-43BC-832D-A4DFC3AC68EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e798e465f2b418780ab7dc647b0a1db7357332f","datavalue":{"value":{"entity-type":"item","numeric-id":5145628,"id":"Q5145628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$53F85B7A-C3C2-4996-924E-75D53A5029BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71a1acf797bb8f1ef1d64849e71dc39baa091f4","datavalue":{"value":{"entity-type":"item","numeric-id":4920578,"id":"Q4920578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$496E3206-7AB8-41FA-9BF1-8FCAC830D3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e141f7d30bc3aed8fcd4bcdb12a2bfc0dc119a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3056218,"id":"Q3056218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$EB4AEC81-0648-4989-8871-3D5579792A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7cf3ce2b8d9420fe8eca949040dc64294c6369","datavalue":{"value":{"entity-type":"item","numeric-id":2792344,"id":"Q2792344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$D4A33FD5-62A3-4547-B973-5FCC68D982F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4641df80294b6f0de1630cc5ccf5737f8948f815","datavalue":{"value":{"entity-type":"item","numeric-id":1795159,"id":"Q1795159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$D3A2DEF7-A8CE-497B-BF2E-B0848F56D0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a0d4c7d4224b68e919945a32f9fee4f6b1e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":5926262,"id":"Q5926262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$8DC1896D-8EBA-4F6B-99CF-5A6F670BE34F","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":"Q6649433$AE826139-0430-4638-81E1-E7D8EE6339E2","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":"Q6649433$993236BE-0BFA-49E3-ADA0-68668933DDCC","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":"Q6649433$D28DE65B-DEE0-4BCA-98D9-459C5BA26A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81620d8783d9d2a7321856e3d7208371e7671e8f","datavalue":{"value":{"entity-type":"item","numeric-id":5911410,"id":"Q5911410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$58E9A05C-FC38-47CB-BAE9-812B5E1B1938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fab493cc27d564ddad8ed33249cef373d4c993","datavalue":{"value":{"entity-type":"item","numeric-id":5239222,"id":"Q5239222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$1F2FCBEB-BA28-4CA4-9042-696A803C82D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b018b8dd3a679716d4f11830fda4268f0740d7c0","datavalue":{"value":{"entity-type":"item","numeric-id":1362456,"id":"Q1362456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$D210320A-CEAF-46AB-AF86-4632AF601836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf3362c43558ac5e41e5521a454ac38a5726063","datavalue":{"value":{"entity-type":"item","numeric-id":4477195,"id":"Q4477195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$7757CBED-7421-4B83-BA2D-88F971707B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e755952b7d0fb5f8820202cb348ee4f4522a20b","datavalue":{"value":{"entity-type":"item","numeric-id":3671245,"id":"Q3671245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$5F400EFD-F1F7-4411-BEBF-783702BBDEE9","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":"Q6649433$9F7F65FD-6991-4676-8D8F-A5E0175BE38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485e66379086eea3c65de0b92f4a79024414b678","datavalue":{"value":{"entity-type":"item","numeric-id":4294173,"id":"Q4294173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$203A0D30-6323-4F13-A6BA-DBD1AD3FCEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fca08490980f5b900c18ff4a5cab2eac21fb3d7","datavalue":{"value":{"entity-type":"item","numeric-id":4196525,"id":"Q4196525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$0A575417-4CE4-4873-A6D6-36B0EA7539A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f18faf2366dded2d0abc41fa86b428ca109343","datavalue":{"value":{"entity-type":"item","numeric-id":4815631,"id":"Q4815631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$B9EDBEAF-550E-4E72-8C41-787E8D618A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e90a49d0c73949fca67a92eda10ee202534e1f9","datavalue":{"value":{"entity-type":"item","numeric-id":5768581,"id":"Q5768581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$80B5E2B8-D602-4CBD-8070-3917FB54DCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893791a7977328d8805e901f86eae384cb42c92c","datavalue":{"value":{"entity-type":"item","numeric-id":4127408,"id":"Q4127408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649433$F886D30A-8C2D-4ABD-B980-A44E116CE88B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630cfca548fff1b771ca6d8cc4cd3fae33513114","datavalue":{"value":{"entity-type":"item","numeric-id":5111295,"id":"Q5111295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0098ff68d944dffaf7da1a48189fac94c45044","datavalue":{"value":{"amount":"+0.8740196824073792","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":"Q6649433$E4C4BF9F-A644-4062-A4FF-10FB772C8F3C","rank":"normal"},{"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":"a46711d6ba36c02137f19cd60d4c73085e6a78d8","datavalue":{"value":{"amount":"+0.8361446261405945","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":"Q6649433$98DA9635-16B1-48D9-91D4-8503CE485786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46adc1937de09d45f7afdc84b0c03aae585f106b","datavalue":{"value":{"entity-type":"item","numeric-id":5145986,"id":"Q5145986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b33ae4729d5b436c0d735dc0353849568d6032","datavalue":{"value":{"amount":"+0.8181688189506531","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":"Q6649433$F8019A58-625B-4BA2-B154-05C6B70EAB74","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":"8dfdb1fdacd55b7f9ab181fad426d131e0852d61","datavalue":{"value":{"amount":"+0.8178972005844116","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":"Q6649433$49A7692E-5668-4280-9B81-2077BBDA91C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6649433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6649433"}}}}}