{"entities":{"Q1127336":{"pageid":1138085,"ns":120,"title":"Item:Q1127336","lastrevid":46712382,"modified":"2025-12-25T11:06:27Z","type":"item","id":"Q1127336","labels":{"en":{"language":"en","value":"A polynomial algorithm testing partial confluence of basic semi-Thue systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189648"}},"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":"Q1127336$F7F0E782-4FE4-46EE-B771-74C63E5F90BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c55b53b6c976408ffac2a3094356f87c26585fbc","datavalue":{"value":{"text":"A polynomial algorithm testing partial confluence of basic semi-Thue systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127336$43597977-7716-4AAB-A6D2-89469E07968D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a29952a33c9dbb7b27978ac88b227cb485e6791","datavalue":{"value":"0908.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127336$E1BEBB64-2D80-4F24-B048-E09EA5545B24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b620d025f7151a78cdefeb2f8c707dff5f44b494","datavalue":{"value":"10.1016/S0304-3975(97)00145-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127336$19F288A4-D31D-4992-ADB6-2DB49899CB39","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":"Q1127336$A6776BA9-2FA9-4E7B-8F79-9B5DA8EC0F69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127336$BC61C793-2428-49F6-9599-B09512EAD001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127336$1E56470E-1983-4AE7-9C91-649780250435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127336$8D0BB1E4-1A19-47EA-B00E-1F16E5D690B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dab633ad94f23b439001ef0345eef85b30531ca","datavalue":{"value":"1189648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127336$593FA757-561F-4CE2-85FF-4F866DC39338","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2295e9ffa3d63bd5be2b0f7a4b3e06697b255b","datavalue":{"value":"semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127336$36E77A10-EB5F-44A3-9612-117EE0BD1169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127336$981E2E59-8B88-4726-A2AD-2CB11814D232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4389c1eafdce28e60e07d2931ac7ad8ff5467c6","datavalue":{"value":"two-tape finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127336$E19909A7-2C1D-43E1-B260-B4CA41B09D50","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":"Q1127336$98615E33-9F14-4EF5-BEBC-1FDE9EB47B56","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":"Q1127336$8BAD8FB7-115F-48F2-81FD-16593A74FF46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e884892508373839ae801c95d241a499a8aaf0a5","datavalue":{"value":{"entity-type":"item","numeric-id":4055184,"id":"Q4055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$56E6D8C4-DDCF-464A-9918-9DCCE665B3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfbc9d9d1cb5ef7de4fec664dfe6df25c713dc86","datavalue":{"value":{"entity-type":"item","numeric-id":4285634,"id":"Q4285634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$F1AB3714-6195-4349-9247-898BE5768DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70625d03e68e9bedd523a99832313f46c4f29eb","datavalue":{"value":{"entity-type":"item","numeric-id":3992022,"id":"Q3992022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$6F11B97B-9A50-4C33-93B6-BDF0A0F03950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f7af87c85d92c5774b1ac0ff37f2736cd97c1","datavalue":{"value":{"entity-type":"item","numeric-id":1239606,"id":"Q1239606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$2FDB5533-FF41-4E28-96B0-C71BD6538AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5f103221b565b7727757563d1a2277e9877e25","datavalue":{"value":{"entity-type":"item","numeric-id":1083220,"id":"Q1083220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$1DD78422-247A-471E-9CF4-CE7960D3EC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"937911e42f68d251c82fa9be54759bda8aea4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1165842,"id":"Q1165842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$B99C243B-A8B0-42A4-8649-7E6E01FEF6E9","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":"Q1127336$8083BD41-9F8E-4EAD-B9F9-7768F2CB6284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b64809fce4ec04e683014edcab64439346bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":4176990,"id":"Q4176990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$BC7875AB-34C7-4A2C-AEBA-3F8BAFA44960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc43f77bfce189c0ab85c74f82b9008c5db498a","datavalue":{"value":{"entity-type":"item","numeric-id":5181346,"id":"Q5181346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$CAE0F66D-219A-488E-AD9A-0F1659DBE081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f0648df3e013415550bbff913328f9ac928874","datavalue":{"value":{"entity-type":"item","numeric-id":3338229,"id":"Q3338229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$0B6F14F2-E992-4159-9C75-7B6E829C83F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7721edb90b4ddc2f1b351424c765119f7898c8","datavalue":{"value":{"entity-type":"item","numeric-id":3880295,"id":"Q3880295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$C17D167F-345E-49FA-B2E1-96724E84AA5B","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":"Q1127336$B6C4A4E4-433A-46CD-A4A2-4BE4AFA14720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b921830a8302ea4fe8b72707f9af73a2a84913f","datavalue":{"value":{"entity-type":"item","numeric-id":3962488,"id":"Q3962488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$85B93D2C-FCFC-45D0-ACD1-AF4D976B8E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cda73737862ae25acf95e82a813fd5a18542be","datavalue":{"value":{"entity-type":"item","numeric-id":5525346,"id":"Q5525346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$4BB6A2E4-BE69-40AD-BC09-ED1EAAE830D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28eb5b1180a1241786f0eee35d291b83d7d95648","datavalue":{"value":{"entity-type":"item","numeric-id":804302,"id":"Q804302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$B6C3F0FE-E32C-4D93-B768-2EEEA537F18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$2D58D59D-A33E-4929-BD6C-263AAFDB6DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04ea1c493e890db53f129beb862d1f6ccca1832","datavalue":{"value":{"entity-type":"item","numeric-id":4036570,"id":"Q4036570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$7AF3A2C5-803A-4C55-A7A6-507B88265F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3954ee6021d340af94dc9949d1af4ae5484cf91d","datavalue":{"value":{"entity-type":"item","numeric-id":685433,"id":"Q685433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$2E323F38-8D4F-4518-95CD-D9502BD4F1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9717de838fd2d5a3d0e6be6eaa16d2cd6c851b","datavalue":{"value":{"entity-type":"item","numeric-id":3210188,"id":"Q3210188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$D93CC1E5-5214-4330-BE80-04D4C5F9AA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e146e1a73572c015ee99d18dfefc4f34fddc2d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1839248,"id":"Q1839248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$33838C45-8D0E-4EC0-BDD2-1EAB8711357F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838963065bf2cb01121d1af54e4aed38f9851f93","datavalue":{"value":{"entity-type":"item","numeric-id":1102946,"id":"Q1102946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$E7E4D432-F3A0-4F5B-A01D-816B5FD528E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05111929e7b8cb4fe748a84d716c65704f80b6e4","datavalue":{"value":{"entity-type":"item","numeric-id":4013403,"id":"Q4013403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$A98A813A-DEA8-49C8-A6F3-D47BADB88BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6fbd730a3065d9c12223a768f15935b26fc936a","datavalue":{"value":{"entity-type":"item","numeric-id":3965569,"id":"Q3965569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$C073B9E4-A6C4-41BD-AB15-2A07D96BF650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86254ee3c9b6e0d2075cc38ddd7166cbd33df22d","datavalue":{"value":{"entity-type":"item","numeric-id":1083219,"id":"Q1083219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$BB6AA43B-5CFC-4AFF-B2C4-74292BEF73B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1153b42a031abaeef65a9db62532f0b2b1e78386","datavalue":{"value":{"entity-type":"item","numeric-id":913524,"id":"Q913524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$DAF8C18E-D764-42A0-9EE7-6BF9862FDC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b17ef516c1f875174b8ddbd3fa4b66cc713366","datavalue":{"value":{"entity-type":"item","numeric-id":910246,"id":"Q910246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$F1B879C9-91FB-4147-96BB-ECE8422ABAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129fb8364b9e7e0b47aca90590c14c3ea53e9624","datavalue":{"value":{"entity-type":"item","numeric-id":5055831,"id":"Q5055831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$45F6C4A4-698E-438F-87A0-2C7F12E327B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f738da761537d671b2ca3e58f0690c82693f32c","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$5F1DB1C6-2367-49A7-B480-258A70B13CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127336$1D2496A9-AFCF-46A6-80A0-2BEB5AD2E28F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c9c7bc813aa5250f86efc7c3f55d900a567273d4","datavalue":{"value":"Q128037015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127336$A2607145-CF05-42E1-A0EB-B8B182D3DE1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe083b0755df5c8c42a35344f4f9ec7f103a5c6d","datavalue":{"value":{"entity-type":"item","numeric-id":5055831,"id":"Q5055831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17abc014fb07355e7a7bcfd4f395fdf60a7a9ea7","datavalue":{"value":{"amount":"+0.9936704039573668","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":"Q1127336$1631DDF7-54E6-4AB5-A0F8-C5A6F011ABB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f665c7cfac54c3e523a2210f6e27747feeaf9d28","datavalue":{"value":{"entity-type":"item","numeric-id":1102124,"id":"Q1102124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a7d8c1d1739c4e8f661aeba6da994b52740a7b","datavalue":{"value":{"amount":"+0.8005921840667725","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":"Q1127336$DBF26ACB-2492-43A7-ADAC-17A60DE3D3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca3b7b4f0dcf9c3f14d7723bc9fa29f5dc47ab1c","datavalue":{"value":{"entity-type":"item","numeric-id":4941894,"id":"Q4941894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb5974047a6d2bb7387db2d2f0f62754a22855a","datavalue":{"value":{"amount":"+0.794133186340332","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":"Q1127336$14A37944-DA8F-4303-AF93-46272CF407A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4c9dc856dec54ff66f66fbbd9f1a467a7277cf","datavalue":{"value":{"entity-type":"item","numeric-id":2723899,"id":"Q2723899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbffd1856ab67e23abd42a661fec0c26d1d2d44b","datavalue":{"value":{"amount":"+0.7940375804901123","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":"Q1127336$82B29702-D6FE-4299-8C92-27AF620C0EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d652fdf152aeddbb37949bf30540510352318d6","datavalue":{"value":{"entity-type":"item","numeric-id":1123619,"id":"Q1123619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c1029a7496438ff679ea742a5e2337ec9de473","datavalue":{"value":{"amount":"+0.7875653505325317","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":"Q1127336$80C2D855-F7A6-4B89-BE82-9976EF8D4F13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1127336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1127336"}}}}}