{"entities":{"Q5055863":{"pageid":7085440,"ns":120,"title":"Item:Q5055863","lastrevid":47786062,"modified":"2026-01-02T16:51:34Z","type":"item","id":"Q5055863","labels":{"en":{"language":"en","value":"Modularity of termination in term graph rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631295"}},"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":"Q5055863$A7A0E08D-15B8-4970-B7FB-853A243F19A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e00e22c923fc30e1b6de3e266f8101e71f8c6a4","datavalue":{"value":{"text":"Modularity of termination in term graph rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055863$393EE407-AC49-4E4B-AE45-A9173569AD8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a00fbc7a6e33c55a9bb5fa98163da9952dc1c6d9","datavalue":{"value":"1504.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055863$85A72A51-05C7-47A4-8249-6C35EA3A50CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ffac8d9709732f02ee75c7b44e6ff5a43b52a15","datavalue":{"value":"10.1007/3-540-61464-8_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055863$38EE4180-9C05-40E7-A5AD-79CADFA98BAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb57310977e308cbdca87dfcc89a72e3a1a1259","datavalue":{"value":{"entity-type":"item","numeric-id":924173,"id":"Q924173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$22BE44B9-0FBD-4605-B8CB-6CC4856EDFCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$82D3A034-48E6-4598-9B4F-535907F13BC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-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":"Q5055863$B8369F78-5462-43AA-AD39-FB082A22D40C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055863$95B95228-7171-4450-BDAE-1AB96FDFA590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4311ae70ef014e91e96c740fafe6fc9cacd0fc9b","datavalue":{"value":"7631295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055863$BF00C040-63FA-42EF-A789-4BA020A5D09C","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":"Q5055863$71A35896-3919-4153-B5A5-C9557BF9999B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3c909f7138f59c08abdfbcd41331560b8ac279","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055863$AA9B002E-22E0-466A-BB1F-EAC0F2BD8250","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17d3436f059c869aa2d4fd583625d47bd35efafd","datavalue":{"value":"W1631235411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055863$E86078D4-BD57-473A-9264-82D8E6E414D6","rank":"normal"}],"P223":[{"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":"Q5055863$6935BF4C-C9B0-478D-ABB2-2B5D9DEDF430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb45a07c249808f39b196e78cb1332eb59c84b38","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$8ABEF00F-BC36-40EF-9570-FEE4B8DAA342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57df5e3dc4736ec9eecd241151dac382ff6d6b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4490728,"id":"Q4490728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$AFD68B5B-6FBE-4F10-A25A-11B996B802B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d0bdd38582e9cee77f6c0fb4086cdca685d628","datavalue":{"value":{"entity-type":"item","numeric-id":5096744,"id":"Q5096744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$641F1A36-79A2-4525-9F97-A5DB43DE6423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8892c2b1e9e7f612d4bceefe54b9cf444753856","datavalue":{"value":{"entity-type":"item","numeric-id":3569026,"id":"Q3569026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$B38D45E4-277D-4FF4-B0AC-B9A97C4C1D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ad2abfc6cc3ebb890b3b52507b9f0b3bd707ef","datavalue":{"value":{"entity-type":"item","numeric-id":1350349,"id":"Q1350349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$969B9D4C-D008-49A2-A781-F6D1C81F97C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877e2a64a458024124e619170de1f5125a29ce24","datavalue":{"value":{"entity-type":"item","numeric-id":673186,"id":"Q673186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$4A85D1D5-B508-49D7-8CB3-5D55D2FCFDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c44b9b936face2dfc4d4635051b2920e843d73","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$1600B341-F92D-49F5-8A8A-1CF2FF31148F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b2ea258c10d1fa52e22cf27b92d8df93fb786d","datavalue":{"value":{"entity-type":"item","numeric-id":4037331,"id":"Q4037331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$C4638B71-37A8-4F61-B71F-D5BBCE65B9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bef0bf79ac0f91e3cec2b1b9d3fd2859370f27c","datavalue":{"value":{"entity-type":"item","numeric-id":5881178,"id":"Q5881178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$0AAFB5D0-D6E4-4769-B2B7-C6292F88A864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055863$C29C6625-3EAF-403D-A8C9-6385598E1E84","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":"Q5055863$C139D704-8F44-49EC-9F80-F79A46E7A52B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb88340ead554048af42a4741ecc44d4f1fb61b","datavalue":{"value":{"entity-type":"item","numeric-id":1275016,"id":"Q1275016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5404ac92531253160daf64435fb534423df774f","datavalue":{"value":{"amount":"+0.947245478630066","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":"Q5055863$78DD1699-574F-4BDF-85DD-794B7F2772D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c483ebd223a9089fdc109539062aedea7fb357","datavalue":{"value":{"entity-type":"item","numeric-id":3569026,"id":"Q3569026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545a07f1d1ccfd408d45b62309f244d8e852f5ae","datavalue":{"value":{"amount":"+0.9173822402954102","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":"Q5055863$23E80146-C651-4CEB-AD84-883360543C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1c169f747b223fee7f66b2d56d4ee47544427d","datavalue":{"value":{"entity-type":"item","numeric-id":4037331,"id":"Q4037331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e798d9d9b99e7b95c138586cb4e035329a31c378","datavalue":{"value":{"amount":"+0.874750018119812","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":"Q5055863$E6F42ED3-7708-4107-A4A1-89EC35D84ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf2e34b5d76f14c9a2c132d22a6b1befa5220ae","datavalue":{"value":{"entity-type":"item","numeric-id":673186,"id":"Q673186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6ff5e1ef5d2d5b055e86ec49522e7a3c397261","datavalue":{"value":{"amount":"+0.8746242523193359","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":"Q5055863$FF2467E4-457C-4403-A08C-F63AA8B21F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46562c7843405058ffbb87e0268ac335c4fe2216","datavalue":{"value":{"entity-type":"item","numeric-id":5881286,"id":"Q5881286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33794ef263f92739c7a5cfccea4ce528067e990d","datavalue":{"value":{"amount":"+0.8581117391586304","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":"Q5055863$70806587-141A-4EE1-8B9D-BE6536C5F4A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055863"}}}}}