{"entities":{"Q1805401":{"pageid":1816143,"ns":120,"title":"Item:Q1805401","lastrevid":46355052,"modified":"2025-12-24T15:19:44Z","type":"item","id":"Q1805401","labels":{"en":{"language":"en","value":"Termination of rewrite systems by elementary interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 754285"}},"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":"Q1805401$B4854FCF-2654-4F6C-AEB9-9A10F8343E6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82e2048bbd48f314fa12a7b21093b6c0e5e90843","datavalue":{"value":{"text":"Termination of rewrite systems by elementary interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1805401$5FDF39AE-421B-4678-BD50-42EC9D08DAFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1d017740eba809e37c52e2720dc9136c735a621","datavalue":{"value":"0817.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805401$0375F5CA-7B9A-4BC3-A12B-59BEEBC65547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f9fd3d389073b8e94a17c130ad4b2cfb5212de5","datavalue":{"value":"10.1007/BF01214624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805401$C07E4666-ED4C-41A5-B759-BF0BB8525AD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$6810005C-1033-432D-BB98-F9C6A4F4D2A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$A50A2F4E-2788-4736-A8E0-EFC2996A1CFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988f00ba557ba8646bc38d7c65efb145608ede4f","datavalue":{"value":{"time":"+1995-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1805401$868DA4A3-7218-4DCF-B94E-EEF90D0CDC08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805401$B7F3E99F-B2CD-4FDB-BAC1-9C894A5A145D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef24ec40468c587fe2d77ad9d7c904916d3de721","datavalue":{"value":"754285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805401$17C937B6-B2C0-40A3-B1B0-DC93C1B4172D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805401$C3E53F8C-3B7B-4BA3-B4C5-68B40595CFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805401$B9A9CB3B-9B7D-4060-9076-F9C4A5830599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9748885af27bb1693ef59f5aef69da0a40172ef5","datavalue":{"value":"total connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805401$83ED1B81-45B4-40B2-B079-E1E24969E99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805401$5603FC94-4152-483B-BD32-53B3E2AFF12C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$CC67FA79-9C5D-44DE-AAA2-2041818CEA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79d3a37a50735a68c7cf2956fbec6af0c52aa6db","datavalue":{"value":{"entity-type":"item","numeric-id":26958,"id":"Q26958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$4D95E501-DFB3-4BF1-9547-4530B7D46C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$8F4EF15E-BD06-4FBF-93DC-4B0161D2CD4C","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":"Q1805401$39A890E7-B9BF-49F3-B6A2-CD095C5F53FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$554A369B-577C-405C-A084-2DCCEAD4F421","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":"Q1805401$5F21548A-0110-4CC8-84AB-69201BCE7392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac48908fc1f7976d584bb6bf89dc55e17e7792","datavalue":{"value":{"entity-type":"item","numeric-id":757069,"id":"Q757069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$32508016-F13F-41DC-91DA-3F0732C10764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5286c26b21fe3ecc652fab2151971a5613c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1072371,"id":"Q1072371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$8404B6A3-5280-436B-BF7F-A512B31F50A6","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":"Q1805401$0978B08E-B300-4AA3-BCA1-D65A8D4636E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$D4C57C49-21E3-4E00-8D56-8CB419F1919C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2b733b8cbba26ddb2102e711eadcf5ba3fc91b","datavalue":{"value":{"entity-type":"item","numeric-id":3976057,"id":"Q3976057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805401$E084BB00-1028-4A35-B6AA-656135594309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2457c2613ebd78ea3094b74bd79363a88b83b2","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3103cc09a9cc68c2e5b3489fd5568f28af942b6","datavalue":{"value":{"amount":"+0.8870754241943359","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":"Q1805401$6480206B-552B-49EE-9442-961B7888393D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c289ff16cb8f8a4c94c4d732df96d20f9767d266","datavalue":{"value":{"entity-type":"item","numeric-id":5881183,"id":"Q5881183"},"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":"Q1805401$E5666150-FD20-4EDD-95E7-655E3145CE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c9d51b387606b25b893694d7e0638c186ab9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5170190,"id":"Q5170190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82276f5781fa5590756d9e56986c1414489e849","datavalue":{"value":{"amount":"+0.8359375","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":"Q1805401$B9CBBCB1-0688-4DA1-8C00-8CB8976D1CD8","rank":"normal"},{"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":"b2ae204dd0bb92289226535bbfd00d29fb32310f","datavalue":{"value":{"amount":"+0.8232005834579468","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":"Q1805401$2B4FC066-A325-4E8A-B068-0CE5B572D78B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1805401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1805401"}}}}}