{"entities":{"Q929632":{"pageid":931480,"ns":120,"title":"Item:Q929632","lastrevid":50385710,"modified":"2026-01-13T22:52:22Z","type":"item","id":"Q929632","labels":{"en":{"language":"en","value":"An undecidable property of recurrent double sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5289527"}},"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":"Q929632$8AE49F1C-66DC-4582-A905-771E33BEDDF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1da8f6e397021bd90b6b94e434c9c3e72668a06","datavalue":{"value":{"text":"An undecidable property of recurrent double sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q929632$9B2A0E31-005D-46F8-8A91-CE3234525F4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1da01d9bb620ef78573241190ba5c7eb466b896b","datavalue":{"value":"1168.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929632$A4867228-173C-4784-A805-CD186C4FFF63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42a0f0333fcc430b169d05bdd7dafbe6e8c206fa","datavalue":{"value":"10.1215/00294527-2008-004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929632$2C029E3A-B320-4C23-A5F1-A326D9C83509","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b3241ca656af33a45c907e85658eefd9905c644","datavalue":{"value":{"entity-type":"item","numeric-id":192024,"id":"Q192024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929632$7E7EC6D0-97ED-4F24-A65D-4E3DB4044CB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929632$F71B7779-B084-429F-B73C-27F9B7E78860","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"356eea10e764deb786aa3952f426bffa667794bd","datavalue":{"value":{"time":"+2008-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q929632$7BC8778B-A672-4FC5-8AB5-716CE41D862F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a14f89aaa3154f743cf78872ed0677f480385bea","datavalue":{"value":"Consider a finite algebra \\((A,*,0,1)\\), where \\(A\\) is a finite set, \\(0\\) and \\(1\\) are two constants in \\(A\\), and \\(*:A\\times A\\to A\\) is a binary operation. Define \\(a:\\mathbf N\\times\\mathbf N\\to A\\) as follows: If \\(i=0\\) or \\(j=0\\) then \\(a(i,j)=1\\), otherwise \\(a(i,j)=a(i,j-1)*a(i-1,j)\\). The recurrent double sequence \\(a(i,j)\\) is said to be ultimately zero if \\(a(i,j)=0\\) whenever \\(i>0\\), \\(j>0\\) and \\(i+j\\) is sufficiently large. The author proves that it is undecidable if the recurrent double sequence defined by a commutative finite algebra is ultimately zero. The modern formulation of Rice's theorem is used in the proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q929632$628DF5D9-7822-4F86-B164-15177C8AD9DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929632$C484921D-B21B-4FBB-9BB2-0A8ECF628B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929632$1F748309-AA52-4705-949C-5C36332B1587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"607627558637f3a452469bad49be5ced958e476a","datavalue":{"value":"5289527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929632$7D5DFF20-05CB-45E7-B10F-D01705F668EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q929632$1C7E3723-26AD-47E2-9669-9140C7AE40FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b1a5f8c802eef978a58d7830e0ba8c8e6224ef5","datavalue":{"value":"recurrent sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q929632$0E2AE9ED-FB8A-4517-BDA1-916309F7C029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q929632$E1DF7F19-BE1B-4C7A-8226-084543A96ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q929632$61F09503-CEBB-49CF-98E8-3B07CCD000E8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f69b663a78c8ec1d862d31a266ead9ea3e1f9b7","datavalue":{"value":{"entity-type":"item","numeric-id":189392,"id":"Q189392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929632$C1A9322A-407F-44D6-A29C-CF355AC3B685","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":"Q929632$43F26C21-C967-489F-A006-804E811CD684","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f18b1f42a9f2fa8ef719d33c4d03b51449614eaf","datavalue":{"value":"https://doi.org/10.1215/00294527-2008-004","type":"string"},"datatype":"url"},"type":"statement","id":"Q929632$F05DF33A-3C1D-4ABC-B3C0-0B6252044157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba5acc325029ced29d739b169675de6a5f454925","datavalue":{"value":"W1977385490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929632$2D66000B-A91D-4B8F-8CCA-781EA1CFB820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24be638d0afa47cbc6ea2c8e32a69c8e2326cb8a","datavalue":{"value":{"entity-type":"item","numeric-id":2437852,"id":"Q2437852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e2d2d46b9d5192d96d9f9a7a1807310e37f421","datavalue":{"value":{"amount":"+0.7316498160362244","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":"Q929632$2A0F0CF3-96DF-45B1-AFFB-5198966E4C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae526afa8d7c905732d0212824f5b941d0eb84e3","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a162e9ea7a55831cee91c1e79fafec0062c46484","datavalue":{"value":{"amount":"+0.7087167501449585","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":"Q929632$5EF20F74-2CB3-4E96-8FCF-72DA7521975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bd19502da871eac48fd6a3045b80574449d6af","datavalue":{"value":{"entity-type":"item","numeric-id":5501763,"id":"Q5501763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63e8048d4de79a62e2c32b381a3c681e8f03f6c","datavalue":{"value":{"amount":"+0.707164466381073","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":"Q929632$DA510237-3165-4B2F-94C4-E44396009EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7f11d4bec8e07ec507b49931e55228614ed90a","datavalue":{"value":{"entity-type":"item","numeric-id":3712328,"id":"Q3712328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1794a4655411e289fdc3baecf586d1aa4b5f5682","datavalue":{"value":{"amount":"+0.7064350247383118","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":"Q929632$33B6317C-7925-4546-8017-F20790EF22F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d49c16ecee6d588dcb45467131a1d0ce8759ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4882917,"id":"Q4882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3bfaee9f5aee93ea87a9adcd576d4537390a531","datavalue":{"value":{"amount":"+0.7025917768478394","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":"Q929632$7D16FE99-7793-4297-97A8-3B3114DF399D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:929632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:929632"}}}}}