{"entities":{"Q1249567":{"pageid":1260317,"ns":120,"title":"Item:Q1249567","lastrevid":42978530,"modified":"2025-07-16T13:46:28Z","type":"item","id":"Q1249567","labels":{"en":{"language":"en","value":"Fully abstract models of typed \\(\\lambda\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3600007"}},"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":"Q1249567$9E26ADE5-0CE4-4EE8-9E8C-544EE7623D08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"083108be5c08646f72c58184722f963b4927bd7e","datavalue":{"value":{"text":"Fully abstract models of typed \\(\\lambda\\)-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1249567$43077E18-2D63-432D-BC6E-E46EF2665B24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89178b5d3e76427b9b5a2e78758d82be431cc2bd","datavalue":{"value":"0386.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249567$53A1B396-D109-4917-B9FC-AF333FD0C245","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85148dd6114963ef592774234caf16bbf3c31890","datavalue":{"value":"10.1016/0304-3975(77)90053-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249567$03AFE78C-727D-4C97-98F7-07097260462B","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":"Q1249567$7DBDF220-B07D-4728-955B-6EA74A4EB411","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1249567$9FD4204D-ADD2-4CAA-88A5-D0169BEA8FFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c5ac3f1fac6f8871426d828c54a2a2d59166261","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/15112912/1_s2.0_0304397577900536_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1249567$7F0CF965-F11F-4D44-A4C3-6E9D1ECF1706","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249567$44F55B4A-A446-4463-8463-5B9F879D235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249567$462A7F87-DC20-4A6E-A705-D75140CEC3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249567$25DADE45-4B1C-4190-9804-8CAC04E26737","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c57ef5f007ff58d86923622e21ff38aa1bf4ea2f","datavalue":{"value":"3600007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249567$957A0276-BC0E-4CE3-BADA-A823778CE947","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d6d7a4ea454b51b9676cc0de1dea5e27642f673f","datavalue":{"value":"Q29012844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249567$8557BCD0-4371-4ED3-8914-481F9B7426FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249567$2E2FFC06-4A1D-41D5-B7F6-2DC666722797","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":"Q1249567$28953A8A-1B27-48B3-B73C-6FC1460E3EDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"079b06998bb34d95774e42d1b8dc47bbc82d2a53","datavalue":{"value":"W2039112578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249567$37639B76-6083-4256-96F3-23F757CBB5A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"385e51d3dd08b614d58745a65be4aa4f330af157","datavalue":{"value":{"entity-type":"item","numeric-id":4101793,"id":"Q4101793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249567$4F54BE38-FB24-4B05-B75B-0434E8EE0016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1588aeaade9f12629a37ef6579fc4a2867c3ff","datavalue":{"value":{"entity-type":"item","numeric-id":1214886,"id":"Q1214886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249567$58E3666D-4F69-4171-AAF8-8123F7A99E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249567$15D7B850-A95C-4136-91DA-0B12F57100A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249567$1FE35884-6C17-43B6-8D14-3F165B67AF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249567$67E9855B-2D4E-46D5-B2C2-FF34BAC60E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249567$1BD7F913-053A-4701-BDB1-8CE25347BCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249567$195703C3-F6E0-4DA8-94F7-F3B0FF3D3615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1249567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1249567"}}}}}