{"entities":{"Q1764424":{"pageid":1775166,"ns":120,"title":"Item:Q1764424","lastrevid":72479328,"modified":"2026-04-14T05:12:10Z","type":"item","id":"Q1764424","labels":{"en":{"language":"en","value":"Decidable first-order theories of one-step rewriting in trace monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2138502"}},"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":"Q1764424$5591AB67-D06D-43DC-A30D-59D50C3A4F0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee698dd0db5127937370a2169bf798b493aad07","datavalue":{"value":{"text":"Decidable first-order theories of one-step rewriting in trace monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1764424$8895A701-83DA-40C8-BB93-66B57AD5B2D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f0721a40439cce81483f8ed39199a70189d5a57","datavalue":{"value":"1061.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764424$3C5C0AF0-86FF-4606-BBCA-B7C8DD094FE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764424$CD46F11D-6C80-4471-9031-6340325E3DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764424$8C5E5487-CEB1-4456-8095-9C192FA09E05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764424$D1760168-0A4B-41C4-965D-3B4960572FCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acb9018679bc717a3868823379e1b5aa1d36ccf9","datavalue":{"value":{"time":"+2005-02-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":"Q1764424$A700A967-DC21-4F6E-A2D4-58E5420F31B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764424$6144D37E-C538-4768-B6EA-4903A2CB3DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764424$A05E53C5-AC27-4A94-96AB-1E348DE3A242","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"252a9e8b21f85f79a3730e9fd0a1602c40b21dc2","datavalue":{"value":"2138502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764424$07D628A6-D366-4F70-9E63-880C0B5876EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2295e9ffa3d63bd5be2b0f7a4b3e06697b255b","datavalue":{"value":"semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764424$C9420630-E1C1-4365-8511-984FFB039EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764424$442BB7B2-83B8-498B-885F-94C8ED5D5A66","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":"Q1764424$3C7E16BD-08F8-408E-A561-E225EE556626","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2806e5b8abdcfdf834abe6c3b534aa91b08ce46","datavalue":{"value":"https://doi.org/10.1007/s00224-004-1099-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1764424$DA03E563-0300-4E97-A792-0AED28D35B65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4863bbf31d8663ac51edd772743ee5886257fc31","datavalue":{"value":"W1985537797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764424$E67319C8-C31E-4596-AF37-5FF493181B8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5282400eee8034faf773d7522c4c33625a3e9a68","datavalue":{"value":"10.1007/S00224-004-1099-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764424$37B2C7FB-FAFF-47C6-97E4-32D71A96CC2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee06c78db2eaf7c3ea3bed7c34b921a6fa749a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4737205,"id":"Q4737205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd45c8d3b11bf4623364e170aac4c34819720a4","datavalue":{"value":{"amount":"+0.9734767079353333","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":"Q1764424$E6462A25-6D5D-4C5C-A6AA-BD5261BA210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936b0fef448d54badf3a70ad0219bde179f4ba39","datavalue":{"value":{"entity-type":"item","numeric-id":1854457,"id":"Q1854457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181302517cbb004fcaf334f2d75841735acd510b","datavalue":{"value":{"amount":"+0.8469266295433044","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":"Q1764424$39A89EB9-51F2-44DD-A8CB-A5D5F63531B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698adbd703df6b50bb36ec31d57dc5a4139b1f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4594232,"id":"Q4594232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0e6149c238ec5002ec397b4e0f575b1cfc71a5","datavalue":{"value":{"amount":"+0.8311383724212646","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":"Q1764424$5EC89497-12DA-450C-AEE6-8FD4CEBCCD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e16ea31fc7095481288ec58b7b46315e0644820","datavalue":{"value":{"entity-type":"item","numeric-id":5055866,"id":"Q5055866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8445cba8196ad651f34a96687abc29656c5cfd","datavalue":{"value":{"amount":"+0.8296908140182495","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":"Q1764424$5F27B54D-DFFD-4EBA-AA25-C6FAEAAAD3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c26c7a9ed2151b60f7622ce24d2ac4e1eb1974","datavalue":{"value":{"entity-type":"item","numeric-id":1275021,"id":"Q1275021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153a9dd82eeaae8330a1403858e4d72aa3560db0","datavalue":{"value":{"amount":"+0.8258714079856873","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":"Q1764424$D880E92D-2616-4A97-B94E-69535661A653","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable first-order theories of one-step rewriting in trace monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_first-order_theories_of_one-step_rewriting_in_trace_monoids"}}}}}