{"entities":{"Q3608417":{"pageid":5638323,"ns":120,"title":"Item:Q3608417","lastrevid":50591339,"modified":"2026-01-14T12:15:41Z","type":"item","id":"Q3608417","labels":{"en":{"language":"en","value":"A Soft Type Assignment System for \u03bb-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523398"}},"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":"Q3608417$61ABAE1E-76B7-49ED-AE73-18F04C13BBB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5d1d9bc78e3b1b00cb8320067a86fecb4c29e45","datavalue":{"value":{"text":"A Soft Type Assignment System for \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608417$24985DA8-83A9-4079-81AC-9F21699EDD88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a32c3d5154ae252f7334608b10dc3f98566a213a","datavalue":{"value":"1179.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608417$4251AED5-DDC8-49CB-A5ED-618C2CF23E5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1d846ecf23511f53cae0e0eea6f1a61c59b45b3","datavalue":{"value":"10.1007/978-3-540-74915-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608417$1AF9F6E6-1F37-4F69-A273-5388073D5489","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0543480bd713540e86d55e77dccdfc4a22872606","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608417$C9E48892-A05A-47C9-8DCC-2FDD4605CE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608417$444A88EE-3C3D-4386-AD60-044C8662503C","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":"Q3608417$052036D9-D56C-4F10-89E7-A668467543F3","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":"Q3608417$DF95F512-3734-4C7E-ABD3-5F19D8D5F159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608417$6E6114A4-4F01-44DD-BE45-3A0774CE0300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608417$E9A52C09-76C3-43DA-AC77-14810A47A0AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b231e8b39952820f229db6ca77853af8fc1d1ba","datavalue":{"value":"5523398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608417$AB210E59-F5B7-468C-B9C8-CBD4C26613FC","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":"Q3608417$9080B911-D01B-4C81-BBFB-DE0F979FB279","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53f94636c1229ae6dfefd950496a237ba105cdff","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74915-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608417$613D0C51-8C44-4B1B-8473-7616EFCF1CDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07499443741356d522f764876d295c06936beaee","datavalue":{"value":"W1881110075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608417$65A7AAF8-79FB-4EF1-859C-339879C15D3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c91a418a146cc22bea03ee44431a464e35382cb","datavalue":{"value":{"entity-type":"item","numeric-id":2866738,"id":"Q2866738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3433eb3fe6baf5abb28d3b040dc19e9eaa47bd0d","datavalue":{"value":{"amount":"+0.8808153867721558","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":"Q3608417$47254273-BEEC-4404-AF48-EEDE30C10248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c854d34daf04e3a947572b19840ef890f041db30","datavalue":{"value":{"entity-type":"item","numeric-id":3644842,"id":"Q3644842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba5650de892be00b040709d3bdf02168f756d1c","datavalue":{"value":{"amount":"+0.8362096548080444","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":"Q3608417$5FC86A73-F647-4E7D-8A8B-17324EEFCE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4f7e86ccd350036106a07c4590c53102d80068","datavalue":{"value":{"entity-type":"item","numeric-id":5308440,"id":"Q5308440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b52e22c7d2d063468802daf596a3a914a87f9c5","datavalue":{"value":{"amount":"+0.8280960321426392","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":"Q3608417$00E77C26-0285-4531-8638-D75E83A08163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83236883cf0d0ae66f75cfdd07db76567d701ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3638250,"id":"Q3638250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5eb173d0d74633eda6a68a92096f16b31ad88f","datavalue":{"value":{"amount":"+0.8178259134292603","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":"Q3608417$57D6B346-84E5-4699-BD62-CDFF7D126F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c53d5453558531c864d984b6e65ada4df9349b","datavalue":{"value":{"entity-type":"item","numeric-id":276268,"id":"Q276268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98fbe58a6a9137cc75f095832c88c3d95c27de58","datavalue":{"value":{"amount":"+0.7977266311645508","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":"Q3608417$897C3F11-9F47-45BA-A410-1CF8F994EE37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608417"}}}}}