{"entities":{"Q1097252":{"pageid":1108004,"ns":120,"title":"Item:Q1097252","lastrevid":66967401,"modified":"2026-04-12T14:03:01Z","type":"item","id":"Q1097252","labels":{"en":{"language":"en","value":"Set theory in first-order logic: Clauses for G\u00f6del's axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033694"}},"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":"Q1097252$2B2531EB-6366-4D76-BCE6-550B470F3C04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c282c8bcbbe3c4e8f1069ae5c171ac3d800b5944","datavalue":{"value":{"text":"Set theory in first-order logic: Clauses for G\u00f6del's axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097252$53728464-22F3-418A-832D-F306206E8ACF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d79a378b66cc6c7a04ec09fce1173dc2b195dc9b","datavalue":{"value":"0635.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097252$4991D7FC-FD8C-41E7-830A-552A9ED8966F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"223a8e491debd05a2ac20fafd526f8ec1899a832","datavalue":{"value":"10.1007/BF02328452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097252$7ABA8A67-098B-44B4-B208-18B427462045","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097252$C1AF2ED4-42B2-4C12-986C-4C00D2DB3B57","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":"Q1097252$F63C9882-A97D-49CD-8030-2CA21D6A7860","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1097252$E5619175-175A-4DBD-8256-D6A69D0F3B8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f0ab75079bb81361679f28d3d548ec69b14b99b2","datavalue":{"value":"In this paper we present a set of clauses for set theory, thus developing a foundation for the expression of most theorems of mathematics in a form acceptable to a resolution-based automated theorem prover. Because G\u00f6del's formulation of set theory permits presentation in a finite number of first-order formulas, we employ it rather than that of Zermelo- Fraenkel. We illustrate the expressive power of this formulation by providing statements of some well-known open questions in number theory, and give some intuition about how the axioms are used by including some sample proofs. A small set of challenge problems is also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097252$4E993E61-03D6-4FDD-B28D-7FEDAEE7450D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097252$E4F04119-45B0-44C1-AD96-85D2F3F73577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097252$20D9BB9C-DBD1-42AA-99B2-349246721C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097252$03A753C8-6623-4CB7-BD15-46019706EA39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0198d9d56127626229a1702d1ea096a2a5cb8638","datavalue":{"value":"4033694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097252$A0C9A6FA-9EC7-4BE2-8471-B566C8111953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"402791154b715e213c8772e35596dda051f4484e","datavalue":{"value":"resolution-based automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097252$C4057BA2-40F3-4D2A-B468-79508C6894EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f5eaeeae5529c9ef5c23e172dc3ef17382484ed","datavalue":{"value":"set of clauses for set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097252$EBB10992-FEFA-46D1-B4F7-0A1FCC1C3F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29a0249eb17c69eba9ac9285adee9d9dcb7ff9df","datavalue":{"value":"G\u00f6del's formulation of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097252$1B19D1D7-BD26-420C-8657-064BB509AED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9020b9cf738e3dc19adb35ae396c6478d2142c","datavalue":{"value":"number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097252$96FB5404-B46A-429B-87BF-1AAB8759AD73","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"919bc8be7b4e6417055e2a4c96daf6fb12586488","datavalue":{"value":"Q114264489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097252$100B018F-232A-48E9-94CD-1654105089E3","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":"Q1097252$62584940-6B0A-4EB6-8936-B68A9B47805C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f20e02bb907f90cb22a0a676f448fd7139f7410","datavalue":{"value":{"entity-type":"item","numeric-id":2547495,"id":"Q2547495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097252$6ADDB82C-2B31-4015-B87D-4D338D1FA8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a30605f1ebdbd14040c016d942a5c6190434145","datavalue":{"value":{"entity-type":"item","numeric-id":3709919,"id":"Q3709919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097252$5BD7023A-2BE3-4007-A8D7-74958F8E59FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894ea3c0e75ceafd9402be6648d89711f1bcc74f","datavalue":{"value":{"entity-type":"item","numeric-id":3216156,"id":"Q3216156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097252$1001530D-EDA6-43F2-B89E-A3AB07CD7933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35614b8b4ded8c7ce96c11809c80a2e2a48dde45","datavalue":{"value":{"entity-type":"item","numeric-id":5588619,"id":"Q5588619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097252$313D1F1E-120D-4A8F-A4F3-A11638FA001A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1596ff30b64d07468aeaa5a718372a89a4292bdc","datavalue":{"value":"https://doi.org/10.1007/bf02328452","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097252$BA17E077-8F71-49D4-9B6E-A29930273236","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e862d9432280994889967d11f82d198a4d7a27d0","datavalue":{"value":"W1966945932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097252$48FB7318-D14B-4394-B48B-ACED6C973A47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd013265e1ebd93dc9c0a780dddba39d4e93d94","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779a56042d186e81ad85cdf769893658dfaaf495","datavalue":{"value":{"amount":"+0.8189516663551331","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":"Q1097252$4D1FD96D-F090-418E-9A88-4D34C4A0FCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372d2d481c85fd36ca116a2c71fbd4c5a0eb7c70","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779a56042d186e81ad85cdf769893658dfaaf495","datavalue":{"value":{"amount":"+0.8189516663551331","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":"Q1097252$53DDA72F-DE9E-47C0-A6E0-E38BE2FD6C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fef7ff67e321f5da285458ae23b57701a5f98b","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3111a970f6a598f7d4f8e8e7014e225f1d14584","datavalue":{"value":{"amount":"+0.7873321771621704","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":"Q1097252$7C54770F-AB7F-4185-B989-45B78904164F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8213c84e722b981af05319a6ca2089cbbe9522","datavalue":{"value":{"entity-type":"item","numeric-id":2457343,"id":"Q2457343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee1dfdc6205d7a07af3295f68869bfb869a3ccc","datavalue":{"value":{"amount":"+0.7549371123313904","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":"Q1097252$C3EB0B84-6378-46A0-B98B-C9C8643854A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a9881ed8293d2c819194d2c67340cc6b6c3f30","datavalue":{"value":{"entity-type":"item","numeric-id":2723414,"id":"Q2723414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9ab5765f1e648db45206dd02cf69deb49eaafb","datavalue":{"value":{"amount":"+0.7498905062675476","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":"Q1097252$F6D74C75-0E5B-48F4-8F72-6E7CA35FB7CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set theory in first-order logic: Clauses for G\u00f6del's axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_theory_in_first-order_logic:_Clauses_for_G%C3%B6del%27s_axioms"}}}}}