{"entities":{"Q5055831":{"pageid":7085408,"ns":120,"title":"Item:Q5055831","lastrevid":91940387,"modified":"2026-06-05T00:27:40Z","type":"item","id":"Q5055831","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 7631250"}},"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":"Q5055831$B0D36E2A-C0C5-4B0C-A945-1A7D8F430A51","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":"Q5055831$E3C4FCDD-72B3-4D0F-89D8-5955ACE3F0AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bffc42630993b68aeb0ed3f92e749b61425ba27","datavalue":{"value":"1503.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055831$73EE6A68-5477-4A33-8CE1-849A200C9C50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96f23959668fac5af399ef977a24eb74c44ba105","datavalue":{"value":"10.1007/3-540-59200-8_57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055831$A39B4CF3-768A-427D-AB7A-1ACD46A6EFAF","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":"Q5055831$D6BEFF81-CF78-4568-B8DB-551B44D0837B","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":"Q5055831$325A55D9-32B5-4D48-955A-3504182DA84B","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":"Q5055831$CEEB391D-07BE-4233-9DDD-D587AA85A626","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055831$B3439B57-82CC-4AD7-B691-D3CA3596A1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055831$B78C252D-2211-4AC4-B5FD-304DD791A19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055831$ABA5D4A3-141F-4A07-9A3C-4747C3A070EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"946deee2967a5a2c1b444b7a2441d9d54ba51c8e","datavalue":{"value":"7631250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055831$9E44C4D2-8DBF-44AF-BFAF-CEF23C62C2C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2295e9ffa3d63bd5be2b0f7a4b3e06697b255b","datavalue":{"value":"semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055831$B47839FF-2CB3-4ED1-811D-77D4F05BE823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055831$D6CF30D0-A2D0-4D7A-A583-7D3AAB7B9C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4389c1eafdce28e60e07d2931ac7ad8ff5467c6","datavalue":{"value":"two-tape finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055831$810FA2C1-3FCC-4785-9E17-9A69C722C74C","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":"Q5055831$ADC26EEB-2295-46A6-8C49-9B0DC9D8B58E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af689e365b276738b83e6c57dd022c21b1b41917","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_57","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055831$E0AB26A6-3847-457F-8180-A84066674CB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fe39d3af0829a2411c820a4415e2b73d3e363d7","datavalue":{"value":"W1524320637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055831$20CE59D5-40E6-4E08-9D8B-6CFE7930D01A","rank":"normal"}],"P223":[{"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":"Q5055831$2DDF4E13-0BA1-4C0A-8A11-EB2B878FF4A1","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":"Q5055831$152A89AC-7ADA-4B73-9E10-F65CF1DD2F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1da0e27d5f8bb65f09ecd182a99c5a37a75a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4385528,"id":"Q4385528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055831$8872FE06-CEA3-4569-80FE-279970E63D70","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":"Q5055831$3BBDB23D-9348-4E3D-8ED6-4D563754D37C","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":"Q5055831$2D478B9B-15B7-4DE6-B79B-A6C23D24AA54","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":"Q5055831$F88875E2-0C33-4F95-AEE9-A7162DDA9F0A","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":"Q5055831$E9BDE2A1-551A-4B40-A905-755EE8420469","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":"Q5055831$CCC60EB8-F618-40A7-93AE-47B171A433CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055831$8FC106CD-3F70-4CD8-9CCC-BB0B1DE790AE","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":"Q5055831$8BCBC721-E768-4867-917A-8266C23A7A7D","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":"Q5055831$2ECB3E50-0607-408F-8460-C5E53502F60C","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":"Q5055831$2E1EEF3C-91BF-4C1C-BFDE-53EE71380DB1","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":"Q5055831$C2B4214A-A9FA-45FC-BDAC-B4C9FBB1A1D7","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":"Q5055831$09016BBA-7B84-4D3B-B910-C7EAD5EB6CA3","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":"Q5055831$35E327BE-B652-4538-A532-CED3DD58A226","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":"Q5055831$CEA42062-FF66-4F61-8CB0-08E764612BA9","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":"Q5055831$E1B2B98C-B9A2-44E6-B36B-30233493E342","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":"Q5055831$3673861F-505B-477F-89A9-01FE94412D12","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":"Q5055831$75DB587A-A257-4B5B-877F-C89642A3AD38","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":"Q5055831$7796DC20-0677-4142-B2EB-7D4DA0224BFD","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":"Q5055831$8F9307B3-DE38-43B2-8B16-FD0751EBD6F9","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":"Q5055831$9696FB29-D135-4E53-BB1E-87FA84C9964F","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":"Q5055831$E072DAB5-06B5-4CCC-B966-2C47825A3190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0168c11757f8316ff49e14bc01e2dae5f1dc324c","datavalue":{"value":{"entity-type":"item","numeric-id":1120292,"id":"Q1120292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055831$70B0F788-0C16-4E96-9E7A-F1C9A7AA4863","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":"Q5055831$B3546DAA-CF1C-4E93-8CAD-04177464C6D3","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":"Q5055831$A2CFBB60-0A5F-40D6-B844-F091F4746F02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3376e92ece3c2340610a8c46c739f0698273e86","datavalue":{"value":{"entity-type":"item","numeric-id":1127336,"id":"Q1127336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f269e18f799921bbaa67e72f82b8044835c2b4","datavalue":{"value":{"amount":"+0.9996770620346068","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":"Q5055831$EF40ADD8-72EF-484E-A4B2-BBEBD02D37B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91be999ba2e5620d6235ee73f87bffae9f588822","datavalue":{"value":{"entity-type":"item","numeric-id":4036566,"id":"Q4036566"},"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":"Q5055831$84B0BC34-7E3A-4CB3-8122-ADDD52A6E93D","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":"1695dbbe38f5a5a17ca580b7e729a21538abc005","datavalue":{"value":{"amount":"+0.7955344915390015","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":"Q5055831$55281EC5-472F-4EBF-88DD-7E73EDEBB5DC","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":"53b253064116cae4256050e57b129518a142fd1b","datavalue":{"value":{"amount":"+0.7901644110679626","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":"Q5055831$36A0E24F-9DA4-45B0-BCAA-A958D59567ED","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":"3cf9abfd18b480df333b22d19b5bda0c4ca50dd2","datavalue":{"value":{"amount":"+0.7856389284133911","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":"Q5055831$B9E85F80-E09F-4DE6-B33B-FD0CBCF11A20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial algorithm testing partial confluence of basic semi-Thue systems","badges":[]}}}}}