{"entities":{"Q6041339":{"pageid":13175440,"ns":120,"title":"Item:Q6041339","lastrevid":39663675,"modified":"2024-12-30T16:52:29Z","type":"item","id":"Q6041339","labels":{"en":{"language":"en","value":"A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689491"}},"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":"Q6041339$2AB2ED17-BF83-4188-A3DE-BEACF8ECC640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae122cf81b0ba37f54cebac5a27abc6c6d5a2e5d","datavalue":{"value":{"text":"A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041339$AF10346B-7D0B-469E-9A72-E1BA18D2AB0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"062f9835a3704c20b813169cf8d3b93528327291","datavalue":{"value":{"entity-type":"item","numeric-id":5115863,"id":"Q5115863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$347B906F-3016-4097-AAE5-CF49913F4AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ade2c17110c88e77a460b1060c4082d87479863","datavalue":{"value":{"entity-type":"item","numeric-id":218496,"id":"Q218496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$BED282ED-904B-442B-A680-C422043334CF","rank":"normal"},{"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":"Q6041339$E58E6734-9DB3-4811-80BE-ED9D5B399DD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$CC65BAEA-BB72-4CF1-9FC4-A2CBE61A3BD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041339$7038F1E4-6CA9-4261-B2AD-162878D925C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041339$87075087-B127-43F2-B932-C0C01C64146E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041339$D78862DC-ED7D-48EB-9FF9-41DB0F3A0339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041339$2AE5FCFA-BAC3-4F8D-B46B-56F7AE9A7738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c03125a833bdabd984d229534a82b6861efc335e","datavalue":{"value":"7689491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041339$9846499D-BE4B-40C0-BCB4-46D352B533F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041339$BA3004F9-E709-47AF-8FDA-7F9A11E37EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041339$397AFF91-0242-4ADB-9C5D-A8F59F04DCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d32c3a902c11008c77b23203320e14139c60434","datavalue":{"value":"the axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041339$F14445D0-8724-4491-9109-76575F9055F4","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":"Q6041339$6A95D23D-B69F-4976-82E9-3CCC70F53C13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fcdd00437885dc7bb37980aa34df2d1e3a4b403","datavalue":{"value":"https://doi.org/10.1017/s1755020320000301","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041339$55FE4482-CF15-4290-AE22-CACC2B363DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2cb51aabd5b3ca2a86cfdd1fca2b739ab11d5ac","datavalue":{"value":"W3081331081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041339$8B0E1FBE-FA9E-46E3-B13C-35E44470F687","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"243614af085c43d871fcaf7aacd46998277a2402","datavalue":{"value":{"entity-type":"item","numeric-id":1840347,"id":"Q1840347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$F6B8A148-4B19-40F8-B7CA-6AC88EA46CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edf8ff1ff4b10dc996c59979b1ebfaf9176e18e","datavalue":{"value":{"entity-type":"item","numeric-id":3924152,"id":"Q3924152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$A1990DFC-3A87-4E30-9706-AD77FB420020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211df222864ccd708ad37c802f43618a7ecb02ee","datavalue":{"value":{"entity-type":"item","numeric-id":4315328,"id":"Q4315328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$AEE2E5E7-AF8F-48B4-9442-4E8809D007F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$DE6BEB64-4E1E-46D5-8385-D14B615C4208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$EE529138-EF95-41ED-BE39-7668FF6DA51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c838a08284941debaf4e5dc77e4b89a3b3e0e36f","datavalue":{"value":{"entity-type":"item","numeric-id":4372921,"id":"Q4372921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$DEE7247D-D1C9-4CB0-83A0-FBC05EC76A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3791c30fbaa3fd08d78057b9f0cd960473dffefa","datavalue":{"value":{"entity-type":"item","numeric-id":5717235,"id":"Q5717235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$3A229CA9-B30C-42AF-8C9F-915908B27B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e1563fba9dfbb9ce67b4ccfca3202d09a56e7d","datavalue":{"value":{"entity-type":"item","numeric-id":5115864,"id":"Q5115864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$3B0E7557-DAB6-4F1D-8697-BBE380D2D5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da86d122e48ca47a994dd19a2ed1baa918b81c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3960633,"id":"Q3960633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$CDBE9BA4-7954-4745-A0CE-FD1E8FC2DAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5376391ab6b394f7893094fcbfc13d81f395664f","datavalue":{"value":{"entity-type":"item","numeric-id":1068821,"id":"Q1068821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$E37D3103-F3D5-405F-B71B-BE9281770B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d851808ebd103f4dc583eaf6d9244249e9b3032d","datavalue":{"value":{"entity-type":"item","numeric-id":5509669,"id":"Q5509669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$3F252E14-8476-4E45-B899-738EF91AF14C","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":"Q6041339$1A2AC4FD-5B63-4E9D-BD4B-92EC04394419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffdd19e212e6b8df05d7db6c7cab8abd53824f30","datavalue":{"value":{"entity-type":"item","numeric-id":4946847,"id":"Q4946847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$40EB3BAB-A570-442B-BE03-BFD39C6DA5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe331ecbfe2bdf14f23df9f435287ca4be1926ab","datavalue":{"value":{"entity-type":"item","numeric-id":3309830,"id":"Q3309830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041339$4C9EE655-F974-44BA-B918-612A5D16796A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e59176dcc423441270d3b6d41e3ea87a22ab7e65","datavalue":{"value":"10.1017/S1755020320000301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041339$C076F063-FA94-43FF-962D-5030D539699C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041339"}}}}}