{"entities":{"Q4328795":{"pageid":6358396,"ns":120,"title":"Item:Q4328795","lastrevid":47777110,"modified":"2026-01-02T16:14:32Z","type":"item","id":"Q4328795","labels":{"en":{"language":"en","value":"Second-Order Logic and Foundations of Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1735247"}},"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":"Q4328795$667E5FA0-CBED-405C-9D2C-7B44273FD423","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99eb18b06a67fbae28f73665cab614f59e7222a6","datavalue":{"value":{"text":"Second-Order Logic and Foundations of Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4328795$DE0721BE-4668-4FEE-890C-CFD34D9E7E25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64a1865bb4080fcc05ffbede6a64f072862c8f8f","datavalue":{"value":"1002.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$6017B612-3D37-4839-9ADB-E5F861E59296","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b419bc72c2576fc3243780e214faf12a426181b","datavalue":{"value":"10.2307/2687796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$72975562-CF53-43FB-B1D1-A0DE79F35327","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e91bc5e0f61733bb6f4b607f8868935e632c0d","datavalue":{"value":{"entity-type":"item","numeric-id":278764,"id":"Q278764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$D268DF18-16ED-4C14-BFEE-B7542D5FCD6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381ddcb86e65a2a07830e4a1bafeb6cc481b7472","datavalue":{"value":{"time":"+2002-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4328795$4769F13D-91D5-4DFD-8DDA-B4351ABA708C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e316404adee7f0cf1e6fe8192c38086ee2c81c6","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.7000","type":"string"},"datatype":"url"},"type":"statement","id":"Q4328795$5EB38B2D-CCE5-43FB-B043-5426014CB569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7df2fdc347a450c1f8e4b4a17f8238d6c910fb41","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0704-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4328795$9922ACE7-A480-4CA3-810F-7BAF270ABEE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$35B97741-A20F-41D2-94A1-9B5A53720AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$7E8D52F8-326B-4548-9EDF-09C1F127D554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$58A57FE1-84B8-4DE4-9625-A0C4CFD79D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$CC6CA78E-9C19-4B2D-AC06-987DB8C9FAE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3452dc76e7054b0743d7cf9fb767d72c96a7cf91","datavalue":{"value":"1735247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$D72FA42C-4F8B-48BA-AA14-1ACAD04DE5EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328795$3C14490C-8173-4262-8704-8358864AB5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"963b573cb30128c8b3b38efa90aadda6cd4a1405","datavalue":{"value":"G\u00f6del numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328795$D9DA2EC3-FBD5-4B64-810F-5518C707DB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204206a2f11fac2e164f68d9eaa80872c4d6a41b","datavalue":{"value":"Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328795$E61B5AF0-3232-421A-A355-1E547425DB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99b10d223c8f468850eac937c80c61cd3d1c484","datavalue":{"value":"Henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328795$29A00C89-4E0D-4712-9FAE-020EDF641E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048784080871557cf2a6518754d32eac92da7793","datavalue":{"value":"first-order set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328795$7CBBC445-B9F3-416A-AE16-73DA2C090F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4328795$368CEC4A-43F3-4945-B235-08559331044F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c090de3867f27ab0f5355cb5795df3b2a941385d","datavalue":{"value":"Q56228044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$1CA9E79E-07E9-4EE8-9CE9-1AB0D2192BF9","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":"Q4328795$B0D40451-CB78-41FA-A71D-C634AB6A1867","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5db70c70a96b80ee3d6395d8183838a080fa6c80","datavalue":{"value":"W2171561809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4328795$F8155039-23D5-40F8-8530-72C91A0BF89C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86566a9d0b776576494a37768a5a089b1ea4c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":5661877,"id":"Q5661877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$B62B5F63-9785-4700-93CE-C9AEDCC49F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$06C7B9F2-A02E-4519-A7D4-24B481B1DF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9c81cd8ad9413c3b7d77ba2ba534fa00c0d816","datavalue":{"value":{"entity-type":"item","numeric-id":788714,"id":"Q788714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$08D5027F-A388-4A79-9BF1-DDA169A79899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5f65cff31d9bf758cb0757cf214acacbcb8138","datavalue":{"value":{"entity-type":"item","numeric-id":788713,"id":"Q788713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$43A6FE09-A9C4-4D5B-B4CA-FAF2B9ADE8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$A06CB5E3-23DB-49C4-B318-EB47CEFC6F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$D05F6F0F-5B2B-4FBD-95A9-D7ECBBDC1EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$2DA67592-168B-462F-A1C3-4981868C2227","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4328795$5B8061C7-1ABD-4F52-8B3B-06BF9D62D7CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925473941272cdb985eb3f8f10f9bacfe1fcdb17","datavalue":{"value":{"entity-type":"item","numeric-id":5253936,"id":"Q5253936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8de4dfc7e991d2fc3ab0e2f8e81b8f2ab8f869","datavalue":{"value":{"amount":"+0.8644202947616577","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":"Q4328795$1B02D490-B5F9-49D1-B962-B99C1398ED3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9af01b20f3ca4fbc86cbf4e4b3fa2070c9dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":5388758,"id":"Q5388758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81caed213442334f1a26f3bd1e8cf2ef5ccd4dfc","datavalue":{"value":{"amount":"+0.8555091619491577","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":"Q4328795$AFE30F19-E032-44C7-BF84-9BDD84769E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690f5fdd712ceae80ca1456e35823f418c9db0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3141185,"id":"Q3141185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794925b48c24c61827d93e10620a6a04e469a222","datavalue":{"value":{"amount":"+0.8480706810951233","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":"Q4328795$DA5E08F2-EAD5-4F5D-97C8-C87CCF27E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801fd298d5ec670b314ddd5816e4e6cd20f937f4","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919660c0050e3fd0621a5590217cc6bd973d1711","datavalue":{"value":{"amount":"+0.8428606390953064","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":"Q4328795$52873749-4F17-48BF-9838-F28FEAE14CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3f23e38aa82c58759ac894ed50ff84e11dac6b","datavalue":{"value":{"entity-type":"item","numeric-id":4919678,"id":"Q4919678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b778c250e7facbbeeddc5bead95561d6faf53f4","datavalue":{"value":{"amount":"+0.8308831453323364","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":"Q4328795$A1B0F42A-104F-4464-8FB1-9835AD38EC4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4328795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4328795"}}}}}