{"entities":{"Q4649544":{"pageid":6679125,"ns":120,"title":"Item:Q4649544","lastrevid":51601661,"modified":"2026-01-19T00:42:14Z","type":"item","id":"Q4649544","labels":{"en":{"language":"en","value":"On the equational consistency of order-theoretic models of the lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109831"}},"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":"Q4649544$F5D50FB4-C1D2-4DAE-90F8-ABC509C3C9AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41cff788af6b6c27728b43a71af39b63509ece20","datavalue":{"value":"1252.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649544$D7F10663-9E78-4B98-A830-E3D07E555985","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649544$26B86731-475C-411C-935F-84E229172ED0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649544$961E27B2-36AE-4BFD-89CF-FD380783700A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ead7b47dadb064c5a9d218c89a0ddc5522d5ef13","datavalue":{"value":"6109831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649544$893F685E-8E71-4FA7-8FC5-901D99DCBE7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649544$BE279FDC-DFD8-461E-8B6D-1A95680F6061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8681203bd8fe1c625a2663ddbddacbdc4ca8758e","datavalue":{"value":"order-incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649544$B8349851-F7B8-471E-A6A2-720239D46D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba86a05af920c45327da0b80e169cbe1af2ea341","datavalue":{"value":"partially ordered models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649544$99F912A6-CB67-4008-AB66-FA7AB51D9977","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49333e84b835a1566132140381f9e41e38acd7a0","datavalue":{"value":{"entity-type":"item","numeric-id":592096,"id":"Q592096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649544$ADDBF3EB-ADC2-437B-88CF-51AAC88E5DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649544$795D7792-619C-4B8B-9D65-304065C0B106","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":"Q4649544$7389F716-F901-4375-805C-6AD8D9842B2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18fc67f55fcb90690be31d2616e67e884cd27eb1","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CSL.2012.152","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649544$D77E065A-1B80-455E-807D-CF904A02F02A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cc6f4c5b2c723dd98e30ecd20a2ea89da9fcd90","datavalue":{"value":"W2258774439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649544$B9ABCFAD-428F-4C36-AE9F-4FFD4FF520F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e06b4e0bbbf3adf1c854a44a9d976671f66fb7e8","datavalue":{"value":{"text":"On the equational consistency of order-theoretic models of the lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649544$8DE77984-F51A-48CE-AFB3-1DE91996FA62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f32eea49d644788f421c1cb70a5971d70b650f12","datavalue":{"value":"10.4230/LIPICS.CSL.2012.152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649544$E5F453BC-7855-4901-B074-E5F5E6CA0233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415330372d909ec89618abb517d8477f2fd36406","datavalue":{"value":{"entity-type":"item","numeric-id":2871473,"id":"Q2871473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7ee33713a843c70a0ffd6ecfdd7f26b5ab1271","datavalue":{"value":{"amount":"+0.9289396405220032","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":"Q4649544$0477C67F-02C1-4E45-99DA-694A52CB5B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe88c05f88fe4b686bae2e7511b096502afb869","datavalue":{"value":{"entity-type":"item","numeric-id":1021569,"id":"Q1021569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20330dc18feccfcd448ce508b4c7ca8275135bdb","datavalue":{"value":{"amount":"+0.8134233951568604","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":"Q4649544$3D5EFD10-0E10-40DB-A1A1-226457731E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f397c23b62469b6edce0aed520e748f2f9c3d40","datavalue":{"value":{"entity-type":"item","numeric-id":3643360,"id":"Q3643360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f79b09a85358f5b07ed1553d32bcc3848d1ffe","datavalue":{"value":{"amount":"+0.7927826642990112","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":"Q4649544$44D34B9B-0294-431C-9F43-2D28153B08DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e967a0844032208c812c6af595f22ba3bbcb523a","datavalue":{"value":{"entity-type":"item","numeric-id":3608418,"id":"Q3608418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3673bfeb4e691bdee2d61a247840598ab47fb4e","datavalue":{"value":{"amount":"+0.7873222231864929","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":"Q4649544$222F2B59-6B1C-4CB8-833D-D8836F1C071F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e00484325dc204290226d18756f6d6c09bcd3c","datavalue":{"value":{"entity-type":"item","numeric-id":4916175,"id":"Q4916175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a8b325791fc38e62d0ab66e7db12b617e35185","datavalue":{"value":{"amount":"+0.7869080901145935","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":"Q4649544$0E8CC63F-3F9C-43FF-BA08-476316CC91C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649544"}}}}}