{"entities":{"Q4304492":{"pageid":6334093,"ns":120,"title":"Item:Q4304492","lastrevid":46287309,"modified":"2025-12-24T11:58:20Z","type":"item","id":"Q4304492","labels":{"en":{"language":"en","value":"Rewrite-based Equational Theorem Proving with Selection and Simplification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 637441"}},"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":"Q4304492$A650BBF1-021B-4399-BBCE-4B8B336BF1F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80f7bf69d19d364ba0d9be79bf81d197248dc62c","datavalue":{"value":{"text":"Rewrite-based Equational Theorem Proving with Selection and Simplification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304492$1ADC1E74-F63D-47AF-8762-9F5F6B2C90DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fc7c42966f9e403be8ff97f817083d27ffdd4f9","datavalue":{"value":"0814.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304492$BE95629C-EB0C-4DDF-B847-B4DC9D8174A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304492$A3D22319-E2A9-41B2-8859-E511912A6310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304492$0A9006EE-1D46-484B-8E9F-8FAEB1D8B08C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31f2772fa237f6dd3b5bd8c2796119b27fdca3dc","datavalue":{"value":{"time":"+1994-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304492$3B180119-DA6E-4CB5-9F71-F8706F75E22D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b62ecdc64e19290fbe2b82347cc981a4fcc5b85d","datavalue":{"value":"https://semanticscholar.org/paper/b5a9fe263990670dd0feef306c16001d4993fb92","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304492$AA80AF19-ADA7-41F8-AD5C-932CED685F64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304492$7504F8EC-5348-41D0-BB8F-55B8A8AE4058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304492$8CC8C62E-2EDB-4AD5-89E3-99EFAE4BC6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304492$37A1F3D8-8969-42A1-AE74-622112A040BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304492$F1C34835-D319-44D2-B264-776522D19A9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebc566b97a952d0e5569e1ae74ba311994941351","datavalue":{"value":"637441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304492$E7B42F9E-41A8-4BAC-A63F-470570F3B8F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935250e4e60897f7fdffe660d9ac37d224e316","datavalue":{"value":"redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304492$1AD10D2D-8009-4B83-AB67-3C74E7F35992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e77e9ddc2b6b581a15d6d0b0a315349c6992385","datavalue":{"value":"refutational completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304492$6796F7E0-8ED6-4E47-B0F9-4E78230A42E4","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":"Q4304492$F27E6BAD-5287-4ED0-A485-40B668868BAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cb0ab22b79818d9f09d3c046cc5d7eb1673ca23","datavalue":{"value":"W2037085273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304492$4952CA27-7452-448C-9260-0BA275B1B528","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8289b94a4f58a570bae43e124b660a9bacef88aa","datavalue":{"value":"10.1093/LOGCOM/4.3.217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304492$03D9F90B-7532-4ED6-86C2-9785C342CC0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304492$332AC1BE-5343-4BFC-A80A-F192E0E2F994","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126f7aadcf86a4abb574c1835ceb3af729a14aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4255513,"id":"Q4255513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a926ba49127271bed899149818249345e75a3ed","datavalue":{"value":{"amount":"+0.8040962219238281","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":"Q4304492$BB9F321C-0442-4ED8-956D-3AEC9BD0FC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8eec3b2eb2f14a810b8765fecb18b385855f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4916077,"id":"Q4916077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9828ee6cffe2966baaeb372c28616fa3eb09296c","datavalue":{"value":{"amount":"+0.8020713925361633","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":"Q4304492$A1BB36A2-71A8-47BF-8BF5-EC2FF712AD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4564dcbe209d24a2f509e63518773f769d6b6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7e0b6844ecf7d3a0cee11801bd62ea91b63548","datavalue":{"value":{"amount":"+0.7987006306648254","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":"Q4304492$CCDF41C9-A897-41F1-8F25-98A094FA2F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ecbedcfe3626185d0bb331b094353198a89395","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a088e9ee8a02ab505036a058cf473b489b6daa5c","datavalue":{"value":{"amount":"+0.7965607643127441","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":"Q4304492$E2175722-2E36-49B9-8EE5-0D9CC0421A31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304492","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304492"}}}}}