{"entities":{"Q2176677":{"pageid":2187420,"ns":120,"title":"Item:Q2176677","lastrevid":73553997,"modified":"2026-04-14T16:26:29Z","type":"item","id":"Q2176677","labels":{"en":{"language":"en","value":"Setoid type theory -- a syntactic translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196584"}},"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":"Q2176677$5D6D63B1-4A15-4304-8EC1-69438642D8CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3feb063e2266c78a0b1bdc258fc8a67afc999e32","datavalue":{"value":{"text":"Setoid type theory -- a syntactic translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176677$AD298364-FE25-4584-ADEB-B5B74BCB0A75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8a0f671d68779f4f436a25501c86ecbd24b3192","datavalue":{"value":"1434.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176677$24393B0C-1A20-4243-8E64-16EA07A09395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f2011485822c86b3067220d29c332bca89d3c7e","datavalue":{"value":"10.1007/978-3-030-33636-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176677$43449508-374C-4E2F-9A65-3E30DAD0A84A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176677$30A9190D-FDCE-44F2-92F9-94A46C002BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb8671b5b74811c81f29e2d55dce0ba176aa70c","datavalue":{"value":{"entity-type":"item","numeric-id":1791138,"id":"Q1791138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176677$71602461-DFBD-4F65-BEDA-FC0AAAF65E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7cbc48b481a6b830ab14eacad20738b43bab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2176676,"id":"Q2176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176677$B5155010-5DD2-4081-B611-6DD16CB995D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176677$9C24B279-D564-435A-A75F-3B7381A90266","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffa913ad058323c97cdd62b11ad32d016ae0804","datavalue":{"value":{"time":"+2020-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2176677$EE9FE652-D0D6-48AA-A00A-505599B862B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176677$041C2C39-5C5B-4791-A878-A2911AB24C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176677$05A65404-8AF6-4BA6-A113-DAE42A19B557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176677$499E4033-13B4-4DED-B606-BC9CD2FCFC5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3227a895de6fa319ae27da573d0549b8b2a2890b","datavalue":{"value":"7196584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176677$D969B85B-07F1-4C44-9E3D-51BDCFFF8F18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176677$1D469E8B-73A9-455B-B3CB-1835748E353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8aa514cce6078d9005224c723c2e91bf199efa0","datavalue":{"value":"function extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176677$62235228-F4D5-49A1-A886-25F24111EDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda5d8057392e50193b0eca80d9562ae727873ec","datavalue":{"value":"proof irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176677$6BDB72DF-57CF-483B-A490-8186E944E7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176677$718C61EE-79CE-4906-A891-E7F5984457B9","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":"Q2176677$12BC8FCA-230B-4045-ACC0-1235AE6D23B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73136ed56db478eb1e0b78ee4db0841481eb6c9f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-33636-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176677$67042576-AACC-48D8-9EA8-E720DB079144","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbbea9764321e8dca0c23f454c654e4fbf6f2cf9","datavalue":{"value":"W2972845810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176677$F7050856-ADEE-4831-82BB-9DCE40EBE95A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1fce09adb870f6abe427a2bee17cef95346f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b324b7e58416c07ac16fcfd64e94204ecfdba711","datavalue":{"value":{"amount":"+0.9360311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$1E61DFE3-5BF9-4884-BEE5-86FE6B20D07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0b94e706f1e4e2af9b9d8269c683d5abde2258","datavalue":{"value":{"entity-type":"item","numeric-id":5889302,"id":"Q5889302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328c8f76a23bd1f3200e25344e20a840b60a35d7","datavalue":{"value":{"amount":"+0.92724866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$09880C61-5A07-4318-AA05-8532A8F81A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6127029ec644153d6bf693e947c028683993b16","datavalue":{"value":{"entity-type":"item","numeric-id":4364521,"id":"Q4364521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5f1830611d9879aa72b7e72a6600e0d524c3c2","datavalue":{"value":{"amount":"+0.9234317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$C1669CA8-FAB0-4165-8A3C-517EF60F7B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c2eca8b57c9084a4918332c184ab71d90172ee","datavalue":{"value":{"entity-type":"item","numeric-id":5477624,"id":"Q5477624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bbc7c81388064b3a724a19812d02f4d999d362","datavalue":{"value":{"amount":"+0.9048128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$C4DA6D3D-0168-4255-980E-B6A2EA27DEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57561d8103315a979045f0c2201c893bcb717a32","datavalue":{"value":{"entity-type":"item","numeric-id":2829259,"id":"Q2829259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3c1c3375691047c11d93928c394a462c921ea8","datavalue":{"value":{"amount":"+0.9014126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$412F2EB5-3C37-423B-9D38-CCD355D17933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2624c403daf333e0e5e23f238bbee4b817c69929","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97542ec7ea9b37f2fe1dc92d8176631bc25e8e5","datavalue":{"value":{"amount":"+0.89778143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$653021CD-CA19-4D76-8301-5C588773BFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c32727fc7188b21a1353002dffd5861198176fd","datavalue":{"value":{"entity-type":"item","numeric-id":1722645,"id":"Q1722645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d6274988276446f42ce6cd981364a7db788a98","datavalue":{"value":{"amount":"+0.8975475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$FC44B6A1-71F1-480A-B895-A6F44CB4BBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ea5736cfd16e14005bf74baeae308dbf1c6ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5958782,"id":"Q5958782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9f92d044fd9baa85bb3ebcc68b81adca74bbe5","datavalue":{"value":{"amount":"+0.89735067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$14AE5EF3-ED57-464E-8223-B3B4D82E43CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b981abc9d5a2934b1599e79993a3b619b1e445cd","datavalue":{"value":{"entity-type":"item","numeric-id":3613410,"id":"Q3613410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65688045ccbba7456fc88ff5ed835afc0805959","datavalue":{"value":{"amount":"+0.89721835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$84FD9E22-30CE-4989-8E30-3E7AD44EBC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a2d7fcfdb352c8e445e61aca2b6f783f913fae","datavalue":{"value":{"entity-type":"item","numeric-id":3768897,"id":"Q3768897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7026aef4bca0a7ee04f21c3e2f64a5884c999aed","datavalue":{"value":{"amount":"+0.89694643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2176677$B762EB5A-910E-4BE9-A505-17E177CCF50E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Setoid type theory -- a syntactic translation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Setoid_type_theory_--_a_syntactic_translation"}}}}}