{"entities":{"Q2864524":{"pageid":2875244,"ns":120,"title":"Item:Q2864524","lastrevid":51886391,"modified":"2026-01-20T11:42:29Z","type":"item","id":"Q2864524","labels":{"en":{"language":"en","value":"Rewrite-based satisfiability procedures for recursive data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236521"}},"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":"Q2864524$875EE6C2-B3D8-44A4-B1D4-3E89A7C02679","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"852d663c600f1e5efba97bbfdc1b47074e09d6fd","datavalue":{"value":"1277.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864524$A342E7CE-B3F4-4A40-835C-6A2AD6976DE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$8F4FE189-A878-4286-A4DC-113EAF9C5BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$C4005DC0-6DB9-4B75-8CFF-4FB7E7379A16","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":"Q2864524$FE84B45F-F05E-4CFE-A80E-55D9907E2776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-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":"Q2864524$C618DAA1-64C1-4EAC-B089-72C61C9A90AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864524$9C4AA192-0E36-4D64-ADDD-2BE256DCBBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864524$15426BFE-1894-4670-A935-7FEF1C7DD907","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64ba4b46119d11f9b97493bd41db4cfe53262aef","datavalue":{"value":"6236521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864524$AC516297-591C-4EF6-A3A6-1CA12C10CDE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95778f04e6ecd568f564b2c93feb7e93b6ae81be","datavalue":{"value":"rewrite-based inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864524$CF4056CB-2D21-4914-B0A5-ADBF22199CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5bd39e53908737551e2035be4577b1f3c430a8a","datavalue":{"value":"recursive data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864524$00A1BBF6-4363-4799-A4F9-6438BD329A74","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":"Q2864524$56BB60A4-B539-4EDD-BF3C-16ADECFC4517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b009d210cb6486563134f290a9e2b651869226c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864524$2AE6C656-3E16-4314-9BE7-A94CBDDF3D0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b6c485a6a913e84de17bba1cfb3e0549194595c","datavalue":{"value":"W2027211529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864524$B0EEAC45-CF78-4717-8211-B9703F462C03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4741e9d217eddd81c00e6430470e876cba6d8519","datavalue":{"value":{"entity-type":"item","numeric-id":5491893,"id":"Q5491893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$026D4545-4AC8-4CC8-93FD-D4ACE207E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103360585a9bffb1c1cc70bf60b5d74438ed3255","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$63731167-F69B-42EA-B856-7BE2F069781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$328C43E6-AD7D-4D16-9E27-157EDC4B87BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$1842DDB2-1BA6-4F3F-B474-6A1A10576FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed02573663da68744c881b10967b1f1f843cd08","datavalue":{"value":{"entity-type":"item","numeric-id":2864522,"id":"Q2864522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$8FFFA809-EFAF-423D-A8E5-8EF484D9C02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88b9579e3dd7e64581dac4678367ab8dcc04183","datavalue":{"value":{"entity-type":"item","numeric-id":3408132,"id":"Q3408132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$750E19BF-218C-489E-8986-E7E7BED71FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$08C40C5E-C86A-491F-8707-5A61208B13D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$C8BE7F33-5ED2-430F-9573-CE5EA8E1B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9449c19c7b5c1f51949e3ece7e9c1d43e3d4ef1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307055,"id":"Q5307055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864524$C1DA75A5-A4A1-4210-8656-DC84B68745BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d67ebe59fa3aa3bc7bcff5f4f82049328df769","datavalue":{"value":"10.1016/J.ENTCS.2006.11.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864524$52882A0A-FAD7-4006-9981-9346173A0196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8369872a0ecc61dd42d6291fca442a0a66c0ec9","datavalue":{"value":{"text":"Rewrite-based satisfiability procedures for recursive data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864524$36397091-29E5-47E3-A33F-190BC6500CE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a27f65171a16ec1255d72e9a05aaa54b77fc0c6","datavalue":{"value":{"entity-type":"item","numeric-id":2864358,"id":"Q2864358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989e084d05bbd6dbd44053154130f84eedd2e4ef","datavalue":{"value":{"amount":"+0.867399275302887","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":"Q2864524$5D658E95-4A96-43DB-A564-C039E9F2B4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8622c562c05b951ae17878a9cdb0da17672413","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94928bb92e3c1d32cbc2c88f802503f432bc5619","datavalue":{"value":{"amount":"+0.8667904734611511","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":"Q2864524$02B2264A-9F33-4F79-B064-4AB6BDBE7981","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":"d6025dcb628695f54e6501bd10fde3eb26920e23","datavalue":{"value":{"amount":"+0.8259948492050171","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":"Q2864524$EE97D854-E72E-4DBC-BB8F-86C81D7E1926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da7ab68d40b0021aff99a5d8e758a7d99a62e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40413ee6f4b44bc38f039400c21f13cc62ec8a5a","datavalue":{"value":{"amount":"+0.8046732544898987","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":"Q2864524$0C13BCE7-1648-43C9-B15E-BC8CBF3BF178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c28a0d367ef5e7822d93fac243fd0945c712f5","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d961a2c973d3e871f61f1f26ba7f349e521081e","datavalue":{"value":{"amount":"+0.7986754775047302","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":"Q2864524$250CADF9-BBDD-4EC1-966F-657B57D29AA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864524"}}}}}