{"entities":{"Q1290510":{"pageid":1301260,"ns":120,"title":"Item:Q1290510","lastrevid":68385384,"modified":"2026-04-12T23:20:52Z","type":"item","id":"Q1290510","labels":{"en":{"language":"en","value":"\\(\\lambda\\)-calculi with explicit substitutions preserving strong normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1294580"}},"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":"Q1290510$F64EA5ED-DA8D-41F3-A3C0-00CF92ED3517","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec8929d1bca25764f493b66df64338e71cf9e177","datavalue":{"value":{"text":"\\(\\lambda\\)-calculi with explicit substitutions preserving strong normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1290510$CA1F8264-C2C1-482A-8564-C3860A3C7B60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d4085fcfed8555805e6d35acbc518ee7ec9a1a4","datavalue":{"value":"0936.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290510$6C9C6176-3E58-46B5-8B74-18017F9B4E97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a885fc1e3c9a4d347fde8fd39bb8b556de926af3","datavalue":{"value":{"entity-type":"item","numeric-id":1290509,"id":"Q1290509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290510$5522D660-331F-486B-AFE3-75502A4DAA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290510$75C2388D-BA06-4F25-9CA6-A0BC0BA01296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecb7dd8f294a869555be9c745d2e1373d849ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":1122596,"id":"Q1122596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290510$B4D73188-7328-4EC7-B12D-2E4ED25C15C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290510$B7BDA335-DF44-4916-8587-99003BFD8885","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a05a7654d91f86e365c3ff44c87c90bd6bda07ea","datavalue":{"value":{"time":"+1999-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1290510$0DCA5ADD-9942-4CCF-9391-DC962169E6C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290510$9C8C3DE5-D57B-4B9C-ACAD-1866CE4FD520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d69dd9dbf9435217062e4edaae121c58e5468f54","datavalue":{"value":"1294580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290510$4634C133-F1E8-4BAA-A03E-557DF94AAFDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697007d0ee3505592443760a857901d51c235b55","datavalue":{"value":"\\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1290510$C607997A-6D71-4B5A-948E-A66551D6E7A0","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":"Q1290510$8C37276E-46A7-43CB-8235-218BAABBE023","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"563999f34fdd1c568675538e1f633486da1057cf","datavalue":{"value":"https://doi.org/10.1007/s002000050110","type":"string"},"datatype":"url"},"type":"statement","id":"Q1290510$1E3599A7-9163-441D-BCB3-FDF2D4AF153E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31ebc6e13d227f1de61d934531c888dfc077d171","datavalue":{"value":"W2031327712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290510$ED5DEDA0-8612-440A-8AD4-C074534D3C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"922e96135c85a6838aa5fe4ef4a93eb4516ef3da","datavalue":{"value":"10.1007/S002000050110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290510$96B7AA0B-3E2A-4A64-A615-CC9F846D7BA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f0e308167f5a5d8e61569130d0c278f23c162c","datavalue":{"value":{"entity-type":"item","numeric-id":2956728,"id":"Q2956728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0131724f1d25f9171d4fbff8e8fd75b6978d5886","datavalue":{"value":{"amount":"+0.9873178601264954","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":"Q1290510$3CBDE01A-4EDA-4440-ADEA-77CE2D2583C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0492288f242b78fcf8a6d12734fbb382f0b04f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fced1c452a5a4c367f9b583d61c66ef124744f2","datavalue":{"value":{"amount":"+0.8895403146743774","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":"Q1290510$114EC119-D97D-4E5A-8254-79515EB6B774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4482751874804794a81cc4f036e0e63281143f00","datavalue":{"value":{"amount":"+0.8877717852592468","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":"Q1290510$BB4CBCF4-FD62-49E5-990A-250A6038D22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491a6d2d15d42251593a5ef4c6b10db3743d8785","datavalue":{"value":{"amount":"+0.878717303276062","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":"Q1290510$EB184C08-69E0-4483-8152-48BCB04AF443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a6d36976734bf2348405ecaa1b84400b5fc70e","datavalue":{"value":{"entity-type":"item","numeric-id":1274458,"id":"Q1274458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99579b58ec6b9a1e1b68d41c4fc3ca84546dbda4","datavalue":{"value":{"amount":"+0.8754948377609253","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":"Q1290510$3E435988-1747-47CC-8378-7520F7CB5342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\lambda\\)-calculi with explicit substitutions preserving strong normalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Clambda%5C)-calculi_with_explicit_substitutions_preserving_strong_normalization"}}}}}