{"entities":{"Q5451969":{"pageid":7481528,"ns":120,"title":"Item:Q5451969","lastrevid":41557296,"modified":"2025-05-05T20:31:30Z","type":"item","id":"Q5451969","labels":{"en":{"language":"en","value":"HM(X) type inference is CLP(X) solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5254932"}},"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":"Q5451969$AFD3F94F-5D9E-49A9-A5B2-DF5679D1EA37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfeb625981b9f86c559e6e84f609ef1b5baf5cdb","datavalue":{"value":{"text":"HM(X) type inference is CLP(X) solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5451969$99A92B9B-93C6-4BC7-9F0B-879495980E5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f9c95f65c14ffbbba9846499b1861d134508a8e","datavalue":{"value":"1142.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451969$90BCF607-3F78-4748-83E0-4B019C98AA6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"379911553d1336271990c720cb4fb1967d1b8dd4","datavalue":{"value":"10.1017/S0956796807006569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451969$19B0EF5E-5B92-4BBC-83C1-490295E319C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$A04B3367-137E-49CA-9CA3-5CCDB46DE307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$F950805A-3F7A-4D72-A022-0B37EA2BF4AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$5AD72CA6-877F-4FF5-B4E8-4B8001F18AB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a933921e645d1d6e4ebd2c8a60763c2cd5e73b02","datavalue":{"value":{"time":"+2008-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5451969$DB5C2653-BED0-4133-9B38-057BED5114CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451969$C3E02CF3-191B-4DB9-A860-3EE405E5980B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad16fb37f4c21aa034263651bcbb9a2c1e93abc8","datavalue":{"value":"5254932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451969$2E8A8798-1D3F-4A82-8125-A1A484D9BFC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c1af556f0abb9c251174f4df14ad1908b31ef","datavalue":{"value":"constraint handling rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451969$A0FAA87A-6CF0-4D92-AEE5-757DF6A2AF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e262da6849ba2fcedf2929b3c036145925722de3","datavalue":{"value":"Chameleon system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451969$8B424C49-BA87-4A10-96F0-DD0C44ED6AD8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$BE65C0DC-164D-45EE-9F6F-DB330DB1A575","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":"Q5451969$48B98CE0-D077-4BC5-A970-920F22434EB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$FC737A90-0D6A-495E-BF3F-EE850BED9900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec8627b58ce0ddf1babc17382872c678cc9547a","datavalue":{"value":{"entity-type":"item","numeric-id":5348899,"id":"Q5348899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$43B01021-D937-4D5C-A536-F15C9C111378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$CC459482-F7D4-4784-9897-7734C0421F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$46278F36-3891-4AFB-A8BA-0ABFB7A0C3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$F1CC7CF1-1CDE-4784-90F1-912CF7C056C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040f5839a8a0832570521f20d279b9902d1d22f5","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$FA3A0A1B-11A7-4CFF-8085-914114630806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928f36083ec1bfaa2e6c64b6f71ee1c9082237b5","datavalue":{"value":{"entity-type":"item","numeric-id":5941200,"id":"Q5941200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$613F0B68-9637-46D9-94F6-0C668BDABE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$F7C4AC52-B85E-40FB-A398-0E20CBDC4F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f32e6544021920139a7a0d7c18b5f2711bb1c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4406526,"id":"Q4406526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451969$A562D7E3-8B62-4FBB-BA3E-8A093B7FDF6C","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":"Q5451969$8644CB05-208C-46D0-840C-BE8E10E2CCEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e60a0ef9f8bab7fc39241c671aa2fa4787394b","datavalue":{"value":{"entity-type":"item","numeric-id":4365943,"id":"Q4365943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32995f185a4bff652e74203702c5f370563f550","datavalue":{"value":{"amount":"+0.81573784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$9A8D8D94-F5E5-4B22-8EE4-F7B6D8A05104","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":"fe8a04f75487d6bac562c03a9943e2b7203eff5b","datavalue":{"value":{"amount":"+0.81333476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$979E919D-808B-445C-942F-2D762672DA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1524e2bc38596abb0d01361675a5dbda671013b","datavalue":{"value":{"entity-type":"item","numeric-id":4246952,"id":"Q4246952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a673c5d04c5b55d0ef99bc6f7e5dfd76adb50d","datavalue":{"value":{"amount":"+0.8089534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$192CBD8E-C476-4ACE-894A-64DD4A2749FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75868a3bf204a6bf4c593cce4cab82fe98820348","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef7d0995d5d57d5fa743de59c1441ad16a18390","datavalue":{"value":{"amount":"+0.80406195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$307A19F4-9271-4C39-AFC5-0D0E6980FC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58141ca307085fb346d21f04d30102352af240d6","datavalue":{"value":{"entity-type":"item","numeric-id":4944893,"id":"Q4944893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3fbcf20280cd11e651a0360588ec2e0733491d","datavalue":{"value":{"amount":"+0.8022976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$9F314135-8344-4EB1-BFF0-9029D13B30C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2b0528de9e2e135d1936e2583717a464a7756c","datavalue":{"value":{"entity-type":"item","numeric-id":3638242,"id":"Q3638242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89de70120ce2db107006cd5a1d5d14bcca30aa7d","datavalue":{"value":{"amount":"+0.79162246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$C6006475-28C2-438D-8D06-0CD96963972D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f980b22d53b4e703769ad152edbccc347e7a8cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5261265,"id":"Q5261265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbce00f4388598e53246df1da41a85a697e8d0a","datavalue":{"value":{"amount":"+0.791294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$E2419BCA-F581-40DA-98CC-6B17FD085FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36cf8959e4e3b25411d87c3c93bdef79c639cf19","datavalue":{"value":{"entity-type":"item","numeric-id":809993,"id":"Q809993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92d3e16e67b870ccc52f0e226679853a4b4f9ec","datavalue":{"value":{"amount":"+0.7909015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$09811CEC-B7A3-4967-8BA5-1E4FEDCE03E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fd615f827df83520f8908bdc8997913c99969a","datavalue":{"value":{"entity-type":"item","numeric-id":4736396,"id":"Q4736396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf00290aa013f71a048370aa6172d75b1c677b5","datavalue":{"value":{"amount":"+0.7890059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$3877515C-1E7F-4D29-B939-196EEFDAE13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd591bf5f185594a9314ae02761bbcd78b6cbba","datavalue":{"value":{"entity-type":"item","numeric-id":4957191,"id":"Q4957191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f4b54adc07cacd4c2395e459de323d56a9ddbc","datavalue":{"value":{"amount":"+0.788727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5451969$66852FE5-AEE5-481F-86EF-8A6AB517257C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5451969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5451969"}}}}}