{"entities":{"Q3625679":{"pageid":5655585,"ns":120,"title":"Item:Q3625679","lastrevid":80839088,"modified":"2026-05-06T17:06:57Z","type":"item","id":"Q3625679","labels":{"en":{"language":"en","value":"Three extensional models of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551423"}},"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":"Q3625679$5AF666CF-954C-4390-A71A-7C8A3C9F50AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c3e45f625b796a8f1c7c4436bc499ff5f75d9dd","datavalue":{"value":{"text":"Three extensional models of type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3625679$AEF46B1A-6EB6-4F9B-93E0-E4F6D7C99D78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de5f03021ec6f8549960497ad113c3cec70c7af3","datavalue":{"value":"1184.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625679$8821F559-6C13-46A0-8FE2-697BDB98FC6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3722920924690166511e0e737687ae12fe790c45","datavalue":{"value":"10.1017/S0960129509007440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625679$A2CD7C3B-DD45-417E-A671-4BD0C34A335E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$E8101BDE-9A54-42C3-BC82-0673762466EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$54DF72A9-3F43-4629-AC0E-F0E51EB02993","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d5ff1dc86e495b18ee5143b26eb302034c24729","datavalue":{"value":{"time":"+2009-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3625679$75F72847-4FDB-4D6F-9690-11FF6048C34A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625679$9CA12242-0E80-41B6-8CEB-EB0DD321193C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625679$F3DC6B5D-5D74-4BD8-92B1-1E1F0403AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625679$A39B651B-DC2B-4604-85A8-BCD17B19C713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625679$31080390-28C3-4839-84C9-7F5BE8A26D40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"369ebf4a6b2a68c006a040bb8cf1a4d3cb13b44f","datavalue":{"value":"5551423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625679$BE53D894-C712-43AC-A120-FA2D545AEF6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625679$C4255C29-185E-421D-B208-FBD0AD5C6B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5c87fcd639a8f5d38124c5c135c89f5eadb015","datavalue":{"value":"setoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625679$AA129A4C-5F3F-40C1-96BF-F36B218A13C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3074be14ea1631de6318e2cfbc1ccd5e5eb4a2","datavalue":{"value":"\\(W\\)-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625679$7A24715B-563F-4188-9E84-910DD6538F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e23e8eb8c5d615e76c48678fd53ac72f752a7f3","datavalue":{"value":"exact completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625679$E223454A-6BB7-4B31-9EE7-FFDFEDB42803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a730f1d1b9d287e2d1ac2077f0c901fe81debfd8","datavalue":{"value":"\\(\\Pi W\\)-pretopoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3625679$377B9315-61DD-416C-ABEF-2056A6BEC73F","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":"Q3625679$3A2AD215-B66D-4B94-8433-7CD5C4E8D154","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26834783197c6a881875fa9e4f66880dee84a0fa","datavalue":{"value":{"entity-type":"item","numeric-id":1843491,"id":"Q1843491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$AFAB95CA-4CC4-43A3-8742-26B7621E82E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$1AB36099-282D-4C49-B1A3-0E2F6889FF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6e84dc7d2442795960d241851cf13bc84741e4","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$7126FE5E-337C-4FC5-9A6F-BE8C73BE10C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$981E208C-29A3-4CD2-B5D1-CC2B8B03753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$D3082181-EA11-43DB-BF4E-BF124F57914E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$1B76E833-0650-42BB-A7F1-FDC201D44398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792d2ca0d2690e86d04df49a88e97b495821a08","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$6FE1E03B-F8EB-47D2-A0A9-6B2D41F0D6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$E71846B4-DE93-4EF6-95CF-B0266FD8626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3625679$1134BC67-D634-45E8-BA6D-9DE65FB55527","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f97fb8051311383feef51441dcabb7e1c474aa2e","datavalue":{"value":"https://doi.org/10.1017/s0960129509007440","type":"string"},"datatype":"url"},"type":"statement","id":"Q3625679$E9CDB057-487B-4FCA-AFE0-FA29870CD813","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06b4adfd5daca9a43d841df614a2060f24d268f7","datavalue":{"value":"W2105781220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3625679$4C9EF61D-7503-478E-BA73-B1ACD5F524BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28c114afc65581fbf531524284c58cfb0c94410","datavalue":{"value":{"entity-type":"item","numeric-id":5277836,"id":"Q5277836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32cba82e98ded7f58dc3f1d0a95bd6e46337bae6","datavalue":{"value":{"amount":"+0.81501096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$ECAFC4B0-45EC-4EB5-819A-B04DE6BEB188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b229fdf3be6e29888a59c1cd99bc0786aab224e","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e7745ca9e2ff53e36a31a6b59dae3ffce583f9","datavalue":{"value":{"amount":"+0.8001737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$01D9CBC2-6239-4EB7-B692-D6DAC4CA6FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c9c8efff77095a3d15ee0a6141ff04f174d66c","datavalue":{"value":{"entity-type":"item","numeric-id":4596801,"id":"Q4596801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ba27c54c465d1ce161993c22d8c992d5ab464f","datavalue":{"value":{"amount":"+0.79464614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$90F91FFD-DE4A-4A5D-9135-7C4888FE7B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81622c7d1e10e3d3586021e9b2a8f69e94eb54d4","datavalue":{"value":{"entity-type":"item","numeric-id":4647577,"id":"Q4647577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17621ade8e1ada897a9df3b0c1aba6e215ff70b5","datavalue":{"value":{"amount":"+0.77658564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$2DA1E8FD-CC4B-4E4A-84F6-2E5BD44AE7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e0fa50aed5e6e993774fa722cdde7695323781","datavalue":{"value":{"amount":"+0.7757186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$E2DD2EA4-5D37-4726-85BC-BFDB41538919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c33c405f9fffcd4f4a17da99e4d2242ac5842b","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14467025ab488a4946f6dfa29777939117cb994e","datavalue":{"value":{"amount":"+0.7702754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$49F206F6-6C3B-4216-BA0A-6E8ED6C77CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc9fa361fa3867f7717436ced2f985449798e05","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4270cb015ec282d32e434359a7887f139912e8","datavalue":{"value":{"amount":"+0.7697819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$B306B5ED-E900-4B7E-81FB-BB88D55F30E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b26fe5ac7a27289dbae817b7d5587d50b620974","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ab1d43b3d6761cb06403f0ad3d138ff121f77d","datavalue":{"value":{"amount":"+0.76777565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$1855D43D-FC9F-42F2-921D-C5414C7FB6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292e4b6159ff83cd31679ef3d96550858872f6db","datavalue":{"value":{"entity-type":"item","numeric-id":4246949,"id":"Q4246949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96c81c91b7a9733fbb4738ab0c241f6c9951d92","datavalue":{"value":{"amount":"+0.76170844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$FBD83ECF-12F0-4269-8A15-117B1132E801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c700c00cfaf31e5a7d9e0e561fb4b9541cb82b","datavalue":{"value":{"entity-type":"item","numeric-id":4715478,"id":"Q4715478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8b7b8f5f1869e91a4caac2a943e3081b48ba09","datavalue":{"value":{"amount":"+0.7591945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3625679$0B6B58DE-F791-46A9-B8B9-EE6AFE4B3C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three extensional models of type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_extensional_models_of_type_theory"}}}}}