{"entities":{"Q5410454":{"pageid":7440028,"ns":120,"title":"Item:Q5410454","lastrevid":41254743,"modified":"2025-04-25T06:57:24Z","type":"item","id":"Q5410454","labels":{"en":{"language":"en","value":"Programming in the \u03bb-Calculus: From Church to Scott and Back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6285935"}},"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":"Q5410454$B68DB99C-FF79-452A-8814-B5845A4807C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe670bd7fb97eff24c172cea3be258576315e1b1","datavalue":{"value":{"text":"Programming in the \u03bb-Calculus: From Church to Scott and Back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410454$52BD4D61-1A4E-4FF0-8BC8-AAFE7D04540F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6285d826b12a11994d1a7f47e4084d4a3ef6843","datavalue":{"value":"1405.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$BBF1797E-9D17-42A1-9FFF-68404C917DFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5eb3c7261f74efb409ab4672ef7eb6c8519b5d4f","datavalue":{"value":"10.1007/978-3-642-40355-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$B2B86C12-59F6-4DC5-BB9B-7EA0352AD7D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d400c9575675507aa15ebd446e1505e714ea218","datavalue":{"value":{"entity-type":"item","numeric-id":3104400,"id":"Q3104400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$0EC28F4D-3E94-4CF5-8139-A25404C9861B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$DF01D19F-55A9-4BFD-9944-C506659DB9C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410454$32D6DCE7-415D-439C-9907-538AF2172D53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$FD54CF41-654E-4622-BEB8-0DCA82C64357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$A0B38E43-BFFC-445E-88DE-6988F255650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$575ACE7F-B311-4004-8505-268E43F2409A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d0c7a3a3bc24d211a35c945eb37dcf0d2f39075","datavalue":{"value":"6285935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$E1AF5EBD-208F-4A02-A143-C544C41C1E54","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"be3bec5eb2ca7d5ccf4f19c64aea749446683aeb","datavalue":{"value":"Q56067753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$E8E5B184-13B1-49DB-917C-41BAEB35F38D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$1A7A1E63-CE97-4BC7-855E-90B0A615A289","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":"Q5410454$AC6AFDE0-44AC-4DA7-8D81-9A924134CA58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5613917d429fa4fd8d0f22b8b721041595235288","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40355-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410454$B7705A50-336B-4B33-8B3D-EE1D1EE17C37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1a8a4283adf8294700a53f3436965b472adea06","datavalue":{"value":"W144693796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$0FD8C68B-BE45-411B-9827-84B2EA5D8838","rank":"normal"}],"P223":[{"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":"Q5410454$F239B322-2916-44A0-8E62-05EEF288B3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c032a0999a4d84d7a90b52b2c1615d79ce059e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4359526,"id":"Q4359526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$F07B8F2B-6BD6-4198-9887-58B40FA7BBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$9C681E64-86B6-4AD3-87D9-A944E911CCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d275137ff5c814c961194d812bf83c26ea877284","datavalue":{"value":{"entity-type":"item","numeric-id":4664058,"id":"Q4664058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$043F3D34-8C8B-495B-9422-94744123A75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$9B713932-E526-445C-A438-5FD7E23C6153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667244bbb64cbeae656c8710018670875f6b25da","datavalue":{"value":{"entity-type":"item","numeric-id":4764616,"id":"Q4764616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$B7CD08FE-9A1F-46AB-AFF0-B4D0FEFBB02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d7cfd1b00c1b1b0390f919c157e3464124a647","datavalue":{"value":{"entity-type":"item","numeric-id":3823126,"id":"Q3823126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$31DE4235-69D4-4DCE-AD43-BFCC30083DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd2731bcb07c10f5b5e7717f68a091ce30f5ea4","datavalue":{"value":{"entity-type":"item","numeric-id":848742,"id":"Q848742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$1BB2684E-29E1-4ED2-A86B-3BA5DF0903F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410454$5364EC25-1A81-4C3E-9057-07D3A75D6ED6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"17a1b6a28a748cfa290b6f5d9a0666b954a41677","datavalue":{"value":"conf/birthday/Jansen13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410454$4969682B-5832-4661-A25E-C60D8EB49AFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d6389fa141be3b7a3c32f49e5e87ff0e6d6e99","datavalue":{"value":{"amount":"+0.8954046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$9556085E-7F8A-4C9F-AABA-20838BBD62A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec01c04cf050909d5142ea22d574a64c4e28525","datavalue":{"value":{"amount":"+0.8932955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$2BB34B11-2391-4113-A449-FD0E3BD91248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ec7d58f70daed75028917633fd6f230ebf5ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3188288,"id":"Q3188288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef66bebb074333fd57a789bf65de5e3b2181775","datavalue":{"value":{"amount":"+0.8926082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$93E3A711-CAE5-4021-8413-BB5C97831EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5458c9435141d71035ca73a099f15d16be07f4","datavalue":{"value":{"entity-type":"item","numeric-id":1044184,"id":"Q1044184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c8c8ba7f16ac893ea06f89f691f0cab5fd0932","datavalue":{"value":{"amount":"+0.8902712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$C0929D62-8E96-48BB-BE65-C0523B086877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5596095dd99dd684b60d6ccd6f7910efb1630ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3980023,"id":"Q3980023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa661f44ec20604711e8ac22f82a6963d6a9712","datavalue":{"value":{"amount":"+0.89020884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$D18DC084-E34B-4AA1-ADEB-7BE6813483BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368314ba4158aa49d3575bcd9866ad3acb2459a3","datavalue":{"value":{"entity-type":"item","numeric-id":831147,"id":"Q831147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe6b772d6d759b3df0b467ea9348a1f7252d031","datavalue":{"value":{"amount":"+0.8864515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$674433CA-B63C-4E07-B045-3630F6BF38B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba45a8049fb374ef57f31d68c87d9fafb78cd9e0","datavalue":{"value":{"amount":"+0.88513005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$87452B8B-F5D1-4997-B1C9-6A42C8E550FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a88b820879f2cbeec29ad4d4e38baf04bad2edd","datavalue":{"value":{"entity-type":"item","numeric-id":3024833,"id":"Q3024833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024f48b3b88a0b94e6da8c76d6ee2a87090365c6","datavalue":{"value":{"amount":"+0.8835353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$539277E8-F9F9-40E4-B964-4FFABA109EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd1293045b54d89f43996b1517282ed0cdf8631","datavalue":{"value":{"entity-type":"item","numeric-id":4358459,"id":"Q4358459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9d365fecf60d2fd644df26b0ca43bc9382e418","datavalue":{"value":{"amount":"+0.8832351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$8C177171-AAEB-4FE8-91D1-A388D2E2AA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38cb95fd292b08678ad0a0704ab99da6f7deac6","datavalue":{"value":{"amount":"+0.88255423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410454$EBF23109-FC23-451C-8F23-5A65D6CA278A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410454"}}}}}