{"entities":{"Q5055868":{"pageid":7085445,"ns":120,"title":"Item:Q5055868","lastrevid":47786071,"modified":"2026-01-02T16:51:35Z","type":"item","id":"Q5055868","labels":{"en":{"language":"en","value":"On the termination problem for one-rule semi-Thue system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631301"}},"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":"Q5055868$DFCC1B15-A13D-4D89-9051-981D10402DCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b819672b62c47fd3529f8ded4fa2239007f22d91","datavalue":{"value":{"text":"On the termination problem for one-rule semi-Thue system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055868$3F627A99-D2E7-4A0F-8A3C-EBE58C7CD036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5d34d0d1e672abaf5b11398335403051bc609f9","datavalue":{"value":"1503.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055868$99B5CB0E-66A0-4B32-B714-73137AE052B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b066d762547bdf6bf0abb5012f66ec6fc6f8e791","datavalue":{"value":"10.1007/3-540-61464-8_61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055868$6B20BD8A-485E-41F2-B8F3-3637A151372D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"061d8197654a9b01d601db450e9eb848677c111a","datavalue":{"value":{"entity-type":"item","numeric-id":580991,"id":"Q580991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$B95E1A69-9C8F-4878-9A4F-727BC0017008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$0597575A-58CB-4297-9B0E-FC00D2A44BBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055868$24121827-D77E-421D-B7DB-E7875D44B8E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055868$281FF2DA-6B1D-4CD6-A5C3-B6320FD15735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055868$D7454A5E-2899-44C1-B7F6-92944AB63E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055868$D3747275-0658-4DBE-A446-432C8D3B4892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055868$55924619-9591-4231-9042-95A21A84F234","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cea146486e080a0ae7c6083d10cf8284ac903f7","datavalue":{"value":"7631301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055868$D7EC01CE-414A-409E-8476-2F292854560D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2295e9ffa3d63bd5be2b0f7a4b3e06697b255b","datavalue":{"value":"semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055868$BD1171B8-06D3-4BB9-8A56-2A2E18D887EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055868$F83827CC-1FF8-4E02-BED3-AC62E5260BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055868$E9AD23FA-AF72-41D9-96F3-785DD8645018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1679bd11bc79e06baf7a65327fba32c4b252845","datavalue":{"value":"rational monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055868$0B981F37-2470-482B-B49E-7F5411F33E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a7045dba0ab6d3cbe4ad96940a674e66667a4b","datavalue":{"value":"automatic structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055868$78D58ECE-C3A4-4CBD-99E0-2670D886B66F","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":"Q5055868$2C88FD61-C707-40D6-BB24-5B6634A92394","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9be8a7f51371f64b1979130dab46ab5ef5f8a6f1","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_61","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055868$B54DDFFE-3BB1-45D3-B130-F977B9762DE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959b94f6f69f863b59c9e2a2158e43cb911c911","datavalue":{"value":"W1503994260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055868$5DDEA4C8-EEAE-4EB7-910B-C026F6671F68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$EF1E900F-5A81-47C4-819E-9D8B10349AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$0A26D685-D597-4F38-9830-C1D17B6C798C","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":"Q5055868$755E88B7-EF52-4ADC-8C27-4364D188F009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fb44fb08839053cc041753013c407f8896965a","datavalue":{"value":{"entity-type":"item","numeric-id":5055795,"id":"Q5055795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$8F0B7DE4-FD5B-4C9A-971B-986F6E717D85","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":"Q5055868$670009FA-285A-4E2D-8FDD-B4C5333E082E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$2F1FCEC7-6CE8-4BE3-8658-989A9EDE2746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a261f5f404eecbd3134a4375603d265bde82451","datavalue":{"value":{"entity-type":"item","numeric-id":3998014,"id":"Q3998014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$77839D3E-8694-4BE2-8303-9A42C36676F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0b8a5888a26501f99b9921effa60fdaeffe2f0","datavalue":{"value":{"entity-type":"item","numeric-id":1763707,"id":"Q1763707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$28627D54-8B50-4A3D-AA12-228C9D65FD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a1132fd3c5df9a21a730592a371565cc65c578","datavalue":{"value":{"entity-type":"item","numeric-id":917713,"id":"Q917713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$DAD6D1B1-6554-4AC3-BE4C-D3E59EE76FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f887d02cbb052dee2861a72437defa2e33afe78","datavalue":{"value":{"entity-type":"item","numeric-id":1101553,"id":"Q1101553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$24B55118-38A6-42AB-80DC-210547DC6DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4b0a695b19ef459b25a3fac0a36e3fe6fe7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5055817,"id":"Q5055817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055868$A29C3007-E125-4C74-B0C6-F2B46025FFE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ef317471866eef61ccd9395edb03da19a4ea0f","datavalue":{"value":{"entity-type":"item","numeric-id":5703860,"id":"Q5703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109af7814bf91a5a4da79402eaecd51e5bf13bc5","datavalue":{"value":{"amount":"+0.8989100456237793","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":"Q5055868$FE681F5F-74B7-4D17-9E79-5C85C632EA84","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":"afb738337779e17aad64b949e919e712aeedf2b4","datavalue":{"value":{"amount":"+0.8833001852035522","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":"Q5055868$82068377-3337-4B3C-A9EF-B55C90F6EE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a912f271a8bff76561427f8b6fd03df34f29b16","datavalue":{"value":{"entity-type":"item","numeric-id":3998014,"id":"Q3998014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d67270461645d1c2b3c5a5f3329ac360f64a357","datavalue":{"value":{"amount":"+0.8823932409286499","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":"Q5055868$DDF3EB29-30B3-443C-A9D4-6A606C5D23D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"defe0afedd4e2e548fa9a70648911c2b18205947","datavalue":{"value":{"entity-type":"item","numeric-id":4601128,"id":"Q4601128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98e663c7193d7813f563419c83645dafb1209ff","datavalue":{"value":{"amount":"+0.8651978969573975","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":"Q5055868$F93CE11D-2279-4967-BE2F-F655442C571D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625efed236abf01aceae12c4ea0336179166fbcb","datavalue":{"value":{"entity-type":"item","numeric-id":5055817,"id":"Q5055817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35a87f51b46ea8b2a0f0c05c9d7ee2cc961afc5","datavalue":{"value":{"amount":"+0.8332434892654419","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":"Q5055868$4DE9207A-E3E6-4BF0-8011-DB1AF25D69A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055868"}}}}}