{"entities":{"Q4315328":{"pageid":6344929,"ns":120,"title":"Item:Q4315328","lastrevid":89287259,"modified":"2026-06-04T16:52:40Z","type":"item","id":"Q4315328","labels":{"en":{"language":"en","value":"The Axiom of Choice in Second\u2010Order Predicate Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 700435"}},"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":"Q4315328$0CAB770C-DAA1-42E1-B395-0C1E8E645104","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"455377196250a6431cbafd576e90175b6c5a7a8c","datavalue":{"value":{"text":"The Axiom of Choice in Second\u2010Order Predicate Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4315328$09A552EB-5822-4B3B-BD71-06E89C74ACAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4a18dc7fffff4162574008cb89d91ec5127ca33","datavalue":{"value":"0811.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315328$77DD84DE-CD9B-4695-AB11-6549B31D5954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acd7bde716d93e0cd61dd5a06aa346a7f843d664","datavalue":{"value":{"entity-type":"item","numeric-id":215892,"id":"Q215892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4315328$E29E5CDC-F202-4A5D-85D6-76074EBE5E69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4315328$0127112A-BEC4-4912-B735-C358CFC57744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f45624994ac2bf1f53d8535bc357de536b6c637","datavalue":{"value":{"time":"+1994-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4315328$711C8D0F-A025-44BF-B95D-5E74DF0AD7F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315328$71B6EF62-AC88-425F-B9B9-A894DB2D9ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315328$3B6B440B-59D8-4629-8A9F-9282CB3B2B2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae25eaaf20b0b0c7530680422f5c65d0ce8297cd","datavalue":{"value":"700435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315328$D22B090E-01F2-4D23-B62A-1A6A4FBDF892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315328$2597F5F8-E61D-45AB-ABC6-2BAFD6A3BF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c451c105e0a6da113c2a3430fd04495757438e7b","datavalue":{"value":"second-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315328$EEDD39FE-45B7-412D-BE45-41537DC9CAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20def677a86877038a2e7ecdbba60bebe81f9bdc","datavalue":{"value":"Henkin models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315328$6FA45FB7-79C7-4CA4-B831-5FA721C3626B","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":"Q4315328$CB22E2FD-EB65-431E-B3B5-DDDA60CC3F93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43d43d1e6ab3ba84b084201f0a99c6a65ac33327","datavalue":{"value":"https://doi.org/10.1002/malq.19940400410","type":"string"},"datatype":"url"},"type":"statement","id":"Q4315328$5A9D26A8-A29C-4AAA-B31F-CD1CF1B116BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e65c74df202019568420dce5db57da82aad112d3","datavalue":{"value":"W2122650439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315328$30228E94-3EA6-4DAC-A0E2-BB88B7A56888","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2783fa92e0d74830e951de2286b8fedaa6100611","datavalue":{"value":"Q114696403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315328$355A014E-B199-43A0-BF0A-14AB9C8F05AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a7bee702f1505d34b1fba1575343130b08fcc44","datavalue":{"value":"10.1002/MALQ.19940400410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315328$9541E6A9-82D0-4283-B684-390AA5FA9278","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f97f3fa462d72c686b4fd7737c0ee552ee92a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4532188,"id":"Q4532188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e796b77b1e9c3c315486c8c2e2af1424a27f0c2","datavalue":{"value":{"amount":"+0.6752867698669434","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":"Q4315328$01200DB4-4F86-4C20-B31D-9C871B1AC8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1784dddd8223608d6827eae34d9f612b21e886b7","datavalue":{"value":{"entity-type":"item","numeric-id":4204144,"id":"Q4204144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520d38292c0a6db65f039ba8b1285303087dd99f","datavalue":{"value":{"amount":"+0.6698881983757019","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":"Q4315328$175A0190-3E72-4FB7-B99E-A412DF7DFBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462ab7276575d55b34186ed7ee7948d80f7259f3","datavalue":{"value":{"entity-type":"item","numeric-id":4382073,"id":"Q4382073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516617bad40d1138544dbc5cb70283a3159a4fd2","datavalue":{"value":{"amount":"+0.6627301573753357","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":"Q4315328$21271CEA-6AB3-403A-9EBC-0692F8695F53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Axiom of Choice in Second\u2010Order Predicate Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Axiom_of_Choice_in_Second%E2%80%90Order_Predicate_Logic"}}}}}