{"entities":{"Q3727947":{"pageid":5757853,"ns":120,"title":"Item:Q3727947","lastrevid":50803727,"modified":"2026-01-15T05:57:21Z","type":"item","id":"Q3727947","labels":{"en":{"language":"en","value":"Second-order languages and mathematical practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3959365"}},"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":"Q3727947$8B500C3F-2759-4598-95D0-45B0B9254CD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"443f242ae8b5d6aa174b8b62564b531927db9122","datavalue":{"value":{"text":"Second-order languages and mathematical practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3727947$ACDD6E29-F96B-48DC-A483-AC37FA0B6F12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a824432fae7480bee22cac8496cfed641e4dfcae","datavalue":{"value":"0596.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727947$7C1A832C-2F2C-41C2-B7C0-32C360C3F37A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f1a5b3cc6fb59a5a75ba056ce656ebe3fd85998","datavalue":{"value":"10.2307/2274326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727947$10462FFE-5E27-47DF-8F22-93307610EC8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9d4209135bf481b154ab5d0a5e11f6fc027d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":218490,"id":"Q218490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727947$EDE023C8-8053-499E-9179-6E5D6936E6F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727947$C2B56ABA-D1CA-40C3-B180-7A66C8D1694F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3727947$7BB8858E-4909-4868-BF9F-011ED61592A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727947$79047CE5-4DF1-4200-BE3C-7B0A6D2A5EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727947$CE2BD076-F98A-4EEC-B483-DF6A1243EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727947$8DBC2261-EBA5-41BA-AD9D-89A7EBC921CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc3c867313c95464f4b0f56ad32be7cd2498eb8b","datavalue":{"value":"3959365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727947$C549C977-34B4-4485-8FE9-F65069AE046A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15835fd1ffe905856d6ed88f7545df2757beaa73","datavalue":{"value":"adequacy of first-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727947$9865D0E6-05DB-4845-A87F-90682D879883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727947$F4A4D0B3-F2E3-4B18-B200-D7FED3B73095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727947$5D2F5349-B933-4BB2-BA7F-73C18EB0E90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727947$31F82784-E6F1-42AA-AB55-22B8658CE543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d54900e01afc51a331197c72085903ac8258e88","datavalue":{"value":"L\u00f6wenheim-Skolem theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727947$252B0338-47E5-42AE-B52A-D824AA67C2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727947$35F17894-9D90-4011-9C0F-D8226B22AF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e794ff676dbb33d99c44e2174579ff38cb07c71","datavalue":{"value":"analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727947$49CAD543-4586-4414-82DD-98C01BD69C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727947$5420E7DC-67B2-423E-881D-20EFCD507657","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":"Q3727947$87FDFC59-7651-4A18-95A3-B1D5A8F25CF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b59078523eef3af43eb38a64c07b3be4ebcdfd21","datavalue":{"value":"https://doi.org/10.2307/2274326","type":"string"},"datatype":"url"},"type":"statement","id":"Q3727947$1FB5522C-3CC8-4520-8958-84AFCEBC0F35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9983402421bdf3110fe71211d51a0f45c13242ed","datavalue":{"value":"W2062506884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727947$C9A0E399-7857-455A-9374-B337A7084762","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0246cd7d2e6feeca07711d7503cbef23da1fb61","datavalue":{"value":{"entity-type":"item","numeric-id":3966102,"id":"Q3966102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727947$C56414B1-AB30-4DBD-98F8-6C22F36632EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a6cb0db00599c2e1155dc2bfdb97fb7dce98a4","datavalue":{"value":{"entity-type":"item","numeric-id":3216621,"id":"Q3216621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727947$F04D7EC5-E457-4B07-BDB0-BED8E6A52DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55fda03b4a9f9d95136745d383134b475c56dffd","datavalue":{"value":{"entity-type":"item","numeric-id":4739896,"id":"Q4739896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727947$DB36E985-D5CC-4F15-B580-2A88A5E86841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"433391568b007a5c81befc35c452b06b40fdc7e9","datavalue":{"value":{"entity-type":"item","numeric-id":3958419,"id":"Q3958419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727947$82F760F5-BFD8-47F3-A801-AE935D3D1DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62ff56f0939a8d1f547c598be1f0ce0a97e0223","datavalue":{"value":{"entity-type":"item","numeric-id":3342521,"id":"Q3342521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727947$9D26D015-EE2D-4F9D-B186-5412CD53EEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99aadc801f3eb45f5ea0854911208fb06da90a12","datavalue":{"value":{"entity-type":"item","numeric-id":1227723,"id":"Q1227723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727947$1853A8EC-B523-49C6-9F22-A7F64D56EE83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5459415acc6ab60a7d5aefc6930c4ba2f9a348","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d2d392c9be56a0acde39d470006248c0f5db6d","datavalue":{"value":{"amount":"+0.8217412233352661","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":"Q3727947$6843F454-D556-4C0F-8700-6E79D8078645","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":"33f0a997f6d3454d99e86d375708118ff18e5302","datavalue":{"value":{"amount":"+0.8112383484840393","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":"Q3727947$094885E6-5EA4-4A65-AFE7-4E889CAB05DE","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":"33ec0971476208320864f3b20e5f7a061e7634b1","datavalue":{"value":{"amount":"+0.7787245512008667","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":"Q3727947$4FE0E3DB-0405-4829-BC27-D622C01F251E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c79befaf63023b019565ccefad9c19f3924932","datavalue":{"value":{"entity-type":"item","numeric-id":660454,"id":"Q660454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae86df7c1d9c3fd6813b653041f5159964eab5d","datavalue":{"value":{"amount":"+0.7668907642364502","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":"Q3727947$9AFE80FF-495D-4F56-A0FA-E10A6264EDA0","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":"f2905fae2e5a49145c10a590011243f2c7fedacd","datavalue":{"value":{"amount":"+0.7555956244468689","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":"Q3727947$AB856473-A63C-474B-B0AF-9AA3B82B837A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3727947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3727947"}}}}}