{"entities":{"Q1199876":{"pageid":1210625,"ns":120,"title":"Item:Q1199876","lastrevid":66855264,"modified":"2026-04-12T13:18:41Z","type":"item","id":"Q1199876","labels":{"en":{"language":"en","value":"Safety analysis versus type inference for partial types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96209"}},"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":"Q1199876$4A6E7AB5-9D1D-4828-82CC-AAA64F3B99A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b819113218069e18e6325775489e6cf595fe341","datavalue":{"value":{"text":"Safety analysis versus type inference for partial types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199876$98C9BE6E-77C9-48E3-9DDB-496917AA385C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1648abf6731fa3085d99e04a9779de69524150a1","datavalue":{"value":"0763.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199876$869EE5B0-C1DD-4DAE-9E23-D6F2C55AD0BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdd727d552b99027f581ac25291e09499c1f12d5","datavalue":{"value":"10.1016/0020-0190(92)90196-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199876$A0B55DFB-2A4A-44B4-9815-93180A4181E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$527497AC-DF10-44B1-BFB9-376178B983CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d335d38758832e72d934ab76956198e7e084cb","datavalue":{"value":{"entity-type":"item","numeric-id":685349,"id":"Q685349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$3F34A819-31B9-4FE7-88B3-EA9EA9267F4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$794463D6-BEC4-483A-A8A0-3C17D0B5776E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199876$BE1CC049-B4BF-4CC4-B684-5A2C3545C376","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199876$953BF833-1908-4B04-86C7-428C948F0FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199876$A7F85E4E-8A5A-43B9-9554-EA8C46198BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199876$867CE001-13A9-4B91-9C37-9F2D49D86B20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"859671e22c688dd58db999fa7d6d6cfafb316885","datavalue":{"value":"96209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199876$F6230F7E-5975-488B-A4E0-F727D57D53E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef5e33a51611d03213cab41499ce6accf0bc8886","datavalue":{"value":"safety analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199876$24EEB66B-4144-40F5-8C55-187D2EE08ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199876$44D9B368-5318-4775-888E-039DC64BE286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199876$2C0A2F41-5ACB-444E-AAAC-DC064C88111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c332b9472dd164869d98bc8c81877196db1759e","datavalue":{"value":"partial types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199876$60198753-91A3-4868-BF90-67E5D4B92F05","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$570ED03F-35E5-4105-BEDB-A24F2EF83DB8","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":"Q1199876$AC184F29-C094-4A1A-958E-F1EEA7C78EA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"730deda4960283d6a494ee2ae189722e960b1bd3","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90196-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199876$700A416A-4C23-4C1C-8034-610EF9CF5EE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0420c3299da697117d9ffb88d04da48c82ac06fd","datavalue":{"value":"W2050012658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199876$3432F65F-7395-4F0B-9AE3-5C28339B8199","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9a6b7c6c9358693193a598685b474bedc45585","datavalue":{"value":{"entity-type":"item","numeric-id":4038656,"id":"Q4038656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$91195E21-3F03-4033-BD4F-625867AAC235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5abbe257c493edb7645d495fc8fbbf9b8f6617b","datavalue":{"value":{"entity-type":"item","numeric-id":3939216,"id":"Q3939216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$B88D09A3-9E05-4CC8-932A-F5B371BEC9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$6FFEA245-1834-4BF8-836E-54D39611ECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb29191af49d0307e085e60550283b14f14e982","datavalue":{"value":{"entity-type":"item","numeric-id":1891140,"id":"Q1891140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$BFA441BE-CE70-4CF1-A0CF-D913EDDBED20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a3c56a9c2e26fe22a7a8fa0ec9218029f11576","datavalue":{"value":{"entity-type":"item","numeric-id":3793704,"id":"Q3793704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$2FFA4A5F-2C61-4E34-8F69-AA1CC3CFC1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b5d59f3624f21c2d43731419df26dd8d547233","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199876$E57BBF84-16BC-463E-B0B3-9F458B8BD29A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2696d5975aa0d10fbf7a121171edaa7da67ebc55","datavalue":{"value":{"entity-type":"item","numeric-id":5901473,"id":"Q5901473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2705216ed93728cb980c564d4cb26a72c9e03e7","datavalue":{"value":{"amount":"+0.760089099407196","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":"Q1199876$7B44C721-D664-41E2-9BEE-441D2264CFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db41a706e9c677204e614a55da6ca2a768e7e18","datavalue":{"value":{"entity-type":"item","numeric-id":5901537,"id":"Q5901537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a615807ad91b77c3c48929e6259f71c5c1faf374","datavalue":{"value":{"amount":"+0.7573546171188354","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":"Q1199876$64A7CA1C-087B-4BED-9589-E98A8E1EFF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83df61e89b51ff6494133e009ccf697c9c8a8feb","datavalue":{"value":{"entity-type":"item","numeric-id":3474631,"id":"Q3474631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1465fd9570026944999301d3a9847919c37742ed","datavalue":{"value":{"amount":"+0.7479134202003479","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":"Q1199876$A05C95E8-8F65-4D1F-B710-861433C685BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d02231aeb39857815f22824ae75085d08119697","datavalue":{"value":{"entity-type":"item","numeric-id":4230360,"id":"Q4230360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a3161ba8a7cc04bdaf07016e23757331d8b863","datavalue":{"value":{"amount":"+0.7402807474136353","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":"Q1199876$390630E0-1C04-4633-9221-8611C59A2375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0727ec3b5361fc5e52334bbd455d39d418acde71","datavalue":{"value":{"entity-type":"item","numeric-id":1337466,"id":"Q1337466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c459764b901aec2e3fc1434854e46493f85044","datavalue":{"value":{"amount":"+0.7350823879241943","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":"Q1199876$C89DD3D6-B901-4F72-B9A9-AD9ADE87FDB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety analysis versus type inference for partial types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_analysis_versus_type_inference_for_partial_types"}}}}}