{"entities":{"Q6879441":{"pageid":20773204,"ns":120,"title":"Item:Q6879441","lastrevid":104072327,"modified":"2026-06-06T08:49:07Z","type":"item","id":"Q6879441","labels":{"en":{"language":"en","value":"Kind inference for the \\textsc{FreeST} programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8140663"}},"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":"Q6879441$2B13757A-4E36-4743-B142-8DE03D50E12A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae782c62f53c55327c8a6ce0528bca7d4ef8b768","datavalue":{"value":{"text":"Kind inference for the \\textsc{FreeST} programming language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6879441$DAA049A8-0B4C-4AE8-9121-B05DB7BF2BEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24609481a8bab2d4f860bff6127b9a0217d46733","datavalue":{"value":"10.1016/J.JLAMP.2025.101083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879441$07C7C66B-0329-4D6B-95E8-96F2A55A4518","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a97cec48123394c7dcce58952e50ac3467a5f16c","datavalue":{"value":{"entity-type":"item","numeric-id":1667400,"id":"Q1667400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$FF337068-CA25-4E25-BEC7-7D4B3CF3F6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"313138ce8793b675f301c60a9d0989af3a7ea123","datavalue":{"value":{"entity-type":"item","numeric-id":1744441,"id":"Q1744441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$3DA17C65-78A5-492A-B09E-BA775A12F219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$B218C76A-54CC-4AEB-8782-14E874405885","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$D7E31CA8-237F-4F60-ABB6-808EEA42AFA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11cbd9a6b07c2381cdc8b09e4439c018c2b94d2c","datavalue":{"value":{"time":"+2025-12-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6879441$F2905AA8-E9F9-4159-A749-B1B236B50E5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879441$4404D7BB-2D2E-4FB2-B758-D607E8DB2FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879441$9A1ADCC0-300E-4027-9FAD-43363877E9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879441$6A4B24FA-BBC8-438B-AAF8-83AC95612220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"858ff401813446b7a3e6776415cf0f5c877ff34c","datavalue":{"value":"8140663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879441$47F20D22-C4E3-4080-99BE-17A43959A3CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ea558b8d4a17a96f53b4e84edcf9416cf9aa84","datavalue":{"value":"kind inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879441$48E8FE38-9578-487D-AC91-9BB0CE664A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879441$B6E064A8-6AD7-4FF5-A29F-3702ACE80877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49323b46256876feff1d8d6f2be0b7d51782adf9","datavalue":{"value":"context-free session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879441$7808A50E-871A-41C8-9D16-98C4F468ADB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879441$27812771-3297-42A5-9B63-239E96BAF502","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":"Q6879441$795AACCD-7CF7-4528-9608-1B8E49D3E527","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1072a81b7804156157c99411dfc3ca7d90126","datavalue":{"value":{"entity-type":"item","numeric-id":2105433,"id":"Q2105433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$5475A5CC-F4C4-46E2-8B06-B27A4BA22F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39aa8330ca5929e6a3b53b8a0c2545f5b84c8674","datavalue":{"value":{"entity-type":"item","numeric-id":3460414,"id":"Q3460414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$C2265DB7-1D83-4975-B331-6F763144D743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e8e29d8772f6e638866432d4891bb06c3eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$153AEB43-A3E9-440B-B0BB-3C178B3503B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$38132660-2A69-4FFF-8C09-0A124559FD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$0C7297BA-C237-4BC7-98CA-9B87B6A3F609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10f7366b2524dc76d7f21bee253c90f38947c42","datavalue":{"value":{"entity-type":"item","numeric-id":2985794,"id":"Q2985794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$6CE35A1B-25D5-4B58-9203-FB07402FE454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca02d51d8bc093004c21374e170db7c4c48069f","datavalue":{"value":{"entity-type":"item","numeric-id":2988669,"id":"Q2988669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$92463193-B916-4E27-AA17-B44133FD88E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99307283c5f6df96c84ebfc816bd090f3855207","datavalue":{"value":{"entity-type":"item","numeric-id":5371999,"id":"Q5371999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$49AC4F2F-9F48-4D4D-9CF4-921C9A931B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$7884458C-DE1C-489F-B1D2-A88CF00C1A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f64ad8affd0505ef0a04386ab96543a2366702","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$12646B78-A428-490D-A79D-0DC709F98C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e7aab2d87140cdee5d59f462d92eb80e3b81c9","datavalue":{"value":{"entity-type":"item","numeric-id":5408563,"id":"Q5408563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$F3279C73-557C-4755-8E01-3355BCADB93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a5029eb8c2ac994cf895d0781834707906e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":4904221,"id":"Q4904221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$8A7AAFB5-4170-4980-9A45-0AC4A4D56D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695fab872d134b3a435c36aea28c18570954d03f","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$9741D257-E097-47C9-A990-905E0C16C710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879441$EE7C8AA0-3DF5-4CB5-9BB2-3E6516B28A5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6879441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6879441"}}}}}