{"entities":{"Q672255":{"pageid":674104,"ns":120,"title":"Item:Q672255","lastrevid":47424214,"modified":"2026-01-01T17:17:54Z","type":"item","id":"Q672255","labels":{"en":{"language":"en","value":"A type soundness proof for variables in LCF ML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984890"}},"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":"Q672255$875F65C5-6390-4B3E-827F-350ED03D5EEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20d7ce6fbb2d4f8b886e46d3a693d335b8407262","datavalue":{"value":{"text":"A type soundness proof for variables in LCF ML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672255$5CD026E2-D2E0-4830-BFCF-87AE75704161","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eeb36eb945396f529b30ee0690975effd9531dd","datavalue":{"value":"0875.68623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672255$A3D9932F-57CB-4E51-8218-EC7A272E10CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9f3ba67deafb2b796d7732c4c3cf159555500e7","datavalue":{"value":"10.1016/0020-0190(95)00146-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672255$87CD851E-287E-412E-946C-58F22978605B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672255$2759A180-E9F1-4C92-806B-C0C0921571F1","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":"Q672255$0B14CDE4-ECB4-4F84-BFC6-8ED1F8BCBFAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672255$5BFB1C49-93FB-4C29-9928-2A20888496AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672255$F8DF47AA-46C1-422A-A46C-FE7E8C495196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672255$F66F1AF0-15E5-430C-A76B-6464027D79EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85e04bcf764de6ab55efc3f208970dfe7fb0b0c6","datavalue":{"value":"984890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672255$BDCA249B-BEA3-4458-A203-8CB1A00DF9EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d06a4412ba7c7a4b2c38ca2a6c070deb2b732a","datavalue":{"value":"Type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q672255$96A2ABFF-ECF1-4123-A484-A84D7E405D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q672255$DBF80ADD-2D85-4ADF-B643-67F28323C0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af69fb73806bdc60f1ac969d1745bae7a9b59dc","datavalue":{"value":"Variables and assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q672255$1F40A03D-6BE3-4B29-8FD8-47A1EB166992","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":"Q672255$038F462D-E1E3-481B-9C7A-E898D52AB034","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b7d9001109ca902883c7fbc64a9452772db5961","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00146-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q672255$86712418-5423-46F7-AA76-2A73A5BAB0A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4215a192799f468bb65368dd490d4a85fc67994a","datavalue":{"value":"W1997282149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672255$FFA71595-2F60-4DF4-8B30-7FDDF66EF32B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672255$E9F72B39-1891-4FEA-92C9-A89582EAA86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72a7b0d993ee9e19852c35d9e1327c2f5072bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1334643,"id":"Q1334643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672255$B6B07DDE-FF6E-4DD2-9354-9979348855CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ace9385f5e19244160232de5aab0108b07038e","datavalue":{"value":{"entity-type":"item","numeric-id":918190,"id":"Q918190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672255$3661F37D-D39F-4CE6-8466-2F0049743EAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8134ca0a3198d2d4940e53fb3a17695b6784e462","datavalue":{"value":{"entity-type":"item","numeric-id":4490735,"id":"Q4490735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc708dc1358323f2b568d9d276bb7391122b230","datavalue":{"value":{"amount":"+0.7607884407043457","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":"Q672255$6088CB77-D3AB-4B5E-B2C7-D90567E3983F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53cec3eea12eff73fcda5873bd3c07c2d17c628","datavalue":{"value":{"entity-type":"item","numeric-id":2754040,"id":"Q2754040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f675d0616154aef19ad386eb3ba177b8052891c","datavalue":{"value":{"amount":"+0.755883514881134","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":"Q672255$8DE116ED-29FA-4158-AC29-2713D6E3C3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93325bd0e7d7faf15a1a103e34f7574ba8e94cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1818320,"id":"Q1818320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845f9119722b2b769ede0979ec5d9e12476ccf4d","datavalue":{"value":{"amount":"+0.7514197826385498","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":"Q672255$08C66F87-65AC-4AAF-9D38-D4D5DC603D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d082a2a2458bb3899d8d770c73d75568c011e2bc","datavalue":{"value":{"entity-type":"item","numeric-id":1334643,"id":"Q1334643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ff08c92111c9db05011da3b78afc62b0c433a6","datavalue":{"value":{"amount":"+0.7363876104354858","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":"Q672255$451249E6-C0EA-40E5-854C-C96E75EED41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa085ac5ba0c4b8a88a3f802d2741d0b756a39cd","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e7ae765021d22002da8f8b48479bafd9082e6d","datavalue":{"value":{"amount":"+0.7169011235237122","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":"Q672255$B1B05989-14E6-48F0-BDAB-9C09FB197FFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:672255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:672255"}}}}}