{"entities":{"Q916656":{"pageid":918504,"ns":120,"title":"Item:Q916656","lastrevid":65358306,"modified":"2026-04-12T02:02:59Z","type":"item","id":"Q916656","labels":{"en":{"language":"en","value":"Domain interpretations of Martin-L\u00f6f's partial type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154442"}},"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":"Q916656$F04C74DA-579F-4F76-B74A-7F41B7433DBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cabba47868b19a8f6b95e3fd919897a34f7a6947","datavalue":{"value":{"text":"Domain interpretations of Martin-L\u00f6f's partial type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916656$89DD2DC5-A3E7-4DA6-B259-76F680C51378","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8df877b9dce75671a93110cfc5c4922191611682","datavalue":{"value":"0704.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$4D0775AA-C277-43B9-B874-0A7929B25B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec1f57af648b51dd7f3451a516ac23b69b8419eb","datavalue":{"value":"10.1016/0168-0072(90)90044-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$C063BF68-99B4-4E7A-A4F7-A55E5515D016","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$CBF43789-E0CD-46DB-BA12-27A31E2CB8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51179f5d07eac4a6f6c8d6f4af0f86b9c901e7d1","datavalue":{"value":{"entity-type":"item","numeric-id":688733,"id":"Q688733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$801F90A2-78A2-43BB-BF29-A78444431396","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$AD2A158D-8E99-4A08-B417-1C4B057D3A8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q916656$17103998-4E81-4A00-89CD-568C1736AC71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fb3364ce07d7bc5e3e616682df19534660aef10","datavalue":{"value":"The Martin-L\u00f6f type theory considered is a monomorphic version, i.e. all type information is included in the terms, with the intensional identity type and containing a fixed point operator but not containing universes. On the domain side, the category DOM is considered, consisting of consistently complete algebraic cpo's with projection pairs as morphisms or, rather, effective such in terms of recursive enumeration theory. Each context \\(\\Gamma\\) is interpreted as an effective domain \\([[\\Gamma]]\\), each (dependent) type A in the context \\(\\Gamma\\) is interpreted as an effective continuous functor \\([[A]]_{\\Gamma}: [[\\Gamma]]\\to DOM\\) and each element \\(a\\in A\\) in the context \\(\\Gamma\\) is interpreted as an effective continuous function \\([[a]]_{\\Gamma}\\) over \\([[A]]_{\\Gamma}\\). Equality is interpreted as set theoretic equality. Two interpretations are given, one of which is shown to be adequate for the operational semantics of type theory in the sense that a closed term a terminates iff \\([[a]]=\\perp\\). The interpretation has been modified and extended to type theory including universes in another paper of the first author [A domain interpretation of Martin-L\u00f6f's partial type theory with one universe, U.U.D.M. Report (1989)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q916656$E94E4B66-3F7A-4DFB-96E7-02C77756EAF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$E9853B66-0E48-40D1-8742-A4F2F4707B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$6587639B-FCE0-4D1D-9BA3-0239535BED01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$73BE4DED-875E-4BD8-8194-F177F707BC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$3381BEBB-79C2-4248-B072-AF32976E88CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$CFF877D0-9B54-47CB-B6C1-2DE46790D159","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d058318ecc2c96a896b7761752a72fb47b3eea7","datavalue":{"value":"4154442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$A546869C-510C-485E-A68F-14F3F9480B36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22d96c9af5d1baa96a1358a867489e91b717405","datavalue":{"value":"partial type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q916656$5A930F07-E546-4595-AC35-AA30E09B8831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q916656$3652E857-8640-441A-8137-A64B674A2F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf670a1f301a3704498b8879b53dadb68d555655","datavalue":{"value":"consistently complete algebraic cpo's","type":"string"},"datatype":"string"},"type":"statement","id":"Q916656$BE603CA3-A309-4872-A967-151C03B6BCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1e29bbc64a56039f8ebe2f79d3fc82889c0726","datavalue":{"value":"effective domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q916656$7FE9302F-799E-4DE9-9DA4-5F4AB7E073E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cbfa849004e33197a47b330112d09bd2b35b556","datavalue":{"value":"effective continuous functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q916656$90BD2FA2-C1C3-4B18-B60B-A8266A088989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19f41903a7b3ddd62cd9d40ee571c7088bec472f","datavalue":{"value":"effective continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q916656$023B5C70-1550-4720-AA94-29BE206D3825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7817090864a74d930b297e2735cb52a404533087","datavalue":{"value":"operational semantics of type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q916656$6415D7E5-F162-4AFE-967D-1B3858C330CD","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":"Q916656$161B65DF-A1C4-47B3-A001-D4AE1CAD67D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4f30e58ebbd44a9b19913fd76fa3633cbc00b82","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90044-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q916656$6BED5DF2-66B2-48FB-93B7-741238466EE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0d9b8797e99d35e8a16917377a85efa0836e3a6","datavalue":{"value":"W2067618205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916656$FD843024-A862-4BB1-886A-775EB458E288","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$660083E8-5E12-4D46-8A4E-FDE2A46D6B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f1fc2c53f8489c262229a49273407a2a8e9cca","datavalue":{"value":{"entity-type":"item","numeric-id":3787462,"id":"Q3787462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$771804C4-38C1-4F5A-9C41-1773A4079653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$3EA52B65-B260-4548-80C4-818A6D3ED5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$19EF8489-2667-4FF7-9BB1-F9C2F0F748F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$1708A893-D4CE-4884-8F4E-291CDD807B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aba9a17aa1b69b4df38ef69d7245386230fb279","datavalue":{"value":{"entity-type":"item","numeric-id":3765011,"id":"Q3765011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$D2EC27B3-5F6B-44C2-82D0-37523BE93A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$4D2E31E4-5BBF-43A3-8964-C4415801C60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6313bd92712173f409ee1f96aff08f4d96c5cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3768897,"id":"Q3768897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$6DB96891-CCCA-43B5-BE32-67785A07C4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9805b5fa6bfdbbc40963bf99daff64ad8032d","datavalue":{"value":{"entity-type":"item","numeric-id":3664454,"id":"Q3664454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$4E8AD0B7-6098-489C-9A76-CF04B443BF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d68f57b282d1f28f1eb37b1f5abc951e25cae5","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$14973EFB-3915-468F-962C-9B8E6BAAFA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$799F5384-1EA9-401C-905B-48B41BB25A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f26a27356d39f30de150c562ffeee04fbf14f0","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916656$8E775253-EB74-4E45-8ED6-8C9FBD3BB9D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e639f832592e3afcd202669f6c7ee1e3749732","datavalue":{"value":{"amount":"+0.9332985","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":"Q916656$243035F3-1993-46BC-8EEC-7EA7B345CBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e76ba6015d4f4ae577a85ab9aa922374daf9030","datavalue":{"value":{"entity-type":"item","numeric-id":1923827,"id":"Q1923827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b865e2ec981137ca414b4a7aab1dc9a76c1b10","datavalue":{"value":{"amount":"+0.92528903","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":"Q916656$396A2461-C515-4284-B10F-C03EE724814B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c3651725a41c7b36aecfde79be609f3a64d549","datavalue":{"value":{"amount":"+0.91364276","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":"Q916656$5B3E9B68-5798-40B8-9305-1A147084F687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c627492fd500f9c724d36db9e0f420687d667a","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9f5d0ea11ea8eebe7bcbe9783b382d4e7477b4","datavalue":{"value":{"amount":"+0.91279435","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":"Q916656$F4D2F844-3746-44C7-9B6D-4FA8AEA4D211","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":"4d67dc2f3d45f6ccea56cfc633e0afe465915a71","datavalue":{"value":{"amount":"+0.90921587","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":"Q916656$6DC5B359-AC8E-45FC-A488-7713931EBFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5fd2eb7196f81280ad58ece249f9ac5f6ed863","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e41e3000c52caff2a58d4500e04e77ccf36443","datavalue":{"value":{"amount":"+0.9069785","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":"Q916656$201C9086-72AF-4620-9C1B-DCBD3B485F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1def75116571000d9b03406beb1cf2ddf2effb0","datavalue":{"value":{"entity-type":"item","numeric-id":1308982,"id":"Q1308982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062c67874fcb6bcdce5486d59e817db198a64d43","datavalue":{"value":{"amount":"+0.9063277","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":"Q916656$EEC26F14-8148-4932-9BFF-11374E6344E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df284813d85477ea847b837d5831ef7f5ee82ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4913b72403417095316fb60cb130383f535b344","datavalue":{"value":{"amount":"+0.9015028","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":"Q916656$F0016FFC-7C7B-4F9F-9E01-B97777DA81CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb868d9d7af9c9dfb8f64f6ce5cb5b4615b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4913b72403417095316fb60cb130383f535b344","datavalue":{"value":{"amount":"+0.9015028","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":"Q916656$D97DAE80-8070-4853-A39A-ADCFCC89F210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e1754b1e254bcd459ddeb8093aeb681f5060b8","datavalue":{"value":{"amount":"+0.9011439","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":"Q916656$C045B84D-468E-4592-ACA3-78E34E628C3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Domain interpretations of Martin-L\u00f6f's partial type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Domain_interpretations_of_Martin-L%C3%B6f%27s_partial_type_theory"}}}}}