{"entities":{"Q1349667":{"pageid":1360406,"ns":120,"title":"Item:Q1349667","lastrevid":67205019,"modified":"2026-04-12T16:01:47Z","type":"item","id":"Q1349667","labels":{"en":{"language":"en","value":"Categorical abstract machines for higher-order typed \\(\\lambda\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983728"}},"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":"Q1349667$CB230C16-D274-4818-8159-047A69E35CE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcc980d0c02e44427a6100af9180026649690c0a","datavalue":{"value":{"text":"Categorical abstract machines for higher-order typed \\(\\lambda\\)-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349667$01F7BDA3-671A-4F8C-A721-15D5E6A41E62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3415625f9077ea4b672f88ae3434377fec195923","datavalue":{"value":"0874.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349667$B06C5127-2CA6-4BCA-B220-CA8267CA2E40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7101859de3739f696ad96d2f2b93601683a7d591","datavalue":{"value":"10.1016/0304-3975(94)00125-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349667$947B8456-88CC-4C31-A9BF-AD77CA8BBC66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$E6ACAA74-8DA4-46CD-895C-443D4F6E9242","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$8F7F00FA-4B77-43A2-ABE4-F1DFABE4D493","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349667$8A16C7BD-2C78-453C-AEEE-71DAA602845E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349667$388CB5DE-2375-4491-9415-BF08CAA49C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349667$A441883C-E806-4BD4-9533-886A1B453548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349667$9BF7B0B2-43BA-42F1-8860-86F94689E406","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"165ec175ebdc153f79e9908461d874a8307db8ea","datavalue":{"value":"983728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349667$CBE85E9F-A7D5-4236-8651-497D9BA4E1F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$0D7341B5-7867-43F4-A949-076939D08ED2","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":"Q1349667$63009D21-02D3-43B3-8DC8-382F2E1533A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e21155ac4fb058e9c161a7f2e6aef08c92bbcbe","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00125-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349667$B6FF696D-8C45-47A0-97DF-7242244C8DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd8b25599563f1bb6d3387e5c6c074b3376a994a","datavalue":{"value":"W2065588545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349667$665E9920-E46E-450D-A137-3DC2E880FCE7","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":"Q1349667$2C16632B-7C20-4E1F-B714-25804D9C72AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$FE49229E-1C90-4C56-8F72-A7EBD8E55672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$D433C0A0-FCCB-4D3C-8B18-21FC5521ABD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7145a08058c2606f14ee8ef77509e0e6d4370df","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$7B6F24B3-4AB2-4182-A581-AFA4802BB208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf065017c14be97500998deaea5bc17449273da","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$2AE430EF-F58C-47EF-B496-EBA707EB4AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d318da55de3f531193a364d562784327d78648c8","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$3540F834-6BE3-4AC0-8FC7-312CF5F0281D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c3aea8ba4374fa6afd6fa009a7280cc68d9953","datavalue":{"value":{"entity-type":"item","numeric-id":1822494,"id":"Q1822494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$3EA60D4D-3FAD-4F28-8BEE-F41C0663CB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9b21e92d1e385b1aa703cba49bf61d8d21f05a","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$CA23681F-5B52-4D37-8FD8-E7482F101B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0736bbf56297de80713599a0a21699517af4ba0","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$40D04533-FAEF-4BDC-87E1-B18FDD17F5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577c16d7219eebe17d5c59e5734b8d6c26ea7c26","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$C3B93687-6E24-4314-8915-4D6EC71D8116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$AB341979-8ADA-401A-A76D-20731B29EA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$681F1310-F3C6-45D9-9602-BC1264827B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a674447f47c2366fa483451f07af21384aaf92","datavalue":{"value":{"entity-type":"item","numeric-id":4525291,"id":"Q4525291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$23E4AFFD-AE52-4E9D-BDAF-6990E5C36E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349667$4F8245C3-4D93-40F4-A881-76CE4983A463","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901601425e6a873e87c732891c24a30a1c03b196","datavalue":{"value":{"entity-type":"item","numeric-id":4763978,"id":"Q4763978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1e13baea44ac106c6f66d3e45641fc959608e1","datavalue":{"value":{"amount":"+0.8516284823417664","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":"Q1349667$013AC32E-FDCF-43AF-9431-BC7E743E7843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a715d38b9608064b19a7f411bef7ba6321fa368","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1e13baea44ac106c6f66d3e45641fc959608e1","datavalue":{"value":{"amount":"+0.8516284823417664","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":"Q1349667$38E29F39-8A8A-4E52-B2D8-8D9ED695ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821d4caec5608df4d9c3b134be10e8dfa7385f46","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68b084a201e4b06010e28558229dc19711e7556","datavalue":{"value":{"amount":"+0.831194281578064","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":"Q1349667$34D8F7A2-5BF1-4EAA-AA4F-A23823E140C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4413f2d4f1b96a82414ee2db1446389d273ddea","datavalue":{"value":{"entity-type":"item","numeric-id":3721820,"id":"Q3721820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ead9590002277c69d953901cc4b272acdf3a4fa","datavalue":{"value":{"amount":"+0.8295350670814514","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":"Q1349667$460106DA-9620-4559-8A20-47C5304958AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea72590803620e96d6b6dca4ab4d7c8eb23acea2","datavalue":{"value":{"amount":"+0.8023218512535095","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":"Q1349667$7749C1FC-B3D6-4EA3-9215-118374DF3E71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract machines for higher-order typed \\(\\lambda\\)-calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_abstract_machines_for_higher-order_typed_%5C(%5Clambda%5C)-calculi"}}}}}