{"entities":{"Q4925162":{"pageid":6954744,"ns":120,"title":"Item:Q4925162","lastrevid":51739283,"modified":"2026-01-19T18:50:45Z","type":"item","id":"Q4925162","labels":{"en":{"language":"en","value":"Strong, universal and provably non-trivial set theory by means of adaptive logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174085"}},"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":"Q4925162$10097A32-01A9-448C-988F-6CE89B28C4A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45b97e91b965655a878b76d2bd5d26e1d7e774c2","datavalue":{"value":{"text":"Strong, universal and provably non-trivial set theory by means of adaptive logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925162$2EC1E48A-C9AA-4FFD-9119-7AC97D8E815E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd51c71002164e1d4bb56b5003b0ab58432c6eb4","datavalue":{"value":"1284.03240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925162$F7E8C6FA-1C3B-415C-A7DB-72346D65D272","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0be1e92c37e45bee89521c460eed481fa2fc7d7","datavalue":{"value":{"entity-type":"item","numeric-id":300554,"id":"Q300554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925162$60717DB6-738E-44C6-BF9C-3E77AB7C9C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1333f5ea32121d60563094ddcc091f8ab3e533","datavalue":{"value":{"time":"+2013-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925162$7EE4A186-7430-4F89-A959-158AF8D8A67F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ea61e1f467c87b2ffc55dfba90129a85f8e8905","datavalue":{"value":"https://semanticscholar.org/paper/ed98c85409ec6e5c1178efd68bb816a51d6ffe68","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925162$2A1C5839-B899-4749-9577-3AD9CED11545","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925162$4D87E2F8-D969-4FF9-A156-53FE82CEBCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925162$6F20C405-9627-4832-97C3-67B01837DDCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25df30019297ba62d5d7639f2e6103ecfe06c986","datavalue":{"value":"6174085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925162$89F2D171-BD6F-4116-AC7B-3250026A254C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1457938b6d2b3e430ede96d78ccd0e4407a039b5","datavalue":{"value":"adaptive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925162$C63D0481-8EAA-45C8-BC4E-BD153F6FC3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925162$8507F732-5653-4D94-AC91-D8156689F1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83db792545a3218e3147830a29873ae6f87ee54","datavalue":{"value":"axiom of foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925162$CDDCD23E-FDC1-41BA-B1EF-E137027D9295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba246cee03c3eacce1b88d3e0815808f190de75","datavalue":{"value":"non-triviality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925162$9142E639-E089-4032-B426-39B2230B0C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e2d7c0664f8d559d779f9560e787aaa14529ba","datavalue":{"value":"Curry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925162$30916C6C-2676-4659-8423-FF8829553BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68138c6c4f989c8583da9383e27778d5268533ba","datavalue":{"value":"ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925162$16119FFB-45FC-43AB-956E-FFF6A2C8A5A8","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":"Q4925162$30AEC145-C615-463C-BFA8-B9360A3A4560","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"016e4230ad3311a0d81f3a2938a8c68bfbe92234","datavalue":{"value":"W2098017273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925162$7B512E13-5A38-412E-9A59-7DAF8D7F7BAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e287cc66923aaac8de7166a331d3302aacea628","datavalue":{"value":"10.1093/JIGPAL/JZS025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925162$1CCD1E56-509E-4A67-80FD-5A03F0AABC63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925162$302256DA-F06B-4895-B64D-561578FCF7E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2798024212bf014eee04c29dbf1330c358b45a0","datavalue":{"value":{"entity-type":"item","numeric-id":831216,"id":"Q831216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9765976dc0f87a2596280464e39c9c5d5cde7b97","datavalue":{"value":{"amount":"+0.8487780094146729","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":"Q4925162$4C58CF1D-9E49-4360-BFED-5841A25D7A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d9d76d9af9cd2aa180f0c4ec4344dea0f9aee1","datavalue":{"value":{"entity-type":"item","numeric-id":2909754,"id":"Q2909754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8060b72b72fb6e22c4843be5dc05466bd456e53","datavalue":{"value":{"amount":"+0.7872526049613953","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":"Q4925162$E5B465E3-D51C-4175-AD3D-269DC7D7ACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86362bc377f2323b73553c43b7407669c73b69f0","datavalue":{"value":{"entity-type":"item","numeric-id":3030824,"id":"Q3030824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3288b7c3a8050adf5825edde7c00be2490f0dc","datavalue":{"value":{"amount":"+0.7764115333557129","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":"Q4925162$788B1388-C55B-4A92-855A-62FB5BECFC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91823bd4f9c20dbccdf2dc47206c44cfa0c107f6","datavalue":{"value":{"entity-type":"item","numeric-id":3760537,"id":"Q3760537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1812a4f94483f854b3daf8b9c7bb485f4d529102","datavalue":{"value":{"amount":"+0.7697374224662781","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":"Q4925162$9EA63D9B-3567-4C5F-B485-2B728D75BC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52cbb1a22599c622fe48ac2f26a32030c4facf33","datavalue":{"value":{"entity-type":"item","numeric-id":965901,"id":"Q965901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9d2f043a1c35720323f6b33cb8cfb00111ffa3","datavalue":{"value":{"amount":"+0.7631202936172485","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":"Q4925162$08701888-8351-4B45-935F-6DE001551997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925162"}}}}}