{"entities":{"Q4405694":{"pageid":6435293,"ns":120,"title":"Item:Q4405694","lastrevid":41791034,"modified":"2025-05-08T09:33:52Z","type":"item","id":"Q4405694","labels":{"en":{"language":"en","value":"A proof-irrelevant model of Martin-L\u00f6f's logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1933113"}},"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":"Q4405694$CFD565C9-D3F1-43C2-AEED-9C282F7851D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac099db325e358d99b239edc1e12e0aa8196d070","datavalue":{"value":{"text":"A proof-irrelevant model of Martin-L\u00f6f's logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4405694$2B9A5F64-BF31-462A-8BD4-BFF3BC5B792E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cf08c171ebedd8185796612ee06e2ad26cd1909","datavalue":{"value":"1029.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405694$38C6A907-D763-4B88-913A-67CDF893526D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116bca60add6273082d261e078e9ef97648d5f39","datavalue":{"value":"10.1017/S0960129502003766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405694$910DCF68-441F-4B50-9464-F9412378AE04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55e641319c011b54f0c69b6edb09640a3dbb847a","datavalue":{"value":{"entity-type":"item","numeric-id":1744422,"id":"Q1744422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405694$B92BCCA3-09A3-4004-9388-C4C93AA824E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405694$27125F87-062B-4CCE-A146-D71554D5096B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4895f1c2b2fa5f03866021d880ae705f028de523","datavalue":{"value":{"time":"+2004-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4405694$F0513927-E9C8-4047-8743-C1991D766028","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405694$E6826593-A726-4674-8481-D2CA9F7EDD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405694$172CD58D-9AAD-4CAB-881E-995C4BD7F94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405694$A548C93B-760B-44C9-BD35-5B24C58F84E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3f6e68f93f634694c4cde65170c811e69947811","datavalue":{"value":"1933113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405694$CDC9FAC9-1298-4025-8BF6-91ED71A44B47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405694$F4855647-297D-4E0C-9F1E-D4DF41F24904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b12d9aa54cfcab336bfcf682854319a190dc47","datavalue":{"value":"Martin-L\u00f6f's logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405694$D63F9B92-6367-4C80-ABAA-6C611AFF3CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62be8176ef08ea214db855e45c55ff7b250ad412","datavalue":{"value":"proof-irrelevant model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405694$B36BCDF6-DE2D-41E5-9E22-BE9C48CF9293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6a6d75828a20389b95fb4f379abcc0f827e58e","datavalue":{"value":"untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405694$FB1F8F1E-463A-4602-8A8A-2CDCC2CE046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda2955978ddd96611ed13b5271f62417be02b34","datavalue":{"value":"Church numerals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405694$BDE6AF25-8646-446A-AAAD-EE5BA89CB9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405694$77E4827F-C505-40C8-AF62-7DA720764CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405694$014BF415-5A40-4EBE-A8D2-49860573E27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09aa36e687f4bb9550a5d1808f530ae2c6d6fd38","datavalue":{"value":"Peano's fourth axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405694$DFC6ACD1-38E0-4330-8D48-A4FCE87FD356","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":"Q4405694$5E4DF1B7-7E45-4378-BDB9-77887DB74974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30317190c333fad242ec05ca51b7424692174132","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a7cd8c5880caa51be779201f6a47e93b776ea0","datavalue":{"value":{"amount":"+0.8771289","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":"Q4405694$B70AED92-618E-4C41-8DF8-6C518667985A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6309cfea5637855d5b9a9883e1fa2b37973eb5b4","datavalue":{"value":{"entity-type":"item","numeric-id":5400853,"id":"Q5400853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30b6c90d84e147efced62f265fa090207c086a6","datavalue":{"value":{"amount":"+0.87562484","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":"Q4405694$33F0EB93-365B-4FDD-9C17-29B23147A018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46e4e76105f7252cbca0b759d0cccb97f9f899e","datavalue":{"value":{"entity-type":"item","numeric-id":3064169,"id":"Q3064169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99df6eb9894d9daf57e2cceb06c7fa5712519e6d","datavalue":{"value":{"amount":"+0.87211204","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":"Q4405694$90DC9C8A-6C75-4BD4-808D-319372E55561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05eb004d1bfa7e37d3e28f58093ada5e24c8b76d","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c17253ab3476ecce10a1275fc0b466eeab71649","datavalue":{"value":{"amount":"+0.87163544","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":"Q4405694$D63FAAC6-5C22-4209-B1FE-27182C71079C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635e74a198d0cbadbba31ccbd28de35f95790c72","datavalue":{"value":{"entity-type":"item","numeric-id":2075284,"id":"Q2075284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a959ee32d0668b3157f3cb3c31e7b87e750f3f","datavalue":{"value":{"amount":"+0.8715192","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":"Q4405694$925507AA-D4D1-411A-AD6F-EBAEE4ACEA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f223f8f230b2e5ab77e1e5965fa86b0b5aa75c0d","datavalue":{"value":{"entity-type":"item","numeric-id":749522,"id":"Q749522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993882a604a3de144d2346659bf8fef44cb6dcd6","datavalue":{"value":{"amount":"+0.8679656","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":"Q4405694$AD8E52F4-125F-4750-92DA-DE598E062354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1e708b2e469be7ec03df78ad98200a7c69af2","datavalue":{"value":{"entity-type":"item","numeric-id":636278,"id":"Q636278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d036740d2a36280b80c221faba388779d6db99e4","datavalue":{"value":{"amount":"+0.86768925","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":"Q4405694$83B6D7F8-7DBD-4A37-B147-8471B5443057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b52a7fbb043a2cb7537fd3d5682511a09f82ac","datavalue":{"value":{"amount":"+0.8631718","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":"Q4405694$46A11CC0-5045-4A3F-8D24-E109D89BF0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582db20b765795987df6659c665a3d6afa35b350","datavalue":{"value":{"entity-type":"item","numeric-id":543531,"id":"Q543531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a503b7d741d8421b851b21aefde862dde1db7cc","datavalue":{"value":{"amount":"+0.86273676","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":"Q4405694$FCC98D6C-8F12-4802-A422-F3D9C863E932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc438cbef6e39cdae6ca0a79f3ba45cb387314c2","datavalue":{"value":{"entity-type":"item","numeric-id":5307881,"id":"Q5307881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d84d196f4f0c933f15d23bb979d772634f4adf","datavalue":{"value":{"amount":"+0.85932374","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":"Q4405694$9204438D-0661-417E-AA57-9BFEE31D1663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4405694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4405694"}}}}}