{"entities":{"Q1187539":{"pageid":1198288,"ns":120,"title":"Item:Q1187539","lastrevid":67069332,"modified":"2026-04-12T14:48:46Z","type":"item","id":"Q1187539","labels":{"en":{"language":"en","value":"On NFU"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39461"}},"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":"Q1187539$A0629750-8F29-40CB-AA4E-D621E767D51E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76b926e7ec2078b416f422c4e96e3aaeb3f4e0c9","datavalue":{"value":{"text":"On NFU","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187539$00DB0429-1ACE-4976-9086-01C2DEA35B0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59ef53f7f24eea520cf7a60894ca4623ee7d109b","datavalue":{"value":"0766.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187539$43A67B74-C17E-42AD-8B02-ABD5D52C3898","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a6e94382c867267f400605202ec3bf6635ac54","datavalue":{"value":{"entity-type":"item","numeric-id":190344,"id":"Q190344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187539$1BD9ADC1-84C1-4FA2-B416-9A0B47B3A7E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187539$FB0E95B3-A9D8-4504-932A-ECA5C8549FCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e4d962d2dc96d2f5a9a4662218fd9d693008ec8","datavalue":{"value":{"time":"+1992-07-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":"Q1187539$6AC407B1-E0D8-4044-A7BF-0913D65CD9FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187539$C8A418FC-BF8A-42F5-B545-F074D67B4AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187539$4F48CC02-CA3C-4AF0-BAC3-22D74F5F3BDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e01dd703fa5e1e0375cb44ecf6a1752a4146c98a","datavalue":{"value":"39461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187539$92C0CF67-EA56-4540-AB64-FD48FB197BEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7161bb796f11bb7bbc93c8704084b8b70f9a1fc3","datavalue":{"value":"New Foundations with atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187539$DAEE72E7-864C-421E-BECA-A8683D9C1577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b2891d9d77945d4b2ad0aefacbcd194d9f5a9e","datavalue":{"value":"consistency of axioms of weak extensionality with the stratifiable axioms of comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187539$3048ED76-64EE-4290-AC2D-6880E291F12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ca50cbef40ef07286b183810c37af723d0d758","datavalue":{"value":"models of NFU","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187539$99BDD649-C11E-4A0E-846B-BC9B18F38D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d69e6d816f61fbc1c7f09fd7028131c78dc53c","datavalue":{"value":"axiom of extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187539$6FFEA316-5D1C-43D5-8B7F-6EB92BB5E16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254d09c5eecf3693498040ca642efcdfa1605b8","datavalue":{"value":"nonextensional object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187539$481A0331-E994-4838-8E00-AE396E0303E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e514529cb78b604756585a701df73620563a6e","datavalue":{"value":"full extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187539$99997632-82D0-457A-B24E-0EF61E955F05","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":"Q1187539$CA7AD6E6-A373-47A0-9032-3ECF72F089B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82f95e5be6faa49c7664f97b0b32cd860ae6c35f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187539$ACE8B2CD-804F-47C0-B0BC-86FD97A50C12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20bfd03ced3ec2fb915cc0be92373bf39395f16d","datavalue":{"value":"W4214687220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187539$3574D680-FDEF-4E9C-9BFC-612B2CC93A40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b25d2a943a8274d6176d0bcfddca1b8803942947","datavalue":{"value":"10.1305/NDJFL/1093636013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187539$BF59DAEC-A098-4A54-A928-764D722E156A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96b1a20778a9b073dc1ff26b3283097de8c83cd","datavalue":{"value":{"entity-type":"item","numeric-id":4521283,"id":"Q4521283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01352310ea2b7f6d543120479d65addd8393d1bb","datavalue":{"value":{"amount":"+0.8294355869293213","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":"Q1187539$0C8E4E90-63BD-457E-9264-ECC2703616F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587906763b9be2b528ae7c3b1dc0bbd1f1ae1c28","datavalue":{"value":{"entity-type":"item","numeric-id":2255737,"id":"Q2255737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0529a365827824f9bc30538b68bac45fb374421","datavalue":{"value":{"amount":"+0.8221445083618164","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":"Q1187539$2B91750A-637B-4528-BFAF-0176D7DA5945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a964322defc1b7835bcc24e5926a1000e7d8ed8","datavalue":{"value":{"entity-type":"item","numeric-id":2732269,"id":"Q2732269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec6c07bcf6d760ae3535127655932e44c3acc3f","datavalue":{"value":{"amount":"+0.8093656301498413","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":"Q1187539$F384107E-B825-40C2-8AE8-BF93F7207BEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On NFU","badges":[]}}}}}