{"entities":{"Q3800002":{"pageid":5829908,"ns":120,"title":"Item:Q3800002","lastrevid":81135863,"modified":"2026-05-06T17:48:45Z","type":"item","id":"Q3800002","labels":{"en":{"language":"en","value":"Two Impredicative Theories of Properties and Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066841"}},"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":"Q3800002$7584D48D-CEDC-4B72-B260-9D4678870F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fc8c1b1c218742ce33d2bf117e4cc970c1ad8ea","datavalue":{"value":{"text":"Two Impredicative Theories of Properties and Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3800002$9429EFD8-0366-45F6-BE9A-013894E109FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fe8f1a45f44a159b1c4b47582b138fd6e8c5817","datavalue":{"value":"0654.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800002$43B7AC99-C6C4-4E42-90E4-269E1B49ED97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3800002$906B7BBB-BB9F-4CAC-8B1C-2B9C73F519A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3800002$6966EEF1-6513-464C-831A-9CEBB4A54A79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3800002$2AC61146-8B2F-4BB2-8065-46B1CA8B2FEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800002$25631E5F-9432-4AB5-8782-D3B87F399A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800002$562D0A45-2695-4B77-BD52-3930473BB409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800002$E0E68A85-BCF8-4542-97CB-6F8125039604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b14789327956f459a143e682fc816c85c67514b4","datavalue":{"value":"4066841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800002$CB3CD1B8-C7A5-4389-BE2A-49D1C6BDDDA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c87f2d99d8a916e3a04949e4499bda92ea22fd","datavalue":{"value":"extension of second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$9804ECF6-3EA8-4869-B6CA-25983A262912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa89cf4847230c8c0c271d8f2bf6d0d99986ffa","datavalue":{"value":"type-free \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$923DD530-A2A0-4113-B2F8-C9B556BF665F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480e160099889b839411e5f7559ab38a0c4b194b","datavalue":{"value":"nominalistic interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$D6AEE579-3211-4202-9411-9F1277C36BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9785f5b7fc20ea966a1e917fd891ec29ae273f56","datavalue":{"value":"set existence principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$882732B2-232A-4830-8B83-80A3CF614B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$3A8EB1F5-5739-4B87-96C0-B94CCF3D837D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f17668fd26a36331afbbdcc41bd254d184bf287e","datavalue":{"value":"non- minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$12EB41B4-C608-4B3A-9ECF-29CE676F17B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"189255634229e56e4d9265fb45b5601d472be36f","datavalue":{"value":"property theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$306084C6-07FC-41A9-B7CA-4B1C075C1151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a463b900041dc1b037c7ec165302193552421d","datavalue":{"value":"self-referential properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$9E269E7C-6D8A-4D6E-ADAC-D7E11EC30741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60d1044fab4e9b084315302e0dd0afa1748740b1","datavalue":{"value":"second order models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800002$B14312EE-ACB5-48DA-A412-0E41A8F22E39","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":"Q3800002$24129528-19C2-4532-B627-BBAE3A6B42B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2477e3271333b790abc881fd1d4210ea936b08b","datavalue":{"value":"https://doi.org/10.1002/malq.19880340505","type":"string"},"datatype":"url"},"type":"statement","id":"Q3800002$0E2D548A-1A3D-4AB7-9CD7-E9BFE59DFB3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c573696e22dddfbc4d68c5dee0f94a8fa05f405e","datavalue":{"value":"W2140608525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800002$3D223463-EA5D-4914-A019-A0E92BE33104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c6f41f055006f0b45633817296f1f8f58688c3e","datavalue":{"value":"10.1002/MALQ.19880340505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800002$4B17F8D8-49D7-4385-8B10-D903BE57C79B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c8d33a70cc87972a5377e21500222acf205d13","datavalue":{"value":{"entity-type":"item","numeric-id":1073008,"id":"Q1073008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf509546f4d1f91c4c606c4d5514c35d9948284","datavalue":{"value":{"amount":"+0.7566225528717041","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":"Q3800002$E276DB73-A3FF-488B-8539-EC759AB57C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8586382f7438a8371cc91965106da6ea1efc8a3","datavalue":{"value":{"entity-type":"item","numeric-id":3765745,"id":"Q3765745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dbe2f5e6a5cf34f4ea34105c03acb1c9888b7f","datavalue":{"value":{"amount":"+0.7513119578361511","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":"Q3800002$6E18A470-A453-4994-9737-0B5417BD9C0E","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":"875eb298a7ce43fada518c6758ddd27636a8856e","datavalue":{"value":{"amount":"+0.7289971113204956","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":"Q3800002$F9CBC4A5-7B63-4B95-80C5-3A30692B2B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c76cc0faaf15f2f804d5b115027189eec3d3c2","datavalue":{"value":{"entity-type":"item","numeric-id":5202637,"id":"Q5202637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b71950219c5300a95dc114424ea99fa2aebf466","datavalue":{"value":{"amount":"+0.7238332033157349","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":"Q3800002$D8D82A9D-1812-4D74-A2D1-84F84AEDA8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86362bc377f2323b73553c43b7407669c73b69f0","datavalue":{"value":{"entity-type":"item","numeric-id":3030824,"id":"Q3030824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ffd7baf43bb5524a05856f2d0c92d460c2f0b6","datavalue":{"value":{"amount":"+0.7196199893951416","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":"Q3800002$BFF08BD1-2EE7-4A05-8EEA-84618CB1974C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two Impredicative Theories of Properties and Sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_Impredicative_Theories_of_Properties_and_Sets"}}}}}