{"entities":{"Q2200851":{"pageid":2211594,"ns":120,"title":"Item:Q2200851","lastrevid":73580565,"modified":"2026-04-14T16:31:58Z","type":"item","id":"Q2200851","labels":{"en":{"language":"en","value":"Spinal atomic \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250958"}},"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":"Q2200851$79F7D643-9448-4628-B070-BBA81FA0AAD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2775abc9dae3866cf2a09ad5292fa48019cc706a","datavalue":{"value":{"text":"Spinal atomic \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200851$D3C76074-E540-4C59-84B4-DD6796E7327F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40a449defba4cb7255bf4c81466ef225eacbdbdf","datavalue":{"value":"1496.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200851$4C93BCDD-CBE0-4E38-87A1-8F63B57ADD14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f38a37a7284c43d004a0781bd6887526d649d2f","datavalue":{"value":"10.1007/978-3-030-45231-5_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200851$7B5D7DDE-8936-4A82-8DAC-0698A624AD73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf80a1a07eac899e3722fb49439f3b140d890d83","datavalue":{"value":{"entity-type":"item","numeric-id":2200849,"id":"Q2200849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$1080909F-85E2-4004-B885-A3DB431853C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3692c76e27dc49b695ca2d8a287922220322cfc","datavalue":{"value":{"entity-type":"item","numeric-id":636368,"id":"Q636368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$25AADFA6-396F-4743-AD53-A9EAB4B640AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4612e4af430638c532ed32c66043f9363097a630","datavalue":{"value":{"entity-type":"item","numeric-id":2200850,"id":"Q2200850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$6CA9A062-E797-44EA-BE73-3E0022A01FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb422b0a71c7373d6ef3f0283ecc33ac78f3208","datavalue":{"value":{"entity-type":"item","numeric-id":1083859,"id":"Q1083859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$D7D00295-C135-4182-80F9-A1FCCD1098F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200851$C8EC58EE-32E1-481E-ADBD-1AA15E59C3A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200851$C6198E04-0C0E-490E-9158-EEE71A49096E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14c3c858e288c88f30eb7ca8545cdfc6580b711a","datavalue":{"value":"7250958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200851$1D81033D-5B34-4A7A-8486-61FCCD9FAF3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200851$85A6FB2D-78CC-469E-9D9D-A37F232286E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9bccb384bd628a0cc805775276b52f8629d0d5b","datavalue":{"value":"full laziness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200851$9B33ABCE-DD40-4FB3-9FF1-A5987B45769E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200851$F1B18F1B-ECEC-40C9-89A3-0B652E3BF4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c441b3dee73de3d269547b272c1f7cdc085a924","datavalue":{"value":"Curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200851$480793E8-2CB6-4063-B2F7-E69578E982E1","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":"Q2200851$0570A544-AF1C-4043-8663-7D9F2576C0FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a15daa9cb86b3df3599fc8046721207bb7301d5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45231-5_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200851$2995EA0D-1CA8-498E-B972-A63251828716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cf84e8f4c5aa4e47f992ebc22468b816d2daf49","datavalue":{"value":"W3016802302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200851$A7CAB1F3-CE1A-4A8E-B88A-6F9F5FABFF4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$FC16815C-BCC2-466C-90AC-DB4689E8067C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ff6b347d378fd9fbc296a839be89db0870b89d","datavalue":{"value":{"entity-type":"item","numeric-id":2881096,"id":"Q2881096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$DEFC5653-5D76-402E-A740-2FE7B815EBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$3BB0F6D7-FC1A-476D-A639-22E8371B5331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60976255307e7563f8b58cc40d7f29211cc4fbff","datavalue":{"value":{"entity-type":"item","numeric-id":2942896,"id":"Q2942896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$65E5F4DA-8BA1-420D-8361-55984482007B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6632fc7c7f73d5aebf66695932b77dd7138660d","datavalue":{"value":{"entity-type":"item","numeric-id":5244806,"id":"Q5244806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$CB2C6CD4-2820-4225-8947-36FD92E53279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$5D7AF43F-22B9-4EB5-B78A-F370C8B8D651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee679760eecd599937425cc96ac3167fd3bc1b24","datavalue":{"value":{"entity-type":"item","numeric-id":3216136,"id":"Q3216136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$5B48A6A5-6F15-4A5A-B46A-A13EE4EFE696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01aa2ed5e9d627304a8ca991a6b97789bc5d411f","datavalue":{"value":{"entity-type":"item","numeric-id":5898152,"id":"Q5898152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$340EBA5B-0918-4557-A465-E79CA5907325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dbbec6026c95483282d6d97d44b624e6dfaa63","datavalue":{"value":{"entity-type":"item","numeric-id":5505576,"id":"Q5505576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$5E5FCC76-CF25-48B3-9AF4-39E01B068F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$D6608DA4-D8E8-416B-88BB-B01CCA979583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107eec03b6587e73479808a48d1286903f6903fa","datavalue":{"value":{"entity-type":"item","numeric-id":5763294,"id":"Q5763294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$708B6391-26A3-46FD-AD6A-9C80C3EBD8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$291B914D-A121-4254-86D2-CC80BA62BC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d031a16c82c0e88adc286b0652a71c3d01e68f","datavalue":{"value":{"entity-type":"item","numeric-id":1778107,"id":"Q1778107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$87E5CBBB-C408-4898-A533-386E13E2C31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b9b5f3dd069b6603becb5b2e914e716f18780f","datavalue":{"value":{"entity-type":"item","numeric-id":4635630,"id":"Q4635630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$DD5582BF-CFF0-4370-933F-B8C7695707A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf499e29c0e8e2f018546e104c07e47e84ff64d","datavalue":{"value":{"entity-type":"item","numeric-id":5389140,"id":"Q5389140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$FD2273A8-FCD5-4E0F-B08E-28DED176B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d886a62c5582a0ef18e699e9b7d6f494f5bdd2d","datavalue":{"value":{"entity-type":"item","numeric-id":5271068,"id":"Q5271068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$85ED3EA1-020C-49EE-B651-3156E7044240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ceafaaf430db86d30058be4e3a17b419bcb1397","datavalue":{"value":{"entity-type":"item","numeric-id":5900715,"id":"Q5900715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$25A81ABA-5054-4EDF-B65D-BEC8711F2B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bb8be7de89f20d22f4ee8d1d86958f7a15e915","datavalue":{"value":{"entity-type":"item","numeric-id":3823125,"id":"Q3823125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$B31A282C-9E94-4828-B226-31CD3F7253C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$4384266E-86BA-4BB8-AF70-D3427590A98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4673138e41cdcc6fdba908fef9d352af43a81cb","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$36DD5EB7-BF0F-4699-BEF1-3A91B3891233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f846197f688c432cf02a0c8e5466edefbeb7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5271068,"id":"Q5271068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb52829c2bb20da2c20cefe379615a97cd3313c9","datavalue":{"value":{"amount":"+0.8839749693870544","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":"Q2200851$08129DDB-A42E-4D31-B72D-66603F8D52BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9337dcf5f008dbee25bf8ebe353a36a9f86befe","datavalue":{"value":{"entity-type":"item","numeric-id":2870139,"id":"Q2870139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf34ee2955d875ae9177c5d2157a93ebc6f78b3d","datavalue":{"value":{"amount":"+0.8135329484939575","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":"Q2200851$EEA16048-FBCB-442D-B0D0-A720408C07CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c738f01f589bfd45d7f3eb15fcfb84068085a0","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea14bfa70a4c97223b437391c60adae534c3efb4","datavalue":{"value":{"amount":"+0.7993227243423462","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":"Q2200851$84105D15-1A21-4CE1-B4D6-1FC2B8616A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7030e328490d8008eddfe3425194eac1cf5add98","datavalue":{"value":{"entity-type":"item","numeric-id":3184667,"id":"Q3184667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e688314519ad79cd1ce04aea78c977cae6c44396","datavalue":{"value":{"amount":"+0.739740788936615","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":"Q2200851$894DD73C-CDC6-42DE-9384-4DF96B638C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2646aba0b8c3ecbc33a5d46a375d4e50a1741ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451c7f53ab3b9e155a07fec7323a72f7407d0f1c","datavalue":{"value":{"amount":"+0.715023398399353","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":"Q2200851$7F56F393-B6E4-4A6E-8F6B-A89EBFE04E5B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200851$8B92FFF9-25AF-4A0B-944C-012B364CD92A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spinal atomic \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Spinal_atomic_%5C(%5Clambda%5C)-calculus"}}}}}