{"entities":{"Q3673152":{"pageid":5703058,"ns":120,"title":"Item:Q3673152","lastrevid":49988251,"modified":"2026-01-12T12:12:35Z","type":"item","id":"Q3673152","labels":{"en":{"language":"en","value":"A Technique for Establishing Completeness Results in Theorem Proving with Equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827247"}},"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":"Q3673152$7332AD9C-A8FC-42FF-A6E2-95FBC8CEB4FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"977bacb460a0126a68c410edd5a2e7419f8aebd4","datavalue":{"value":{"text":"A Technique for Establishing Completeness Results in Theorem Proving with Equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3673152$856D5FE6-E12D-4057-B5FA-BC6206E3112B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8e6ab0c43610492242e3c3b394d1b8d95e368ce","datavalue":{"value":"0522.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673152$25A09FC7-CFF3-47F0-AF40-979F6278D1C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a695fc22562c632514a176e51c957a88c225ebfc","datavalue":{"value":"10.1137/0212006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673152$9FDE3B96-1486-47EB-9986-96FA1B5E1728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"328e72d2c847d33960a5c4c90013eca0c0cd7490","datavalue":{"value":{"entity-type":"item","numeric-id":757092,"id":"Q757092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673152$557F7F22-F472-40EA-84AA-A7E7601FA8EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673152$819408C6-E8D6-48DD-BBC3-367696C49D04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3673152$7EF14864-34C1-4EA2-9915-9AB6CDF92928","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4ae7b778cb0d978e1c0f6f89c8cef126424c877","datavalue":{"value":"https://semanticscholar.org/paper/ba0721cdfb68c57301abcfe9f51ffe841cd3684c","type":"string"},"datatype":"url"},"type":"statement","id":"Q3673152$F6451FB0-7A96-4118-A9F9-6B0E6A793C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673152$36A83112-09A5-4DD4-8692-14822A8EB18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673152$2A041F44-EB1B-4856-B420-E0775BBB0684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673152$4F706422-BF7A-4AC5-8A26-E4E46EA37F1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fa8ae77ed3ac139c63e7ceff93110036e6a97cc","datavalue":{"value":"3827247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673152$36230396-1097-46D4-B2BF-1BDBB7A8407D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673152$1897EEF4-CF43-45BB-8DD1-CE02A21FE3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b5fdb92e3bf177b0c6f84f1027375b7963c100","datavalue":{"value":"semantic tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673152$EE67C11E-57DF-4D65-950B-2650AC22E267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde94ab0ead7c7158cc624a23e8bc3a792dd5926","datavalue":{"value":"simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673152$E103EEE6-A4CB-4252-842F-7C7E14C11E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673152$D3FE515F-3F23-42DE-A182-9120CD61E739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673152$020A882E-A47E-4280-80DB-E76969E9C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673152$16DA43C0-CE1A-4F24-9C7C-9E9A6AA923E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdcad4c7642439c39c0fb14c4b6e63d465aaab24","datavalue":{"value":"simplification ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673152$87079507-AEE2-46C4-9C5D-461F3FCA7821","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":"Q3673152$0E65F959-6EC0-4E9E-A5CC-99691A286BF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3ba9e085d2c6e4d59550f3961b7fef0b548206b","datavalue":{"value":"W2051518991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673152$67871AF3-A139-4734-B60E-E7E2598BF9B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3673152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3673152"}}}}}