{"entities":{"Q2434902":{"pageid":2445645,"ns":120,"title":"Item:Q2434902","lastrevid":78673073,"modified":"2026-05-06T12:10:03Z","type":"item","id":"Q2434902","labels":{"en":{"language":"en","value":"\\(\\lambda \\rho\\)-calculus. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6253394"}},"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":"Q2434902$96676D94-F6A8-41C3-B9D0-EAF3E6886899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"800ba3f12641a11d4699d34ff67077b572093965","datavalue":{"value":{"text":"\\(\\lambda \\rho\\)-calculus. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434902$519259F2-D979-4A06-A025-88C28634B6F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"848a74c66a023fe9d38d139b0859fc08f1b83e31","datavalue":{"value":"1280.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434902$363352DC-BB1B-4E34-B038-87F715C8FE5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434902$5C9A8269-3A86-4796-96EF-889C53D65813","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434902$CA9ACCCC-A7AA-4D78-A027-4734A384B75E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe0c4637c6af0db2bf68c19b0051f427fc2eebac","datavalue":{"value":{"time":"+2014-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2434902$F657348C-F1E0-41DB-AD85-57650EF2130E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5b7b2a8e78b2f63d2e240d617e8205cf274cb7a","datavalue":{"value":"https://projecteuclid.org/euclid.tkbjm/1389972031","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434902$41D89A6E-31AE-4F68-8287-B1415434E463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434902$F23FA2E5-8D15-483A-B9EC-44D51F87FE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434902$440AAA0D-EE93-4EEE-AEC1-1C2193C409D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18c3bc6083751d6151f38af82cde984aef33178d","datavalue":{"value":"6253394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434902$61936C94-57AE-46F6-8800-630F392C87FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434902$8AA0326C-D963-4AAD-A69C-00266AED3171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e395ae2d636478627cecf428dd6a45aad417915b","datavalue":{"value":"strong normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434902$124CC21E-E3A5-43AC-8D1D-5236672EC9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434902$EDCC02D4-1AA4-43DA-A053-40EEC88395E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1c13a4c1a8c927008be176a5bf2dda6c3864e44","datavalue":{"value":"\\(\\lambda \\rho\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434902$32D9C7B6-91EE-4D80-AB36-0E6CF46620B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fe600746614b8dacebd9141552af3b1d801b86","datavalue":{"value":"\\(\\lambda \\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434902$A15EA6E4-A79B-4C56-953D-B886CC38745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28abb99db7a1c807adb98b291273e4e4f854fa16","datavalue":{"value":"LK","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434902$AD38EAB5-24E4-49D7-A458-3A23FBDFBE77","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":"Q2434902$ABFAE6F7-55FD-46BF-995E-7233BBFB6FFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8efa53e92a6c7c7207ce65375f45ce0cc0618af9","datavalue":{"value":"W2253420079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434902$4FB7A28C-CC12-4B6B-99AC-97186A9A074A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b125cba826e7e59e674deda2da322034a03d9ef0","datavalue":{"value":"10.21099/TKBJM/1389972031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434902$B78C628B-7E6E-49A9-AAC9-5CC9FF4E6F07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7e0bbcbef3879468c0f1b7b9e44d3104aa084","datavalue":{"value":{"entity-type":"item","numeric-id":4443208,"id":"Q4443208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def243e7b82f3fe4b66bd867c0b5b3a14a431482","datavalue":{"value":{"amount":"+0.8826133012771606","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":"Q2434902$C1E1C78F-921C-4026-8C12-B6801AC460C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe18158a6ce01f773853a6291b89d428a861bf80","datavalue":{"value":{"entity-type":"item","numeric-id":897480,"id":"Q897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f54e2e3d92e46724c77919a533ca8e266b74662","datavalue":{"value":{"amount":"+0.847796618938446","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":"Q2434902$78740A3E-C41B-4739-90E1-C6D3BF4DFF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311129986e338c879f28527b6a269f8381609c7","datavalue":{"value":{"entity-type":"item","numeric-id":5367073,"id":"Q5367073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acd3cd9397a156d6627be9b19ea7dbbb04b5ac9","datavalue":{"value":{"amount":"+0.816032886505127","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":"Q2434902$BBB11285-C19A-46E1-8088-80633CBA24F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0285b1c03c9b3972ae14ca8db863da41233c811a","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967363d215604f26a7f4ba0abc269db7418c4bc0","datavalue":{"value":{"amount":"+0.8110719919204712","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":"Q2434902$4A3D8008-7D6D-4579-898A-025170A69694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378f33955b6e304d54ef59f2d34fc42eeae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":1407527,"id":"Q1407527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f5b6e11101c685b49ddaf6a920cc34b43e1257","datavalue":{"value":{"amount":"+0.8023668527603149","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":"Q2434902$65559A54-D05E-46F2-9CB3-40CB094CCE1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\lambda \\rho\\)-calculus. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Clambda_%5Crho%5C)-calculus._II"}}}}}