{"entities":{"Q4964690":{"pageid":6994269,"ns":120,"title":"Item:Q4964690","lastrevid":98314988,"modified":"2026-06-05T17:12:31Z","type":"item","id":"Q4964690","labels":{"en":{"language":"en","value":"Sound and complete typing for \\(\\lambda\\mu\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317219"}},"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":"Q4964690$13D0F7DD-8FE2-4066-AE3C-02F11A804809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b28827897268e32146660dbaf346b10f7e2eb91","datavalue":{"value":"1469.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964690$FCB384B5-3EF9-4FEC-A925-98E43D349961","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964690$F3E479F2-AF14-45FD-BE96-AD27C1E1B4DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcc0fa72b8b78b066e7a90f838ea8df8ce792ca5","datavalue":{"value":"https://arxiv.org/abs/1101.4425","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964690$D2A9234E-99CB-428D-8133-7676880F9682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"68fd4e75e429dd7c3d3cc082d3fcc6ba58095dc5","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2010.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964690$8ABD767E-7B51-40A1-8AC3-072DD4ACD07C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964690$C8DB87C9-3BD1-42B8-935B-1D12485816BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b5889e69dbb7f14e4d375dee50b04f55a0ab00","datavalue":{"value":"7317219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964690$050A13DF-A348-4DA9-85DC-C4A9D843C0F0","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":"Q4964690$6695475A-DF83-4227-BB14-012B7E2A0B4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66118c8bd507f5c048a8e4141ac25ef6374d2824","datavalue":{"value":{"entity-type":"item","numeric-id":636376,"id":"Q636376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40c6a36562d6b65ab7145ff6356a6260471bb7e","datavalue":{"value":{"amount":"+0.893245279788971","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":"Q4964690$08726D7C-27C5-445E-8736-6A214B0AEF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acb101caf711151f31c2701eee28a11adec539e","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5e7e690bd5fa4d0b94d011cd30012a959c618a","datavalue":{"value":{"amount":"+0.8345525860786438","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":"Q4964690$36F75C35-872B-4DB2-9D0F-A9C44D0B34A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ecf4cc1b88a2381b983b9b6ca3bf7ea24aa123","datavalue":{"value":{"amount":"+0.8324955105781555","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":"Q4964690$3CAD6DD0-B429-46FF-B9F0-AA315F23A22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975a1e465d9cf947edf3cb473af5303a9b11bb64","datavalue":{"value":{"entity-type":"item","numeric-id":4903713,"id":"Q4903713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747f6e5541bae0254e69b75dbbdc2a88fda7bce1","datavalue":{"value":{"amount":"+0.8226697444915771","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":"Q4964690$0C5A1E03-87C2-4187-9DA2-D390A207E9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c3a8a53bb7710efe782a2824ac22999194d1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3007668,"id":"Q3007668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b9d610cf8e4050f2d0e6024a4fcd398465c1a6","datavalue":{"value":{"amount":"+0.8215541839599609","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":"Q4964690$C0FEF4ED-454A-4340-87F6-86B0D50FA62B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound and complete typing for \\(\\lambda\\mu\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sound_and_complete_typing_for_%5C(%5Clambda%5Cmu%5C)"}}}}}