{"entities":{"Q5055724":{"pageid":7085301,"ns":120,"title":"Item:Q5055724","lastrevid":91919642,"modified":"2026-06-05T00:24:33Z","type":"item","id":"Q5055724","labels":{"en":{"language":"en","value":"A local termination property for term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631119"}},"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":"Q5055724$5D6BF5D2-5255-4A65-803C-287AB5ED66DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d3a804976fd20d2defa3965d91da0e1f31bd508","datavalue":{"value":{"text":"A local termination property for term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055724$4D650172-2672-4209-B3C6-6F51014F2AEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eba6f2848f56ff0ea9e2b64be8ae3deadf764c0d","datavalue":{"value":"1503.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055724$58314DF3-883D-491D-B31D-0DDF7E220A01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e59ac04b2898599036b99955ee704270ac7d9575","datavalue":{"value":"10.1007/3-540-51081-8_111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055724$BDAFB3A9-8101-4838-BA06-E5F0D2901866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66354065fc7ae1405027a8d9bd1fac13656dea34","datavalue":{"value":{"entity-type":"item","numeric-id":1078584,"id":"Q1078584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$6BD76E11-4055-4221-9AFA-5724BDA9A9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"602328120cba16d5d2b2ce9d6400f3ac5685623f","datavalue":{"value":{"entity-type":"item","numeric-id":921872,"id":"Q921872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$A983F04B-2AB7-456D-9215-C7A900DF0E43","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":"Q5055724$C187D36A-C364-4148-BFB3-642B622ADF4B","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":"Q5055724$701E9CF7-8C45-4A09-84ED-FDC52B3C039B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055724$AD7E8B8F-71FE-4ECF-A850-67389ED52EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055724$49BEFE7B-0144-47A4-9056-56B904619948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055724$9E8497BE-9470-4C1E-8B90-20044E61A22C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4959831f94fe5c751728fd0ec9e8c7832a8ee34","datavalue":{"value":"7631119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055724$B345AB00-2F3C-4E25-8B01-C3F692589647","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":"Q5055724$25ADAEB9-9C45-4334-9BA0-AF5D57446E46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecf04314fe5ffe0a94b309ed47bb62f087e429dd","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_111","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055724$77586673-A2C4-4E7E-8E73-C28664B6FD24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbd41438b83f1632fa7188e311735e909cf99f66","datavalue":{"value":"W1919615793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055724$1BD4A576-C620-4705-9181-D91C92CC4F19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$F535C92D-0B97-480C-9184-34D6C8C31FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$6A100D84-989D-4F21-86ED-DC592D7E97F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd1ffb683ff4764a60249c2cd587d46e71067d0","datavalue":{"value":{"entity-type":"item","numeric-id":5674992,"id":"Q5674992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$43F17812-F376-4366-8754-26AD9E740E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$A942E588-6B10-4C88-B1C9-9886E110A78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$8F58FAC8-5F65-41F3-9951-32C87C5A3E41","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":"Q5055724$5A3C712E-063C-4AF2-8E48-A099BD3A81C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$8C55D66A-7F8C-4E29-8690-1B257C22A74E","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":"Q5055724$A9D6EFBE-87C4-49EB-B46C-21566EF2EBAC","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":"Q5055724$4FA96284-A0EF-4B2A-9E86-71A6102098FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c387c6c9aa4232c368e58178b9c7acee5e36cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3932276,"id":"Q3932276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$CEFADD5F-2A06-4613-A35E-D04FD7F58E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a4c71c98cd19147929cabae214dfe798ee3f34","datavalue":{"value":{"entity-type":"item","numeric-id":3332225,"id":"Q3332225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055724$85E6D318-A755-4C4E-8531-474BC9682D28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208f72cb0f8195b520255c8808344b8d9d5131d7","datavalue":{"value":{"entity-type":"item","numeric-id":2119990,"id":"Q2119990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618978010eddf7dce2efd0cb8175158580bc33e6","datavalue":{"value":{"amount":"+0.9286362","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":"Q5055724$4100947B-6B37-46B1-961A-1A7CEC18CFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4519d5a74bcac466672871c4fca01e38fe88f517","datavalue":{"value":{"entity-type":"item","numeric-id":5389154,"id":"Q5389154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78862a104e9352652c0aedc89e64835a19b1842","datavalue":{"value":{"amount":"+0.89897156","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":"Q5055724$152C0E0F-A114-4748-9797-A54F49EC66DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c71e76eddfd40c0ecb8e8ead92f9e2fdc410","datavalue":{"value":{"entity-type":"item","numeric-id":4202962,"id":"Q4202962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d23ec55953bd2cedcc83bfa3e5a671fef980659","datavalue":{"value":{"amount":"+0.8935613","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":"Q5055724$C0DEAABC-C209-498D-940A-9766651AAEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c8cf3cc0aeebd9c3627d3019453acaaee4e974","datavalue":{"value":{"entity-type":"item","numeric-id":5311249,"id":"Q5311249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1723a82eda9abd3bbd917542c29b90f26b5bc2f9","datavalue":{"value":{"amount":"+0.88676465","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":"Q5055724$D5CF3956-CEAA-45AE-8A5C-367771BAB4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9722bd7704edd49a7b67aecb295ea086ac06ff74","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3df1f7009e0dab3862f474d538ec1422fd74d8","datavalue":{"value":{"amount":"+0.8863905","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":"Q5055724$9143F1F5-F984-4DCC-AFC4-0762197956E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2761631fb905da6079785d5a1ef901bc820b76","datavalue":{"value":{"entity-type":"item","numeric-id":5941751,"id":"Q5941751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfd0c7f89d0b2df1bb484a5a8d40a426dc2e8d6","datavalue":{"value":{"amount":"+0.8854288","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":"Q5055724$32F80378-09F6-4A60-A712-5D574D64C428","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":"ed7224fd100e07c0cc3cd0b7391dd6d33ed85652","datavalue":{"value":{"amount":"+0.8794484","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":"Q5055724$25AA6475-FDF0-414D-A0EC-C9C4A6A30C75","rank":"normal"},{"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":"967faaa07a2f79a0f486656cae5d27c187ea94ed","datavalue":{"value":{"amount":"+0.8767665","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":"Q5055724$3AB015FB-7425-48BD-B8DE-B8021E9E7931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18c04be89b35d25ba0d84559e204a128a0ed60d","datavalue":{"value":{"entity-type":"item","numeric-id":3466405,"id":"Q3466405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91602e38d2ef46a99c563455784e2c55f26c860","datavalue":{"value":{"amount":"+0.8767338","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":"Q5055724$93512166-5E0B-4683-AF87-BE4E1E50871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7784f5927c42cbe4274c72821f4210f0147038f","datavalue":{"value":{"entity-type":"item","numeric-id":5256340,"id":"Q5256340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738fb55ef1862cb1e7650e907c3bc9e80799d510","datavalue":{"value":{"amount":"+0.8763957","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":"Q5055724$4A16D47C-AFBA-4F94-961C-20BD6B1C51B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A local termination property for term rewriting systems","badges":[]}}}}}