{"entities":{"Q1288430":{"pageid":1299180,"ns":120,"title":"Item:Q1288430","lastrevid":68603079,"modified":"2026-04-13T00:51:45Z","type":"item","id":"Q1288430","labels":{"en":{"language":"en","value":"A syntactic proof of the conservativity of \\(\\lambda_\\omega\\) over \\(\\lambda_2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1286631"}},"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":"Q1288430$2527F3BB-DE5D-469F-B7D6-100A9784A8B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b883bab57f5e51737bfc9ffad0752591065e9e50","datavalue":{"value":{"text":"A syntactic proof of the conservativity of \\(\\lambda_\\omega\\) over \\(\\lambda_2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288430$828E170D-32AB-4243-9217-E003CA3CB966","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbed2ef8ca3feebe1db078ecfabce3ac8ea0131f","datavalue":{"value":"0920.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288430$24D40252-AF45-4A4C-AA9D-CB5B28FA5893","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bda4bdb244a3c268196bf4d2770ea6adf64b8fc4","datavalue":{"value":"10.1007/BF02946518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288430$476DC95F-89BA-4C52-ADAD-A957C95B761B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"945a2cb642dc5e06817ec2b3f453251ad78fd665","datavalue":{"value":{"entity-type":"item","numeric-id":238187,"id":"Q238187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288430$F9428796-2DAA-4D09-BE79-BFBD7AA93599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"492181eb8aa44cbf938cfd60adb13b29525a6c21","datavalue":{"value":{"entity-type":"item","numeric-id":753809,"id":"Q753809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288430$0CFDD347-2C85-442C-98E6-7F64F25A600D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288430$DE234727-90A0-4188-9FCB-C56B7163E5D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0458f783ed98c44f749a976bb095dc4c84da09c","datavalue":{"value":{"time":"+1999-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1288430$CFF9DB7D-15E9-45ED-BD3C-DEB124861382","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288430$13ADDD4E-E032-4312-862B-AC0BF664CCF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04e29dc19c2dfb28203a70b61d836939092aa7c4","datavalue":{"value":"1286631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288430$1DDE665F-CC95-40F2-BDBC-7D6812209968","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288430$084105C4-BE86-4F24-857C-5310D7E2C596","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288430$6128BC0D-4A43-40B7-B60C-F0EAB5D6EF58","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":"Q1288430$C8D01072-BC65-4974-A460-BB92060FA2DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288430$51D46EE6-D2E7-4CC0-B3B4-13D8ADCB506C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c05da505f80c12d5b01dc6245e44b6745db2a6e7","datavalue":{"value":"https://doi.org/10.1007/bf02946518","type":"string"},"datatype":"url"},"type":"statement","id":"Q1288430$092BDA47-519A-49AB-A08A-7C4B65A80A61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b68000280cc15f513f149cfb1923d3fc36a785b","datavalue":{"value":"W2090310759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288430$38E50A7C-1D08-4D8B-BB26-4E8D3F92D2B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f29ff0283e41e9c083d60402d2148873c18b6a","datavalue":{"value":{"entity-type":"item","numeric-id":1390880,"id":"Q1390880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43dd15e2e35cdf57146ebd61e2d8614bf270c477","datavalue":{"value":{"amount":"+0.8730955","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":"Q1288430$67F14612-392B-4752-87FC-5F1E7D0BAF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c48e4efb09edc9f403c0839672c2e2dd4bd291","datavalue":{"value":{"entity-type":"item","numeric-id":2983897,"id":"Q2983897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac0be4b0e194160062d68de966695c1f322fafa","datavalue":{"value":{"amount":"+0.84309125","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":"Q1288430$546702B8-6B17-44C9-872D-A299652F9728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30afd9bd68c73debc2a74ea19eb2a28dfbd542dc","datavalue":{"value":{"entity-type":"item","numeric-id":1130233,"id":"Q1130233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c7bc552083420a2501926b9ba00241e6b727c2","datavalue":{"value":{"amount":"+0.8411405","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":"Q1288430$9BD4D1AA-D68B-4423-93ED-7FAECCCAFBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d9a5a06d2d2c2e8df99bf6c7c55b68f5f3f565","datavalue":{"value":{"entity-type":"item","numeric-id":4281561,"id":"Q4281561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725ab3275089913fe20456b8d1506b2ae04d67b4","datavalue":{"value":{"amount":"+0.82911146","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":"Q1288430$EFB6AC3F-792C-4F12-BB97-5891F3AF3D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3549897f2ed0d6c73c101cd2ea3a407af3156079","datavalue":{"value":{"entity-type":"item","numeric-id":1391139,"id":"Q1391139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725ab3275089913fe20456b8d1506b2ae04d67b4","datavalue":{"value":{"amount":"+0.82911146","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":"Q1288430$3CFDE6B4-9302-466A-AE8B-DDE1E858D50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59113fcbed1a11b4e3c784c1f076a74cc0ed73aa","datavalue":{"value":{"entity-type":"item","numeric-id":1066675,"id":"Q1066675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6301960da0a5f25eece3bc5236f689f53bd2a6dd","datavalue":{"value":{"amount":"+0.82587993","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":"Q1288430$D876E39C-EE79-4B98-BFEA-1934AAC636CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6305f6be9b15c991b0ee29313e1618698417e8c","datavalue":{"value":{"entity-type":"item","numeric-id":4888337,"id":"Q4888337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96554feba7339333c84bea87bd377d23cea2cbd7","datavalue":{"value":{"amount":"+0.81746763","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":"Q1288430$3230FA4A-A80B-4859-BD57-81CC715EDBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7796136c5a85d17c41a083a512524ae54c91fac6","datavalue":{"value":{"entity-type":"item","numeric-id":4850465,"id":"Q4850465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a8f4cf23ae5d7bca46a569e8627f0ef5fb79c0","datavalue":{"value":{"amount":"+0.8172373","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":"Q1288430$5A495A2E-57F0-406F-8DF4-482FCF421554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64b13226702faa5869b3c9bdd1b3cb05eefd9e5","datavalue":{"value":{"entity-type":"item","numeric-id":4323643,"id":"Q4323643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90bb1f95a70c11ecf11542a95f700a075aaf200","datavalue":{"value":{"amount":"+0.8158828","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":"Q1288430$3EB6A074-D18B-4314-801A-4D8BF984EA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae900d0ab80ebed474360cfc746975f741192190","datavalue":{"value":{"entity-type":"item","numeric-id":1375797,"id":"Q1375797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f3c6e89309adc86683cf5e4f373377049226d9","datavalue":{"value":{"amount":"+0.812814","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":"Q1288430$9669E676-87E3-4D9B-BA5C-3AFC00CDC3C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A syntactic proof of the conservativity of \\(\\lambda \\omega\\) over \\(\\lambda 2\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_syntactic_proof_of_the_conservativity_of_%5C(%5Clambda_%5Comega%5C)_over_%5C(%5Clambda_2%5C)"}}}}}