{"entities":{"Q2955030":{"pageid":2965750,"ns":120,"title":"Item:Q2955030","lastrevid":85340174,"modified":"2026-06-03T07:07:32Z","type":"item","id":"Q2955030","labels":{"en":{"language":"en","value":"Undecidability in binary tag systems and the Post correspondence problem for five pairs of words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6677429"}},"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":"Q2955030$48AB42E7-A585-4C66-A3DA-942AA10ED381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbb9593d34cadb33732a128f3e2e6866c85f1e91","datavalue":{"value":"1356.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955030$96335AD9-1908-4587-A6F1-44535ECBD73F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0739d72521262e25d0451dae28b1144529273352","datavalue":{"value":{"entity-type":"item","numeric-id":487985,"id":"Q487985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2955030$A885095C-24A4-48E1-93A1-DFD80437934B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39f74c103b9f673f455dbf7eb78fc5dbb359512b","datavalue":{"value":{"time":"+2017-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2955030$F3D3998E-C01F-4542-A168-CD70E63860B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e232d8dc3c578336d21ab7699c7fb0a261ea9b2","datavalue":{"value":"https://arxiv.org/abs/1312.6700","type":"string"},"datatype":"url"},"type":"statement","id":"Q2955030$EDF57D47-2AD6-4336-9E36-932A49645248","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955030$EFD9619A-24C3-43C8-B36B-B0499706281C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955030$90124CCE-F4AA-43C4-8442-8E1CF1512EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955030$D59219C0-3113-430D-8FE2-D00ADCC1D8B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c23f8be59216564af3522b06df2a1e61af21064a","datavalue":{"value":"6677429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955030$610160D1-1F9C-4843-AADB-3AF9EBFA8633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a09dbc24c1314605239efdf4f11968d6d24798","datavalue":{"value":"tag system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955030$CD3F9ED3-8762-4214-937C-340AD16CD470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955030$DAEE12B3-C69C-4D32-BB0A-EE66758F8A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955030$36EE9011-FEB6-4111-8B21-F95A0E798F6E","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":"Q2955030$2ABEF804-700D-4549-A6D8-D868B63DE27F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0018b3828b5ff4ee7690946a622c3fee4968c990","datavalue":{"value":"W2963721241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955030$2C6BF418-3768-4D4D-96D6-8978F07960BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96bfd657d09bbe34f08cf2e0ac7440f39846f2f9","datavalue":{"value":{"text":"Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2955030$B751A07A-0F92-46BC-AE10-534807D7C8CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89b548b679fa75626442f1fddfdd2723b278f4a2","datavalue":{"value":"10.4230/LIPICS.STACS.2015.649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955030$2304B219-5379-41B5-ADAD-5582535A5A10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dd50dc4d35173d4431e5dd16bb074d1c514341","datavalue":{"value":{"entity-type":"item","numeric-id":5500609,"id":"Q5500609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002336c28a689da7dee56e760bbe84e277569e35","datavalue":{"value":{"amount":"+0.8373483419418335","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":"Q2955030$E28017EF-CAD8-4F06-9FFD-421BA9517ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae6b485ae6b2f1fe099a12e6de57372e2b1dd3c","datavalue":{"value":{"entity-type":"item","numeric-id":5711967,"id":"Q5711967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41b25e953cf0b70a030ecef32d2f1e450569dc5","datavalue":{"value":{"amount":"+0.7631940245628357","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":"Q2955030$5057194D-3CF8-4CB0-B231-5DF90A746330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06945ecd2ba73b8f5eb0f5d4ddade057ebed123","datavalue":{"value":{"entity-type":"item","numeric-id":975420,"id":"Q975420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f0525c27023c81423f3c0b554fb0b4441a7949","datavalue":{"value":{"amount":"+0.761294424533844","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":"Q2955030$FE1BBE39-6194-4615-AF1E-AAD392019F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d735bee789c699aafebf6f434a309877ee428b5","datavalue":{"value":{"entity-type":"item","numeric-id":3423136,"id":"Q3423136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacd03551c0e83df6fa904e11e95e21dc12317cd","datavalue":{"value":{"amount":"+0.7523757219314575","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":"Q2955030$85AAC110-E3DE-4E3D-9BDA-5E456D7A3277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b849200a4ba2ecf92d93b37ea622e9eb90b25545","datavalue":{"value":{"entity-type":"item","numeric-id":1798913,"id":"Q1798913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5ea289b53d0e5310aaa014fab5941118493d4c","datavalue":{"value":{"amount":"+0.7484737038612366","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":"Q2955030$8A4CE911-465D-423E-90EC-7DD58ADEE9EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability in binary tag systems and the Post correspondence problem for five pairs of words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_in_binary_tag_systems_and_the_Post_correspondence_problem_for_five_pairs_of_words"}}}}}