{"entities":{"Q5055796":{"pageid":7085373,"ns":120,"title":"Item:Q5055796","lastrevid":47785912,"modified":"2026-01-02T16:50:02Z","type":"item","id":"Q5055796","labels":{"en":{"language":"en","value":"Total termination of term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631210"}},"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":"Q5055796$97F009BB-7B99-4351-BABA-7E7699C6E956","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53cdabb9afea4832d63e3c989fcc65a8e67dfe58","datavalue":{"value":{"text":"Total termination of term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055796$B105AFDD-E2B7-4190-84F3-F5FD48BFD59B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77745f1d89178adb96aac9d0d916c9e28226f86a","datavalue":{"value":"1503.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055796$4E48335A-A559-4293-ADE4-35F84AD6C4EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a874cc81d994b8f0da223933c85d2cc2be86a20b","datavalue":{"value":"10.1007/978-3-662-21551-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055796$079A05F2-D113-48B6-B9A0-C18147920F25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a885fc1e3c9a4d347fde8fd39bb8b556de926af3","datavalue":{"value":{"entity-type":"item","numeric-id":1290509,"id":"Q1290509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055796$641BA770-EB92-405B-A9CA-0A43527C11F3","rank":"normal"},{"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":"Q5055796$1FD85A0A-7486-4980-8316-3BC90A812ADB","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":"Q5055796$AF19E683-8320-45DF-9277-74985EB3703A","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":"Q5055796$6CFDD10C-60D8-4A2F-ADC5-BEDF9B9A2EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055796$0FCCE2D7-20E3-40AF-9B13-28F2F7EFC979","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9676c629ec344bb55565e881d557a4c2d074efdc","datavalue":{"value":"7631210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055796$B15EFF17-E1AD-493A-B95F-F162AE2DDFE7","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":"Q5055796$E93C6C5E-2142-4170-B8FA-84B4DFB4BAE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c3ef7adc5c88aa118e068c5eaa3b941e760cba1","datavalue":{"value":"https://doi.org/10.1007/978-3-662-21551-7_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055796$AFADC80B-F1AF-4F27-93D6-AF62125DF6B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a5d86a7a66581e97d2d8d8eae0a9325b73b34a8","datavalue":{"value":"W1876432474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055796$5784A6EF-FE36-42D5-8FF8-35E17CB864D6","rank":"normal"}],"P223":[{"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":"Q5055796$630E2F91-27B9-4B0B-9585-2940D606B3EE","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":"Q5055796$A29FBCFB-973F-4133-B3A7-4AAC21699911","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":"Q5055796$30E15B0E-D1E7-4D15-B5BA-8EBD083B430B","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":"Q5055796$BCEE4496-FCD8-41DD-941D-74D24F3DEAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1f24d53123d6885e349219044cd2216b80aec1","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055796$7D578DBB-836D-4C81-8E76-3607E219786B","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":"Q5055796$F0DB788D-D26D-48F0-832C-EF386186710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9a0b7073b91731822d046010e715ea7ddd67ca","datavalue":{"value":{"entity-type":"item","numeric-id":4358058,"id":"Q4358058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055796$EB0B494E-E26B-47CD-84F1-6FFF15A5E2C0","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":"Q5055796$0A01A1D1-A1D1-4D63-AA0C-BFAAC4A60185","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":"Q5055796$099C2FFD-19D9-4A00-B4BB-9D6EC390F8E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6472e09bc9d914d8cab37208ad74013f36ef11a","datavalue":{"value":{"entity-type":"item","numeric-id":1912706,"id":"Q1912706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96f4d20640475c389fd90745e516fbfa23396b8","datavalue":{"value":{"amount":"+0.9791530966758728","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":"Q5055796$B17BADB0-284A-46FB-A89D-C7255B6645EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712ca67f92282d0a546c8e6fc3e426d1727f3909","datavalue":{"value":{"entity-type":"item","numeric-id":4537515,"id":"Q4537515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73193f90e386811e9d330f42f3b66d91e73982f0","datavalue":{"value":{"amount":"+0.9029558897018432","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":"Q5055796$8F4440E7-6C1C-4250-A2B5-ACF710EABA48","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":"aa8b28633a861411af6956ed1c702b5ef9a7a101","datavalue":{"value":{"amount":"+0.848187267780304","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":"Q5055796$89EE6815-6601-43D2-8450-98F3E2BE678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd13546199e36837498d0f86201f321fdd87908b","datavalue":{"value":{"entity-type":"item","numeric-id":5941752,"id":"Q5941752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5165dcf427d430914be7ab9e54596f36cf618a59","datavalue":{"value":{"amount":"+0.8462046384811401","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":"Q5055796$D5C30146-4F42-42FE-BCD2-0A041B2FCC74","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":"25c0a17eeb635e94d5de0e3d78ebc9fb723f9902","datavalue":{"value":{"amount":"+0.8440420627593994","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":"Q5055796$63A91E39-813D-4D50-B703-796C3CFBBAD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055796"}}}}}