{"entities":{"Q1330433":{"pageid":1341183,"ns":120,"title":"Item:Q1330433","lastrevid":47260258,"modified":"2026-01-01T04:01:15Z","type":"item","id":"Q1330433","labels":{"en":{"language":"en","value":"Dynamic typing: Syntax and proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 609571"}},"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":"Q1330433$B6E9DC91-4F6F-42F9-BAEC-3D2E305313C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6d1b8c99851fb46307192085f74f9d67323fe9d","datavalue":{"value":{"text":"Dynamic typing: Syntax and proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330433$BF7BA5AD-5545-4605-9C76-48CD9B766257","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"634354495b45e939a4a44bce0742f06de786c7a4","datavalue":{"value":"0809.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$9A5A89C6-5869-4704-8E7D-41573CF76266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f210bd1921bf88cac86804506b0d07ebc8412524","datavalue":{"value":"10.1016/0167-6423(94)00004-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$5EF25B02-CB84-4E32-97A3-6F3F95A200F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4075a941b116fdb7fba5d0a255c87be281bcf70d","datavalue":{"value":{"entity-type":"item","numeric-id":656872,"id":"Q656872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330433$22AF6B7A-9FB8-4D4C-9C5F-6E8DC35B435B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330433$38BF475D-0650-4696-A73C-BD97A30EA0CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71edc96fcbd008bfd3061c3ff4af97a6b34cf242","datavalue":{"value":{"time":"+1994-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330433$35F6AE27-7B4C-40D3-8967-8247A110A398","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$556FC631-8DA6-425B-9AD6-9A6D3C027D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$BB3782D5-51CE-40EE-9C1A-89B4F47D334D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$AFD319EA-86F2-4863-8082-95C2756D4268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$DE285E98-62B0-4746-BE7C-ADE06EF13556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$9362244F-C4E7-47A3-A5D8-8E2E03BAD006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"333a876208aab82f549e7d61c997b9139c3264d6","datavalue":{"value":"609571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$60943103-E70F-47F6-BF21-3366DF8E2194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d45636b8af3cebb4ab3127629d1a09766a0e2ae","datavalue":{"value":"dynamically typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330433$FCA15EA1-11C0-41E6-B134-9FC7415874D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe1fb1679818683f7ba84974e1c83c3ca7d708b","datavalue":{"value":"dynamic type coercions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330433$62D56712-4C54-402D-8069-65BFBD2C965E","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":"Q1330433$06CC3306-73E5-4662-869C-2649F61A6CD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e040d1b29784d4e4984fe186bb370bc207fd3fb6","datavalue":{"value":"https://doi.org/10.1016/0167-6423(94)00004-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1330433$EE863A52-B9BC-4BF9-AF0E-2DF0BA911E0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4ef251d8642eeb0f3843380252366c5e90dfbba","datavalue":{"value":"W2133828278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330433$EE2E92EE-88F3-4A19-9D31-FCBF866A2D08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d16cb9f0af4d15cf3bb572b022fc0d467b7e3e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281478,"id":"Q4281478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a69da432faca09d0971f016824346d175bee559","datavalue":{"value":{"amount":"+0.7703885436058044","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":"Q1330433$2E050D62-66C0-4F58-977C-D3DC8DDE9A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbedd6ab3dfe1136ec5ec551c70488fa195c1012","datavalue":{"value":{"entity-type":"item","numeric-id":4673424,"id":"Q4673424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581da51dbbaf9df9ecc61ba1f60349dae7ec8f69","datavalue":{"value":{"amount":"+0.7696454524993896","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":"Q1330433$56506E75-A2D5-4AD3-9464-B1A1AD67598A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b44fc747366d94f9a9e1096673125cbc62020f","datavalue":{"value":{"entity-type":"item","numeric-id":2942876,"id":"Q2942876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f4b996153606133640680b6960d239ce99192c","datavalue":{"value":{"amount":"+0.7570703029632568","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":"Q1330433$E0D1DA87-9F04-4A54-ADFD-93D974626C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2bc85f184ca836e6c6c2572a176f6957fc499d","datavalue":{"value":{"entity-type":"item","numeric-id":2949202,"id":"Q2949202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d334ab25bc7c120b01f91e60c1f0c67af3478e9b","datavalue":{"value":{"amount":"+0.7487056851387024","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":"Q1330433$3F64A3E0-6A2A-4438-A690-DB14C4821538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d562c7168370a90bfa8dfd3309d82801b7bf975f","datavalue":{"value":{"entity-type":"item","numeric-id":5019016,"id":"Q5019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea321ae6f2573178d2040962a588f189f2d638f","datavalue":{"value":{"amount":"+0.731216549873352","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":"Q1330433$3FA225CB-27C6-44C9-8E14-DDB6644624FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1330433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1330433"}}}}}