{"entities":{"Q1260645":{"pageid":1271395,"ns":120,"title":"Item:Q1260645","lastrevid":67385286,"modified":"2026-04-12T17:16:15Z","type":"item","id":"Q1260645","labels":{"en":{"language":"en","value":"Typing in pure type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 370444"}},"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":"Q1260645$51B4107F-5740-41B5-B2DE-CAA1CA00B233","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df1ed57021cf61574445f4baeb70655fc6bd0cb0","datavalue":{"value":{"text":"Typing in pure type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1260645$A48A9021-4E8B-450E-8644-33C13A452FD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31c8c312e2aa9c3cf1d0839573c706e4156a1433","datavalue":{"value":"0785.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260645$A4FD9D60-A47E-4C3B-B59E-D825CA736BAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01d49f8788aedb854d1b269f27230a369b1c8fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1260644,"id":"Q1260644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260645$ECF2B116-6C5F-475F-9E58-396A66BA680B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260645$BA7E541F-6693-4781-BEF4-CA4D5E98D9FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca925aef735ee73d86c6a323015bc1282d85f7d8","datavalue":{"value":{"time":"+1993-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1260645$DEFAEAE2-5445-4781-BE89-8CE7AE07BBCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260645$78472D4E-0D8F-4EBE-82BE-92FDE99173C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260645$60830AF4-2E7D-4029-A78B-9C9EB60F6D49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8926d050243d7a4c6c5190dccdac8663b54efef","datavalue":{"value":"370444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260645$D00A6797-CE08-4575-8F9C-DBD4EF6F5111","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"395454d08f8b5246faf8cb9f22267cbe36daf3fe","datavalue":{"value":"decidability of typing relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260645$77B61296-E33B-486F-A0BA-5AE590BCA57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a27392803aa2972c8fd379d4aa0c90be1c33f75e","datavalue":{"value":"generalized type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260645$9CE3A96B-5474-40A0-9C30-7346A0B6E733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de76a28b6ca5c89cc6ef586c78284f85a44ecf8","datavalue":{"value":"functional structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260645$E63137B3-723C-46A2-AD6A-9D5AF747BDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b65cf16382d680caa41ab586ec588b09d441cc","datavalue":{"value":"typed lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260645$28322A4D-E304-47B1-A654-E2C2A0C59F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ff40b1454db381b561c977893393ea7d4935c78","datavalue":{"value":"functional systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260645$66429C2F-907B-4ED2-A610-A10B4BB809AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44793dba799e02181c6bc1f97b80ccb7f3a07b9c","datavalue":{"value":"non-functional systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260645$BC3ADBB0-DB38-4C8B-9768-953A6DBA358D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2b088e0e8aaae863cf843e85636e9ed7db0a75","datavalue":{"value":"uniqueness of domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260645$D8D320D5-DF8A-4C36-8589-BF93A3857A51","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":"Q1260645$CE406856-B5D4-46B3-AAB5-A61B940F6ED0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33c479c65795ee8505363fd2969c67a368e747d6","datavalue":{"value":"https://doi.org/10.1006/inco.1993.1038","type":"string"},"datatype":"url"},"type":"statement","id":"Q1260645$58D8B2F6-9988-4129-9B55-6AF0B7E84ED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dce3a7cd5bbbf65736073a3e603ed5eda9939f2","datavalue":{"value":"W2120300141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260645$5AADFADA-89B8-4673-9DDF-A40570D33929","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd49997404cf640259f05a56e0ffd477d369d189","datavalue":{"value":"10.1006/INCO.1993.1038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260645$84C4BB79-7962-46A6-9340-27072A2EC143","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9fc4b8d5bbb2ed22afcb9da4a5b0f607645834","datavalue":{"value":{"entity-type":"item","numeric-id":2844696,"id":"Q2844696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b9a5972ea1047ebfea4ee1a2156d64c1abd500","datavalue":{"value":{"amount":"+0.8055098056793213","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":"Q1260645$5843DEB7-B66C-42B8-90B8-F7CDBE46C353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c7cf696c694b783400ca36e143e17aef786d2c","datavalue":{"value":{"amount":"+0.7940638065338135","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":"Q1260645$132B1123-840F-4AAE-9673-9812DF9495EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a8612493e6b5a2b4d78fc816cee4538696a4ac","datavalue":{"value":{"entity-type":"item","numeric-id":5170829,"id":"Q5170829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0901f78d8455ce67d262c415b65001a9a8f46aaa","datavalue":{"value":{"amount":"+0.7927469611167908","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":"Q1260645$12E93EB5-1132-45FA-BBBD-2908028D5133","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typing in pure type systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typing_in_pure_type_systems"}}}}}