{"entities":{"Q2864358":{"pageid":2875078,"ns":120,"title":"Item:Q2864358","lastrevid":51886562,"modified":"2026-01-20T11:42:33Z","type":"item","id":"Q2864358","labels":{"en":{"language":"en","value":"Rewrite-based decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236371"}},"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":"Q2864358$A59B2A63-037D-440D-87B9-B1ACAC59AB08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f574779af20d966d87bfcd8e2162a74fd2285184","datavalue":{"value":"1277.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864358$451F616A-AFF7-414D-8F0F-564D91F87D77","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":"Q2864358$7836C8D9-9AE9-4381-B966-01044E0F3280","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":"Q2864358$9CFF4C87-AB7E-452B-A684-07B4B2518D19","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":"Q2864358$09F77B25-52B2-4A67-9C19-FC4B9275D9B5","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":"Q2864358$B28C57DF-245C-4306-95B1-055EA2E7446B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864358$D741A60A-B9DE-44D0-AC77-514394039150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864358$186A4785-CBFA-4F0B-AB97-C64DAA5C4BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864358$A09AC626-6E32-46FB-A880-8C8D1058AD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864358$4EAD18F1-CFAA-4805-A9EF-33E8AB066B5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1577ee5bacc120471fc18578323d78702b02e3f","datavalue":{"value":"6236371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864358$E27831BC-8A72-4014-B64B-52C60C2EB1A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95778f04e6ecd568f564b2c93feb7e93b6ae81be","datavalue":{"value":"rewrite-based inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864358$B73F51B3-6EFB-433F-8DCE-7A5DF0929461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c75910e081e1d31a34f497c5488f63f2e458d94","datavalue":{"value":"\\(T\\)-decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864358$A5EDF65E-6DD6-4058-8670-C0EC8C3573D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$A9A94F27-F3E0-46E6-A91A-179867047380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$0CFA14EB-E9BC-448B-A6AF-C40FF50AD3B5","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":"Q2864358$09B31FE0-1BC1-4AFD-B45F-6BE2950D40FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d717e1a967946af49a958c68c23efb826368a55b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.042","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864358$C4841DF2-E9DA-486A-B10D-5922F69DD36D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09dcf49062e9cfcafb0fbec600ad5ef087afeb84","datavalue":{"value":"W2023447392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864358$CBFC4A8E-0973-46AD-B3F5-2A1AEC5776F5","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":"Q2864358$F694ADB7-4C9C-42A0-9557-A91A2FB3A26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a976a6d6a088dd093dbfbb375175fbac38994986","datavalue":{"value":{"entity-type":"item","numeric-id":5714755,"id":"Q5714755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$1B3D6420-26CD-4F96-A8D5-92BDA807FCC8","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":"Q2864358$EE8CE3AA-E6D1-4CD4-A173-97859F01209F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$EFD2BE72-CAA6-4993-9346-367B6770EFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ffd063b19f75595f78df5a07ec83544c6e288d","datavalue":{"value":{"entity-type":"item","numeric-id":862395,"id":"Q862395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$356809DB-045A-4339-B9DD-FBE4C6346A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e347a7f8f7830a25fe8f8ace7fc0bfb9946a2ac7","datavalue":{"value":{"entity-type":"item","numeric-id":2723410,"id":"Q2723410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$9C86CFC1-6BFA-4D60-A3F6-4E33FCFA576D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$61AB1395-CDC3-40C8-B6AB-B6CAA553FC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe638b8906f8f43ecb88c7284ff6ff2706007295","datavalue":{"value":{"entity-type":"item","numeric-id":2864524,"id":"Q2864524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$06910908-CC5B-4C0A-B819-E70E9BD425DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da6ded218db8e1aba2fc38982f0c41333c8292d","datavalue":{"value":{"entity-type":"item","numeric-id":4809077,"id":"Q4809077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$B6A2E45C-1247-4086-8E45-497F37B1AE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$87EDC848-71DB-447C-BD3E-B49B34CDCF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$DD724554-FB9D-4182-8CD0-757FF90392E3","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":"Q2864358$6126B301-2AD2-448D-BEFF-E781612C6AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfd62865a78026bb5cdd8ce719227f1e763aff7","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864358$CFD3F789-7142-4B50-AB10-D706A204FF23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8078e85f8fc7bd00a6b9e87308e0b32c8643e8d3","datavalue":{"value":"10.1016/J.ENTCS.2006.11.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864358$5AB7AF47-2F70-4022-9DB0-C6A554EAE94A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22fad04e74265c7c8a37b0308e9b7e7acea66605","datavalue":{"value":{"text":"Rewrite-based decision procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864358$CA873A11-9D69-440E-8FEA-B57469211875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c58ba094084c62addce8231789deff838749d2","datavalue":{"value":{"entity-type":"item","numeric-id":2864524,"id":"Q2864524"},"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":"Q2864358$EC20BF06-0C98-4DFF-A6A1-47B4E925A046","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":"d077f8f0adac26b871e0ae422a16dc314037cc13","datavalue":{"value":{"amount":"+0.8652247786521912","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":"Q2864358$059B899D-DD78-458B-9B89-D55439C524EE","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":"fc80ab91d7173a9401a50a9481efa43934e3e554","datavalue":{"value":{"amount":"+0.8569648265838623","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":"Q2864358$8CF1E8B0-95F1-43C7-A9AA-800F1D6A310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c08bb19429ca1f2e03a3dec58bd7828cb204e4","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf5b631dac90c23aa48a80307cc9c10d7195677","datavalue":{"value":{"amount":"+0.8471031188964844","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":"Q2864358$3724479C-805B-443E-8EB2-1DAC27D1A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cf9c69cc11af0284731f4902072a9447a636b9","datavalue":{"value":{"entity-type":"item","numeric-id":4737127,"id":"Q4737127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1aed3c4baf9cb4eb7853a674e678ebfcb89c5ed","datavalue":{"value":{"amount":"+0.8438972234725952","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":"Q2864358$07835778-3E6F-4343-8E4D-82CEC6778C6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864358"}}}}}