{"entities":{"Q1823015":{"pageid":1833757,"ns":120,"title":"Item:Q1823015","lastrevid":73029303,"modified":"2026-04-14T09:31:38Z","type":"item","id":"Q1823015","labels":{"en":{"language":"en","value":"The problem of guaranteeing the existence of a complete set of reductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114099"}},"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":"Q1823015$E0EBB7F9-EC57-4AFA-9E01-7362311BEDFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"140accb67b6332779672e9a1f96219a78a88d862","datavalue":{"value":{"text":"The problem of guaranteeing the existence of a complete set of reductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823015$A2F4F44F-60E1-4BD8-9ED8-DFF5AEB7C672","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c7d7db474a5b6aa7e36e592f996a9267043be40","datavalue":{"value":"0679.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823015$120E8A13-1322-45E4-B5F0-13BFCA48A650","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fdaf6186deb7e665195919276609bd1031525c2","datavalue":{"value":"10.1007/BF00248325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823015$B5D4CF9D-E576-40D1-973B-E7233B774949","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$E8C7E358-005F-4C43-96E3-59AD23D4C802","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$6775A985-93CE-4854-BEDA-E6E154E93F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823015$2A587EC3-7B26-453D-AA3B-CD7AF85EF83D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11c34670ea2726e64672bf4bf5dc86d0193035f9","datavalue":{"value":"In these and in the following two papers the problems mentioned in their title are discussed. The problems already have been listed earlier by the author [Automated Reasoning: 33 Research Problems; Prentice-Hall (1987; Zbl 0663.68102)], they all are connected with the field of automated theorem proving, and each one of the three problems is explained with hints on its relevance as well as on possible tests for (partial) solutions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823015$0633DFB6-D13C-40D2-B15C-5C4AD3B60EC4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$E2A548E0-AF8E-4CD2-953A-4186E26379DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823015$C7D11B72-F32F-4D78-A4AA-6FC9FFDBA241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823015$3FBF4B95-4F3F-4C61-B91C-BCB9728729B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823015$9FC40360-E3C6-4A9E-95F8-AF2D0329310B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1243bf7dd64f66d55a216169732d9af8ed162cd","datavalue":{"value":"4114099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823015$2CEE64B1-0657-462D-9CEC-62652792A77B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823015$D2BAD5A0-4B13-455B-B439-ECB9E06D7C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823015$36AF9774-A00E-41B0-9D83-D16BFF4926A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93686ee7167df7cd9cfdb43ab87894abfd9e572","datavalue":{"value":"reduction sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823015$A18C1992-277C-4132-B8DA-4093DCB37164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823015$BEFE79DA-91EB-420D-9CC9-D1B1CE431811","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"649b434d48effa9776ebfaf9c3ab594488aa88af","datavalue":{"value":"Q114267058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823015$7555C8E0-F13A-455D-A313-DEE8A7ABB4A1","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":"Q1823015$282DF8AE-7183-445C-BB29-04E38913A23E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab23ac467fafc0a532ef88cc5129089b9b83126","datavalue":{"value":{"entity-type":"item","numeric-id":3721811,"id":"Q3721811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$7FD64C92-DFD6-45D8-8391-75171FCCCC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0142958285cc20fe0b556ebd1399ee8b183521e","datavalue":{"value":{"entity-type":"item","numeric-id":5787933,"id":"Q5787933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$54F3A086-6716-4DB2-931D-84C5B61438E8","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":"Q1823015$B10D0199-EC2D-4915-9557-AC5E28FF7B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$1766C3FA-FDCB-453F-960D-C0C51D1D1804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9c3982efd0f7ccc059068ad9e9a439bba5bf60","datavalue":{"value":{"entity-type":"item","numeric-id":3949989,"id":"Q3949989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$C01C3AE0-5416-4BE3-AF24-6DBCB29CB065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$AEAE74D8-6373-4F16-8831-BDD51D0F28F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$7976067E-E036-4AAC-8341-5C52964C2D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dac14c70bb691f81b7dbe3b97332456bc88540b","datavalue":{"value":{"entity-type":"item","numeric-id":4770009,"id":"Q4770009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$2C7D9BA4-8563-4DFC-A4CE-60714195FCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823015$DEE84D09-8511-489C-A24D-89339C161771","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03d3b8e03a7688c7c74a0d186bd7ee1dbb1916f6","datavalue":{"value":"https://doi.org/10.1007/bf00248325","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823015$9A317A18-00FC-4F20-8680-16CA6967D331","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ecd1860426cb851477097226cc1dc0aa9878aa7","datavalue":{"value":"W2053416640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823015$3EC6C014-964B-431B-AE11-132F2EDA1203","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d2ce91edef86264aa7785e1d92c20dd1f6c139","datavalue":{"value":{"entity-type":"item","numeric-id":3326886,"id":"Q3326886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467a7f38e85c504036338c09487af4ead61b3494","datavalue":{"value":{"amount":"+0.7335536479949951","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":"Q1823015$FC628BF9-2F4A-494E-A023-6A267B35587F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be797cf568eac61c70d1dcf6a6fc1fcb7c69b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4277694,"id":"Q4277694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd94065730cdb70dc6618075924ba06177c8f69c","datavalue":{"value":{"amount":"+0.7210887670516968","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":"Q1823015$1E66781A-683F-4C0B-A53A-24DD8B571126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2b633ea4b34a6290cf9d900a01501160c896a5","datavalue":{"value":{"entity-type":"item","numeric-id":3727949,"id":"Q3727949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5940eea2514386a4bd717645746ee9a610fc5231","datavalue":{"value":{"amount":"+0.7061560750007629","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":"Q1823015$2E90D587-3828-472F-AB35-44A7429BE0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1378fe61e1ae74dff2a171f0aea816ec273936","datavalue":{"value":{"entity-type":"item","numeric-id":3746919,"id":"Q3746919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27837a1130c3305e4ba12345604edc11b80a38e","datavalue":{"value":{"amount":"+0.7036793828010559","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":"Q1823015$8F8652DE-3D65-44B7-B39A-F63F1D9C50FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b9d54880e7118b1519232491a471eb43c1cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":685391,"id":"Q685391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b1290f0bdf2f250942fadfc8f2b5d9fc8b68d5","datavalue":{"value":{"amount":"+0.7027626633644104","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":"Q1823015$EB2CCD2F-4AA7-4B50-976E-EC069CB85F22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The problem of guaranteeing the existence of a complete set of reductions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_problem_of_guaranteeing_the_existence_of_a_complete_set_of_reductions"}}}}}