{"entities":{"Q5251190":{"pageid":7280758,"ns":120,"title":"Item:Q5251190","lastrevid":91952420,"modified":"2026-06-05T00:29:30Z","type":"item","id":"Q5251190","labels":{"en":{"language":"en","value":"Type theories from Barendregt's cube for theorem provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6439452"}},"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":"Q5251190$87F89E0A-988D-4368-BC78-F6AD7DDD7093","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9c8d1fce43de6628cd7a9ee5197b75faf963ac8","datavalue":{"value":{"text":"Type Theories from Barendregt\u2019s Cube for Theorem Provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5251190$00456067-D6C2-476B-97AA-D11E53AD4E9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c92b731b5c4724b4b5c74779d89550af0a6dd656","datavalue":{"value":"1344.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251190$7B8018BA-07A3-4F29-B8FD-775B491BC4A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b01abdfb6cdcc31cf656766eb1354f511c8d0d1f","datavalue":{"value":"10.1007/978-94-007-7548-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251190$AAF83D42-2A77-432C-87C2-1A8783480FBF","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":"Q5251190$D84E2277-BAB2-4926-B68B-AB23B1DB152C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ef5f862067a8dcfef6601f996709bbb53d732cd","datavalue":{"value":{"entity-type":"item","numeric-id":3295143,"id":"Q3295143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$69C7D6A9-0856-4EC6-89C6-7687A533DE07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ccdd437656ae39926623dbd87596e190124636a","datavalue":{"value":{"time":"+2015-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5251190$DFBA3AF7-43E1-4C53-B365-79A2056199DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251190$492D43DB-A2B0-4C1E-8A4C-C36FAF707AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251190$A3420EC9-E867-46EB-A6C4-8EB9DEE9B879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b91f454d13d931b734b6d3479194d1ea7b1f183","datavalue":{"value":"6439452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251190$6F7999D3-D551-4775-85A3-900C5024E193","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4dd556f25b942bf9a48077894f8f012ad130517","datavalue":{"value":"Barendengt's \\(\\lambda\\)-cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251190$C1E985F0-4B52-44C4-9F70-97EC6CBAC592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251190$92FFEBBE-3552-4BF3-AEBA-D428B14FF286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251190$445EEA76-7A70-4304-BE6F-1F22E2016120","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$84CA6807-6D59-48DF-8D88-E51CE5AD3DCC","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":"Q5251190$010CC54E-0048-451F-B5AC-1FE233EF15A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abb0b1a85219ab119c9ab73a537f0a7960758e43","datavalue":{"value":"https://doi.org/10.1007/978-94-007-7548-0_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5251190$67D7F05E-287C-4311-96DF-ED9B29FB930F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1977a3916aeaac043fc66508478b4654f639c4ad","datavalue":{"value":"W107734836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251190$A3F46DA4-6170-4072-82A0-DD5A5337F77D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd0bbfef0b03503f595e7be9f566b1cbab53903","datavalue":{"value":{"entity-type":"item","numeric-id":5178856,"id":"Q5178856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$63A316E3-9F29-41DA-989E-692E321F1D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$12E006B1-4C53-4A55-9D4B-B1213DFF859B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2e125ed398d99bdcd2c374aeba2df950f181569","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$7831B620-73A2-41BF-AD1C-B8992124F8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$5B3F05A4-34D9-432B-B64C-B33AE0523C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$9AD879A0-8251-4202-AEA0-EFDA9FC1A0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$4D8D5FDE-257C-4B15-B6D9-381302F75FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785217d369aa711de5c2e226d9636b7d6dc85bad","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$5C9EF402-A910-4F45-995E-14ABA6092758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$A3EE74A8-6531-4CE1-8DEB-FE6D950A4BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$CB66E120-09E9-49A8-872D-DC26F98C3826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a655ae884e244c788570d3ea631c1e164cdbcf3","datavalue":{"value":{"entity-type":"item","numeric-id":1201296,"id":"Q1201296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$E0C54DEF-A272-44D6-9472-C067C67BA1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a821ac499f0496c149a9b10288f471c76016ba7","datavalue":{"value":{"entity-type":"item","numeric-id":5961667,"id":"Q5961667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$A95B31E0-F213-4852-B56C-6AC003E8422D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a728aa95ee08c8e4de3786a13a2c2ff932d852e","datavalue":{"value":{"entity-type":"item","numeric-id":1575638,"id":"Q1575638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$28296BBA-73C0-401E-9CFA-6EF821C0FDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fbae85b826121766ecaf223c19d7a747a485354","datavalue":{"value":{"entity-type":"item","numeric-id":4487272,"id":"Q4487272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$357EE924-BA95-4069-A9D6-488488686086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8224f3d271987b407918d7c5a9c6bb06e0e10b","datavalue":{"value":{"entity-type":"item","numeric-id":2752532,"id":"Q2752532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251190$1766E2BA-5FC8-4922-ADF1-9ABD19BD8517","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f9242db5cf52fae93875abf93dcee96f827d6","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfa54d4349d76657822915132399879f2a30264","datavalue":{"value":{"amount":"+0.7616382241249084","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":"Q5251190$5E1E9E31-B410-4E88-A616-247993129E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc61f049f8d0b30109ea2633d86e084029eda8b","datavalue":{"value":{"entity-type":"item","numeric-id":2751370,"id":"Q2751370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a03d6ce01593f8f055d3257b05ef37266c9d26","datavalue":{"value":{"amount":"+0.7604341506958008","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":"Q5251190$03F40287-1EC6-4FFE-9036-ABAB822B86C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357860675d9d6383009814e1650bf925597a610f","datavalue":{"value":{"entity-type":"item","numeric-id":4819651,"id":"Q4819651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3199bd65f4e8da13e0602f91ab39d663a6001d9","datavalue":{"value":{"amount":"+0.7542251944541931","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":"Q5251190$F1DEA7DA-ED3A-4959-A8FA-2BDF48B87190","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":"c6140292bfcd0e09beeadc60a4f3d2386c7a5678","datavalue":{"value":{"amount":"+0.7542201280593872","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":"Q5251190$B22C820C-AF67-4E06-8EB8-6C978C35FB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f5e6c2ffa5a2ba95848085e6708f2b0de4f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4bc7cc155a4be518778a3d73c1175de6208b6c","datavalue":{"value":{"amount":"+0.7459024786949158","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":"Q5251190$F0D9D6FF-BDE7-4677-BE5D-53F7D797D42F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type theories from Barendregt's cube for theorem provers","badges":[]}}}}}