{"entities":{"Q5582304":{"pageid":7611864,"ns":120,"title":"Item:Q5582304","lastrevid":48649231,"modified":"2026-01-05T12:10:13Z","type":"item","id":"Q5582304","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3300566"}},"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":"Q5582304$45DEEE6D-2733-46FD-B126-E16654C146CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6fd994427e2f6a7ccc2db5e34d488661febbf52","datavalue":{"value":"0188.31501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5582304$306E3662-5E97-4962-B378-236C8AE789D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb30898d6bc4b8a987c2168e1ddb61edd243ec48","datavalue":{"value":{"entity-type":"item","numeric-id":5538905,"id":"Q5538905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5582304$BD79D7B6-EB96-4742-BFC9-0C8BD104F60C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q5582304$2651AB1B-512B-4927-8EFD-FE2C74EBFDB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5582304$C59A93A8-F9A6-43B1-9F73-711728EB5C7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c90df58778905dc3706d1b36bec2ade110ced52","datavalue":{"value":"3300566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5582304$C7649457-922D-400D-A480-2B1A40FD5E73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"506ebbfd0f65dd14b6852be4772c7b829f41018f","datavalue":{"value":"Hilbert's epsilon symbolism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$029766C7-D64E-4138-BA9F-554049D0F030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16ef531918d9552a1e347bec730c85c32de6fff","datavalue":{"value":"axiomatic epsilon calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$261EF5D1-ECF1-493E-B81E-02E0FAEB9B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96348d5b165c225d67e4c729376a4aba05a14bc9","datavalue":{"value":"derived rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$A90BA4E2-136F-4942-97F2-3EA7A778DF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eda6019c6b9f29f8924babc751259134e0ebf634","datavalue":{"value":"Skolem-Herbrand resolutions of prenex formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$66449473-C67E-4D87-8FB1-F627B52776F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6896bfed6a6ac682fd6e3c2b6c7a35c507bb7d85","datavalue":{"value":"eliminability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$0E1AC511-F2C0-49B2-8363-B4CADE0392C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586829de55d179eaf27bb9cc3f68ae0091ae4944","datavalue":{"value":"Hilbert's first epsilon theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$4F08C93B-1EE6-4A5D-99A8-EEF0010F8622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c390bfd249dcc0ebbd5357ca2b2bbc78dc134ca5","datavalue":{"value":"Hilbert's second epsilon theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$09224965-8CEE-4322-BEC8-8D5A36AD287E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$9ED424E5-6BA5-48C7-8C0F-1EFB7C658F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c5735a188d8eddfc9951bb50c0793ddd33f1ca","datavalue":{"value":"Hilbert's approach to consistency problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5582304$4CBCD274-47F9-4593-BC5B-434A1961E4F1","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":"Q5582304$C551B26E-A8F7-4657-8B94-B6FD05568F64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2def71c43857b10f82848d8b1bfc16980b41e5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3469101,"id":"Q3469101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6fb7c6b0a9d6183d66b45deeebf2d42243b5407","datavalue":{"value":{"amount":"+0.8123767971992493","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":"Q5582304$B230935C-DC48-4701-A0B2-9CC26BE8C21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d982448dc96e8c77f91ea59f0666b2630af1483","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3416c3845ec2fc6ee277ace64018eb8a6fcf8ce5","datavalue":{"value":{"amount":"+0.8082086443901062","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":"Q5582304$3B5C7CCE-BAB1-4E30-BAD2-97EE5DAD2BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01143b9d509e8f9edc82b0b8c2edf7e5b67df350","datavalue":{"value":{"entity-type":"item","numeric-id":3328510,"id":"Q3328510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bde23335f724c787adfb39f402e4626bfa2ddd","datavalue":{"value":{"amount":"+0.7906961441040039","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":"Q5582304$A695CA1F-C975-4D40-A712-4B5890F928E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145589103459168a04018f664416f4a1f0799e34","datavalue":{"value":{"amount":"+0.7884547114372253","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":"Q5582304$4E9BB0FA-D59A-4C2D-907D-AB6F22D86EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74dcdcba7ceb73a4e70deaf1a27c5da65030a816","datavalue":{"value":{"entity-type":"item","numeric-id":4325774,"id":"Q4325774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232b775b3cde34654915336c259cc6d2a170b9c1","datavalue":{"value":{"amount":"+0.7830625176429749","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":"Q5582304$EB44C0B8-2849-42AD-A388-0D28A8F256DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5582304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5582304"}}}}}