{"entities":{"Q4263879":{"pageid":6293480,"ns":120,"title":"Item:Q4263879","lastrevid":46670439,"modified":"2025-12-25T09:12:45Z","type":"item","id":"Q4263879","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1342288"}},"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":"Q4263879$F834E2F0-843D-445D-9200-085FF627D0AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5ce9626ed93b467cb3198b7e9ffbbf581fa8633","datavalue":{"value":"0931.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263879$BC9A8B1B-F782-4A85-8252-343F1322D1A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263879$51A187E0-3656-4EE7-94C7-5DEE7465032A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46c8226d3ea271b1006067a25827598a00fc7cb8","datavalue":{"value":{"time":"+2000-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263879$DBEDECEF-3D52-4235-A99B-EA508935419C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263879$17FF0921-95FC-4C5F-9C82-16DDC62D6199","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38864c05cc6cb8011a4553b9c0d2fcf99a5fd2ca","datavalue":{"value":"1342288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263879$670C258E-8D77-498B-9406-A776AAA1A96E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54dd840bdbe83d10fd90b7e21cfb9a8c40c7f4a2","datavalue":{"value":"\\(\\lambda\\sigma\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263879$0362464F-0719-4DC9-ABB2-4CE6345C6F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d16a741da1e08903c84a973e87820e0425d498","datavalue":{"value":"simply-typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263879$A6034C6B-2951-4002-B4F9-7684627AF19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83f4967cce55a99499c444d73c943426c65f9b4","datavalue":{"value":"reducibility method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263879$2FE4779F-B505-4037-BDE5-208203CE903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263879$45659978-B091-4D4F-8A12-E200DC60007E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263879$7644B31A-A290-4689-B475-DCD4120738C9","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":"Q4263879$F86DC917-97C5-434E-A036-C60F6E94B325","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a84168fbbcfe3739eee5b78803607b2bd900176","datavalue":{"value":{"amount":"+0.8885765671730042","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":"Q4263879$1A1B7B06-FFEC-485A-A83B-68D04E6B5DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"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":"Q4263879$703DA95A-B5B0-4793-A803-1992C22301EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83788ec018f6fe076d317e7138cc532948fcec2e","datavalue":{"value":{"entity-type":"item","numeric-id":4357055,"id":"Q4357055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ca9b89c1dd20b3756cc2a07213fb20ffa825fa","datavalue":{"value":{"amount":"+0.8586881160736084","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":"Q4263879$A0F8D536-7727-46B2-B9F0-D086B433518B","rank":"normal"},{"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":"33b660fbc1454df1b497201122acbcb0c9b6ffa5","datavalue":{"value":{"amount":"+0.8584581613540649","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":"Q4263879$7E122664-8DE3-4CA2-85D2-A3088ABDD758","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263879","badges":[]}}}}}