{"entities":{"Q5055740":{"pageid":7085317,"ns":120,"title":"Item:Q5055740","lastrevid":47785792,"modified":"2026-01-02T16:49:58Z","type":"item","id":"Q5055740","labels":{"en":{"language":"en","value":"Termination for the direct sum of left-linear term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631135"}},"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":"Q5055740$C5693AE4-E76F-40FD-8D26-FD5CE1EAA206","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"760956554cac29b8214c1388e83627cbce1c91a1","datavalue":{"value":{"text":"Termination for the direct sum of left-linear term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055740$670F8FFE-BDFB-4D7A-AF83-3890E4C435FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c85e3f8ad938285e4ab5b9012b4103824423a31","datavalue":{"value":"1503.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055740$9A969B9F-0934-426C-A18C-95F07486B738","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b5a8e87515a37d894484fd1629907de8f24cb50","datavalue":{"value":"10.1007/3-540-51081-8_127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055740$AFC404C9-6A58-4B7F-B397-54E6B4E3DDBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdfe0bd308aff5406204a71a8f73fb22d157ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1107974,"id":"Q1107974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055740$7EDDA136-E628-479C-9939-E193577D45FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055740$0F293262-46DE-455A-A18E-C2C95CFA988A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055740$1459CC56-0165-49E3-A45E-6951ADE5E9E9","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":"Q5055740$2162F6D0-35A8-4591-9B84-B3A1754DF24C","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":"Q5055740$954A9BEC-BB25-40F5-9648-6DDA251DFAF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055740$B1AF9AB7-14FA-437E-B88B-BA6AB51C11DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"089caaca450a20f2686353e7c7efba2b145c14a4","datavalue":{"value":"7631135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055740$03D4E5C5-90C9-4087-9828-F27946B1E6CE","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":"Q5055740$962AA74A-DFA3-4190-A791-868F61DD7BF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f404c2acaa8e3c9f49b39b1f24ccc5cd5676127e","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_127","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055740$DC01C8DA-FBA3-41EA-BD8D-0018B4CB4459","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb47b21cca1159cabe0d03559dfb8fe17f34186a","datavalue":{"value":"W1486980090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055740$03A94D86-9250-4D33-9C3C-9227C0F6B0CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055740$4DBC1595-EBDF-4D89-ACFE-A2793868B60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9153a78d469b1bbed70665db8d5fd16e74d5b9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4430317,"id":"Q4430317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055740$AC874943-F581-4B75-A341-3BF05BF52FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399c4cdf2fc30383b927caff1ca0ff9ad8e69425","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055740$D1FC62C6-A94F-4649-A6D5-254EC239540B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055740$AC6B6191-0D49-4080-B368-D1E917B84014","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":"Q5055740$94203478-66CD-43E7-813F-706FB81B0712","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":"Q5055740$4EAB5DB5-ACC9-496B-9B5F-413405DA5F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055740$DDE14AB3-C996-400F-AA9C-A8F87B99CB6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cef41e4034e4011ac63f848b7fcd73476e569e","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a03f90f1ce70bb20f2ce6b8f40ed81c324a09f","datavalue":{"value":{"amount":"+0.9117765426635742","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":"Q5055740$D2B8FBFC-C2B6-45D1-B174-A34913343C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60073d110b887a37e0db6ad74af43bddc55d2c1","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03acb1ce6103932b843cf9444445d26176eb5937","datavalue":{"value":{"amount":"+0.902370274066925","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":"Q5055740$06DE9BAC-6565-4E04-977D-3772193E9C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8786abc03153794f3a8d602484714c706cd6d058","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b1833aa9578b5b9a0887754bfbcbab933471b4","datavalue":{"value":{"amount":"+0.8665772080421448","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":"Q5055740$15D63595-D8B5-4D38-8BF4-972C7EEA5725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07e30a8c07f76bf0dddac295057ca4b49dc9968","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d647e949d9ed566e3606d305a813c3499db6708","datavalue":{"value":{"amount":"+0.8491062521934509","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":"Q5055740$A4D73531-A03A-48A3-A8F2-A75C97CA0878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6f8f4ec66eccd7dc7e8be168a2f0425bdd313b","datavalue":{"value":{"entity-type":"item","numeric-id":3125168,"id":"Q3125168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012a970800f8f878c29243b6398bdf3a46eaaf26","datavalue":{"value":{"amount":"+0.8300361633300781","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":"Q5055740$197004D3-27A5-4293-A645-5B3B43DA0D59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055740"}}}}}