{"entities":{"Q4988930":{"pageid":7018507,"ns":120,"title":"Item:Q4988930","lastrevid":54003776,"modified":"2026-01-26T01:50:13Z","type":"item","id":"Q4988930","labels":{"en":{"language":"en","value":"Deriving efficient sequential and parallel generators for closed simply-typed lambda terms and normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350038"}},"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":"Q4988930$A8FEB635-F233-4BF5-96D9-104AF1FDADDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a52bc7d5da4d8fc8367cd0f145f0dcc39b00392","datavalue":{"value":{"text":"Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4988930$D817078E-ADA4-4F3A-AA16-2755254455E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63d3908d3efa1f6edef7b5605fe13e048f67a23f","datavalue":{"value":"1497.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988930$15148C76-FA82-4A15-96C8-3CF9EFCFC48F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"913fd76336a967c6a7126c2c6c7f53566adb4d7d","datavalue":{"value":"10.3233/FI-2020-1994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988930$463FDFD4-E8EB-4994-AD1B-478B6E386237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$589A7CC8-378D-4545-AF5F-002C451E6874","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$9E288208-4108-4DA5-AF97-4100E972E4AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4988930$F681DDFD-4CDE-4A5F-975D-45101073B96C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988930$C1523043-7160-4937-9368-139C2462D686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988930$1C0F18ED-6ABC-40D8-AA52-0A25B2D169F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e277965e9cbb386c72dfa02605de46f010d0d25","datavalue":{"value":"7350038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988930$E99174E0-4D43-4C67-93C4-73B5AC9693AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d91ba63b1106bd4a51efde8f058029dd0e8515","datavalue":{"value":"logic programming transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988930$F62750BD-BBB8-4201-8ACF-F48D94CC240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988930$26623656-9109-40F5-9BEF-5EA7CCF86F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b118772629151f381ba2ebd9f0327a64b3267e6","datavalue":{"value":"simply-typed lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988930$FCFBBA54-9615-4191-B562-8FAFA0F1EE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988930$B3DF7EBE-871F-4945-BA18-FF5390557444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6f1bd3cfeb7ef98fe5fdab5695d9647b3df657","datavalue":{"value":"sequential combinatorial generation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988930$C6E2E1C1-FFE7-4873-9507-48B855950B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f96a00a334d3df12db8af300f52e477b8a07b1ef","datavalue":{"value":"parallel combinatorial generation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988930$A16190B5-FDBF-429A-AB2D-F2064478E311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28aebcc3083367a9a0f0813c862256d0ba132ada","datavalue":{"value":"Prolog multi-threading","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988930$3E4CD05F-7DBC-4255-A24B-2E184D9ED46B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$77CC4601-22ED-4341-873E-8565D4255FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$5E18CFE6-1149-48A3-8186-EC0977D38ECE","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":"Q4988930$9C646849-AFF9-4050-BB6D-E63BE02080C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6207e5d62d3bca9cc63559ddc081b2f00fac7bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2409739,"id":"Q2409739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$D7C31D38-93B5-4594-8D9D-A5AB70564943","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":"Q4988930$A6AC3F01-0A38-46D0-9C7B-26AAE6AFD2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$0EA5778F-04AF-4DE2-8910-99EA9F9B9EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2b382496704c69d4ddd122d1fda39bebf3ce71","datavalue":{"value":{"entity-type":"item","numeric-id":4939699,"id":"Q4939699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$E8F8B549-E3B0-44FC-85F9-DD0AFDF2008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddb8400e0e4fe44c62fc549cdf01587605b639","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$B3CD8BF4-5411-480F-8335-0ECB3651F0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2952ac915f2cca31818fefbfaf85498ff6aa1f","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$6DB05FBF-7590-46EE-A33E-61BF2839211E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8be9e405b66250551af62b1aff8084b733ee11","datavalue":{"value":{"entity-type":"item","numeric-id":5194688,"id":"Q5194688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$392270E4-0F8A-4A02-9105-8ED82830C554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$80731CA2-DCD8-45A0-A39E-51730B1D23D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14f4b9f056af97f4c26b72a2a0be8a79d31908d","datavalue":{"value":{"entity-type":"item","numeric-id":3453110,"id":"Q3453110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$5B4D26C1-E1DD-49BB-8B87-D3A336096F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$DBFBF928-B54A-4472-B6D5-4BC2B7643194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$6CACB6CD-C665-4EB9-94A0-0D2FB44F52D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1e976cb72dca5d0ac688931ffa503aa5bcd36e","datavalue":{"value":{"entity-type":"item","numeric-id":2893087,"id":"Q2893087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$6CD9B25E-018C-47DF-903F-9BDB94F4700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7acb11cbdb933f2163912ccf010d4097ef19866","datavalue":{"value":{"entity-type":"item","numeric-id":1648865,"id":"Q1648865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$210C9278-42DF-4BAF-ACE8-1D3F1D340831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03260b7269fea943dcc9ad7613da0d0cf0a0d611","datavalue":{"value":{"entity-type":"item","numeric-id":4972064,"id":"Q4972064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$7E354EBA-6D86-45BC-B5F1-232C4818FCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad909d8578ecd7d69f4c903af79373c9751b6780","datavalue":{"value":{"entity-type":"item","numeric-id":5448306,"id":"Q5448306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$F13C4D34-61B0-4CD0-9FF8-F9784ED19162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b84581b07e17601c708bcb205ed3d42afae6000","datavalue":{"value":{"entity-type":"item","numeric-id":5371959,"id":"Q5371959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$D4B9D524-159A-4DBB-A2F2-C205CCC110F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b8f69189173aa4ba19756ce3c57a9c34200a3e","datavalue":{"value":{"entity-type":"item","numeric-id":2794357,"id":"Q2794357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$D0FE94FA-6B2A-47EC-9A4E-523848409EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a3247e4136306e51046f7c757c29de6aea1a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2427298,"id":"Q2427298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$6FC36CF8-7114-4724-A9A1-73D24848801E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d3c9ac1cb0706a0013fcafa27e3cbeb0a54511","datavalue":{"value":{"entity-type":"item","numeric-id":4603430,"id":"Q4603430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$F57C4B75-3986-4D2C-9486-A0CCB3A15BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befa2ab9e42579d316b1db7dc9e47ec4dd737815","datavalue":{"value":{"entity-type":"item","numeric-id":1671157,"id":"Q1671157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$E8E5D63A-162F-4B75-990C-E0E645A1B46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4182bc3380cb99d6dac6682631a6bab7a363f3d","datavalue":{"value":{"entity-type":"item","numeric-id":3458885,"id":"Q3458885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988930$260576DA-CBD3-4E8E-A220-E78DD728C0F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a654cac2956f1c9cd328fc985e9d468f0fff7bcb","datavalue":{"value":"https://doi.org/10.3233/fi-2020-1994","type":"string"},"datatype":"url"},"type":"statement","id":"Q4988930$D0D5032E-EBE3-43EE-8152-162EB61D1BC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d55201bff9da1eb5c0214c7014c02487b7b16288","datavalue":{"value":"W3111730893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988930$AB0E969B-2268-45BC-B8B8-D695F02757D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ac80237683eb0b06ca0314c4e5d9c2c12662e7","datavalue":{"value":{"entity-type":"item","numeric-id":2409739,"id":"Q2409739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede8817fe8a8f8da78e056a71e2cf033cc4fad53","datavalue":{"value":{"amount":"+0.9206348657608032","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":"Q4988930$91C82A66-26F6-48C6-927E-B2AA20850D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e289fc416153162241f8a464a997cf38eeb87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba60ef4e07a2f85d0dbf052eb27a19946f3b57a8","datavalue":{"value":{"amount":"+0.8434442281723022","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":"Q4988930$BF737A29-13B6-4A2E-88A8-8941C4635821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8cdab782d601576dda551443afd018f296acae7","datavalue":{"value":{"entity-type":"item","numeric-id":4603430,"id":"Q4603430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578867a7dbdaf5c5cdcf42ff5cf0076e5b81046a","datavalue":{"value":{"amount":"+0.7786304950714111","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":"Q4988930$FBDC2858-7989-4A42-AA05-571DA3F4CB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9ff51abd5c98ea3674940b2983b4e672a93458","datavalue":{"value":{"entity-type":"item","numeric-id":4581460,"id":"Q4581460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1243f629fef6c1b6be4f23fa0be38efbab7374f1","datavalue":{"value":{"amount":"+0.7660769820213318","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":"Q4988930$B5DB8DE4-4586-4D51-80B1-F2E36B52E50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b238689cbefdaee319aa98a033058b49e2d86683","datavalue":{"value":{"entity-type":"item","numeric-id":5371959,"id":"Q5371959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cdf7035ea29a38926f94ddde263e91417f92dcb","datavalue":{"value":{"amount":"+0.7555312514305115","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":"Q4988930$AEC360AC-ECE0-433B-BBA7-A1BC483DEDE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4988930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4988930"}}}}}