{"entities":{"Q3734353":{"pageid":5764259,"ns":120,"title":"Item:Q3734353","lastrevid":50866082,"modified":"2026-01-15T12:04:18Z","type":"item","id":"Q3734353","labels":{"en":{"language":"en","value":"Effectively given domains and lambda-calculus models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966018"}},"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":"Q3734353$14B063AA-40F8-499C-BC12-17CEAB01ABAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a9a3c3eb220becd586ad11ca7e48f77d9aba0b1","datavalue":{"value":{"text":"Effectively given domains and lambda-calculus models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3734353$B42E7FAD-484C-426C-91F8-E4692077E08F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"085b0b539d4a76ed83168e75de4f7de764a65cff","datavalue":{"value":"0599.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734353$01ED6B26-67C6-4E05-A517-72C122C52927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5affed6c0adee0f0c27cc577cdec7bafc33eaf2","datavalue":{"value":"10.1016/S0019-9958(84)80009-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734353$8D871408-9B9C-4F3D-A9CA-2D29A27A64DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734353$3D126DF7-D777-4447-9106-E19313AF5801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734353$C59F737C-7B28-40AA-9A47-C8AA5A00E9AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734353$39DDC5B1-128B-460B-938C-48019250DB4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3734353$D72D6EDB-AA5F-4FD3-9D7F-945F04BB0DC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734353$A79AC15D-ADF4-4372-BE99-1082EE497A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734353$18ABE896-87DA-47FC-A775-6AAD6147A7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734353$4419AB0A-D985-4AD6-B7E4-2D45A4C3D1BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"102aabb57d400f1e9538c1fdc503ac54fbde3259","datavalue":{"value":"3966018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734353$DFD0745A-55EE-46A5-B12E-893C478F9ACD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734353$48C5E3DF-2E41-4795-9729-831DBEA45804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1937b757d5c75a8521369afb24bc8c7415eb1d12","datavalue":{"value":"computability over models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734353$7455175E-88FB-4269-A8C4-3ABB8340D3F6","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":"Q3734353$3A7D3108-3AD0-415A-90C3-6A932B1F2101","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":"ac6a4ec6ee13119d57c0fc42d1b1d46115822973","datavalue":{"value":{"amount":"+0.768818199634552","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":"Q3734353$036C3E30-1AE3-40FF-8DB6-F090B1ED1296","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":"57f495f793d1e5cda2e7fb8ca0e65aeabf86b8f5","datavalue":{"value":{"amount":"+0.764542281627655","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":"Q3734353$676DB733-C856-476C-8664-02DB1F0EC69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81a7174a1ef4613d63d76e76175dfccb179833","datavalue":{"value":{"entity-type":"item","numeric-id":4991956,"id":"Q4991956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfa7de1f549ca22650c6cd312313b43acc06968","datavalue":{"value":{"amount":"+0.7589600086212158","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":"Q3734353$92C32B79-5485-407C-AF90-EE48207A26C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f87dd34a8eb14d673e58a4bd4aa2e852b6c180c","datavalue":{"value":{"entity-type":"item","numeric-id":1322479,"id":"Q1322479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0a18b077759fac9cf3f0e730884f0a2a4f3d2a","datavalue":{"value":{"amount":"+0.7319074869155884","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":"Q3734353$9AA4FD2D-ED37-4A24-8B5B-0E5FB7E05C67","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":"bb64382040950f972344345c9009b8f07eabf0f0","datavalue":{"value":{"amount":"+0.7317006587982178","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":"Q3734353$C60826CD-AA3A-4354-A528-A1EDBADC780F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3734353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3734353"}}}}}