{"entities":{"Q3003362":{"pageid":3014086,"ns":120,"title":"Item:Q3003362","lastrevid":51254477,"modified":"2026-01-17T11:33:40Z","type":"item","id":"Q3003362","labels":{"en":{"language":"en","value":"Decomposing the lattice of meaningless sets in the infinitary lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900231"}},"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":"Q3003362$0D854838-7CAE-45A3-AE9E-8DA99CB11B9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f997a491d3beb4be8316eeb08452aaaa0812742e","datavalue":{"value":{"text":"Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003362$0DB2E3A2-6678-4D1B-AB00-A2B686EA68BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96248c8a9a5732fdb1ea76ecb7439800b2da3610","datavalue":{"value":"1328.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003362$25E58317-7540-4D22-B782-C64E2256067A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29b767674014296ddf5d23984b739421044e8612","datavalue":{"value":"10.1007/978-3-642-20920-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003362$E6DC67BC-5062-49BC-B4A1-80D657A4D013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003362$35744DCB-52E7-462C-AA30-3A47595BADBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003362$A28289B8-1CC1-4BF0-97C2-64E18FB0045E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003362$FE5A271E-3DFB-49B6-910C-DADF7FCC3882","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-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":"Q3003362$A409D455-2EE3-4F45-A88F-B91DA145A865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003362$48A23870-3912-47C2-BDAD-D9B5098AE415","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3206176ff51b8fcdc86506d862866cc7d6f8107","datavalue":{"value":"5900231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003362$039D2B9E-455A-439F-A567-3960B3D48387","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":"Q3003362$ECDFB823-B917-405E-883E-E9176F185DAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"806f44a94358db2bd3673b8065e20214401914f4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20920-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003362$8C68695A-7DAD-4EE0-88B9-428DA3A85B03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26d5724a25d76669b8c26a206b44f2521e4bd1e7","datavalue":{"value":"W2162824469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003362$AF86BACA-F4AD-40EB-9C74-CCF105A2B316","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f9a0beaaf4c96580cd0f9c31329f15cd96357f","datavalue":{"value":{"entity-type":"item","numeric-id":5111912,"id":"Q5111912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9addabd8fa7e82cfce19ef7386c1a1e530463c6","datavalue":{"value":{"amount":"+0.8096188902854919","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":"Q3003362$A075FC1A-1DEF-495A-AAE1-D601CFB8D176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4049cf6f9370cfc5dff59576cfc89e9a3c27af14","datavalue":{"value":{"entity-type":"item","numeric-id":5389089,"id":"Q5389089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95e66fba152e0f018ef9501eaddba3c9b2ded75","datavalue":{"value":{"amount":"+0.7733331322669983","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":"Q3003362$4D883A78-458C-421D-9959-93635387B8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bab9ca4687c887ba84e0ff9d87bab7f0d7b8be2","datavalue":{"value":{"entity-type":"item","numeric-id":5369483,"id":"Q5369483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6129280307e6bff272a3776ca07fe9f9bdbe6c53","datavalue":{"value":{"amount":"+0.7694216966629028","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":"Q3003362$D3578C66-6147-4F6F-91AE-8A34CDA48261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d0b06ca103c2dc3d1878a09dae9f306d3cad","datavalue":{"value":{"entity-type":"item","numeric-id":4820472,"id":"Q4820472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e9e79d5cf47fad380bc3aab9cd4d24a47d71dd","datavalue":{"value":{"amount":"+0.7464351654052734","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":"Q3003362$6B4F8232-20AC-42EF-8E9A-441FC3E60598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40289b5bf03e819c7faa2f926143374770976d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2956726,"id":"Q2956726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a0ae2ae735a8efaae3b12b745d84a7b6168969","datavalue":{"value":{"amount":"+0.7401798963546753","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":"Q3003362$A110F7F9-4579-4BBF-B683-8C06E9B2EC00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003362"}}}}}