{"entities":{"Q798644":{"pageid":800492,"ns":120,"title":"Item:Q798644","lastrevid":48739723,"modified":"2026-01-05T18:21:11Z","type":"item","id":"Q798644","labels":{"en":{"language":"en","value":"The decision problems about the periodic solutions of the domino problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871316"}},"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":"Q798644$C3A2A7FA-46F2-4A60-8225-9760CC5AB291","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7df4742324ba3b015f97451aec63f3ccff301730","datavalue":{"value":{"text":"The decision problems about the periodic solutions of the domino problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798644$DC60087A-554A-4A80-802D-23F10FA8146C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d678e0a3fe7f7bd0d531a9a06cfd1d1a9cf90f3","datavalue":{"value":"0547.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798644$0A9E7206-AF6D-421F-9AFF-E7DBBA07BE43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5624f853e81070e1ffbdb10c15953a5b23137d8d","datavalue":{"value":{"entity-type":"item","numeric-id":798643,"id":"Q798643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798644$971FE6C1-9BE3-4075-AFAD-290BF791ABD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d97c3955a340bf2fabd1dc725af535482e933f3","datavalue":{"value":{"entity-type":"item","numeric-id":181511,"id":"Q181511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798644$0793D22E-D507-4EDD-BFCF-C47165B0CBD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q798644$6502D107-F09C-4E76-B6B0-9CD83F43EC41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cfa014b7e651c9418988adc3431a941e92c8a327","datavalue":{"value":"The domino problems were raised for the purpose of studying the AEA case of the first-order predicate sentences. The unsolvability of the origin- constrained, the diagonal-constrained, and the unrestricted domino problems were shown in 1960-1966, and along with this the unsolvability of the cases \\(E\\&AEA\\) and AEA were obtained.    In this paper, by reducing the Post Correspondence Problem to (1) the problem of deciding whether or not the origin-constrained domino problem has periodic solutions and (2) the problem of deciding whether or not the unrestricted domino problem has periodic solutions, it is obtained that the above two decision problems are both unsolvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798644$66A1E4D4-BBEE-48E9-92BE-1D5C6637FD89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798644$92120679-E3B3-43D1-AC0A-3692FAB62BDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc87d422edc592a1280db31e2097713d36b6dec5","datavalue":{"value":"3871316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798644$F3DCE73F-8C3E-4842-94E8-3ED1064B7410","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32af131eaf752c6fd134f70f5b9e695517da8c5f","datavalue":{"value":"domino problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q798644$D7125AD4-90E4-491D-837D-409285B667E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0db906ab426d35b65be6f4161e7000382b814fae","datavalue":{"value":"periodic solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q798644$42B0ABD6-9A9C-461F-B69C-7AB4DA9D264F","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":"Q798644$53CB6F82-058D-42D0-BF0E-74070FC5FD63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34def064b42e06c2e86c1ed10a29588ceb894db7","datavalue":{"value":{"entity-type":"item","numeric-id":410732,"id":"Q410732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48372266b36d4150d5a391b25e121ca261218afb","datavalue":{"value":{"amount":"+0.8147891163825989","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":"Q798644$F88A86B7-A919-4A01-963B-4336D93F06C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c23c8c9ceac21587fc1a904f21c9c028aaa694","datavalue":{"value":{"entity-type":"item","numeric-id":5141335,"id":"Q5141335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcca45ead5bdd05485df470374494dc8d4e6411","datavalue":{"value":{"amount":"+0.7860669493675232","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":"Q798644$4AD57EA6-15D3-4D15-8982-4E97FF549F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85020ce4f48c58054db5a483f74effc376bce0f5","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4229a7c92e36b2ce6fe9768c62b0dc73bc9b5c82","datavalue":{"value":{"amount":"+0.7846124172210693","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":"Q798644$BD8EB5B8-AF56-4316-90B9-74631B041EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3ffc1c0d6f7b30425d53207315083e22591b15","datavalue":{"value":{"entity-type":"item","numeric-id":3341896,"id":"Q3341896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c374584cede07e4377926bd2c6c5352e686a4f4","datavalue":{"value":{"amount":"+0.7734455466270447","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":"Q798644$58449A32-5116-40CF-B9A2-2E8D1490B389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00feeb20bc7350e6f6ea4e800baf12bd89f42523","datavalue":{"value":{"entity-type":"item","numeric-id":3646260,"id":"Q3646260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13d966a9f6d37600492e5f5b4d68b15ca0e0388","datavalue":{"value":{"amount":"+0.7630615830421448","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":"Q798644$60622D66-B359-4446-B783-2DAF04BCBF6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798644"}}}}}