{"entities":{"Q1612481":{"pageid":1623221,"ns":120,"title":"Item:Q1612481","lastrevid":47971444,"modified":"2026-01-03T05:44:39Z","type":"item","id":"Q1612481","labels":{"en":{"language":"en","value":"Inaccessible set axioms may have little consistency strength"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1787752"}},"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":"Q1612481$72E6BFD7-59D0-4F55-99E1-FA1EE5A3D1F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48bc5bac25d3181442f68ae11abc56f2931ae2ff","datavalue":{"value":{"text":"Inaccessible set axioms may have little consistency strength","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1612481$5AD2F011-5F09-48D2-BC70-8391C9D36B80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c1bba6cd316e8caafa05e2a1a532dd9ec3872ff","datavalue":{"value":"1003.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$C4FE8E86-885F-4437-9F4F-D0794D42F42C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51760d9d5624b299f3a60fdbe2eaf8946aabc419","datavalue":{"value":"10.1016/S0168-0072(01)00083-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$6515D4AA-2DBE-4406-AD2B-985BFF0F19E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$F4C1165F-175D-405F-A34C-D493F266AE43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85457954b4986af9d8102fe1df325031037075bd","datavalue":{"value":{"time":"+2002-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1612481$6090724A-43D8-4DD2-914E-3A7370806C01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$BF2FE0E2-E287-4E33-9E27-872B972F9063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$8474A445-ECB5-4F48-8CBE-886FACF7D143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$950429E4-A698-40BA-95D2-C93867CDFD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$002E1068-8BC0-479C-B9C1-50F58D0CD960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$A698E649-88DA-4AE5-854F-2454A14CF525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcdc373cfbc4c68ad5bc8820526dde34068b47b0","datavalue":{"value":"1787752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$87B9A9D2-491C-4E4A-91D4-F25FF53CF801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce479eb1de8733c118d4688aef2ac89d5303cf1","datavalue":{"value":"inaccessible set axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612481$74F22878-171B-4BFB-A3E3-7224D37E7E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b75f643bf2e53fe8d8ac0b245eb85fd2d649f7","datavalue":{"value":"consistency strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612481$6F490D6C-0732-4AAA-A8DC-9808FF7FB3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612481$34C9EB46-C6BE-4E2A-B259-0AB20702221F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612481$30449689-6417-4C77-8A3D-4051674DBB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1612481$971040F2-C9B2-45BD-966D-B5F96FC0CAD0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7b789e5c4ae23d8a62c4f95c8c8a7f55b9b5b2c1","datavalue":{"value":"Q61835225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$719DC6B3-9459-408A-BA00-B86CF22E1FA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40673396128817d4c597f6ae8054fc1555f0d082","datavalue":{"value":{"entity-type":"item","numeric-id":691123,"id":"Q691123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$0A491D88-D2A7-4034-8EEB-FF300C22463E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$0604BA2E-6291-4135-BEF0-2F067CD66ADF","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":"Q1612481$B00DA164-A79D-4ECA-9226-9EF2308817DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$43694B3A-F1D3-4F7C-B779-CE39787E9AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$C6EDE8DD-78FD-47AC-8BC4-F2E01504EC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$C281CCCE-4411-4DE7-BB0A-F1FD9ECA7A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$C5CBD743-7142-4B4F-93C3-68750A06E2A2","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":"Q1612481$F3FF2656-50FE-44FB-90A6-413D7D0B66A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$ADCD1220-946C-4E81-BBDC-047AA4BBA2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$B216DDAD-635C-483A-A5A4-9B4D783CEBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd228306c03acaf84fd1c55f443623cadcf212a2","datavalue":{"value":{"entity-type":"item","numeric-id":1210139,"id":"Q1210139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$F64CA180-5000-4186-86C1-18EE857E9D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$0B6259DC-B755-443C-A0CE-97BB1D08D4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b922f86164ec53ebebd54c2fd6306ff8129ffc0e","datavalue":{"value":{"entity-type":"item","numeric-id":3822156,"id":"Q3822156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$3029F25C-ACF0-46F4-9ECA-46DE31E77F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$2F01B495-6E6E-4E58-B5C7-54458F6D9BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$B3C37EC4-874D-4C56-A622-E29CEEA284AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7399a1989b7371f5be019e41f394e87e42894303","datavalue":{"value":{"entity-type":"item","numeric-id":1295396,"id":"Q1295396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$7BE6F3C3-EE98-47AE-8A9B-F17F8C599A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509f914c9bb02a5a157b793e56d4da4ee0369382","datavalue":{"value":{"entity-type":"item","numeric-id":1976875,"id":"Q1976875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$1B8D37E8-B80A-4AE7-B432-73179A0BECB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5821955704d69f2e0de537f81567eb5c572517aa","datavalue":{"value":{"entity-type":"item","numeric-id":2765565,"id":"Q2765565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$4B615D90-7FD3-4C53-89C6-8137851D083E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1612481$2F134D03-A6BB-46E0-9CC4-16056951BED1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"24fb44f30b23ceecb1e3b565319791fc198eb2c9","datavalue":{"value":"journals/apal/CrosillaR02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1612481$EEEC2753-EF07-46F1-8C7E-F3C641514F97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41cf4018836257455506eda4503b549b939eb56","datavalue":{"value":{"entity-type":"item","numeric-id":1295396,"id":"Q1295396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d592533877685f45c1b00a6f57b60acda04cc4e1","datavalue":{"value":{"amount":"+0.7802497148513794","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":"Q1612481$9B8EE273-1A0A-41AF-870B-A1227A357691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbc6b13b649fd11ca13ca8494c2c5b5c6788c80","datavalue":{"value":{"entity-type":"item","numeric-id":2747729,"id":"Q2747729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d592533877685f45c1b00a6f57b60acda04cc4e1","datavalue":{"value":{"amount":"+0.7802497148513794","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":"Q1612481$8E966024-CF8D-4A17-8A7B-5978FFABADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66c10e13f74620788bada434726c825028057a","datavalue":{"value":{"entity-type":"item","numeric-id":2566070,"id":"Q2566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789f3aea47b0e540782b01e326c2ecd3728ff05d","datavalue":{"value":{"amount":"+0.7209498286247253","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":"Q1612481$06F5E540-C191-4992-B4B4-498665370717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e121b9858b7a1ae37942b78943b8cf6dceeb0d3","datavalue":{"value":{"entity-type":"item","numeric-id":3441435,"id":"Q3441435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d340f598193423ddd54c977286ac952fc056058","datavalue":{"value":{"amount":"+0.7198063135147095","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":"Q1612481$8AD485DC-F9E5-4A95-9E13-61D05CA7E44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8567c3c3fa0d29bb2a7b7d1185d746657ce4cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5214792,"id":"Q5214792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402c2ae3761bb437b56f8977d2f9c1d2c8550e22","datavalue":{"value":{"amount":"+0.716948926448822","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":"Q1612481$0D2E3924-1B13-4993-B1D5-CDA5FD4DDC02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1612481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1612481"}}}}}