{"entities":{"Q4391434":{"pageid":6421033,"ns":120,"title":"Item:Q4391434","lastrevid":46974381,"modified":"2025-12-25T23:37:05Z","type":"item","id":"Q4391434","labels":{"en":{"language":"en","value":"Extensional quotients for type theory and the consistency problem for NF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1158362"}},"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":"Q4391434$56AD6078-9761-4CAF-8C27-F036A78C0E85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6203f6e030578754738ec814671298f19bdce566","datavalue":{"value":{"text":"Extensional quotients for type theory and the consistency problem for NF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4391434$62089831-EB1F-4938-AD8A-B3B3970669C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41e94982a5ba5dd7bd71ea0a5579e6e14857c7eb","datavalue":{"value":"0904.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391434$273F4046-1317-4529-96F7-CFCB29539639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8c1b346314286d848c2b0019ed25cb29e43645c","datavalue":{"value":"10.2307/2586599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391434$7FD34584-4E07-4B97-9123-BFF029EACB53","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":"Q4391434$859902D8-27D4-4902-B38E-7178C26433CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"189140dcc1279ff4c35dc652b8e8fd6f1121522c","datavalue":{"value":{"time":"+1999-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4391434$58CD88D9-738F-42CC-80D9-17907412199F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391434$DBCB87DD-0611-4E00-85C9-4D40473F3748","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6aa02e9acd5a789673be9d563e5e72159bd37f5","datavalue":{"value":"1158362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391434$189C8454-4BD0-4F99-B4E2-994418CE24A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391434$447253EF-4998-4CA4-9060-DDE4C8241627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391434$2283A80D-2B30-4350-8D2C-FB729A1A89D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391434$29A35F5A-D26E-4E43-B129-90CE583DF54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd2fdd460609aab6507ba26d4646a9b25825579","datavalue":{"value":"extensional quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391434$7A9229AA-95B2-4F42-AFDE-D4AA701172A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fc614b48186540d24687df511b62cccd50cf836","datavalue":{"value":"negative types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4391434$16D02C3C-CB97-4142-BBFB-54D39B7B3B5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c4fc41e0193b05a18eced3ceac939577eb186f","datavalue":{"value":{"entity-type":"item","numeric-id":1333308,"id":"Q1333308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391434$F1B588CE-FE9A-44B9-9314-F8003D6D6EBC","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":"Q4391434$BAA1C5DD-C022-460F-A7CD-95ACDB795595","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d787ef8789385dc87806d7943650728128e5a7f","datavalue":{"value":"https://doi.org/10.2307/2586599","type":"string"},"datatype":"url"},"type":"statement","id":"Q4391434$F66B8C87-883F-4DA4-A53A-A6BF8CE179A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba95e77b9ef3291e3a46e35895ba6e79a24ca3ec","datavalue":{"value":"W1981710605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4391434$D3751A85-A46E-4E6A-B983-9F3554EDCFB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4283b38014a9d9c5c4f0f9ff707ca9a81f7c37","datavalue":{"value":{"entity-type":"item","numeric-id":1337508,"id":"Q1337508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391434$834D45E0-1646-496D-AF4C-BC9D02F656E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89aa29728d0533d0bfe28ba89984728e261ebff","datavalue":{"value":{"entity-type":"item","numeric-id":3265654,"id":"Q3265654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4391434$40FD6E5A-5025-4FCA-A346-4717726F4D3F","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":"Q4391434$9B2E3225-B05C-4086-811C-80DF4A90B374","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":"Q4391434$EE61D1F5-4FBB-45A5-B1AE-025567C8821C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a57536bf7e139eadda4bd97971e81eefccaddbc","datavalue":{"value":{"entity-type":"item","numeric-id":3426575,"id":"Q3426575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f834c1ec90cfbffed10306b548f44f1374d6262","datavalue":{"value":{"amount":"+0.8003605008125305","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":"Q4391434$819A6F3C-9CC8-41F0-B675-89DE57054F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202ee3d238661a80c45ac993e46e3c6f22ebe000","datavalue":{"value":{"entity-type":"item","numeric-id":1187539,"id":"Q1187539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a493aadcc57063f3462a904c0331f1203b8adb5","datavalue":{"value":{"amount":"+0.7657602429389954","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":"Q4391434$6626A4AB-A3E3-492E-AD6F-CB40052B755F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3f2e6b2d0de0721a45a9b6c582bd21a71455ad","datavalue":{"value":{"entity-type":"item","numeric-id":3590905,"id":"Q3590905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33e8b5103053c18d27da15d958aed80179a132f","datavalue":{"value":{"amount":"+0.7626475095748901","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":"Q4391434$33D00933-2FBB-48D7-8AA3-85FC7C43ACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede2ddbb7352233b4790453d9a7da216577db840","datavalue":{"value":{"entity-type":"item","numeric-id":4836049,"id":"Q4836049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68eae6d92a08763828ff401289026b68083322fc","datavalue":{"value":{"amount":"+0.7551795244216919","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":"Q4391434$163BE9D4-6EDD-4640-9FAA-64663EC2B7F8","rank":"normal"},{"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":"dd643c3bf254cb42cdcfb73d2c03e23d7a1a8e2c","datavalue":{"value":{"amount":"+0.7520236372947693","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":"Q4391434$FDECE140-A661-4235-9DB4-B56CEAF7E49C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4391434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4391434"}}}}}