{"entities":{"Q5941752":{"pageid":8118554,"ns":120,"title":"Item:Q5941752","lastrevid":47660215,"modified":"2026-01-02T09:02:09Z","type":"item","id":"Q5941752","labels":{"en":{"language":"en","value":"Termination proofs for ground rewrite systems -- interpretations and derivational complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1637069"}},"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":"Q5941752$80EE8F96-BB2C-41D6-B2B1-043644867C2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e442e58a78ed133326fe5a2ef8eef937989a215","datavalue":{"value":{"text":"Termination proofs for ground rewrite systems -- interpretations and derivational complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941752$2DF6E4E7-9423-4725-B87D-5D287671C28D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16beb1f09cf79a59efc59bbbae5dd53a27e6cf60","datavalue":{"value":"0973.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941752$DBDAF83B-40A1-47FD-9083-9D84A7C0DC7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f35fa4c47014185c8455e3f00c2771df4684d","datavalue":{"value":{"entity-type":"item","numeric-id":199240,"id":"Q199240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941752$CF32F5BA-9A5A-4A39-896B-6AAA5C983E51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941752$0CA6A3C8-28C1-48D5-8FAE-768B46248F7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e42f77e6bc23737c831f0dab74893fd923637345","datavalue":{"value":{"time":"+2001-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941752$6C5F2E1F-D94F-45CA-8796-55ED93F1DFE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941752$38495377-A02F-4B58-971E-6652D5324E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941752$58024039-6A31-498E-9E33-31A32EA90E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"099a43c81f8d32b40e76ccc9900c1bf33c6b51a7","datavalue":{"value":"1637069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941752$E5265E30-D1F5-4233-ABE3-DCEBB5D83166","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c095a76a522546dc153bf19b6fef8e42e02d08","datavalue":{"value":"ground term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941752$780BD0BB-DC5D-419F-86CE-43FB2A7E86AD","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":"Q5941752$0CFF3286-06EE-4F32-8AFF-3C8A7BC8AFB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c5c3be247d942edc3c958dfe0bb903909cb4858","datavalue":{"value":"https://doi.org/10.1007/s002000100062","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941752$A4EADB80-0479-46C0-83F1-526C64BC5854","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81be6751aed8bca23cb13be45efca43e73520823","datavalue":{"value":"W1991557147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941752$CCA52775-E68A-4DBF-9AE7-00A5A96BAACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"504b03ba25f2308e47353c9bed3dac33db823327","datavalue":{"value":"10.1007/S002000100062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941752$5B730595-E2C4-46B8-9D65-637AF66A0F03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e75a6853abcf72a160bb0d2054234b62f9bc154","datavalue":{"value":{"entity-type":"item","numeric-id":2778874,"id":"Q2778874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d0a55eb661c938e20cee43717575014666a94a","datavalue":{"value":{"amount":"+0.8384324908256531","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":"Q5941752$DBB2546C-18F8-4E66-9B55-A6C39F80056C","rank":"normal"},{"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":"ef59653d0780179e124c038764cfa41d8b024388","datavalue":{"value":{"amount":"+0.8224772214889526","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":"Q5941752$33D2FB04-91E4-4E88-8E5F-E5759926607F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10ad35066d4110d387f068b2c4fb3148928dcef","datavalue":{"value":{"entity-type":"item","numeric-id":1805401,"id":"Q1805401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f0ea9708db4fa2873296e7462f1093f3771774","datavalue":{"value":{"amount":"+0.8175491690635681","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":"Q5941752$418B7C26-32D7-4C5F-B33F-A939DD5C26D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00ae8e1c1c40dc25c50d07ae7e7e17042f22d19","datavalue":{"value":{"entity-type":"item","numeric-id":5055796,"id":"Q5055796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c15d2f2489b55c8a30d1d469a2a67c107a2ab5","datavalue":{"value":{"amount":"+0.8143242597579956","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":"Q5941752$468BC340-9DC2-44FD-99B6-AB34E2B74528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6df6de7003d2cdad1976eda5b235c6cff6fe1d","datavalue":{"value":{"entity-type":"item","numeric-id":1355781,"id":"Q1355781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e57396bc00b9c389df74127d857c4a78587920","datavalue":{"value":{"amount":"+0.8109039068222046","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":"Q5941752$5D57E0FC-8960-4EF8-840B-AB5B06151F0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941752"}}}}}