{"entities":{"Q6189215":{"pageid":13324103,"ns":120,"title":"Item:Q6189215","lastrevid":94173323,"modified":"2026-06-05T06:05:10Z","type":"item","id":"Q6189215","labels":{"en":{"language":"en","value":"A typed lambda-calculus with first-class configurations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7801587"}},"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":"Q6189215$EAA5916D-DCEB-4D22-9586-DA10A7559A2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2848555c7f59ae044fb7c456e0199a1ae2a324aa","datavalue":{"value":{"text":"A typed lambda-calculus with first-class configurations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6189215$916EB043-DE97-4425-9F1D-AE3B16F26738","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"404f7ed71c109ed4665798cb42a91614fe27dec9","datavalue":{"value":{"entity-type":"item","numeric-id":1630038,"id":"Q1630038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6189215$3900E9B4-AA35-4385-A1B0-7B37349BB6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17168131979283ffeacb3fd96d50dbe9ed48e14","datavalue":{"value":{"entity-type":"item","numeric-id":1758659,"id":"Q1758659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6189215$8D59DA47-0BFC-433D-8CD4-6CBDA74E34BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcea59de37fe37ba846adb4ec4d4b6604167dc20","datavalue":{"value":{"time":"+2024-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6189215$6AAA7E40-1B1B-4AE0-BF1B-565490D0F918","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189215$252C8B56-F63B-4BAD-AEEB-2D6F1B30D0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189215$C7C24EB1-965F-4C55-B880-8A889626AFCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"636eb495c20e82f293c6da16bd8ef31ac9941166","datavalue":{"value":"7801587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189215$99727F3A-9E5D-47E6-876F-DB179B3A0692","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa18590fcb750b5f18709be8309265291250a544","datavalue":{"value":"formulae-as-types notion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189215$C0EFC073-45C2-4166-8DD6-8C7B4CEF9ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189215$F8917658-7B38-4926-9DA7-87916D7CAF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189215$E2D002C8-4051-45F6-83AF-5E7F37F0DC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f373a69cf688b0e7ebcc8ddb236e7cc91ffbd55d","datavalue":{"value":"configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189215$557408B8-0561-42CD-B943-D39C179893F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351fefe46fc8e1de8e2d73f29074039dfa23818f","datavalue":{"value":"bilateralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189215$3D7D461E-18CE-4AD0-93BE-261D4136219C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c424861acb017bbf5cca63f4aac94773a4982ff","datavalue":{"value":"delimited continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189215$9A6F30E4-C036-4609-890C-541A7296C691","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":"Q6189215$5B3A9D34-189C-4D4F-AEAA-A4D3DD1A0851","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a24d1e6557a23a9ab78b44c51ce30eacb0df1ea","datavalue":{"value":"https://doi.org/10.1093/logcom/exac062","type":"string"},"datatype":"url"},"type":"statement","id":"Q6189215$C0AD4CBF-07F1-4BDE-93BB-8DA43A8A0B32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9150b1211c9fcae139395d7252fffdbbfd983a5f","datavalue":{"value":"W4304631855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189215$FB7A82F3-CAFC-451E-8F2A-B69739CA978F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dd23be7e03e2534c6bdd0c54cfd73d64a2a1edb","datavalue":{"value":"10.1093/LOGCOM/EXAC062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189215$426E6F81-3EAD-4306-8B33-0EE5228ADABC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6189215$259FD052-18CF-4D85-92D5-8DB6657A4061","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A typed lambda-calculus with first-class configurations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_typed_lambda-calculus_with_first-class_configurations"}}}}}