{"entities":{"Q2964463":{"pageid":2975188,"ns":120,"title":"Item:Q2964463","lastrevid":44796720,"modified":"2025-11-27T13:47:56Z","type":"item","id":"Q2964463","labels":{"en":{"language":"en","value":"A Completion Method to Decide Reachability in Rewrite Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688816"}},"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":"Q2964463$D2692376-0D45-473E-81A1-E981B00F1BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e485786ffa78484dc159fc8564572064ef2a5a2d","datavalue":{"value":{"text":"A Completion Method to Decide Reachability in Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964463$75B0DDC1-707D-4F67-BB28-42C1BC18FA63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6f4c23e94ebc5a8293343cef83d5b167690f709","datavalue":{"value":"1471.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964463$469FFE7B-B399-485C-9EDC-02516EB1FC7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43c1a072b1b8c48caddba0fdde6ea4ba040714c3","datavalue":{"value":"10.1007/978-3-319-24246-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964463$3AAB9D39-176C-4222-B934-69C1FB05FEE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e409b4bd2cef152800e753211d297de864b62d","datavalue":{"value":{"entity-type":"item","numeric-id":2209543,"id":"Q2209543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$6CDA2935-EF61-4528-BEC1-15906860B0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$4DC5B230-C363-4AD0-BAF1-C085837B4D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c9994e22132749d99397bc99150caa21bed2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":457561,"id":"Q457561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$503B9EEF-FDDB-4A2C-B355-86A9B0728BB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$E47CD985-6E25-4640-901D-366FC7AABA46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2964463$68498851-8E4B-4B6A-B4F5-42FE8EFAFA9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39de958d534c7f4dc09a921135026aa122ab611e","datavalue":{"value":"https://hal.inria.fr/hal-01252138/file/pkb.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964463$E98FA91B-65EC-4FA3-A0AE-6E6EB47D2B93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964463$5686DA2F-A105-4859-8838-E7E415C121F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa4628f48c78d9a64b5f2b1f88d243c23f2a186","datavalue":{"value":"6688816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964463$6DAEBE30-E460-4C24-8759-F018CF965582","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":"Q2964463$399C0036-1930-45EF-8C30-52689E159BEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bb995790ee713a258e2b2a4076dfa823a65e0fb","datavalue":{"value":"W2237226913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964463$268885CB-D30F-4054-91AD-95B0040E0B95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9132dc4fa5802adc529bd12f6d0bd4cfacf9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3702507,"id":"Q3702507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$23D609FC-2DAF-4140-B106-CCB86D5EBD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$679EFC83-31EA-4FC8-92A3-506EB3206171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19da05d0c6789c63173093a93fd45264ec0612c","datavalue":{"value":{"entity-type":"item","numeric-id":4736827,"id":"Q4736827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$6284BCAA-5C67-4C02-BF4E-984A22BC090D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f07a0aa3031101a608bd93862c80d071e41f25","datavalue":{"value":{"entity-type":"item","numeric-id":4447217,"id":"Q4447217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$09718BA5-46C6-474C-97D2-13909B75B979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ca1cbc94b6fcdbcc40aa9495bb45517f812686","datavalue":{"value":{"entity-type":"item","numeric-id":3163883,"id":"Q3163883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$D5732035-0A91-4B37-9DDC-61DC051BF671","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":"Q2964463$A72644DF-8C87-4F72-A506-41F1C55450DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$8562C514-B090-4EF6-9358-7DF2871F1A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964463$593F53F5-B642-4D3A-B2C4-0F0070757CED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b88390e1984f0b3f5227ed4240b40a6b764274","datavalue":{"value":{"entity-type":"item","numeric-id":5204334,"id":"Q5204334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b014cc7584ff3cdfb4508d66fcfbe3ddc8db67c3","datavalue":{"value":{"amount":"+0.89876914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$53FD5AED-1DDE-42C3-8044-627FA0596863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6271fe48f3b1cde065314d4dd1ff6820058ddbc","datavalue":{"value":{"entity-type":"item","numeric-id":5703871,"id":"Q5703871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a5538c5e2c4e1e432d7ee39a48bbdff84b4dd6","datavalue":{"value":{"amount":"+0.89533675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$F908BEA4-E7AE-486F-84E6-90FAF2EE63D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340e385f3a22c089d4b247b10c9048c3b64c5877","datavalue":{"value":{"entity-type":"item","numeric-id":3490948,"id":"Q3490948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcd306c65072e70e4f2a8205f583f8637d2841f","datavalue":{"value":{"amount":"+0.89263225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$5BE6096A-0D5B-47BB-B29E-84322182DFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce254ee90d45b0b456ac8347195641bc418c498","datavalue":{"value":{"amount":"+0.8894366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$972EDD2B-C647-455E-A37E-DA983036249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eb47bca943826e3369975008fc18cf5b4c52f1","datavalue":{"value":{"entity-type":"item","numeric-id":989484,"id":"Q989484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26cbb5254c8ad4dcd18d4a79de3c8c48413b5646","datavalue":{"value":{"amount":"+0.8868318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$24D9A9BF-E091-4C35-AB7D-00C8C23D3F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d85493091cff5adfd90ff669bf12df3c0bf60a9","datavalue":{"value":{"entity-type":"item","numeric-id":5881204,"id":"Q5881204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14018547b3f237c39af383c642a5430b9a78ae4b","datavalue":{"value":{"amount":"+0.8858608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$27DEFB2E-15D0-4CCE-8911-D2DC5C0CE020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e19c3d632023ac38e016e86cf8ee20a8ea283","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f3776cc5ac43e3b01f35f1aac1081a9a19423e","datavalue":{"value":{"amount":"+0.88406646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$DA661A68-4696-4C95-9D7F-9263D8D52C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0f3477d5e3449868257bdbb549b0f0584ca70b","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188f9b31e01252b7d6306018cf6c98058a0e797e","datavalue":{"value":{"amount":"+0.883611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$FDCDC488-3435-4404-8DE4-0EF255758A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516dd297a14393600224b343aca8705e81d0953a","datavalue":{"value":{"entity-type":"item","numeric-id":3347284,"id":"Q3347284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df7af6e4e5f360b619faf486b03b99158d8c31f","datavalue":{"value":{"amount":"+0.8812231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$50B68ADE-40CD-4B43-9A47-C13F3E1B2FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b3acfc44353f381480cc1f23f99d0972359b9d","datavalue":{"value":{"entity-type":"item","numeric-id":1264439,"id":"Q1264439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d92ce3494a2eb69fe3ac9db8a9afe066dec547a","datavalue":{"value":{"amount":"+0.88006943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964463$62B45E0F-E2B9-4813-876F-4F242F0C9076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2964463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2964463"}}}}}