{"entities":{"Q4033833":{"pageid":6063565,"ns":120,"title":"Item:Q4033833","lastrevid":55231396,"modified":"2026-02-05T02:48:40Z","type":"item","id":"Q4033833","labels":{"en":{"language":"en","value":"An algorithm for finding canonical sets of ground rewrite rules in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166342"}},"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":"Q4033833$764C14EC-0D9A-4E96-A7A0-FE8B51EB800E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2b8561039edfa217084377e5f50dfb68bd23118","datavalue":{"value":{"text":"An algorithm for finding canonical sets of ground rewrite rules in polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4033833$74C37240-5BA3-4C5B-A456-E3EE1BDA1195","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d24696de85e3596cd8b0060ae62cf422ab18e14","datavalue":{"value":"0779.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$7240A460-8831-4662-8787-FA2819C5BCAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7fedbc9993d266da46fb1470715fa4ea5e1a3b4","datavalue":{"value":"10.1145/138027.138032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$B69F2F95-EE2E-4F49-90E9-A22205741917","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033833$1381FC24-82FE-4890-A11A-56A3013FC75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033833$EB9286CE-2D5B-45DB-9923-C3B70B27251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9245d6bd94ba1579f298ff2452b52a61f5a5da9","datavalue":{"value":{"entity-type":"item","numeric-id":1188937,"id":"Q1188937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033833$8201A258-DD86-404A-8752-C3897506E1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08806ac259b69338711fcb06260641ec2a055681","datavalue":{"value":{"entity-type":"item","numeric-id":685536,"id":"Q685536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033833$C8CD234E-F5FC-4E49-9B4B-A5374FD2061E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033833$583F8CFA-1489-403C-98D8-4C4246E2E9E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4033833$1A1BDC57-4ABC-4987-A7A9-FF6732B83267","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-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":"Q4033833$0F85EE58-DFCA-4944-A709-801EFD6DAC04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$701A3B04-D460-4438-B2B0-65C743F3BE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$A5A863F4-6999-4511-BE57-489F8DB89A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$CC2A6610-0D4B-481D-957C-94DED96724EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1243c1579be57415bb7443172d5854b55e819483","datavalue":{"value":"166342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$773F6039-064F-4DB0-8C4E-AE0CA91861FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e78c793d6b274ad90381ac7e5d81ad110605318","datavalue":{"value":"completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4033833$1BBA8B0A-4CBA-4618-AD79-C2136220F1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e70f7e14a31c77c1f70c475a682670ffb8b027","datavalue":{"value":"ground equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4033833$A7228E63-C45F-46E8-B565-060CF6EA7B52","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dbe983a4fd975abc64cfb8e48cf9b3d1b880f608","datavalue":{"value":"Q29029918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$75672C9B-321D-474A-8C40-12FE2E2D2EEA","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":"Q4033833$9359C4E1-1507-4564-B653-97B5508AF639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08751a59f6a7cae89d10731e3029598bf8271d3c","datavalue":{"value":"https://doi.org/10.1145/138027.138032","type":"string"},"datatype":"url"},"type":"statement","id":"Q4033833$B0749976-462E-4296-82CE-F92BB430C716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e242a7cf8c7c53e9efd9b1cd32dc76ce1ede756b","datavalue":{"value":"W2056181378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$2BFA941F-3360-4C05-9ACF-DF00FB713F7F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fe4702730effb44255cb15a36eab81d7eda1c4ce","datavalue":{"value":"journals/jacm/GallierNPRS93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4033833$4105ABDB-00FF-42DD-B306-3EDA0EBD92B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2b4152c95ffe583a7bb15981322f8abdb952d2","datavalue":{"value":{"entity-type":"item","numeric-id":5055736,"id":"Q5055736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0d54c6c7534a0ae195669183cfe213bf66ed2d","datavalue":{"value":{"amount":"+0.901240348815918","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":"Q4033833$C4EF0586-4FA3-4BFF-B432-3FBA04811EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b5b6b9905987b5e00af033e5add06d41e17749","datavalue":{"value":{"entity-type":"item","numeric-id":3811749,"id":"Q3811749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50da3783ea9e5263edd1ea40dbe3b6cce00b370c","datavalue":{"value":{"amount":"+0.8581870794296265","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":"Q4033833$2163FF12-952E-4D8F-B8AF-908256645561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396528b0195df839f37c3ec25136a4dd8627dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":685537,"id":"Q685537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737cf23fa5a0b55146cf7eef0ed8155e74858cc6","datavalue":{"value":{"amount":"+0.8304617404937744","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":"Q4033833$A4C6BCD0-1CE8-4BB6-82D4-58D9A044A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829396d3b5d5555ecf238889938596d832d5eddd","datavalue":{"value":{"amount":"+0.8270431756973267","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":"Q4033833$2F09DE7F-7F27-4277-AA03-A2D6BFEDA560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f347b68470cf5fad9a8712e244de42e18d5f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3702509,"id":"Q3702509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d305653aebd5452f8b3f49974ecfd49a417ec708","datavalue":{"value":{"amount":"+0.8225398063659668","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":"Q4033833$0A497E48-7564-4F25-B84D-039143DDFD7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4033833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4033833"}}}}}