{"entities":{"Q4982632":{"pageid":7012210,"ns":120,"title":"Item:Q4982632","lastrevid":52239974,"modified":"2026-01-21T05:46:43Z","type":"item","id":"Q4982632","labels":{"en":{"language":"en","value":"Transforming SAT into termination of rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6424000"}},"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":"Q4982632$39CBD3B5-6C4B-4B3E-B798-9B030CC1F8D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8f580162c6e8f78b8b7fea4a9707c8ee4613a21","datavalue":{"value":{"text":"Transforming SAT into Termination of Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982632$42EA2870-74A1-4BB5-A1F4-80BA432C4A3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1d6eea415716f586610209d8f4399fa0690d409","datavalue":{"value":"1347.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982632$53942691-CD5F-4C83-92BA-A2B825C38147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83136e3815234cec6578a3872e677d362852be2f","datavalue":{"value":{"entity-type":"item","numeric-id":352958,"id":"Q352958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$1104AC79-28A7-4AE1-8FE5-0BF74C224256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$15B4B4F7-A74D-466E-82BF-59A6A3D5364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$7C74B5AD-AC86-4A87-8DAA-63BE7C65F81E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$56B6AED4-97B3-45D6-9B2B-201864826F61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2685380c049c772858fa8145d702ffd7ed5e8e1c","datavalue":{"value":{"time":"+2015-04-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":"Q4982632$4E429167-AC9D-4595-BCA1-381B4281A21E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3376fd17480417b982711d96f057f619fb08a64c","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.717.5016","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982632$79BD2D91-B988-4102-AE6D-7C278CE4DD81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982632$23ED3E84-7138-41BE-974B-0B8BC279D8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982632$62F5BA7E-AC7D-4815-BAB8-82E11DE49D85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d255f200cdbb402ea06b97da2c99e8777590f094","datavalue":{"value":"6424000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982632$66FCE424-2270-4626-A7D7-60C9279B80A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982632$A9B0F5DA-55BC-440F-963B-85B648C47585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982632$FF275B8C-AC09-4692-B64E-B72ABE0124DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a97c66addb1ce47c99aa03068c2824f0d9acbc","datavalue":{"value":"semantic labeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982632$1BC045D2-F4C0-4369-8A2D-583FAADE80E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982632$AE09D7A0-B73A-4114-8F6A-16F6FF8FC944","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$5E4F7B90-29F0-4A7C-BFDE-1256E2991CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed30c00dba43cb7404d541bb6de7a2ebb027c287","datavalue":{"value":{"entity-type":"item","numeric-id":22083,"id":"Q22083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$B4EEAA1C-CE3D-49CF-96CF-73851DE9822E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$7E8B36D6-0ACE-4C76-A593-FDAB5FBC9525","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":"Q4982632$1CD2E99A-FB40-4F8B-8F1E-51EB980484F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c37bc4dea813ef6085cefd2c49ebbcf05fafe11c","datavalue":{"value":"W2058475217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982632$A90D9E05-2291-456C-9323-434FB0412B50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a412739af99225a1d3c6ac281a152477de701dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4447246,"id":"Q4447246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$65857F60-1EF2-47D2-A45E-D379F46BD212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$72AA7794-F197-4E62-86CB-A85E94EF1214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e113c611b02519817e62b446cccab827e73f9e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3527280,"id":"Q3527280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$62D9FBAC-0233-40C5-A4AA-07916FB378AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$EBB9F2A6-4A3F-40E7-9AD8-0FA99A0E251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87d791b3bef9ce142540481bca9b113bf919089","datavalue":{"value":{"entity-type":"item","numeric-id":751830,"id":"Q751830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$40B0AB1B-8C1B-4715-AC8F-934C83CDA37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$2735DE61-59FE-4B64-83D4-07538FCF2228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$549EC8C5-2DC3-4FBD-9A91-329DB4DA8ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$7B397730-DE20-4BF1-824D-B0EC96E92711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d65ac77a8a30bcd5de43ba1a0927b49fd2ae01","datavalue":{"value":{"entity-type":"item","numeric-id":3527299,"id":"Q3527299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$A97ADC03-A47E-4C99-A663-79E4CF4A24E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625263c650f6e2d7fda4d12a5569489fe270f62","datavalue":{"value":{"entity-type":"item","numeric-id":3608786,"id":"Q3608786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$51BB638C-FAE2-4AEA-B74C-240FDBAF94A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0a6aa4f6ccda433cc6a678366748f1fc7a1e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3613418,"id":"Q3613418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$75CCA777-52B0-4D07-B153-CD8AEFEBF798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509562d7fc2763f459538f26ff91c9605252e482","datavalue":{"value":{"entity-type":"item","numeric-id":1401932,"id":"Q1401932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$961B1301-B525-4330-AF94-C04B19128016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4d7d45c88c8b36cde17d197d321328deeea4fe","datavalue":{"value":{"entity-type":"item","numeric-id":3591088,"id":"Q3591088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$04F19E6F-10F8-41A5-8193-59222D982833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85800f31341ad0d63eb104b11d9777ea3fc2e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":5432353,"id":"Q5432353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$2B190CD2-DE2D-4F31-A00B-39AA2FE112D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$CDCCEA14-E3FA-4265-8B46-844C4955239E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982632$620914ED-C61A-4E71-AD76-C7FE88A9647C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"345a48448760933e8c5ccd44cd656222e821e69b","datavalue":{"value":"10.1016/J.ENTCS.2009.07.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982632$A8A9B604-877C-49D5-967C-61B3CB4CE867","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62a517dc646a6a12654993a5c7535c9e5b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":2392415,"id":"Q2392415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a42a9d54284823e4322822b21635880a53e86cc","datavalue":{"value":{"amount":"+0.7665690183639526","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":"Q4982632$7888C1D2-BBD8-4F17-9A36-F9A7E021CEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c005c5218e35cb2d19c8691191599d58b66b80","datavalue":{"value":{"entity-type":"item","numeric-id":5387882,"id":"Q5387882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359cf0172b23b947f5e91a4f75a809020da11739","datavalue":{"value":{"amount":"+0.7521329522132874","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":"Q4982632$733BB99D-3C8D-40EC-B07F-F7EA34AC59DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130322684904427026a4c621fd13d0da2f697971","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e065dc9616c855c733c97afc0f5ece1c7af89d","datavalue":{"value":{"amount":"+0.7507232427597046","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":"Q4982632$29AC2024-6CC1-4EC7-ADEA-92016C1FDB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad5ec5c98775653bc18dff51fcba06acfae076a","datavalue":{"value":{"entity-type":"item","numeric-id":5491893,"id":"Q5491893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94add0f38aa1ffb17b892165ff22f806d3f65313","datavalue":{"value":{"amount":"+0.7432980537414551","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":"Q4982632$9E111017-4006-48E1-91E1-AEFCA50F3AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fb9353ebde6b94a8df99237fed92a72f2004b1","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cf9849f6ce1deb128b020cbd55b851464d7b35","datavalue":{"value":{"amount":"+0.7345981597900391","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":"Q4982632$22CDD2A4-86A0-451C-9732-1EC3BE33CA13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982632"}}}}}