{"entities":{"Q3000286":{"pageid":3011010,"ns":120,"title":"Item:Q3000286","lastrevid":79691702,"modified":"2026-05-06T14:29:52Z","type":"item","id":"Q3000286","labels":{"en":{"language":"en","value":"Complexity of type inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5896925"}},"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":"Q3000286$90A20EDA-CBB1-4BE2-A14D-A2E23FB15775","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55805d810107e2bb82c63855fe7869061076952b","datavalue":{"value":{"text":"Complexity of Type Inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000286$3D0CFF66-1B58-4AF4-B849-B631E6A45AC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82e3e68f74eab196cfdd671402d94328ff5cf7c3","datavalue":{"value":"1231.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000286$0F62233D-2562-4E17-A91A-16184A16EE34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d44f7da6dd68c9a701551ea06c95d45aed8969a","datavalue":{"value":"10.3233/FI-2010-329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000286$530AA0E3-6BDB-46BA-8DF0-EAB804FD08A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7556e9c9cbb6aecbfca4bdbb52190444fadde8ff","datavalue":{"value":{"entity-type":"item","numeric-id":290270,"id":"Q290270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000286$C97B9BFE-9C72-4309-96E0-F2EB92F9ADF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000286$E480D76C-7BFF-4D85-9D4E-DE73115DE27E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582ddc080e0097b96146009353001f8291010262","datavalue":{"value":{"time":"+2011-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000286$2B9176C2-9B22-427D-95DB-1DA6E8B5F38C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000286$7A82E4B3-0C15-4FFC-9753-207248611E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000286$238A7046-712A-47B4-BF73-993329CAC0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000286$EDA2FA9D-EAF4-4D5A-AE6D-4662B2A96FD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f03fb060e3483979ccd4ec8a183a0d06e955905f","datavalue":{"value":"5896925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000286$6B7005AF-10E7-459B-9BEE-4F2DA52E54F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000286$66FBFB7B-6BC1-4792-90C9-643C703FEDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d033aa5da80632e6cc21e548be4e712e81eb947f","datavalue":{"value":"simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000286$86755A94-6F7E-4237-B0D9-BD058FB46DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000286$0DF187F4-4E70-46C8-A7E7-999A7E737B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000286$1D1BCB46-4768-48B5-9F82-1A2A12A2BAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000286$E07F38B1-6173-4C8C-A59E-83FEA8D99B91","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":"Q3000286$EB597E6E-6E50-4BF2-B493-068B5FDE9D3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8323ed66254dbd7c9adad281fa5ff6ddc350a275","datavalue":{"value":"https://doi.org/10.3233/fi-2010-329","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000286$F35A0D96-1CE7-4989-A722-E60484FDAEF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f0de14757d57de5d0e736f22899d1611c49363c","datavalue":{"value":"W1580190102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000286$2E68748B-ED99-41E5-918E-C2B92FE1112C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ddf68208fec3d1423a51d071151463ca40b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f59efc99c1ef448a3d78720035884b5687d127","datavalue":{"value":{"amount":"+0.7762033343315125","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":"Q3000286$A10A180D-8B05-413D-B4A3-D001E67B113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d2df76a741cf581e954cfda428b2466142500","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10edddf110fbb635de465ee630f7ce547ea24759","datavalue":{"value":{"amount":"+0.7725353240966797","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":"Q3000286$3E099AB5-B29C-42E5-B88F-5A178C2B23CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ef2029b24f95b26a5ec932ba4a6767ab4ee3e7","datavalue":{"value":{"entity-type":"item","numeric-id":1193590,"id":"Q1193590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d14ef244e713a574cabffdb69c90bd23441376b","datavalue":{"value":{"amount":"+0.7663407921791077","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":"Q3000286$039D4BE3-32A4-4CEE-BB7A-C2ABE3C3D6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83236883cf0d0ae66f75cfdd07db76567d701ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3638250,"id":"Q3638250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9587e2406ecba60d02f83ef7639075864d0cd0d","datavalue":{"value":{"amount":"+0.7455506324768066","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":"Q3000286$89119B0D-E276-470E-9E0E-9DCD2AC07815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667de67404f22ec11cd1e9b6028841a513a25d06","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8754e96a032ea26ae96ffe060f7a543489517c","datavalue":{"value":{"amount":"+0.7455416917800903","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":"Q3000286$9343C7DE-C145-46C8-BFB4-32044F9FA75D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of type inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_type_inference"}}}}}