{"entities":{"Q5881183":{"pageid":7910734,"ns":120,"title":"Item:Q5881183","lastrevid":97501826,"modified":"2026-06-05T14:54:20Z","type":"item","id":"Q5881183","labels":{"en":{"language":"en","value":"Termination of term rewriting by interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661546"}},"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":"Q5881183$AC3E79EF-EA91-4805-8499-92451CE82BEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c40c2688aa62ba348db7f3f82a4806ea5fa75c4a","datavalue":{"value":{"text":"Termination of term rewriting by interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881183$B0536EB5-09C3-4DFE-B49B-0E80650B3F57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5856206903dd87f79f2ba7e85709cf5c76942e6","datavalue":{"value":"10.1007/3-540-56393-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881183$F5D0AAF6-1412-459E-ABAC-15909D9D30D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$C42C4150-68D0-46A1-ABF3-E247F9FEDD9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-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":"Q5881183$24481522-1E6F-4980-8844-165B094C694B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881183$012826E6-10EF-468D-ACB0-714B3C50A58B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43676e0da0925b41ce66ae0fe48329d61c52f3e7","datavalue":{"value":"7661546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881183$FFF83915-98B3-426C-A59C-2035AA4A1022","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$CF4D1B8D-5610-4DB1-8FAC-55713FB38C9C","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":"Q5881183$97D2C548-94EC-4F20-97C7-2A953F5259DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4556eafbcc031bd7ac277919ee593049ee346a54","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881183$59B3BA1A-4FBE-4C9C-9513-A7D60192A5CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ab4b93ee64623ae706d73b506139ef44dfbf835","datavalue":{"value":"W2100025438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881183$9C26AD83-A776-4F87-A60C-459C8A2403C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$2ACBD465-70C7-4FE7-BA1A-7855E9AF857B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$1BFD3EA6-5F37-40CE-BC26-13DD6C0BC5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ef24bde393b5b122827c8fef325e32e7955eca","datavalue":{"value":{"entity-type":"item","numeric-id":5055715,"id":"Q5055715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$F04B5FF6-8E04-4A90-B14A-93301786C3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$66CE8668-C7DE-4582-A4BD-5EAF032B30FB","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":"Q5881183$090B094B-8A13-4983-957C-FB51EB245CC7","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":"Q5881183$B1D02D3D-AB98-490B-94E1-FA7E6F80F837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90756121c7aec5a73898971dd53d1a51fa2e1212","datavalue":{"value":{"entity-type":"item","numeric-id":5055796,"id":"Q5055796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$10558D75-6A31-42B5-89E9-74777457C3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051083d55dd1c321b13637691f70f9a63262a3c","datavalue":{"value":{"entity-type":"item","numeric-id":3783522,"id":"Q3783522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$165805B6-EDA8-41E7-8FB2-ACBA860E7CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c3aea8ba4374fa6afd6fa009a7280cc68d9953","datavalue":{"value":{"entity-type":"item","numeric-id":1822494,"id":"Q1822494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$8CF5F469-2386-4787-A372-F34B9FAB00DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ecd282533f72abe85687585b23b01adf6e1cf0","datavalue":{"value":{"entity-type":"item","numeric-id":5096206,"id":"Q5096206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$F910721C-DD0A-46B0-BE48-1AE5F25960E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$57AE7961-2E57-4512-949C-1B17B7239430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2dc0b7eb984aadd5f3a39bfdb6b5ac7f5ac023","datavalue":{"value":{"entity-type":"item","numeric-id":5549798,"id":"Q5549798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$92AE6510-17D8-4671-BCEC-EAB6F0E7D469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29b3c236e91c30852d16d4ed27cc41f72168feb","datavalue":{"value":{"entity-type":"item","numeric-id":5055737,"id":"Q5055737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$1C7298F2-AA27-4D91-8494-D1FE76697D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$ED0E9744-57A4-45B9-AABC-1866CDA3DCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8faf48a99f51163fdc38a3831b24785025ff0a66","datavalue":{"value":{"entity-type":"item","numeric-id":5881183,"id":"Q5881183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881183$5EBE8F6D-6B3C-4A67-8161-A8ECFE301A1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea7c6583cfd2b84f9afe3601a34770b09886021","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4f9a13d009d1c459da5dbd27019a640ada88ef","datavalue":{"value":{"amount":"+0.8671411275863647","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":"Q5881183$3B06ACDB-7225-4AB0-9C32-1B98EA071338","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":"9baddd3676b74c31815718346d89c6a512f623d5","datavalue":{"value":{"amount":"+0.8641054034233093","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":"Q5881183$62C57075-863D-41F2-842B-BFA2DB9F6428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10ad35066d4110d387f068b2c4fb3148928dcef","datavalue":{"value":{"entity-type":"item","numeric-id":1805401,"id":"Q1805401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1765d0b892178ed196be347c67fcb397b3c8b9","datavalue":{"value":{"amount":"+0.8368439674377441","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":"Q5881183$B8D1CA14-96EF-4BAA-8A68-851FC2A12AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bccde482fe6ab066f2f526036df3e530826de93","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6913627b7c1136bf890c3ed21b3a0a4c1423759d","datavalue":{"value":{"amount":"+0.8239118456840515","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":"Q5881183$04D3FE83-962F-4124-8898-5B2346185602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00ae8e1c1c40dc25c50d07ae7e7e17042f22d19","datavalue":{"value":{"entity-type":"item","numeric-id":5055796,"id":"Q5055796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4f21d2439c4518c47704efc801e1f68d69a79a","datavalue":{"value":{"amount":"+0.8234471678733826","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":"Q5881183$961A3287-994F-41F2-B1AC-77E326C36391","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of term rewriting by interpretation","badges":[]}}}}}