{"entities":{"Q5389153":{"pageid":7418727,"ns":120,"title":"Item:Q5389153","lastrevid":51453767,"modified":"2026-01-18T07:44:52Z","type":"item","id":"Q5389153","labels":{"en":{"language":"en","value":"Certified subterm criterion and certified usable rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027908"}},"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":"Q5389153$89BDA339-1C0B-41A5-AD60-CF745EBA1ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c28ea07e2c882f109f88756523c9cae260a42477","datavalue":{"value":"1236.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389153$2BDF2A61-636D-4D91-8975-E1BD463F4C6E","rank":"normal"}],"P16":[{"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":"Q5389153$105268DF-DA4E-43E0-8B45-04CD21D564F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389153$C462FEF3-4DA7-4B21-A2B8-5BD89663B3DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7127bdd4a8e1ad01c2e7468e6ab34969b5f3188","datavalue":{"value":{"time":"+2012-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389153$A7AD8DE2-23E1-4983-84DA-390B753BA0A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b835e0221248a9f20b886f5a98994d10b16bf47","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_9fe0.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389153$7260E880-50F5-4C94-853B-152F7B68564F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389153$96B3440C-7E8E-4F2F-A397-AF166CC6C413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389153$3BBD4F4C-F685-46E6-AC8B-41A31EDE75DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8c27a3dbe289bf51cee8c9eeeba1410e9319f38","datavalue":{"value":"6027908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389153$1A92DDA8-B1F4-44CA-B03F-3FFF1A6F4C3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389153$B56DC2CA-6A47-4116-A36D-22CFCA802F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389153$6CC6B44D-77A3-4EA0-A706-85DE864E4404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389153$E4273A22-A7BF-4B64-8396-B066101C5D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389153$76A7FE07-30DE-4D2B-9F67-E6DF3AF10867","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"481dffd61eb894e10ccc10733ac19f0d30b8b01f","datavalue":{"value":{"entity-type":"item","numeric-id":33392,"id":"Q33392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389153$68EECB8F-9A86-4C5A-96DB-068B17DAB920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389153$CDAF940B-4605-4E86-8ADD-2D3EAFFB4C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389153$8CF10AEA-DCA2-4840-8BA1-5237568F16AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389153$B172BE53-3EFF-4866-AEDA-E893021C51E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389153$29688907-543B-48EF-9807-E55EDB5456FF","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":"Q5389153$E398ED2F-0FEB-4D8E-A719-DF1F7C62799A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a4f7280bc0e9822d2c1791446c4c58b0dcdcf3e","datavalue":{"value":"W1536682639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389153$69AED861-0D2B-4BF2-8C90-6A9880D60754","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af22518dfc4688a73b6bf07bba2d8ec11c45fa34","datavalue":{"value":{"text":"CERTIFIED SUBTERM CRITERION AND CERTIFIED USABLE RULES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5389153$D8BCC3B6-A2D7-4716-897F-D344228AA297","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12f963d980d2a05cd1211824200bbabdc095172c","datavalue":{"value":"10.4230/LIPICS.RTA.2010.325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389153$57A93067-D734-4278-B34C-1745FE78B3C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7686a1559586f19dc54d1a839b5cd4c8e0eefb47","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca2f5d66ee9df2e4a0c12bbb25d61e0a1f08bed","datavalue":{"value":{"amount":"+0.8674737215042114","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":"Q5389153$8ECF8752-FB8A-4ED2-9DC2-5CFC76AA52A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2193349921f727d97553a84af02c9cea8026d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2914748,"id":"Q2914748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798247fb2c94ecbdd45c7b5cc0b1e6590529d3e8","datavalue":{"value":{"amount":"+0.7797220945358276","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":"Q5389153$6C5C733C-DA1D-4AA1-81BB-7E655E3B907F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284b84c6f454d2b2d85422c53fabc832598358ca","datavalue":{"value":{"entity-type":"item","numeric-id":2405266,"id":"Q2405266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52d1ae00238b2e930feb26797ce86a497130fb1","datavalue":{"value":{"amount":"+0.7793022990226746","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":"Q5389153$900A25EE-569D-475E-B90A-0A258D4E4EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4413ccc9ff1d95352c9a2afe1ef977852e8f6412","datavalue":{"value":{"entity-type":"item","numeric-id":5277869,"id":"Q5277869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f17f3a3137e471a9aea3576f2753ad408a7507","datavalue":{"value":{"amount":"+0.7740656733512878","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":"Q5389153$FCDD995B-B841-4AA5-9F09-26E4A498D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6a8c4e3eb9750e028c99613f2c5588b434fc97","datavalue":{"value":{"entity-type":"item","numeric-id":5277884,"id":"Q5277884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b0c0b0dd6ca31b68c8cd49b38a7ec5b4f2a325","datavalue":{"value":{"amount":"+0.7688496708869934","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":"Q5389153$601872C6-3581-42B8-A524-030A2F742122","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389153"}}}}}