{"entities":{"Q4233564":{"pageid":6263165,"ns":120,"title":"Item:Q4233564","lastrevid":46570098,"modified":"2025-12-25T01:29:29Z","type":"item","id":"Q4233564","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1264623"}},"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":"Q4233564$AFD5595F-1683-4617-9599-C999737FDBA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83dd6c97713712d304be88245b37249dd3da367a","datavalue":{"value":"0918.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4233564$356E0C6B-7DEB-48B6-A3E0-785B3BFEB56F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55cfcbe18fb84803c4343ee8aaa7763ab2aef195","datavalue":{"value":{"entity-type":"item","numeric-id":752708,"id":"Q752708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4233564$7B455683-16FD-4348-A5AE-C3E1D37BADDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4233564$82C2C5F3-5855-4D8E-8294-BBFB3C1D38BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4233564$2905BE29-22CD-4DEA-A340-C0A47594847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4233564$4AB6606C-4BD3-4DBF-BE4B-0468619DD8CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f6a1c4388f6b27e6495f6b2e5091aa322d9a49d","datavalue":{"value":"1264623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4233564$5B103A6F-7F90-4C14-8AE3-4343851E5CAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$CF1DBD75-F741-48B5-BC93-0C8D77A2E9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e8eee032e10f9c28e8c3aaa543aa957a266ecc","datavalue":{"value":"Hilbert's unpublished 1917 lectures on logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$86B72520-66C1-48F0-A851-D98B5A7C75E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7406f0eff820b5e7ff01ccb48867d9c8dfca15","datavalue":{"value":"metalogic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$C9754D81-A662-4BD0-8F78-A4C31E5EDA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$AE304197-1FB0-4228-9118-1BE64CA3E9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45788ba750dad25ca426282795df4287eb5784a","datavalue":{"value":"Post-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$5D681BBB-3796-494C-A64A-95B11879B2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$FF0AB517-F5B9-49B5-B1E9-6267E4C5B141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39afa182f881f10a34fa61ed9a215260cdb45919","datavalue":{"value":"Bernays","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$BD56ABD6-AB6F-4754-9FDC-34A7E9E966F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955b6c8289eb53c1a700ec5e6123cf0e9a305232","datavalue":{"value":"Post","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$04F2CC2C-8287-43A0-BE06-10893EAC6EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$89BC268F-7B52-4829-9B9E-8E7441D5B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$13996E25-42ED-4F86-B641-464727AA825D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6ab46f4097933b69e6c8cee46daee2173dcc62","datavalue":{"value":"Hilbert","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$73C3A3F6-0FCB-420E-8EE4-314A39E3849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1f7a073452ca9e015eb8e3001df43b03dd5df8","datavalue":{"value":"logicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$35A8D17D-7D02-47D6-B62A-8551F2E03198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee6a18a358f50af809c4e3213aa14aecef09fa7","datavalue":{"value":"axiom of reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4233564$DE44310B-612A-4213-9660-12D83063D13A","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":"Q4233564$AB42386D-B36C-4EC8-8685-3EC8DFA46E64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d24e87f77baa3b5e60c4222136f13552bf667e","datavalue":{"value":{"entity-type":"item","numeric-id":3445908,"id":"Q3445908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4711eb506e8af1e4381655ee4a76d4a800ee929","datavalue":{"value":{"amount":"+0.8398132920265198","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":"Q4233564$D09817D5-3A72-467E-9B4B-26E86EF28AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c36ed02a03d7e2febac972d7be643e9381a0d4d","datavalue":{"value":{"entity-type":"item","numeric-id":1267397,"id":"Q1267397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfef012952f18b8d8aa544ac034c0fe5f30d1a1","datavalue":{"value":{"amount":"+0.8111247420310974","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":"Q4233564$F7265BC0-6B77-4914-8889-0901B30EC722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0698dd5b8b36fd1a189aea66977a6bdaea7f5e","datavalue":{"value":{"entity-type":"item","numeric-id":4835584,"id":"Q4835584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0acc9c38b68a4675140d9d45912234ca536fb55","datavalue":{"value":{"amount":"+0.8032916784286499","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":"Q4233564$A45B20D8-07A4-4BD9-A57E-24C6C1407744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba65762b9c4a139e84fa61503c2dc7155a7bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1036075,"id":"Q1036075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c37bb08be7c92959f9470da6de0b8e9132aa08a","datavalue":{"value":{"amount":"+0.7992780804634094","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":"Q4233564$AC519E31-D2B9-4D5F-9819-1C4E50782C34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4233564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4233564"}}}}}