{"entities":{"Q2752532":{"pageid":2763271,"ns":120,"title":"Item:Q2752532","lastrevid":83100464,"modified":"2026-05-07T06:03:02Z","type":"item","id":"Q2752532","labels":{"en":{"language":"en","value":"Extensional set equality in the calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1661168"}},"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":"Q2752532$F9617173-31AC-4485-8A20-34FB55D301B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74fa6ae7f7673f04ca2924bb5f76bc4925836bcf","datavalue":{"value":"0984.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752532$45C5F82F-DD94-4E56-8A09-C38FA11839A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c8a82181abf50fa906f6fa96d701d7aa12bbdc","datavalue":{"value":{"entity-type":"item","numeric-id":242949,"id":"Q242949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752532$F209DE4A-7F43-4F22-B418-3099B112D3C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05d02d494e311c112f365e2abe0dc31f2e442bf8","datavalue":{"value":{"time":"+2002-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2752532$84567451-2798-4E25-B085-65B684CE0082","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752532$945D23C8-09EB-484E-B525-262C5E27A595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752532$0DF064A7-6DD4-4C12-856D-B95AB402CBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752532$C318CD65-F7BE-429B-BC7C-8728F31E0C79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6c7e49f0c4162457fbb50cde08967881da5e43b","datavalue":{"value":"1661168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752532$0791685C-908B-460F-AF67-E69733114360","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752532$35ADFAFC-D7C3-4CA1-AC01-85A7CD6F0EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752532$B16737F3-2355-4E61-B29C-A2B268E86499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752532$BC86A5C3-BFDB-43CB-8AC6-1F8AEBF29420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752532$CABC5DDB-F9DC-481D-9B00-1DCD9CBE7F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"591475c61df512ebd94f29d5398c82d74d70fe2a","datavalue":{"value":"trusted systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752532$26325386-9158-45B5-8196-EF031FEA20C3","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":"Q2752532$79F8915B-9569-4363-BAF8-38464639E01B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"033c2463f88a71759c6e6db69583bbdeddd5cf11","datavalue":{"value":"https://doi.org/10.1093/logcom/11.3.483","type":"string"},"datatype":"url"},"type":"statement","id":"Q2752532$AF5702EC-89A1-4837-96AE-67D8EC137A36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad4e3048535e5bf9d8bb7d3be139e5532c5a39e9","datavalue":{"value":"W2013983736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752532$28186922-6ECF-4EFC-B192-9CECBD0608BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70517b52b24a85abbdd024562ca45db768203722","datavalue":{"value":"10.1093/LOGCOM/11.3.483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752532$FC8BF9A8-5FCE-4DE7-AA6D-DF008999B975","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9630f519ded2b2e8126e543fc729b3e3b0cba6b","datavalue":{"value":{"text":"Extensional set equality in the calculus of constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2752532$787F89BB-0456-497A-A848-8CC7602EB73A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752532$B7BD358E-C2A6-4D40-867C-39702335873E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7c2a02b3bd3c3395f5f9e39a4a7295b850b07b","datavalue":{"value":{"entity-type":"item","numeric-id":5477662,"id":"Q5477662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea1ecfa505bde314b44c756a6bd368a5bff05fc","datavalue":{"value":{"amount":"+0.7758964896202087","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":"Q2752532$6A184828-5B74-4518-BAF8-99346E4BACAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229fa832c9f679ac8d467437b0c437e298bca5df","datavalue":{"value":{"entity-type":"item","numeric-id":5961667,"id":"Q5961667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10287f96ce325ad03988e87c5246fdd33852c946","datavalue":{"value":{"amount":"+0.7739764451980591","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":"Q2752532$A392D889-44E3-437B-8758-B719528332B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4435c7a3cc2ddda52d1518afe1703c65d1ca668c","datavalue":{"value":{"entity-type":"item","numeric-id":1885479,"id":"Q1885479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8d83ff22ea9467612a603f6143ebfc6b54406f","datavalue":{"value":{"amount":"+0.7692670226097107","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":"Q2752532$0A0B41E4-D135-47EB-91A4-C1CB1BB69656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975f928521d81d92bc04aa78fb9ff3e1a23b2c9b","datavalue":{"value":{"amount":"+0.766928493976593","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":"Q2752532$9065F35C-670F-4002-B803-7204443B4366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70cc80044f2ebba1d573679a54781940d183a73","datavalue":{"value":{"entity-type":"item","numeric-id":4531082,"id":"Q4531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb2345a11b5b378e53b7361f08cd3bfe837b8bd","datavalue":{"value":{"amount":"+0.7537160515785217","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":"Q2752532$1BCEBDE4-BB92-412F-A4F4-44D8267D4173","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensional set equality in the calculus of constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extensional_set_equality_in_the_calculus_of_constructions"}}}}}