{"entities":{"Q3608418":{"pageid":5638324,"ns":120,"title":"Item:Q3608418","lastrevid":58219152,"modified":"2026-04-04T07:01:46Z","type":"item","id":"Q3608418","labels":{"en":{"language":"en","value":"Lambda Theories of Effective Lambda Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523399"}},"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":"Q3608418$F2F8B22C-1BAD-4BA3-A90D-3AED3A128967","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b97632a17b52bb43a36f5afffb72898ac428ed9c","datavalue":{"value":{"text":"Lambda Theories of Effective Lambda Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608418$242BB2DE-FA50-40A1-BF5C-33ED08A24B85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0566bad7bd3e309c8d13f234269e4058ea131e43","datavalue":{"value":"1179.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608418$B135BE73-B38B-4CA3-858A-BEACF012047E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"671df9dfbbe2b74c5703bfc8df02b6d5bb934518","datavalue":{"value":"10.1007/978-3-540-74915-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608418$44E6D2C8-F9F7-48B6-8533-08BD899EDA03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608418$FC856852-588D-4138-9BC1-A39849C909AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68270b02753f40aeb8c3f7c3db3ee0bba3d62f","datavalue":{"value":{"entity-type":"item","numeric-id":1391738,"id":"Q1391738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608418$B6AE289D-FB52-478D-A905-98809373B4CD","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":"Q3608418$C15825BA-4B7A-41EB-85CA-A7820A3A6A1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608418$56668408-C0BA-4576-9A34-54EEDF40F770","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608418$D6F1EC1E-DD3F-4244-8BED-22ECF2BB89AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4a2701d5d5b54a01faef5311712202d5bc2f626","datavalue":{"value":"https://arxiv.org/abs/math/0701684","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608418$E5963109-0CC8-4823-BFB3-D23E8F4DECB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608418$1FAE92ED-1EB5-488F-B2B9-140B82A04DB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e47c392fccf17592d058f3c3adc13fafc2dc564","datavalue":{"value":"5523399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608418$B7E34061-7B56-45CB-9C87-1538D28C58D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608418$E1875450-8DB0-46B6-B468-82C212E8D8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e26d5f8c7e236bc633e6d936935e88a62b8ab23","datavalue":{"value":"effective lambda models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608418$812F9F7F-382E-4905-8F1F-F2E3EC8AFB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f38ce109725052e949727e1d4a7dcb02c45745cc","datavalue":{"value":"recursively enumerable lambda theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608418$AB48C50F-1B32-4F3C-8206-7499290718F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34fcb20407e5aee7b9f13cfbd3373f68d968dfab","datavalue":{"value":"graph models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608418$82B9F387-7F2F-46BE-B503-DAF5137F29A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c713dadb169cc2c3ae07f9e11bf74145002aa785","datavalue":{"value":"L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608418$F5F87286-60EA-4899-B6C4-012C005B9B06","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":"Q3608418$EA42CA3C-5259-4EC4-A059-6CCF05DC7726","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab6d7acd140d525f383e3f744aa05d76da76f194","datavalue":{"value":"W1495260436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608418$A6DB6A31-7AF0-401B-8FCA-CE80D5E09E7F","rank":"normal"}],"P1643":[{"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":"f58ce754698df129d67970428245b23a61e05c7b","datavalue":{"value":{"amount":"+0.9389442205429076","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":"Q3608418$D463EE14-82A0-419E-8F22-365809477913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaed0248b48e96a7568a92b16305333806719d7","datavalue":{"value":{"entity-type":"item","numeric-id":3535680,"id":"Q3535680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20dce7633a79c2ce8479d7a8699fa7d85decc96","datavalue":{"value":{"amount":"+0.8840744495391846","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":"Q3608418$05AC252D-15C4-4031-BE3D-A419992CA10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79b5d98a0070952352fa1eabaa4a0bfc6b0acb11","datavalue":{"value":{"entity-type":"item","numeric-id":5431316,"id":"Q5431316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e8a246b3686d01718035b55e1f01172e782a42","datavalue":{"value":{"amount":"+0.857867956161499","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":"Q3608418$A577FC4B-9BFD-4038-B7E9-D8DD95808C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0c597fd86f08bf24522c54920f61dd77fa528b","datavalue":{"value":{"entity-type":"item","numeric-id":5481589,"id":"Q5481589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e621fcb3389bb90b9d9a749dfb2e8a37806334eb","datavalue":{"value":{"amount":"+0.855680525302887","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":"Q3608418$DA94C458-2C82-43D3-97C1-421EEE0BC81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c057d661ba9856ce84efb0797f8701fd246bb98","datavalue":{"value":{"entity-type":"item","numeric-id":4297417,"id":"Q4297417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a526ec42c9c535b63b8b5977db639448788bc07","datavalue":{"value":{"amount":"+0.8381263613700867","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":"Q3608418$1EF1A49F-576A-4D9F-BDE4-0AB9871AF619","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608418"}}}}}