{"entities":{"Q6085974":{"pageid":13220281,"ns":120,"title":"Item:Q6085974","lastrevid":93812396,"modified":"2026-06-05T05:11:09Z","type":"item","id":"Q6085974","labels":{"en":{"language":"en","value":"Guided unfoldings for finding loops in standard term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7762982"}},"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":"Q6085974$B6FF68C9-62EB-430C-B258-CDF993B87D78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5a257561a114a501aa4b4d4a07bbefe3f75657a","datavalue":{"value":{"text":"Guided unfoldings for finding loops in standard term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6085974$5A3A1113-8859-4B11-BFDF-F08955A15FDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afbef20f746c2e5a8be2ba8bd7cd83f163e16d4d","datavalue":{"value":"1524.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085974$38F628E7-75B5-4771-94B7-4A357478F625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b7ccde78500e1e3ac5704cfdc3bf7a9d2894c93","datavalue":{"value":"10.1007/978-3-030-13838-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085974$6B8C23F8-E082-4DF2-8259-E70C22272108","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dcdad15dffa4f4fe5f76bb1d2697810a5a7cec6","datavalue":{"value":{"entity-type":"item","numeric-id":293179,"id":"Q293179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085974$C88799D9-FDAA-488C-AE32-BE9933B40B25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6085974$59385D59-E740-4695-A8B4-F1C20523FC95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e752eaf3ce65d5874092da64ee22160444cabb33","datavalue":{"value":{"time":"+2023-11-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":"Q6085974$D6EFDF0E-1E81-48B2-AA02-5DEFFEA27352","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58fe1fb6050aad020a192ac22fd7f278d19316c9","datavalue":{"value":"https://arxiv.org/abs/1808.05065","type":"string"},"datatype":"url"},"type":"statement","id":"Q6085974$626D32E1-EB58-4E9A-B716-8D3E62FA18D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085974$24D440FC-AEDE-41FE-B413-B0BC9FB8E727","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40559e9f670b0809c55cb209b294fc59a98ad2a9","datavalue":{"value":"7762982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085974$EE4F5425-2003-47EB-BB2B-223F97E282DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d461805d64b72887f40e33e89d369bb84a22547d","datavalue":{"value":"term-rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085974$9B5175B2-4C24-4631-91E5-A4AFB669D13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085974$82C598D5-EFF2-4C8B-80B6-559617161646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085974$3C6ECCF1-902F-42E3-8D07-99107F956390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085974$5C1B23C9-947D-415C-AA40-545450863D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6085974$5B68BDFE-D8B3-405D-BBC8-B9B5DF5C70C0","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":"Q6085974$5230A098-8A7B-4D91-B33E-23D0384AC39B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c5e2a3ae5dfca715f92cf4395a0b217fbf45072","datavalue":{"value":"W2885381454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6085974$8C840718-12DA-42E9-814D-A3352F450C6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7df9ba513437a1a2d2deb6fbb96415c3743918","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24553386ec06b1a4dd1441f6f9636dbd3fbaee7e","datavalue":{"value":{"amount":"+0.9107971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$F9D9D9B7-B21A-45A1-9E3E-7351CB1B989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978c4a5a3395e864205bbb96933cfa0f89c18e61","datavalue":{"value":{"entity-type":"item","numeric-id":1629968,"id":"Q1629968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690cdd225012666a9b7505bc22a37898df4b6404","datavalue":{"value":{"amount":"+0.8630302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$91B4A971-831D-48A8-96A1-3267EE4E83E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6779e5c23b3245f7d0611fcde28dc6a09d109ca","datavalue":{"value":{"entity-type":"item","numeric-id":3591088,"id":"Q3591088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ad3233e72734cae91f3f2482e59592b22bb979","datavalue":{"value":{"amount":"+0.8523386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$FA39C405-89A2-4CEA-B206-543AEA54F4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33be3ca80d76308be4e7e250be0c28a168d52563","datavalue":{"value":{"entity-type":"item","numeric-id":2181939,"id":"Q2181939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1cafab90945383aaf4ce6d11c3cb9833da233a","datavalue":{"value":{"amount":"+0.8428903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$B600A955-492B-4FC2-9222-8DDE852CC1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f677df763df26fd462928cce9123ab3a10e4e6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2866802,"id":"Q2866802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b36f48c0acbf4af5e9ada3e8926ccfeda96d97c","datavalue":{"value":{"amount":"+0.8374641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$09DD9B17-BD18-475A-B1EB-1842A0F6EB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75a2f09b2f7e8b4e417073c6127a7f856249356","datavalue":{"value":{"entity-type":"item","numeric-id":3823139,"id":"Q3823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e65cc2c51c7d38f69c2958a16483f3fc2e6e8e","datavalue":{"value":{"amount":"+0.8332975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$F491CB15-1AD0-4F93-A1D9-E8882C5B50E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764599736dae83742547a7cc4f01e4f35b62514b","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c825d5e420bca51da2eb90915d0aacfac4e48e","datavalue":{"value":{"amount":"+0.83246505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$0A0FD100-002D-44AC-AB5B-08C438E9DE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8288812ccf28a40a52e9c93173f9077d73ebcd69","datavalue":{"value":{"entity-type":"item","numeric-id":2306056,"id":"Q2306056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26cb5417004f5f7befdeb5b4e6678bf6bfaa3655","datavalue":{"value":{"amount":"+0.82984054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$6070928C-1869-44D0-8ADC-BC4CEE5156FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7530272832f41eab9403e6bd4d89b6d9c14b47","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3eb62e680069267cdc4e9a542d8500ab340e4f0","datavalue":{"value":{"amount":"+0.829527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$9D7252F1-39F2-489E-B457-B758EF986E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3071fd6a93f1e86fe3428ebc60fc69305fcff9","datavalue":{"value":{"entity-type":"item","numeric-id":2844061,"id":"Q2844061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cbace61d91695519d8a01db40c2b0ac0693722","datavalue":{"value":{"amount":"+0.82905895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6085974$3B7B1C7E-1601-4F37-A031-99B74AE37012","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Guided unfoldings for finding loops in standard term rewriting","badges":[]}}}}}