{"entities":{"Q3189797":{"pageid":3200505,"ns":120,"title":"Item:Q3189797","lastrevid":52089131,"modified":"2026-01-20T22:15:45Z","type":"item","id":"Q3189797","labels":{"en":{"language":"en","value":"Towards a mechanized metatheory of Standard ML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344192"}},"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":"Q3189797$2D3627EA-6D4F-40C3-AC50-93E5A3A7BE35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"171016026356ff792574f2c43e3232a0afe6b26a","datavalue":{"value":{"text":"Towards a mechanized metatheory of standard ML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189797$88C1BC71-BAC5-43AC-9A77-0B8A41AA4564","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58713d7c1762b7ec50feb24e1312274d8c2b52c7","datavalue":{"value":"1295.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189797$B47C9D11-00F9-42CB-A632-4A59149AF15F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4b2588791483f0f1cdb688e2bf52866bc20fbfe","datavalue":{"value":"10.1145/1190216.1190245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189797$AFA88645-1494-4934-B865-3B3568BDB787","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7effb42957863b3c224f9e0e359f35d73cd3cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3189796,"id":"Q3189796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189797$42250D75-509F-40F6-832F-63CD66DCEDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189797$33B8922E-0655-456B-9899-2B664B104E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189797$E1149568-82B4-4D25-ABAA-FC4E4F265935","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"42ff8c7ed004bb20c7b1a2b6084e38122d4ab0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3189774,"id":"Q3189774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189797$5A743F49-9812-47E5-B80D-F17AC3B9F987","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189797$55ACA233-376F-49BD-AAEC-7200A7448BA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189797$163BD90D-1762-4616-9DD9-1DC1E460E181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189797$A550FE9D-9526-4F32-A220-07C23DE5AD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189797$E77E4560-615A-45C6-AF0C-101ACFED1ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189797$18B1D40A-F9D8-40F9-8B6B-CA4831A30298","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0626ddf21ce418d2510af4e3d45d1262d39b09c1","datavalue":{"value":"6344192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189797$778F7843-412C-4DC9-9532-64636B2B5213","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bac423a2bfe0bef5ad984c4ca33f5f99e6890bd6","datavalue":{"value":"language definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189797$A5245D11-FF78-4716-9798-F1C100329CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189797$E0A79171-F883-4186-87AC-1AAF03EC42B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012d8b7999cc6b22228ca3c9aec4aaff197c8fb1","datavalue":{"value":"mechanized metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189797$C42A3B21-7460-40AF-955E-3AD1AEF2111E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db8947a984d2fb923ad5e97244c9b88d39f98dec","datavalue":{"value":"Standard ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189797$8EB77E6E-8874-4922-AD48-23173DBE279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a7faf2d5c8d76731eb2c0fa9732494500b1c909","datavalue":{"value":"Twelf","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189797$59DF7DF1-6D78-474A-BCEA-EB0FAD3B6379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189797$94904CCF-F140-4E79-9453-24AC2D3BD3DB","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":"Q3189797$1A2C6D9C-3A44-4A38-888B-F6A49994ADBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a02770a0c23e00e414b32fb603503d69a4b61ba","datavalue":{"value":"https://doi.org/10.1145/1190216.1190245","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189797$D6BA456F-5219-4565-B8BF-53BD29C5BC8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b8d4d228cdd5740a3887a397fcc60e671cda550","datavalue":{"value":"W3163573021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189797$E82EB535-B75D-45CC-B8B1-BE92A93EAB52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded9f12b0e5b36b20e8c488c1ea5b367e73ec55e","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0564c60952a5b790b587c2053017969109e49d6f","datavalue":{"value":{"amount":"+0.7601009607315063","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":"Q3189797$74BFD695-6C04-4476-9DFC-7AC3118E55A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd58fd6243ca5ecfa61b5100df2e972a1ed7fb82","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c6d9fed3d2f6aac0c2b0cb2dc8fb5371cd1a66","datavalue":{"value":{"amount":"+0.7488800287246704","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":"Q3189797$9A53E726-7945-48FD-9192-5ED733EEE9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2d6615a66fc1aba3379f1fd42f51e97db257e3","datavalue":{"value":{"entity-type":"item","numeric-id":1961918,"id":"Q1961918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93adb313a7b2a1cd761a3a200e9a9c6450f61c9","datavalue":{"value":{"amount":"+0.7299816608428955","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":"Q3189797$7FFFF3BF-C3AD-44BC-ABEF-A876DDF1DA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319f0e45bfa506ba9fbe0adbda954a115f9a8a53","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93adb313a7b2a1cd761a3a200e9a9c6450f61c9","datavalue":{"value":{"amount":"+0.7299816608428955","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":"Q3189797$F45D7468-F98E-44DB-9C4D-CCCB2635323D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddec862f670fccc88ae328c9c9acd777eacdd8e0","datavalue":{"value":{"amount":"+0.7236627340316772","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":"Q3189797$4C52B7E2-BB3C-4CE1-93F9-1A413B32F8D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189797"}}}}}