{"entities":{"Q3086781":{"pageid":3097496,"ns":120,"title":"Item:Q3086781","lastrevid":51217364,"modified":"2026-01-17T07:18:31Z","type":"item","id":"Q3086781","labels":{"en":{"language":"en","value":"A finite axiomatization of propositional type theory in pure lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872261"}},"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":"Q3086781$FB70759B-05B9-4D46-9434-5894B1E06A2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aee4a6b44c883102b44c72becd4f903f06def4d3","datavalue":{"value":"1226.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086781$19D4351D-3FA4-4318-8094-D7B697E41F4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b6965f702c25ca4aa2bb1fe3823f82e953c560","datavalue":{"value":{"entity-type":"item","numeric-id":286084,"id":"Q286084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086781$84FA6269-9498-4170-9C16-2801FAFD1BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086781$9202F931-783E-4C73-AB62-484169CF5BD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-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":"Q3086781$8941A7C5-7696-4C02-9963-E5F7480EF521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086781$CC0DA3DF-F84D-4B64-A222-3EC789211907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086781$6BCE5654-0DE7-4518-B6B1-C718A1CEC990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a4fba31c542a978cb89783cb06c8a90002db09d","datavalue":{"value":"5872261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086781$2950D57B-FECB-4426-BF85-A8EA57FD58F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb22c817f6bc4939801d087a919c29061333765","datavalue":{"value":"simply typed lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086781$52BC0433-3B10-4073-BFE1-E114C478AE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223869730d807b0c80eb4817f6d7cb1a79f02702","datavalue":{"value":"set-theoretic type hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086781$F3832D9C-7EA9-443C-A079-B8E2F94692D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78be19b50bf51210bb763949bb773afb0530f502","datavalue":{"value":"pure lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086781$D52346D0-1AB3-4809-81A3-C54CF3A53A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ea2e750039ce86ad4438a146bac2a2d52965fc","datavalue":{"value":"propositional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086781$A55F62EA-FC42-4AA2-8C37-182002C95927","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086781$0E77E313-C22C-45CA-8E15-5DDFDE4FAF5A","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":"Q3086781$F3AE6AC6-CBF7-4CFD-8357-365DA34F5804","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a40b525022ec1dccaba201ae6fd7476bf823c4c","datavalue":{"value":{"entity-type":"item","numeric-id":4856946,"id":"Q4856946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a916e512e18e2c769ed7f9941213e0f743ab39d8","datavalue":{"value":{"amount":"+0.759218156337738","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":"Q3086781$AB705DD7-B316-4656-9C28-D51C7102B0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e8c1dceea20d5bd28a5edda639da0c349c0790","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45611b6f440ff5e9d5e970908156b2461946003","datavalue":{"value":{"amount":"+0.7203190326690674","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":"Q3086781$2B254A74-0DBE-4F4E-8008-4EEDC105F560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a88b820879f2cbeec29ad4d4e38baf04bad2edd","datavalue":{"value":{"entity-type":"item","numeric-id":3024833,"id":"Q3024833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd672184455a0ee350e7e2bac6df3ffc79933ad","datavalue":{"value":{"amount":"+0.7194339632987976","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":"Q3086781$5F3000F1-58D9-4A9C-8143-0507C2E1B4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d85e4f94e218438e309349857cdaff3bd3959d","datavalue":{"value":{"entity-type":"item","numeric-id":4263831,"id":"Q4263831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11af14df5e487f666121e79232b99a8673d1b42","datavalue":{"value":{"amount":"+0.7164964079856873","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":"Q3086781$ABF213CD-C668-4F6D-B401-0EDAFCC64FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfef524b5552cf6851b4929998ebb7eff7aaea33","datavalue":{"value":{"entity-type":"item","numeric-id":4281578,"id":"Q4281578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11af14df5e487f666121e79232b99a8673d1b42","datavalue":{"value":{"amount":"+0.7164964079856873","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":"Q3086781$45129290-3056-4652-B62F-C69A682A0C83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086781"}}}}}