{"entities":{"Q4931288":{"pageid":6960870,"ns":120,"title":"Item:Q4931288","lastrevid":58362858,"modified":"2026-04-04T21:38:51Z","type":"item","id":"Q4931288","labels":{"en":{"language":"en","value":"What's decidable about sequences?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795626"}},"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":"Q4931288$F5D7F1AA-94AA-42A0-905B-1314F9AB6006","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d802e8ee75c9c4580f991246294e5d708f0dbe7e","datavalue":{"value":{"text":"What\u2019s Decidable about Sequences?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931288$2F92A3B6-A1E4-4726-A02B-571A30A9E1DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bc37b8442c2225cf6b5a4277b286f65af849960","datavalue":{"value":"1305.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931288$E72AE697-F849-4818-BB1C-4A75E7A86886","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25cec7fe5820bf5202b75199fc034a2b5eb3db15","datavalue":{"value":"10.1007/978-3-642-15643-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931288$0C31FAF4-5867-499C-B8B8-0A7335FDFB5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a65fbbaeae777cc53a7239a9ca34bd6b05d7af","datavalue":{"value":{"entity-type":"item","numeric-id":714628,"id":"Q714628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931288$244D53E0-813D-4E71-8D9F-BCF5D821C2A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931288$79CDB476-7325-45B2-9B3F-50D9380FBA96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931288$24FCCA22-B36E-469D-84BA-13BF6DBCBC66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61c5598c4f373e68406983abec34e6eb59d6c14b","datavalue":{"value":"https://arxiv.org/abs/1001.2100","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931288$846B59BF-9177-4E05-A8D6-654C31CC8B8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931288$571564DB-8D79-4350-894F-E313092F6BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931288$62F4E42C-9EE3-438C-A16F-D5BE71EAE00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931288$2A845C4E-B1A9-4403-B8C6-3059D539B771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931288$DFB61D3B-97E6-46E7-9C2D-9CE726F41D0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee5d45111fe8165c82c1f51c0ff751e6655f1d52","datavalue":{"value":"5795626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931288$8B3EFB43-47D9-45FA-9092-19E5F0326B27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b52abcc4c5ca12df3f02b523e3e6f458e5fe84d","datavalue":{"value":"first-order theory of sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4931288$3D2BD6C3-5770-4B89-9DA4-B2D61F8EE7D1","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":"Q4931288$E9AC8002-1BA8-4E09-8E6B-009101A30634","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"353f6705c720481dfa4611c8de1e9c83d889e7ef","datavalue":{"value":"W3101105140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931288$33EFA692-0F18-4953-BB84-C7F3E57202F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1063bece29dd4b6e998e94b2f0084b7f2a844456","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a2cbd2b6ae143a77c28a682de6fd9bb950ba05","datavalue":{"value":{"amount":"+0.8010657429695129","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":"Q4931288$A435343A-8E86-4400-B058-1CB717120AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8585afd9b3ca806c1c8b20a78c24b1a6a026a25","datavalue":{"value":{"entity-type":"item","numeric-id":5458380,"id":"Q5458380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045e456566c0213ccd7823995ddeea0e5c9846ef","datavalue":{"value":{"amount":"+0.7962123155593872","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":"Q4931288$EC48D03B-6B30-474B-8B28-66C85F46D914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd1956f977786f2043a62205373527261741540","datavalue":{"value":{"entity-type":"item","numeric-id":2351149,"id":"Q2351149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989afef2f004355260bc5dba93c3f1fc7412c73a","datavalue":{"value":{"amount":"+0.7615563273429871","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":"Q4931288$184BBFC3-3D81-4E43-9C05-42BE423B5D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc4a0bc320f52ca86174d1f7e7034db633f6ee0","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b97fb20abbd499345e449af6045d68c2455d31","datavalue":{"value":{"amount":"+0.756523847579956","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":"Q4931288$EB3547E5-8DEE-4FAE-AE3A-32B3ADBBF771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07622c762984e431a24d8f00c8686c029fd4655a","datavalue":{"value":{"entity-type":"item","numeric-id":2457800,"id":"Q2457800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492e00cb0c70343d88085ab68be9b128e9440fff","datavalue":{"value":{"amount":"+0.7531028389930725","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":"Q4931288$F43406CD-6229-4C3C-8CFB-E5B1460ED189","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931288"}}}}}