{"entities":{"Q2864357":{"pageid":2875077,"ns":120,"title":"Item:Q2864357","lastrevid":79490087,"modified":"2026-05-06T14:01:52Z","type":"item","id":"Q2864357","labels":{"en":{"language":"en","value":"Deduction, strategies, and rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236370"}},"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":"Q2864357$4A01B18D-1941-49D4-B137-6E35AE366BDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"020e1431344409132a90e0911b44e292fb79d648","datavalue":{"value":"1277.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864357$EDF3A95E-3F05-427B-9F29-CDC26CC4CC9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9e5df512942e7d0bfb634d7aa7c26774b48385","datavalue":{"value":{"entity-type":"item","numeric-id":997832,"id":"Q997832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$9DB4E69D-E815-425A-B334-2F38428374E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$5DAD444C-28E8-4864-A404-12624BCDB650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$0B3BE960-F1B1-48D9-868E-5C7DCF167652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d22396de3566f8539794488d7dec5aa12d5cd7","datavalue":{"value":{"entity-type":"item","numeric-id":816214,"id":"Q816214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$0E2E812F-808A-4018-9293-9B6A9969EFC3","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":"Q2864357$BE6F4872-5C2B-4DA9-9D2D-F2B747CCE138","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":"Q2864357$5AD3324B-7D0C-4273-928A-78A8FA406129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864357$E96993DA-4B9F-4170-8981-15F070CF1B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864357$EC8CB44A-B168-475E-8FF1-E69DC2D8B762","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e1530babcf2304d4cee363f5d958c75fdf5aad","datavalue":{"value":"6236370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864357$7F889F17-F22D-46F0-8E31-C372CCA782DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864357$54FE32F4-59E0-4F88-90AE-54C763DCC541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864357$BE04D478-3052-4F1E-A6AE-DA8AB569D324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"325eaad6cbc47673962dcfbf621b54ff12f34b73","datavalue":{"value":"rewriting strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864357$401B36BA-2407-4B1A-899C-F3591CE8951C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864357$447A2DFA-B715-4098-A918-839515BC344F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$6F9AE5C7-8740-4A84-95D9-ED0C05674AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$FF8597C9-948F-468B-A3FC-B2ECE15EF0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$481BE21C-60BA-4144-9749-B763823824F8","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":"Q2864357$445E613D-D3B0-45B2-8912-36BD7C00A7DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"805d8c9541a0fcebf17e12d802d72232f1544ca0","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.03.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864357$DA889E5F-A9F0-4436-A8B9-A13622A09D43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3edcf3ea737a2a91cd045466042acc69f2ed724","datavalue":{"value":"W2045721873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864357$485B4257-6BB1-4880-8CDF-C6748F2D0FA0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"22a239465ca94db866a65e4fa61fb553ddc4534c","datavalue":{"value":"Q123905880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864357$E8BDFCD7-2E6D-4D4C-995F-6F69A5510948","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$852DAD15-7848-4B0C-9876-B53A507E29AF","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":"Q2864357$1064071A-74E2-4040-A68C-2DC5EA26D24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f677a0a05c4143a04355b57e0f82ee90f1dc0a73","datavalue":{"value":{"entity-type":"item","numeric-id":5277707,"id":"Q5277707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$15C1CF87-55B4-4176-8319-297938F95D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2c44f08199b42078c51b02785ca86117ddb602","datavalue":{"value":{"entity-type":"item","numeric-id":5249248,"id":"Q5249248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$6A46861F-2BCF-42F3-A168-31069C187674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e72e86189ac2504861784ad173ee9db28a12b4","datavalue":{"value":{"entity-type":"item","numeric-id":2734833,"id":"Q2734833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$E19CB117-C6DF-48DE-A7C8-DE5F7E5B8E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$E0AB47CD-7403-4912-9F37-F4A3BD041ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a63be2c40434c2537dfdafff346ed2717f4dcb","datavalue":{"value":{"entity-type":"item","numeric-id":1608918,"id":"Q1608918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$9BCF030C-51D2-4C23-A726-4686C2D2C025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873c37885da5e032ee4622e4ded8eb0b10c52a1f","datavalue":{"value":{"entity-type":"item","numeric-id":4417954,"id":"Q4417954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$2B044D6B-4CB1-4E7C-BE8F-F37AD95CBBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$6D594A0E-C0E7-405F-89E5-48E7DF90D9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9a5cfd4fd34bdc9836c24f0ba27538d35168bd","datavalue":{"value":{"entity-type":"item","numeric-id":2866804,"id":"Q2866804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$64A1112A-9096-4E41-BF66-B77269F4A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$403FA28D-882E-42B1-A88C-3C9CD5838714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$959A9CEA-C1E7-4F87-AD1F-D7BFE8D4F7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$33FB5CDF-4E7C-42DC-B7E5-50DA171780C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103d28c1dbdf16ee025b2b302833c03273293813","datavalue":{"value":{"entity-type":"item","numeric-id":5705940,"id":"Q5705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$B0C7DAEC-00C5-4350-98AA-C3C3D24A9FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4446c1984946834f0f409db34ae5e3406f01a37","datavalue":{"value":{"entity-type":"item","numeric-id":2863877,"id":"Q2863877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$5A899D5B-B4B5-4BAF-B66F-9E7B1FEDF1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864357$2EAF0793-1603-472B-8CBB-82AF935FB73A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55b64c760161841f90eed1e911c9841a10616a90","datavalue":{"value":"10.1016/J.ENTCS.2006.03.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864357$18522649-1452-424E-8196-8E3131BCA9EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"899bbf391736a502e638456f6ad7c9b126087657","datavalue":{"value":{"text":"Deduction, strategies, and rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864357$65F033C3-45E2-443D-8D7C-0511CB3B273C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee04535054cbfd103bbccadd41b130b8953c7b71","datavalue":{"value":{"entity-type":"item","numeric-id":3086785,"id":"Q3086785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e884128391d679bb54f8eeb4368d317af57cadc7","datavalue":{"value":{"amount":"+0.7684062719345093","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":"Q2864357$75FEED47-74E9-48FF-B3F7-3CC2061BB282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8bc2a28c912e284a31af6cbfbd06de6fec5a92","datavalue":{"value":{"entity-type":"item","numeric-id":2844063,"id":"Q2844063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebf5564c6d9d02d6b159ab4d066542709a7bbb5","datavalue":{"value":{"amount":"+0.7608442306518555","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":"Q2864357$1D1D8C65-284F-4725-B697-F75AAAD3EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e995298ffe3a7f5c2bbf62514844ca9135cc34","datavalue":{"value":{"entity-type":"item","numeric-id":5415654,"id":"Q5415654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306c95893a900bd5da91263100d5935b1e37002a","datavalue":{"value":{"amount":"+0.7463858723640442","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":"Q2864357$84C04495-3DB3-446A-8CED-4C8D48B85550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc7dc28eeb5ffa97b2e6d2223d6364edd6e4d18","datavalue":{"value":{"entity-type":"item","numeric-id":5179141,"id":"Q5179141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d1f0c084a278aba95caa7a88243310170ed03c","datavalue":{"value":{"amount":"+0.7432524561882019","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":"Q2864357$EF3FA4D2-1E02-4425-BE23-BCB2363E82A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129a43401201cfaf319ef5153f9f5fa883b748a6","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce1e01375e96a63943a4a7d1aa6660939d95fd3","datavalue":{"value":{"amount":"+0.7403587698936462","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":"Q2864357$BC564EDB-5818-4F40-A7B8-86B84621231E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction, strategies, and rewriting","badges":[]}}}}}