{"entities":{"Q4836049":{"pageid":6865629,"ns":120,"title":"Item:Q4836049","lastrevid":47324221,"modified":"2026-01-01T09:11:27Z","type":"item","id":"Q4836049","labels":{"en":{"language":"en","value":"The equivalence of NF-style set theories with \u201ctangled\u201d type theories; the construction of <i>\u03c9</i>-models of predicative NF (and more)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762311"}},"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":"Q4836049$7387A5D1-20E0-404F-9C6F-3052DE4458E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8b12f67f55f593306a9edf332e7f9cbbe07600","datavalue":{"value":{"text":"The equivalence of NF-style set theories with \u201ctangled\u201d type theories; the construction of <i>\u03c9</i>-models of predicative NF (and more)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4836049$B3D801F1-083F-4E48-B473-2A1233BD46AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c930cf77d99597b7dfabae31ac9259f98acb1361","datavalue":{"value":"0819.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836049$1016B4B1-9375-4F53-AD9E-260F72EF8879","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7574136e709123443b787c33b5af6d60ff594ca","datavalue":{"value":"10.2307/2275515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836049$9FFDF462-F930-4A1C-A401-D5917BD22AD1","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":"Q4836049$7239166C-D982-49A9-8BD2-A3DE7BFB248D","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":"Q4836049$EA466FB9-B59A-4B58-9E80-4193B2E60EA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"130e39adf7d31aeb394dfacb8a12a0f0ed2af467","datavalue":{"value":{"time":"+1995-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4836049$151AE098-E493-4A11-AC4C-4BC7D91B00ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836049$6C06F1B6-3FFE-4D06-B398-AF6929284F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836049$4256E9C1-D258-4701-9172-103E29ADB670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836049$C72D674B-8265-4838-8974-DA8287DFA789","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2317b0cadf6165e82fd262060bdee824951c107c","datavalue":{"value":"762311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836049$A639DA11-F691-49BF-AD93-4FA1BBF02C30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d23915f1a9780290ff1592196ed4c07c8748827","datavalue":{"value":"predicative fragment of NF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836049$CB3BE2AD-CB4C-4A24-A327-AED193203865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1493f44a55d81fa3e7021aa74bc6de450951d5cc","datavalue":{"value":"tangled type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836049$FE90E869-1E11-4C5E-BDB0-26AFCEC8EF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c39d6af4c9948da44d153a98f21826520b63a8b","datavalue":{"value":"\\(\\omega\\)-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836049$DF00FB15-7BDA-438A-888A-919F00BCDE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03810b557c51e351970802a26db569fba66a4efa","datavalue":{"value":"NFI","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836049$58921A66-D610-4A98-91CF-5FFC29A0F947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c7f75ee04958e1ad12a8457962f176f5603153","datavalue":{"value":"NFU","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836049$E2D1BD9D-EBC6-4A69-870E-B0F8A7712DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4836049$FFFB62BF-1A3A-4C7A-8769-962B7D671245","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":"Q4836049$8DD7061B-A6FC-468F-A7A9-9F8DBA48D6C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3eff8e105b53d7a99a65f6c11924aa73d86dcb39","datavalue":{"value":"https://doi.org/10.2307/2275515","type":"string"},"datatype":"url"},"type":"statement","id":"Q4836049$77EC9801-6CA4-418E-9FB8-7875434471D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9a3645538cdd95ff3934edba57aac3dbdedba23","datavalue":{"value":"W1990477483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4836049$BA10610A-ABB5-4858-88DA-9F57A9630922","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c58612d318991d4daf764f5c2ca31f6e429a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3947653,"id":"Q3947653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4836049$199D79A4-F5DC-44EB-A3C3-28481038D7E9","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":"Q4836049$3D64842C-1A5B-4F07-ABE4-C1917EA4F50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbc1bd1856ae21ca6b0420a1375ecf136fdc183","datavalue":{"value":{"entity-type":"item","numeric-id":4692751,"id":"Q4692751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4836049$BAAD12F0-99A2-44D1-960E-A7A3E9210520","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":"Q4836049$D641FE0E-D519-432C-817C-75B8297B2944","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3de584122e2e3b524d5ed4904c0574cdde8bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3784063,"id":"Q3784063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199ff79e9781e9c79ae82647896d60c12bd7981f","datavalue":{"value":{"amount":"+0.7780617475509644","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":"Q4836049$6C01FEA1-0F80-4498-A51E-DAFBA47F8412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee796faf2ef2070f29395030e1e623047b48735","datavalue":{"value":{"entity-type":"item","numeric-id":4391434,"id":"Q4391434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51a5d638934335dde21da37c45701dc63172adc","datavalue":{"value":{"amount":"+0.7505993843078613","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":"Q4836049$4278FFD6-CBE5-4714-AB0B-1C45BFF705C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874719621184877ab2da175da7ef2e94e4bd2175","datavalue":{"value":{"entity-type":"item","numeric-id":5457391,"id":"Q5457391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51a5d638934335dde21da37c45701dc63172adc","datavalue":{"value":{"amount":"+0.7505993843078613","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":"Q4836049$026916E8-CD17-4021-864C-AFEDB6E8492B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3704762f91e6084ba8c3091227084959ccfdf64b","datavalue":{"value":{"entity-type":"item","numeric-id":6094138,"id":"Q6094138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652b5a6b99c1cde8dfff2b48e58505022815918c","datavalue":{"value":{"amount":"+0.7459287047386169","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":"Q4836049$563E820A-B2CE-485D-A56F-2A2B03697B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb0d470584dc87c9e7c4a82df69f6253bfbcc79","datavalue":{"value":{"entity-type":"item","numeric-id":4285926,"id":"Q4285926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcb7aa37a4e822fb65ce19fbbffa9b63ad7dd62","datavalue":{"value":{"amount":"+0.7431113123893738","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":"Q4836049$C3A6E60E-BA7F-414C-9C48-99BAD2A9AE4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4836049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4836049"}}}}}