{"entities":{"Q1065783":{"pageid":1076535,"ns":120,"title":"Item:Q1065783","lastrevid":69551034,"modified":"2026-04-13T07:46:48Z","type":"item","id":"Q1065783","labels":{"en":{"language":"en","value":"Equational methods in first order predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922617"}},"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":"Q1065783$6D62CE2A-5B45-497B-A4EE-D3193C1D0490","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"188cdbb7973fc3ff22ed0a583c00c7fb5cfa7f6c","datavalue":{"value":{"text":"Equational methods in first order predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065783$7B462622-ACD9-443C-B5D3-80F4A84EF2D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a4bfa7b4ab8eef5ac8fe8810e4f1da9e291e50","datavalue":{"value":"0577.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065783$0FF16F81-955F-4A18-A072-14AF70A7BB7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd830c50a247e88a8e3b422423b31f4935a1712c","datavalue":{"value":"10.1016/S0747-7171(85)80026-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065783$A5FB0C67-DBA1-409A-8F7D-F447EEC2B25C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d5825bafb7d3ab4db0e6e8d193db91e4407a288","datavalue":{"value":{"entity-type":"item","numeric-id":1065782,"id":"Q1065782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$E80D20F8-159C-4574-81B5-5DB5DCEC0DB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$BC323178-FE30-413D-80AE-DCE62863E51B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1065783$662EDD35-2649-473B-B9F0-6EE6CEFA51D2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"349909b9dfed9e655b4a4ed73db56bc533608f24","datavalue":{"value":"The author translates proof procedures (e.g. resolution and narrowing) in quantifier free first order logic (and not in full first order logic as announced in the title) into equational rewriting systems and investigates (partial) confluence and the appropriate modification of the Knuth-Bendix completion algorithm in this context.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065783$3FA11C3F-A996-4333-88C2-4AD7D6BEBA46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065783$693A93DC-58DB-436B-9D46-C0F89613E842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065783$320602C1-1512-4F3F-B96D-0E509B965A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065783$57566DFC-FB50-4ECC-ABED-D9A3A7CC962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065783$8EE36E6F-3F34-498E-A373-49B292858803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76698930f532daefbeb0320cbd580f1ae705c648","datavalue":{"value":"3922617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065783$EFB68EB0-E672-4157-AE34-8CF905129A7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcec466f29bac86724a6f68cbda2b87ff1504089","datavalue":{"value":"proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065783$20F265E0-7C95-4EA8-AFF9-AF396EA1D0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065783$C0816717-5ED9-4E7A-8091-6DBABDA566C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065783$3FE1E1C7-08D6-4B7A-ABBF-B369F412C04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd373c38abbf1daf8bdb3020fb5dfeb5940b3ff6","datavalue":{"value":"quantifier free first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065783$F5A26077-AAFA-4489-9471-FD30C270F216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0234e13b58531338a3cbb3b4ec6199747a90a28","datavalue":{"value":"equational rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065783$0561A2F6-D0B1-40B1-A754-022CCA5E8077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065783$797FEB9A-CCB1-45C0-A478-FA047B3681DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f2224f9dba322db2b435098d36783c14fddf45","datavalue":{"value":"Knuth-Bendix completion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065783$D9FB0A1A-E2C0-43D8-BA2E-AF94D0BAED93","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":"Q1065783$7837FBA4-777A-4DCE-B56A-6B7CAF1B8986","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$AB305FF1-439E-4D44-8EFB-E1693FE7354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$643F1BA8-6237-4B0D-BB83-2B5D796E7A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4e03f3dd8f7362d729507ad34add946ab883b","datavalue":{"value":{"entity-type":"item","numeric-id":3674088,"id":"Q3674088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$DB8C26BC-8D9D-4373-9896-FFF15E025073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$19AAEAF1-476E-4723-9CF0-E238B4892BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$2B223EC3-00C0-4A07-8609-B26C51375183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$0A1C8880-5601-4D68-A7B3-9BE9929B1689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5fd915bbf4da0911503e75e957b53a75a17cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$CDB9A306-6218-4AD9-83FD-AAA467D79B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$192FF46C-9534-48E0-BBB7-6B1847DCD08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$DF62DACC-44A5-478F-B69A-9360594D3BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$5B14A8AF-369E-4BD4-A004-9416A7882979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$D87243B3-DE7D-4D78-8C82-88A3A82519F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62ac8d8976c4aaaa0e70e0187204f603c660604","datavalue":{"value":{"entity-type":"item","numeric-id":2652483,"id":"Q2652483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065783$F9429E24-3F58-4C4F-8AEC-8C39F1ECFC3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0490f062a5088d41f2f522347c11055c8fe872","datavalue":{"value":{"entity-type":"item","numeric-id":1344840,"id":"Q1344840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c2c51b0e27cf39356b95377dd1246918b1f165","datavalue":{"value":{"amount":"+0.9361286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$FC8DB31C-E8C6-49DE-AA43-1F5D93DD5B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b0c3c19dcc1be91246b838184f4f87fba5f1fd","datavalue":{"value":{"entity-type":"item","numeric-id":3320371,"id":"Q3320371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5714a0bd91aa9d5ecdfec9d454f64a1be0304d73","datavalue":{"value":{"amount":"+0.91908705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$0DF2D553-3FC3-4B78-AE89-F8D2B336F6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d54a5d1a9a7ef9b26d383b30eb9c9855f9524a4","datavalue":{"value":{"entity-type":"item","numeric-id":1075318,"id":"Q1075318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0349f8e5aee06a89cf3645fa776cfd75aab8c552","datavalue":{"value":{"amount":"+0.89340556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$C38F7444-C658-4A1A-A21F-A2390C4201A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b556429d4afe57abf1042c709fd1ef7d1173ed","datavalue":{"value":{"entity-type":"item","numeric-id":5096377,"id":"Q5096377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5276d91166f84e48a2969bd7906ce90781b7aa0d","datavalue":{"value":{"amount":"+0.8904147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$60C9BFDD-9DB9-4D2F-88B3-FA3FF273DB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d32fb81c482a8bc254c59cd12b40b803413b4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4702593,"id":"Q4702593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e870e8377759252e3a499f36b879fac5114ccdeb","datavalue":{"value":{"amount":"+0.8886211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$83E24207-0498-4A34-BC43-FE59FD86A8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ab3de1e2f31deaa6c35b6e7aae26e544d9ca83","datavalue":{"value":{"entity-type":"item","numeric-id":3784072,"id":"Q3784072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29dfd66e1e85d43a77b1b15043b2acebb406d2d","datavalue":{"value":{"amount":"+0.88714623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$5B9C8006-713F-4E1D-9096-D4AEC57567AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3440cd2d08643694d8fd5247eafa23afe82017c","datavalue":{"value":{"entity-type":"item","numeric-id":4236057,"id":"Q4236057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecd663170dca7ba1143cb69ab6531847846a5bb","datavalue":{"value":{"amount":"+0.8858531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$C1471812-2373-4223-8E03-011FC520B9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7731c4e5b1739669acd5248e62edc63aa9fcd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4345010,"id":"Q4345010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ecd663170dca7ba1143cb69ab6531847846a5bb","datavalue":{"value":{"amount":"+0.8858531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$E5DDDC5F-1757-4DE3-8FEE-AFAEBC504935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3f82df12b0d518b03d54ec2b03e9ec5b8b222a","datavalue":{"value":{"entity-type":"item","numeric-id":1825045,"id":"Q1825045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bb7b70659314879a6d7bebb55af147ad6a3172","datavalue":{"value":{"amount":"+0.8831866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$28848674-45AF-4DEF-9573-F0FB5AD4211B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af96d3d7a3babfdc389aaa4eb342be7108f4cdb8","datavalue":{"value":{"amount":"+0.8830969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1065783$2272CD9F-8837-4004-80A0-AC116CFCE915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational methods in first order predicate calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_methods_in_first_order_predicate_calculus"}}}}}