{"entities":{"Q2946568":{"pageid":2957288,"ns":120,"title":"Item:Q2946568","lastrevid":52347074,"modified":"2026-01-22T10:11:19Z","type":"item","id":"Q2946568","labels":{"en":{"language":"en","value":"Termination of rewriting under strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483077"}},"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":"Q2946568$D9A85863-6895-4D06-B476-696F0702E0FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"832e7319f081cd6a6e87deac38e660302ad34553","datavalue":{"value":{"text":"Termination of rewriting under strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946568$120AF369-626C-41A0-87D7-02FCC20CEA42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6920b52d34279eb634801cb9e4bd52dfb2716cab","datavalue":{"value":"1351.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946568$CCB27ED4-E5EE-42A0-A1E3-1925B5424F6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d02828bd1a4ebc2386e814962abddb34ed642ae","datavalue":{"value":"10.1145/1462179.1462182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946568$11EAE31E-E27A-460F-83A8-0DEDA1B70AE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dabf6399e6f9987ea06379d551f213552ee1105","datavalue":{"value":{"entity-type":"item","numeric-id":554216,"id":"Q554216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946568$6198C9B5-6B45-4ED8-A317-0F41566AD897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946568$F799F4BE-C894-4287-A36C-8168721A9A07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946568$55A9A7C2-905B-4CD3-903B-0F572D10E678","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946568$CA75A00E-62EE-4667-8D8F-308ED3919361","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f7d2d93e500bfea1d973daa566be7bdd01c5e87","datavalue":{"value":"https://hal.inria.fr/inria-00182432/file/version-preli-tocl.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946568$6CDE2BA1-6A4D-43DB-8BB7-D0731E3439FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946568$AD0AECEC-B448-4AC7-B426-3740C27D68C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bee3e81a4d655f0d8635b4b2725faec04709723e","datavalue":{"value":"6483077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946568$EAF0D2E3-C4FA-474A-B594-95F6A6F5FBB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946568$97152C34-AB1B-41DD-A0A6-F0A48AAFB9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946568$E1FF98E3-660E-4649-BCE6-42BDC879052E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb5d1e31e3aca16a09023913f25f5d0b4574bdc3","datavalue":{"value":"innermost","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946568$7D2DDE89-1298-47B1-9157-CDA70BA6DD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38e305f1acde129f53eee1ca7582059b7432ef0","datavalue":{"value":"local strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946568$07883F0C-D80B-4C9A-B2FF-B240D8090CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946568$3DD16C3F-2010-43C0-92AA-04EE9E312B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc28ab8e438e2d93291bdb9f0ee9d75f8734c08","datavalue":{"value":"ordering constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946568$CB14B2BA-F79B-4A4E-996F-C163ACF62478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc977544aedf79169bad82ebc97c5299bfdb6c1","datavalue":{"value":"outermost","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946568$4DE8E762-DB56-43A2-ADA1-4C244FC253AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946568$84A1F891-3888-48AE-9361-119FD1ADC744","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":"Q2946568$F70F47D8-0078-4706-A1CA-48E8375D842E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d357e6ee0ad81f3030811590edb980f6a7d6ec0","datavalue":{"value":"W2090652385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946568$57BBEB45-DFCF-4A3D-ACC6-C8E6BF163764","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cd56869d2713c577a3b177b01422e161369c57","datavalue":{"value":{"entity-type":"item","numeric-id":2841240,"id":"Q2841240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9074b7fe2c1294e36b54dce75b592bab2d488355","datavalue":{"value":{"amount":"+0.8877544403076172","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":"Q2946568$F4EE554B-3699-48CE-9335-64B57102DDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce52b3d229a5b295830671c46c99b0d85b9a887","datavalue":{"value":{"entity-type":"item","numeric-id":2996200,"id":"Q2996200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383e057a9596e7809bf20b8e3ccf900145a85edc","datavalue":{"value":{"amount":"+0.8519009351730347","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":"Q2946568$B9114A6A-5900-4614-AD13-393059C0F07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4fb2cbbfa2df24855e94020f704a82c66a1a73","datavalue":{"value":{"entity-type":"item","numeric-id":2851054,"id":"Q2851054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2808da1f07dcdc25b1ece04962a29fcf19c5d2c8","datavalue":{"value":{"amount":"+0.83387291431427","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":"Q2946568$9C5AF9FD-B2E1-431B-B483-30E212E3C357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95acf8e10a5ad53da08c82a528962d29a57540c1","datavalue":{"value":{"entity-type":"item","numeric-id":5709986,"id":"Q5709986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a12b944fbb046b730521195f284dfa9379b59c1","datavalue":{"value":{"amount":"+0.8238607048988342","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":"Q2946568$5B8077A9-CDC6-43E2-A7BD-D4D2118C30F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35398bb68961ca6ca6005a2a56e2e38acea57fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08909ce9a33b5e712035d199742ba9b6502cc38c","datavalue":{"value":{"amount":"+0.8154023885726929","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":"Q2946568$18C05679-BA01-4D88-91FA-9093B1937ADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946568"}}}}}