{"entities":{"Q2996202":{"pageid":3006926,"ns":120,"title":"Item:Q2996202","lastrevid":51238292,"modified":"2026-01-17T09:44:23Z","type":"item","id":"Q2996202","labels":{"en":{"language":"en","value":"Reachability analysis of term rewriting systems with Timbuk"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884937"}},"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":"Q2996202$F57985DD-E23F-4A4F-AFDE-A000F85BFFCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e81498ac848902558b217c4ef36fad75b8fcbe78","datavalue":{"value":{"text":"Reachability Analysis of Term Rewriting Systems with Timbuk","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996202$412BB7B9-38A2-4B3B-BEB6-1B3A9187ABDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c14f46e585a70ec4c6fc6f5379e6dca92bb6bea","datavalue":{"value":"1275.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996202$6262BF67-3409-48E8-A23B-9C42DDB3C569","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08fbed81ab7108b4ec18b694a483202cc4968b10","datavalue":{"value":"10.1007/3-540-45653-8_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996202$CD64DE11-227D-495B-8E91-7BEA61B1E7D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14bafb335ca5a0648dd707f992f49ef0e445a0c9","datavalue":{"value":{"entity-type":"item","numeric-id":556684,"id":"Q556684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996202$EF6C60CE-6A37-456F-B935-16FF74CCD000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca4a36ff69c3936990c1fe7609ba3e16ec0c7f38","datavalue":{"value":{"entity-type":"item","numeric-id":556685,"id":"Q556685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996202$5DA99205-305A-4414-8676-19D66329AB7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996202$4DE50E2E-571F-44DA-8DE4-FFD69BBCF70A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996202$738642B3-C1E2-4DB0-AFAD-0378E03D925F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e781f630ad769ad4ded009d9e6a91f5899a99b3","datavalue":{"value":"https://hal.inria.fr/inria-00072321/file/RR-4266.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996202$6F63F97A-965C-4B66-AE0C-52E9E57C7CBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996202$9CA702CB-7AD2-4DA1-A34F-A3E7A91336A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996202$E5E87AB5-11CF-4424-849F-EF6847AC7CB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0dbdc1a169cb925400d4e0e921bb27fc492e490","datavalue":{"value":"5884937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996202$8DD5DB5D-AD9F-42D1-BC7E-9CD0753F96F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996202$7E4A38E2-287F-4A01-8C37-56642C534F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996202$9BEFE146-609F-4B27-B1B4-78DBDD89EF9E","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":"Q2996202$B561FBAB-4E93-442F-9850-C1ADDEFD30C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3314229f8ae1690b3638a5fea6d22d8ecf561b33","datavalue":{"value":"W1510965759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996202$E81DA0B3-439C-47A9-B004-B205C799DB0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb29485a9672707eaf67044504a6d7748aef8e6b","datavalue":{"value":{"amount":"+0.931989848613739","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":"Q2996202$9FE35957-E129-4FD2-87D7-DF00395480E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31d774057f2cea3d070bccddcd80f04f91420a2","datavalue":{"value":{"entity-type":"item","numeric-id":3527288,"id":"Q3527288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bb30f5571d25822f202611eb81f165e72a258c","datavalue":{"value":{"amount":"+0.8274784088134766","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":"Q2996202$8F5DE829-FA0E-4D4E-A013-26E30D3C3E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff1ded4edace3df1b4a8100bb76c409e5844d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5505416,"id":"Q5505416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6aebda67cd6619142693345ba8c0364712d15d7","datavalue":{"value":{"amount":"+0.8268181681632996","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":"Q2996202$D8A335F8-32E5-4B95-9A74-921906E2D346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7912bfc58fc980a9065449b565b47a743aeacc6d","datavalue":{"value":{"entity-type":"item","numeric-id":3522008,"id":"Q3522008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8ef5eefac081132ff94eab3c9d86cb9f8cd537","datavalue":{"value":{"amount":"+0.8239129185676575","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":"Q2996202$BC821896-2693-4266-96AB-0D4751B2F043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be4fcf9141a0d61277d31b1f6c6ae86456876d8","datavalue":{"value":{"entity-type":"item","numeric-id":4993342,"id":"Q4993342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f16225c25ff951e4805058e6640f9573d77885","datavalue":{"value":{"amount":"+0.8211727738380432","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":"Q2996202$87DDB9C3-C9A4-4EB9-ABDB-442BDC9C5442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996202"}}}}}