{"entities":{"Q3623219":{"pageid":5653125,"ns":120,"title":"Item:Q3623219","lastrevid":50634014,"modified":"2026-01-14T15:30:02Z","type":"item","id":"Q3623219","labels":{"en":{"language":"en","value":"Paramodulation with Well-founded Orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5544424"}},"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":"Q3623219$613F240E-C5F0-4255-85B1-796A4B5A0646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be36c219a9b14f13f62b5c14c8f03c0f32159223","datavalue":{"value":{"text":"Paramodulation with Well-founded Orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623219$0C66DAD0-4FA9-419A-A521-7C01A95665FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3656a73fbb6c444d1c31907822dcdc88c546626","datavalue":{"value":"1161.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623219$092CD6EC-B42E-4C76-B24F-F64FF3687D77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce8850632b90b69a6c289735cc288ece6fb9e1a","datavalue":{"value":{"entity-type":"item","numeric-id":352975,"id":"Q352975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623219$B4013B9B-D13D-470A-B1EB-FD2387089903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623219$FE204F90-6138-4750-B41F-90B40154398E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f73738825ede14eb63692fa539d93eae768744cb","datavalue":{"value":{"time":"+2009-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623219$8B95EECD-AA34-4B5A-9830-C553D8C21B00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623219$F985D051-B31C-48B0-AE4F-1A39DF849DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623219$8493AC3E-899F-45F8-BBA2-BBF3F8A07557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623219$A496C8EA-A04A-405F-938C-833237951A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b883a34d6588d31177e43861a3b3987d85921b1","datavalue":{"value":"5544424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623219$CCC6DC11-245D-4FBB-B9D1-5C1E44D395EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623219$675F8FEA-0CE2-44DE-A556-686E5FC7B736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623219$D7D4F574-B843-4749-8B02-C037B37DA999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623219$CC1DA22E-C740-498A-B826-9AF9B8E79618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623219$0EA2E61D-F221-4154-9E63-38F76F676A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623219$3FEDB3F8-6589-4925-B769-9569090BFFBA","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":"Q3623219$14729FCC-249E-46E2-B4B2-A71EBFD640F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2474d73494f067bc3e3d464377265c8ea2d08c56","datavalue":{"value":"https://doi.org/10.1093/logcom/exn073","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623219$8229214C-6027-4389-BE7D-4B3C40963902","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40ca2b55405bfce7595ff7065e66913a0c49196c","datavalue":{"value":"W2070062113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623219$BDFD5ABA-E784-441E-9652-C01281D14DCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4405af934910a5bcd58e3bb29aa88c232a38356a","datavalue":{"value":"10.1093/LOGCOM/EXN073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623219$A200F878-4D47-4C77-9ED5-0CC190BF1066","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":"Q3623219$9CA3A4F7-3E93-46EC-A000-A0612437DBB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a037ff3d4391df5580b01d235d54357a69d983","datavalue":{"value":{"entity-type":"item","numeric-id":4809078,"id":"Q4809078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d181f136ebc7e8f3c99a819b97f0100161738481","datavalue":{"value":{"amount":"+0.9750428199768066","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":"Q3623219$68F387CA-D747-4567-98FC-F8E9D1E440FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88a4c8426548476533bf257c9703ab16bb53b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1810859,"id":"Q1810859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a80f8d60dbdd0708a43c1bc2981470bd5e5070","datavalue":{"value":{"amount":"+0.9086452722549438","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":"Q3623219$2EB48987-6DA7-4105-8BA1-7C25AF988E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad166b1150769fb8c7cd2ab4676c01260183fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4535075,"id":"Q4535075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a80f8d60dbdd0708a43c1bc2981470bd5e5070","datavalue":{"value":{"amount":"+0.9086452722549438","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":"Q3623219$1B5ED818-7B5E-4482-A958-3270D6ADBB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120ded7ca9b5be707cf214aebb611fbbcf30f99b","datavalue":{"value":{"entity-type":"item","numeric-id":352977,"id":"Q352977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735060784208660b2aed8a79138cf564d3870679","datavalue":{"value":{"amount":"+0.8353522419929504","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":"Q3623219$CFF4ED60-1E7A-4968-AC0C-86FC467D3095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094f9b8a164df1e06a79f7a223e65f4a0e1c7749","datavalue":{"value":{"entity-type":"item","numeric-id":5307052,"id":"Q5307052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae66aae4e07c11fb844dcb60499e237e38f6dcf","datavalue":{"value":{"amount":"+0.8287930488586426","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":"Q3623219$4666C8A8-AEDE-4F3E-B4B8-0594FAB18606","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623219"}}}}}