{"entities":{"Q3541712":{"pageid":5571616,"ns":120,"title":"Item:Q3541712","lastrevid":80954552,"modified":"2026-05-06T17:22:59Z","type":"item","id":"Q3541712","labels":{"en":{"language":"en","value":"MTT: The Maude Termination Tool (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374252"}},"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":"Q3541712$1FE1E8B0-61F7-4F52-90C8-9EB4982A471D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b6919652e6c37bff61c16a5a0b1020579d3dde0","datavalue":{"value":{"text":"MTT: The Maude Termination Tool (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541712$CD4E9EF5-1840-4315-80C1-4401802B6253","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbd030e438a406b20e2a2e8992e5ddd968c762ea","datavalue":{"value":"1165.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541712$ADD800BA-D2EE-49FB-BFAA-FFF551C394B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87efe14c2084c8b0e0b3613604730628cef074af","datavalue":{"value":"10.1007/978-3-540-71070-7_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541712$C2DE6E69-0FA7-4B11-880D-BEFCDDF57104","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$1C7DC21F-C1BE-4E68-BE32-0697A536F9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$7D759C8A-0A17-4717-A6B2-4222BB769527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$F04E481F-DA82-433C-998F-E07F6CC2F05A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$1380069E-4810-454A-B483-DBD4CE25AF47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541712$CC89E87A-5E7F-470D-9999-EDB8D1D993EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541712$9A8FEDFF-686D-498B-8C35-D805173566B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541712$3C610C61-5C3F-4BEA-8BD9-C237BCDE7980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541712$3CD708EE-B924-4054-85AB-181ED9A900D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ee35980bbbbc73eddf26a48aa1777611fcd900e","datavalue":{"value":"5374252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541712$0CA56D91-6FBE-4DCD-8DDC-6F9BE8650267","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$FD113E2C-3BA7-4C99-B7E7-CC5AB0C02C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a56cc10343158bc2f2228df5a7cf67c5ff4df4d1","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$B18D3156-EFCB-4D2C-9C88-74E7826141B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$9E72D046-680A-4738-8467-C02CC88A950C","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":"Q3541712$22AE9E6B-A32E-4713-84CA-8E9BE71A5333","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88de8792997efcc5df1cd83aade345ac633b99eb","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541712$F6189C9C-BB15-4D4B-AF63-667A7DA2F1E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d6c580664c30b4cd18caa9fa3f411f038d3ff12","datavalue":{"value":"W2158673451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541712$44022A26-1F0C-4A39-BAF0-1D540A5D2C22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$77426A66-3354-4B33-9B08-EB188373FAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$C078EEAE-8757-4D51-8EB2-B33AFFCF3A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$18495B9A-A65A-494E-B8CD-8191183D52E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$F062E664-4DB3-4F96-ADA3-18532803896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$E905756D-8B04-4362-9F55-E857CD91F209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$25088E04-AA6B-4A51-8A16-7A00F4FD9C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$2808E8B2-22A2-4D67-899B-53D1AC8EABE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$336E8DB6-1594-430D-ACA6-20577CDA3282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$0B02A93C-40EA-407B-B84C-6DA0F12E7D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$ACE3B538-81F3-4306-A840-70CBDFEC8EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8975fb157e17ecdba14169bfcc11424eb67866","datavalue":{"value":{"entity-type":"item","numeric-id":5179140,"id":"Q5179140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$58FEF2AF-EDA0-4B2C-B283-E437690A0DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$7F9A161D-C015-4F3B-B935-A8A5FBC9A802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$5DEEBB8C-3FC0-45F6-8150-0B8BF2E154A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7753b7643fec3175769499b6a4745d1f0878c6","datavalue":{"value":{"entity-type":"item","numeric-id":2956715,"id":"Q2956715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541712$77DEA7B4-F7C9-47A6-AF79-3E4BF0608EC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e751e42e3a022146ef5c948880bc925ac2cac4e9","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccf19ded1b9d06e6aad6c04fe3a1a3788dfd485","datavalue":{"value":{"amount":"+0.7957767844200134","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":"Q3541712$A8FAB726-0CF3-4272-BBCC-0848830999CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3366842136fc5098da90336de187648cc4944b","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea7af0437250fd24c9e710a899a4815371e5bc5","datavalue":{"value":{"amount":"+0.7935011386871338","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":"Q3541712$1A5ED022-F991-4D81-A262-DE9BEF7B67E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f50f511fbb722bf21e027db8225f351c93c921","datavalue":{"value":{"entity-type":"item","numeric-id":3067476,"id":"Q3067476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c74dcc3972242500b9ad8cb11155a42aeef9b0","datavalue":{"value":{"amount":"+0.7900504469871521","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":"Q3541712$03BECEC5-A743-492F-86BE-E1BF011A84AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970eefc955628912549e15fe0788b9640a3ce09d","datavalue":{"value":{"entity-type":"item","numeric-id":2808239,"id":"Q2808239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c593c5fc7b74edd00ea6fd28f13b292a0c49f389","datavalue":{"value":{"amount":"+0.7877869606018066","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":"Q3541712$C111A069-9379-41DC-940E-E2350EC75A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cabb05a2866bd9184a2207e7535641b12e2408e","datavalue":{"value":{"entity-type":"item","numeric-id":5170837,"id":"Q5170837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1fa406d0070ee79faed94fb4394dc25ff3f47c","datavalue":{"value":{"amount":"+0.7622130513191223","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":"Q3541712$2EDF1627-8617-4390-B28D-1FDDADFF153C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MTT: The Maude Termination Tool (System Description)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MTT:_The_Maude_Termination_Tool_(System_Description)"}}}}}