{"entities":{"Q1652858":{"pageid":1663599,"ns":120,"title":"Item:Q1652858","lastrevid":56650032,"modified":"2026-03-17T13:07:08Z","type":"item","id":"Q1652858","labels":{"en":{"language":"en","value":"Axiomatizations of universal classes through infinitary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904411"}},"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":"Q1652858$37133F0B-98AF-4B69-A902-177A0E959FE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78b3e28e4491bf1e576ddb2562af505c8116ab55","datavalue":{"value":{"text":"Axiomatizations of universal classes through infinitary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1652858$132842FB-DA94-4213-AE1E-76F394FABC0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a724da638b6e36807145d1e6ad00e5a81fc7f1db","datavalue":{"value":"1403.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652858$1D535EF0-BC73-4BBF-B0B3-EA0231955B28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40b30937fc6a69f3c0475f72a86b9dd7abccdcc0","datavalue":{"value":{"entity-type":"item","numeric-id":278761,"id":"Q278761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$3A75B76F-E579-49EA-832F-2AAC6DA77ECC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$D771ECE0-682C-4D96-B17E-9A193CD0D8E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05ab478c1b3d983a6bbb2903fa84c4982a8bb3dd","datavalue":{"value":{"time":"+2018-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1652858$6245D7D3-38AC-40F7-9655-546DFB4792A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652858$63AEF880-CBC2-4E78-B45B-591043113628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652858$95855FA4-F45A-49C8-BE9F-1B1175E1D664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652858$2D1F8CAE-DD2E-4478-A8AF-E6A0683E5070","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e0d571dc47ae78a7df60089f156b0d04204384a","datavalue":{"value":"6904411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652858$02988B0F-6C83-4180-A3B6-4B361F6CC698","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d260188fafc5e395fef7244ce470c9e50be3ff","datavalue":{"value":"axiomatisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1652858$FA92B1BE-2296-4DD5-ABD0-FC4459A109E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1652858$A035BDCD-B650-43EC-BF72-C66C810AD73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a30c34aadab4b510ef9841beb5c38a376b78f3ab","datavalue":{"value":"universal classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1652858$4DCE52A3-9ACF-4BC3-85C1-904F6ED6BD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971a5fe87bb536b726b9bbe55139d1b725be329f","datavalue":{"value":"unary class operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1652858$D434B3C4-1BB1-4757-B4F2-D56C36DB284C","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":"Q1652858$EFD5F946-EA85-47A8-A798-2B3B4D8AEB4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6baf77f7ab06c1107930da1c1201e8a2fcbdde08","datavalue":{"value":"https://doi.org/10.1007/s00012-018-0507-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1652858$BE9938FC-0CC4-45CE-B7A8-31A71EABC185","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99a20f9fe712c72c2870098d2a164e4d69b5aba6","datavalue":{"value":"W2799774902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652858$F1EBBD78-353B-4B7D-8555-FF3BA6127F45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$4F103AC7-F9B5-4F1D-9CB9-0AEAC08E7CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e2dee5ba59b8f647eb4669be53d05666a27a8bd","datavalue":{"value":{"entity-type":"item","numeric-id":787978,"id":"Q787978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$873A0C11-508B-4884-BC9A-863C06CAF237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$5A4269FC-E639-4B3C-BFF3-E6403D6D694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7f918baf51829bb02f086f8c5a60c6e39dea2c","datavalue":{"value":{"entity-type":"item","numeric-id":1902536,"id":"Q1902536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$8E7F31F2-EB50-4D81-B1C5-534580BF8883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$ED87F257-B778-450A-B2BF-BE965266084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$4CC5CC0C-3DBB-4331-9F51-7283619FF3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d29ed1a3f239683df30cdd0098c384468eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$7EBB822A-9C3B-48B1-8E79-A29933F23B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$1EE07CA1-775F-4DE7-B876-B86F829F296C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27d01d7cb0516f5e99b64250b93c13344394d37","datavalue":{"value":{"entity-type":"item","numeric-id":4220413,"id":"Q4220413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$26979173-EE4D-4916-8422-E0DAA931FDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9489690914ad43fe691c5192f6eb9bd4916705d9","datavalue":{"value":{"entity-type":"item","numeric-id":4517143,"id":"Q4517143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$25CFF7C7-D2E7-4A6C-9A57-A42350F8BC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8520468368f643afacd59846425a2cf896008c34","datavalue":{"value":{"entity-type":"item","numeric-id":4864753,"id":"Q4864753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$C334C494-30B5-4BA0-95EA-E5906A352B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec0208ef3c9ec149fabfa81c92ed2023179d18","datavalue":{"value":{"entity-type":"item","numeric-id":5682023,"id":"Q5682023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$B0D892CB-3BE2-4FEB-8FDA-92DBE0F974B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43ad779ae750b9a0652f3cb9d2509b983c95584","datavalue":{"value":{"entity-type":"item","numeric-id":5573415,"id":"Q5573415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$15D62AE1-54B9-4B64-9D70-BD691AC9E9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35be3fab1eefaca81270be172c1c824e603dcdce","datavalue":{"value":{"entity-type":"item","numeric-id":535220,"id":"Q535220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$BD19BEFE-7439-45A8-80FF-19C9D3B72ABD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fa2321c8902afdaf883d8d0234886e48ef101b7a","datavalue":{"value":"Q129946644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652858$105B2872-BBAF-4E70-9D59-B6F5C4B820DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81a530f472238d2160afa24ea97f054906df657f","datavalue":{"value":"10.1007/S00012-018-0507-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652858$293A935D-EE8A-41C6-9719-D27CE7246949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205c22c90b13038ee49c8c8e433fe117500e4836","datavalue":{"value":{"entity-type":"item","numeric-id":4335229,"id":"Q4335229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b7cd35014f17591ea8415ef41c709c315fae08","datavalue":{"value":{"amount":"+0.8169261813163757","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":"Q1652858$2E2EF3A1-9405-4154-B60A-19CC3A3A645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c10994bebddac4e90435307230aec8954d9d83","datavalue":{"value":{"entity-type":"item","numeric-id":3979192,"id":"Q3979192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b7cd35014f17591ea8415ef41c709c315fae08","datavalue":{"value":{"amount":"+0.8169261813163757","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":"Q1652858$77900F0C-0C4E-4BE7-858C-0588D07BC8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24e294615fee7b1e6721a2169219c5b08263f67","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daedd3aa44885891d19490a6385e279a47ea1457","datavalue":{"value":{"amount":"+0.7622679471969604","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":"Q1652858$08236AC6-1D3A-4CEF-8348-216385A340ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8863310b298b8a320d9b245990d5f4e07f3047","datavalue":{"value":{"entity-type":"item","numeric-id":4329240,"id":"Q4329240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daedd3aa44885891d19490a6385e279a47ea1457","datavalue":{"value":{"amount":"+0.7622679471969604","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":"Q1652858$075BBD09-3417-4491-81BD-C59D02907CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6f61569d47feac717779365293537fa24ddd81","datavalue":{"value":{"entity-type":"item","numeric-id":1652877,"id":"Q1652877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66305226840c29ee9d4a28107772514360d4b1e3","datavalue":{"value":{"amount":"+0.7495474815368652","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":"Q1652858$EE132CB8-9F03-467C-A312-2E65E9D2E736","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652858$FA46CC9D-C91C-4FFE-83F6-88E94DB568BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1652858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1652858"}}}}}