{"entities":{"Q1199548":{"pageid":1210297,"ns":120,"title":"Item:Q1199548","lastrevid":66465099,"modified":"2026-04-12T10:15:40Z","type":"item","id":"Q1199548","labels":{"en":{"language":"en","value":"Simulation of Turing machines by a regular rewrite rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94468"}},"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":"Q1199548$F74FDE1E-F53B-4145-BF5C-2BFC5B174DF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a92b9ba02b7c2924747418bacf445ad3d2b4970","datavalue":{"value":{"text":"Simulation of Turing machines by a regular rewrite rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199548$8804E284-04C9-45B8-9225-33E334440191","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caff1beb80844dc312a72c10b5b7b8bf4f8b1e69","datavalue":{"value":"0753.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199548$E7DD28C2-B20B-4727-A093-3FBC334D0663","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07894beb02ddf27ad3607795b577344ec44961f8","datavalue":{"value":"10.1016/0304-3975(92)90022-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199548$B23EB8BE-C0A9-46F3-9C23-60C5E39710C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199548$E5AD33CA-15B0-42DE-9A79-F237E8A3F8B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199548$60BF167F-2425-415B-8A1A-523009208231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199548$BF5284E7-8D02-430F-BC1D-3F501BA79DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199548$B0ABBA2A-F1AB-47E5-AC8E-090F44285921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199548$53E74551-2919-4855-9AEF-D7CF0E20AFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199548$D500149D-CDA8-4BD3-9218-9997C9D6CD28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95005f6354ee1f18d91918dded3846554fb195ec","datavalue":{"value":"94468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199548$9D3C4847-0E3C-497B-841C-993F4619999C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f2e3cdf1c5bba9fd037a42b6714894d9a845db","datavalue":{"value":"infinite rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199548$956C6FBD-7359-4879-8050-FC262428F986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199548$1D16AC3D-B554-4312-BCF2-743930A744C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199548$BB8B9668-4171-4CD1-8EBD-8C697FD711E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"875746283ab9110cee2a053196fe6d5fd6d4bdb4","datavalue":{"value":{"entity-type":"item","numeric-id":918213,"id":"Q918213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199548$7AA1D23B-9BB4-496B-9F16-D6285B7D8248","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":"Q1199548$C1072FF4-83B5-4AEC-BA53-9E14424FEF48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04f25b3a6774ebe7d1d3a0aa2d66dd4d8b01aa83","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90022-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199548$9A600702-0C57-4497-B67B-6F7EF6D589FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cbeb40d02a70c25afe2727a23bde96bb3bc2187","datavalue":{"value":"W2024726864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199548$B1DFB801-043E-4332-B1F7-D7E4D411C4D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199548$D9079320-EEFD-420C-A094-C376985D784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e1adbec5516b4ee8d2510bfabc0fa7685d6085","datavalue":{"value":{"entity-type":"item","numeric-id":3795205,"id":"Q3795205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199548$937D37BF-CD16-4C4C-BA23-24740732E06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ef24bde393b5b122827c8fef325e32e7955eca","datavalue":{"value":{"entity-type":"item","numeric-id":5055715,"id":"Q5055715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199548$A18ECBF7-B131-4556-A5A0-E7C7ABD6E30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199548$180577C1-AEFC-4714-AE5C-FFD0C50F5A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199548$398D76AD-2381-41FC-AE4D-3D89A1C19EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8a88091958a13ed5f8e25263f5388706baba77","datavalue":{"value":{"entity-type":"item","numeric-id":915431,"id":"Q915431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199548$DE318C20-9D51-4A07-A385-D890AFC0563F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1242a0ea57cfac01b79a120a4873402b70976a6","datavalue":{"value":{"entity-type":"item","numeric-id":5055715,"id":"Q5055715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969ec0d71610a4ff5682cfabc73a8f59e370a4f1","datavalue":{"value":{"amount":"+0.9466500282287598","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":"Q1199548$1E7D066B-8A93-40FB-A983-65373D820011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a0a86281dfe37b6610e547cdd3e7d214e70223","datavalue":{"value":{"entity-type":"item","numeric-id":3795205,"id":"Q3795205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4933eb36d17eb57e9f8dc88eda7648ba16c913b3","datavalue":{"value":{"amount":"+0.7770816683769226","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":"Q1199548$8C0D7240-34F3-4D07-882A-E3F2D43A167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd5eaf51e05b1c90484d83647abfcc2a7d12235","datavalue":{"value":{"entity-type":"item","numeric-id":1343111,"id":"Q1343111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7464c90ebe1962b8dd501f9fef45f4295c14a7b9","datavalue":{"value":{"amount":"+0.7595765590667725","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":"Q1199548$1778D81B-E99F-46B7-A915-0CCA2D42E6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52c61a66b7b83766df4698cc7db777f5802cb25","datavalue":{"value":{"entity-type":"item","numeric-id":3837998,"id":"Q3837998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5baae8052c3a6fbe81899c56de79bf474ab97de","datavalue":{"value":{"amount":"+0.755700945854187","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":"Q1199548$FF99FA36-96AB-4834-B5FB-DB037F9A1FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d52969ea1e81fc7bc56326da841ac5dc3c3f2ad","datavalue":{"value":{"entity-type":"item","numeric-id":673625,"id":"Q673625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51df6d20ebac6dcfe032d4eeab66632670352c5","datavalue":{"value":{"amount":"+0.7531507611274719","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":"Q1199548$1966FFE5-6F45-430F-8A8B-21CA1F3AFB8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation of Turing machines by a regular rewrite rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_of_Turing_machines_by_a_regular_rewrite_rule"}}}}}