{"entities":{"Q3066796":{"pageid":3077512,"ns":120,"title":"Item:Q3066796","lastrevid":80012096,"modified":"2026-05-06T15:14:22Z","type":"item","id":"Q3066796","labels":{"en":{"language":"en","value":"Consistency of strictly impredicative NF and a little more \\(\\dots \\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835168"}},"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":"Q3066796$ACFB3E2A-4E9B-4C7D-BDBD-2A9EB643676B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ef9c2d14aadf72b2db74c2e7d31628ae7e7bf5","datavalue":{"value":{"text":"Consistency of strictly impredicative NF and a little more \u2026","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066796$3DE21651-305C-423C-A618-6CE08022EC0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4465cb3a7deb54130ebdc9ebab69780967019c27","datavalue":{"value":"1223.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066796$FFB3A04B-D0F8-43A2-824D-1C6D4C29DFB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6beb43d86d5f358e4b3c554f2d0e523cdd059c36","datavalue":{"value":{"entity-type":"item","numeric-id":1861329,"id":"Q1861329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066796$4D70B58A-A6AB-4190-92B9-14C48A9125F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"116fa09142602a6e0facf41839050cbb16a96129","datavalue":{"value":{"time":"+2011-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066796$E1B4B0E0-8A15-469A-8702-97859DF68BCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066796$45F827CF-7408-493D-9E56-8B0567331B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066796$DBD4B6CB-23C7-491A-BBBF-A6744E9253AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a16c4015b4e1a54c2c335cb33e6a493dd8ae5b82","datavalue":{"value":"5835168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066796$2B7E03C7-D995-4289-8D72-73F8AFBF96DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c336e8030c0af2f13638deb5e8d7cf4dd1d110","datavalue":{"value":"Stratified Comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066796$FFD774D3-B320-49E0-B1F4-6EED6E2CD12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066796$1F78969E-CEF7-452A-8B43-3B458131C125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a043f1cd8978ae45142c3155826d622f7b87448b","datavalue":{"value":"fragment of NF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066796$01D62466-4DF5-4990-83CD-A5074ABDCDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11a27d8907c05df0a383cf8d531cfac0fe9e5bec","datavalue":{"value":"Frege natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066796$629728F6-6886-4F6E-B5FC-A10C56892797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0f61b2759f92db78c8412624293cfb0132960f","datavalue":{"value":"strict impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066796$E96BEFA6-96F6-41D3-9550-C0373ADB70E0","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":"Q3066796$BBA07C55-BE00-45EE-B5A5-D95059185C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f7aed40991ce7ae984530eccd2df1da7e5f4835","datavalue":{"value":"https://doi.org/10.2178/jsl/1286198149","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066796$4258683F-6944-4182-BA43-C5859C73A6D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50e3f24511ab3fe4c50b83a4de607e1ea34bbe0e","datavalue":{"value":"W1991106725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066796$A8802F07-7EAD-498C-8B1C-239808A56607","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":"Q3066796$9A3FC864-E6D5-4318-9773-CF3961C5239A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fead97b242bb4a1886989689df9fd0fe5b0ab526","datavalue":{"value":{"entity-type":"item","numeric-id":5937851,"id":"Q5937851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066796$D6E1EB9A-200D-4D1F-B376-18A40CF798D4","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":"Q3066796$170596C5-F173-4A30-80C1-D448F259C8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066796$64C338D4-4A11-42F9-B2D2-B5B210408C02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f71937c195987beb2a98f233905f027ddedd45b8","datavalue":{"value":"10.2178/JSL/1286198149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066796$26AB3B35-5B6F-4EAF-8701-086F30C24182","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":"Q3066796$D7A3E39D-55AC-4CC7-BE10-A6E60C292EBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63709df2f21b277ec9e358c8e4fb3115836484ef","datavalue":{"value":{"entity-type":"item","numeric-id":3682481,"id":"Q3682481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027adde37dcf6d7586dd0eae7ef41f404a60c1b4","datavalue":{"value":{"amount":"+0.7932766079902649","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":"Q3066796$AEA1857F-8E6E-40DF-AD87-0CC1DAA777BF","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":"0868f31325812d578d90e4e4d308424cddf4cf36","datavalue":{"value":{"amount":"+0.7603222131729126","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":"Q3066796$0F7CE487-3713-48D3-9457-172A9D875CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f7f5369f527d5f4017c1403eb0190c431506d0","datavalue":{"value":{"entity-type":"item","numeric-id":3099307,"id":"Q3099307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a495941a6cc14dc4b3a920b1df713a15baebe6d7","datavalue":{"value":{"amount":"+0.743481457233429","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":"Q3066796$39ECC971-EEE0-4FCC-AC35-40F4CEFA2839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536d29cf8a01295c47b40758461788b2d900a7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3581800,"id":"Q3581800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bed2cce61d812646492ca1d6249e1093c8a2b09","datavalue":{"value":{"amount":"+0.7376461625099182","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":"Q3066796$4815C3F9-303A-4B80-8F03-334E8EF63841","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":"b8b7622b534801968f9625e6309b2db4663603b2","datavalue":{"value":{"amount":"+0.7320232391357422","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":"Q3066796$669AA81A-7A8A-41BC-9B20-C4F32454409E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency of strictly impredicative NF and a little more \\(\\dots \\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_of_strictly_impredicative_NF_and_a_little_more_%5C(%5Cdots_%5C)"}}}}}