{"entities":{"Q3947653":{"pageid":5977558,"ns":120,"title":"Item:Q3947653","lastrevid":55071541,"modified":"2026-02-03T09:40:11Z","type":"item","id":"Q3947653","labels":{"en":{"language":"en","value":"On the consistency of an impredicative subsystem of Quine's NF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765770"}},"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":"Q3947653$D42A6CA4-1BCF-4599-B4FD-643357605145","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"188c8090a936959deb985f73980aab91a2a3779c","datavalue":{"value":{"text":"On the consistency of an impredicative subsystem of Quine's NF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3947653$83579989-5A11-4AE1-9A33-4F74DEB6F93C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56a361f8842c55ffe5a53a891b3837e0f80f9dcb","datavalue":{"value":"0487.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947653$8EC66350-5C95-4228-B5E6-64722D6C912B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bdff916aed46ce4ef5d35975e9268c58bd8a992","datavalue":{"value":"10.2307/2273386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947653$8161E459-D7A1-4359-A384-365C53A5C07C","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":"Q3947653$0A974CDF-2AA5-42FC-BF7C-AD24DF08A396","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947653$8DAD67CB-C09E-4BCA-98C5-4B502E857BCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3947653$663845D7-F12B-4624-A5E6-FAE192AAF9E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947653$C353FDDA-3F71-46D9-8C8A-3E7887709962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947653$290137A8-3677-41A8-8A5D-C0A326B3701E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947653$9E693AD0-ADD7-4C02-866C-EEE04E753687","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51630a6ea6fb97e6b8e0e0d61529511ff9f45bbf","datavalue":{"value":"3765770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947653$E6D4AF27-E61D-4267-97C2-BBA48BBFE6C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947653$4C121399-760D-4082-BAE7-7AAD154963C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d137000f9b7c7d2c203afbba8b71b02580d1868d","datavalue":{"value":"comprehension axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947653$0F2C87C3-A9A1-4494-A267-9D138B2678A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066b7ecc966ca2efc5a7bccf3155c8eadf0329fe","datavalue":{"value":"full second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947653$D7FE267D-0217-4BA3-9584-1FB766D6B798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d596f0fc24366ab133ec2a89a17292a1a79d8739","datavalue":{"value":"predicative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947653$3CEEBE22-9E19-4655-87C2-DFA4BB898434","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"502f654aa36ae1c41f8d815b2b2854b2d3293449","datavalue":{"value":"Q56031501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947653$1151951A-A4F1-4265-9A64-D1884B5CA48A","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":"Q3947653$62CF29D9-C843-4E59-9504-DA29098B7AD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64892e638350cf0236d6029dc1ab5d8cb322fdb0","datavalue":{"value":"https://doi.org/10.2307/2273386","type":"string"},"datatype":"url"},"type":"statement","id":"Q3947653$FB71A1A3-47CD-4733-8388-17C836A06C94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63ddda78fa0c11eebbbdc89404fcc97627837248","datavalue":{"value":"W2058981710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947653$0D45BA12-5DA9-4DF5-BEF6-D28FB3796820","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a081ea08ba2e797942f4ce0b855a7607d538d2","datavalue":{"value":{"entity-type":"item","numeric-id":4156774,"id":"Q4156774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947653$2331BEB2-8190-484A-A910-D79EA451B766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947653$45E413D1-4BFA-4DEE-8D12-72BB35616DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ef55dcefacf92ddb0a54ab155052e566f997f5","datavalue":{"value":{"entity-type":"item","numeric-id":5819559,"id":"Q5819559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947653$5D9C4F98-DA6A-45D4-8069-4CABEEE16966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947653$C5EFFB3A-652F-4A1B-86AE-9534A9313B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdacb15970ade4ddbb0831af67203cfb36eac25","datavalue":{"value":{"entity-type":"item","numeric-id":5607217,"id":"Q5607217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947653$19778672-A727-40C6-AA60-BBE9EFCEFF21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3947653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3947653"}}}}}