{"entities":{"Q809994":{"pageid":811842,"ns":120,"title":"Item:Q809994","lastrevid":64543941,"modified":"2026-04-11T20:36:41Z","type":"item","id":"Q809994","labels":{"en":{"language":"en","value":"Systems of combinatory logic related to Quine's `New Foundations'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212004"}},"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":"Q809994$9C198C7F-8000-4680-BA05-11D1F689A0D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63e688fe7c2b6b0e2cfe0650ae6e498ef6ebfeff","datavalue":{"value":{"text":"Systems of combinatory logic related to Quine's `New Foundations'","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809994$05F9C0E3-B828-4D7F-90CC-5EA53A5AFC41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"761dba06b834d3c5f9852effbfa0a0ee900dff52","datavalue":{"value":"0733.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809994$AB2A1B1D-9433-4AD5-B4D6-CECB0D40B4BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d550de0067bd7ee98bed399888cc4b70b87d57bd","datavalue":{"value":"10.1016/0168-0072(91)90052-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809994$41B3DDE9-0598-4E0D-8420-8F12DAF7F0E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a400620885450b6d61e4734ea975ed48418e403a","datavalue":{"value":{"entity-type":"item","numeric-id":190346,"id":"Q190346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$DF85F012-355C-498E-ACC0-5E86ED660324","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":"Q809994$6F8152E5-2508-4344-85BE-E40FC3EC0769","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q809994$4D5A77F1-C6E4-4932-BDBE-CE864DD1A5A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ce11cc26dfc1d1ce49ba352e9fff02945787eea","datavalue":{"value":"The author introduces a weak system of pure combinatory logic to which are added pairing operators and an equality function. This is made part of a first-order logic with (the combinatory) equality and is called TRC. A variant TRCU of this allows for the presence of ``ur-elements''. The author is able to define a weak form of bracket abstraction in TRC which requires that all occurrences of a variable to be abstracted can be assigned a certain common ``type'', and for a restricted class of terms, any common ``type''.    While TRC is of some interest in itself, it comes as a surprise to find that Quine's set theory ``New Foundations'' can be shown to be equivalent in strength to TRC. In a similar way TRCU is shown to be equivalent to the fragment \\(NFU+Infinity\\) of NF as described by Jensen. The consistency of \\(NFU+Infinity\\) related to ZFC is known, the question of the consistency of NF remains open, but this work may provide a new means of answering the question.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809994$C49D2898-4E3B-4B59-BB55-B9CA746CD594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809994$3F09C845-A907-4FBA-BACD-4B78194A856C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809994$818CB8D5-AC0A-4E01-A593-D2FE67014CBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f00a07bb5a8102d8a2508038e8e7d88c4db5b42","datavalue":{"value":"4212004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809994$31FE1903-D3C6-4356-A547-90B094E8DB9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6901fc53765bebb270ffd56a1c62c67ad4912ae2","datavalue":{"value":"type-respecting combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q809994$D0FA78A4-B7F2-4B59-8AF6-C35BAE07ED43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f85ed7d84e1d70751f564fe7efcf348a5d0d8fd4","datavalue":{"value":"weak system of pure combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q809994$6756C397-4FFB-4D32-954C-5403C2A43524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4c8c6b1b0854ac78203a197159054fb4fec9efa","datavalue":{"value":"pairing operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q809994$319401B5-7840-4C4D-9CB2-964FFCD61BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f3c820bf1be31413aea728b8aac62bca22d9d","datavalue":{"value":"TRC","type":"string"},"datatype":"string"},"type":"statement","id":"Q809994$58C22553-193B-4657-ABA2-ED343677F587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d51966154de4f0841b2acf8fdd3b6eaa19c77729","datavalue":{"value":"ur-elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q809994$26AB9AEC-4CC2-4CB2-90F3-103E7D0392D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3d11dcc120c90fedea9eb8b914a38633591a60","datavalue":{"value":"bracket abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q809994$21C00143-CC34-4949-9D80-8EE9EC933F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q809994$1FF8F8AF-CCC4-4D5E-A557-75E3B66F106F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$2B8AF85B-1BDD-4878-83CD-EA97981B5FE8","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":"Q809994$DD26040E-6E57-4EFC-B83A-97A566732883","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":"Q809994$5E89F85C-EDD7-4EFE-90C3-3108F64CF660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95f075667ec564ca3a31f77545e310ff298d8","datavalue":{"value":{"entity-type":"item","numeric-id":5752565,"id":"Q5752565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$11503CDB-66AF-43EE-BF60-21803DF1572E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$868A5936-7897-4F9C-BE87-AA06C725E364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$F13A7088-670A-412B-AD8A-99CA2660B531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef698e7510ea3ba4016b36df73595d79dffd19f","datavalue":{"value":{"entity-type":"item","numeric-id":5675719,"id":"Q5675719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$A2423123-A3E9-48FE-8F7E-D0AB8A0CB2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c74f12a49b18416b8d465dd22234f98be60d8d5","datavalue":{"value":{"entity-type":"item","numeric-id":5675720,"id":"Q5675720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$F0181DE5-1DF5-49AA-AE1F-E5A5BC9D6287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462804e5d0d8d570e06c0dfc040a70acad688f8c","datavalue":{"value":{"entity-type":"item","numeric-id":809994,"id":"Q809994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$CC73E876-B04A-4C32-B790-021B0FD98FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5155f3770ecaf73629e9ee72eb4b0bcb967ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2541215,"id":"Q2541215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$55C529A9-A1F2-48A4-8D18-6A5028A7FB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcedebb23582f9ea1659a09be058d350bd0492f","datavalue":{"value":{"entity-type":"item","numeric-id":4189244,"id":"Q4189244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$13B41945-8CD1-4FC1-966D-CBE44B10B00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2647463f829f26660e8bb00d5526e1cbe5f6e752","datavalue":{"value":{"entity-type":"item","numeric-id":5529477,"id":"Q5529477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$FC408C24-0A96-4390-BFA5-D5C662428B75","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":"Q809994$542C0A7F-25D0-4F31-BA67-2AF9B8CA01BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d892c3cde946be602214ad80068bc8293a9771ac","datavalue":{"value":{"entity-type":"item","numeric-id":5537402,"id":"Q5537402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$C8687FD8-600B-4FF0-B449-B987511E6CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024fc5c9bf31d84f51f7dd41f396f168c12ba8b0","datavalue":{"value":{"entity-type":"item","numeric-id":5765811,"id":"Q5765811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$0D6C9E8D-81CE-4864-A373-6E6362F8E195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fcd707ff1fa76e9dc7e2df7da1ed7d272f95e3","datavalue":{"value":{"entity-type":"item","numeric-id":5835095,"id":"Q5835095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$107DE321-FCEA-45F2-9DFB-3A79528AA43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c247c8da53a6b9013b7b3bc71c9d52cb2cddf69","datavalue":{"value":{"entity-type":"item","numeric-id":5807658,"id":"Q5807658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809994$600D2E9B-BBCD-4F14-AABE-45AE35FC50DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2712cc77f139bb5b0b96ae015a4eb1826f727515","datavalue":{"value":{"entity-type":"item","numeric-id":1208084,"id":"Q1208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dbf0d271737733764f5a8439c0106b8d33dd91","datavalue":{"value":{"amount":"+0.94121915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$55E9FE43-1493-4426-BBF3-E7E49656BFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60c4ae7ce0897dd7ffb0c3ddacf80bb1a89476f","datavalue":{"value":{"entity-type":"item","numeric-id":5845640,"id":"Q5845640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2547d6730e0f26f9c3755e091da16f46ce356fdb","datavalue":{"value":{"amount":"+0.89647746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$73FA2457-33C5-41D3-BA2A-098C97299F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871cf23a0419c6c45ea7f33de9f3af529f09052a","datavalue":{"value":{"entity-type":"item","numeric-id":5937851,"id":"Q5937851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a15d9619783505c0c261e2ed8bea851104988d","datavalue":{"value":{"amount":"+0.88510567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$D9DF1274-BE0C-4B01-B9AB-8231DFA97AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5524c175376fa2ceeac84a5995d7cbb249d203","datavalue":{"value":{"amount":"+0.8819179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$37AA0BC9-92BC-4E14-9AB2-B1B0C1E87D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640c845025dcf098847a39ddcc17182f22e4adf5","datavalue":{"value":{"entity-type":"item","numeric-id":5271653,"id":"Q5271653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbbd0a0bcc6d222b12f22683d7c3f262951acebb","datavalue":{"value":{"amount":"+0.88191223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$8FCA0EB9-6B9B-4D0E-8C4D-90CA3779AAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1151cf4d01d2627a163cad89f1ef1bf62437e368","datavalue":{"value":{"entity-type":"item","numeric-id":5765811,"id":"Q5765811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8de35d9e69c02741dcfaf0be6e22f8ee8512ce3","datavalue":{"value":{"amount":"+0.8725515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$3A580BE3-9068-46C3-BFC1-7A710A4C4BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feddddb00156b6059cb4679c8b4ca0a56e6d2dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5133965,"id":"Q5133965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d159fe7cb384ea049c9ba2243bbe6a1db4698f8","datavalue":{"value":{"amount":"+0.87235963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$BED37744-699D-4C33-B943-E50EED32C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edddd9bcd8d2b4047896e35b6386fcc68b8e740c","datavalue":{"value":{"entity-type":"item","numeric-id":3293394,"id":"Q3293394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed26afd62b51b5827b6317a7426d13802800409","datavalue":{"value":{"amount":"+0.8713923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$99C24D92-4610-4AE0-B1FF-ACDD1A243594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff975e3f85753d860895f97c6854cef1f0d3b9","datavalue":{"value":{"entity-type":"item","numeric-id":2703691,"id":"Q2703691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ddf0cc7bbd83532544041ebde8ca97b25faff1","datavalue":{"value":{"amount":"+0.87107074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$FEAF36CA-43D3-4D4E-AEC8-100BF342AE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf50e02f69cc92ca4515d09baa026e7ef50cb21","datavalue":{"value":{"entity-type":"item","numeric-id":2642518,"id":"Q2642518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c1a8c03c263beb6d27284870a07abe8e8a08d1","datavalue":{"value":{"amount":"+0.86877203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809994$351DCA7D-17EC-4DCB-89AD-93480692CDC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systems of combinatory logic related to Quine's `New Foundations'","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systems_of_combinatory_logic_related_to_Quine%27s_%60New_Foundations%27"}}}}}