{"entities":{"Q2988669":{"pageid":2999393,"ns":120,"title":"Item:Q2988669","lastrevid":52811405,"modified":"2026-01-23T13:35:04Z","type":"item","id":"Q2988669","labels":{"en":{"language":"en","value":"Context-free session type inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721344"}},"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":"Q2988669$68547069-13C1-4FCE-BC2E-8AE58868CBC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50ce9786aa174c749d2033c2d0a8643705c1e35e","datavalue":{"value":{"text":"Context-Free Session Type Inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988669$70ACBA99-2205-4F34-B6D2-FFB7931FAC69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f39bcf2a867c00cb37cf491e605d9f2f48142df4","datavalue":{"value":"1485.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988669$37C48F3E-1DDA-4915-9184-08A416D78F3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b354db1db7c4c168b57f1968ef66325a1b8d3eb4","datavalue":{"value":"10.1007/978-3-662-54434-1_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988669$AC9BF13E-768F-41E6-BF44-902C3FDADBED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$03077822-C19C-49F5-9F75-1010FBE5874F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$95AEEE70-DB89-4CB2-B7A9-F11B70BEE776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988669$0BE00CAE-ADBF-4F32-B443-C0F3C23A6FAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988669$A1D49595-2339-4E8E-A8E0-440BD3C342F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988669$6F8C4FF5-932C-41FE-9C2A-6EEED080021E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988669$0EF5064F-0901-45A7-B47C-F30FF7178877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988669$CB1495BB-3DE5-43BE-A609-6EB3CA217858","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3f1dd07cb3d3655e0cd460b2f85045eb09383a1","datavalue":{"value":"6721344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988669$24CD175D-D470-4FD8-B570-9CF26A2DB498","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":"Q2988669$57125065-4EDB-4DF0-B832-28374F20E138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"659e5bc024c4b1f9d14df55055d0ec91ae309b77","datavalue":{"value":{"entity-type":"item","numeric-id":34511,"id":"Q34511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$135C9BA1-1233-4B1F-BE58-10134284B344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$4E492617-7387-46D2-8826-3E8452B96412","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":"Q2988669$745CAAEA-F5A6-44CF-9133-025804875D75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e2d39ade8b8f9b7d8b3cbfa0cd0fb91eb3629d5","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54434-1_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988669$3E103214-39E1-4B26-8020-24451CFC1098","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42dfd8779bc41b55328fe08d05a38f2cbab23d6c","datavalue":{"value":"W2595410081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988669$B9B2C04A-87CA-4B5D-871A-07187766A778","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb5ef489bc55d01f666aba5acf888e936058feb","datavalue":{"value":{"entity-type":"item","numeric-id":3593499,"id":"Q3593499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$A39C44B6-CFC4-4061-AB57-8DE6BC39ACA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6358dc6fc111257fc044f8bc933cb89ce466ebbe","datavalue":{"value":{"entity-type":"item","numeric-id":5178764,"id":"Q5178764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$1FA2D9B7-FF2D-4309-9657-4C5EF7EF76CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$1CCE1865-E1ED-49E8-B4BF-F72A1DEEE6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7801674a23e06a59d417f3e874ab8fcaac0ff8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$5939E54A-3E2B-4047-BD54-E34250A16E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21970f441b7ab6aedb2c9a1e0ac57a9521b843e5","datavalue":{"value":{"entity-type":"item","numeric-id":3090836,"id":"Q3090836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$A92AE31F-A83F-45C0-BBE2-FFB5D6C1EB09","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":"Q2988669$2440A02E-443E-493F-A422-AA8A8D3C4FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a06252384a0241337bdf3c51e24a574fd7b9b29","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$508548CA-DB95-4244-9F13-14502C8607C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165c5c8ec7596917698443c91d0180813b823313","datavalue":{"value":{"entity-type":"item","numeric-id":3150208,"id":"Q3150208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$15B055D8-6AFC-42C9-B072-61C74CFF45A6","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":"Q2988669$A9DB9610-2876-41CB-BA04-6F16E61D072E","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":"Q2988669$1E72B83D-F9DD-4DED-9C5A-60DB93531A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab6382b8032d8156a2b1532dd248d2d09b48a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4536621,"id":"Q4536621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$BB407B91-BD61-4F68-9990-C1C7CDC41E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4bb238cb610f993b67c0bde07bbfac57d8a271","datavalue":{"value":{"entity-type":"item","numeric-id":4856173,"id":"Q4856173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$99E91C69-1E08-424E-AF94-448DE3305B64","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":"Q2988669$14577CD2-62E5-4726-9685-E46E422237BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1019b1fafc84cf2571084c1c73c275ee4f0cee4f","datavalue":{"value":{"entity-type":"item","numeric-id":3558249,"id":"Q3558249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$17CBFCC0-29EB-42C9-B63B-923651FCD477","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":"Q2988669$E832D09F-17D3-4608-8AC6-FD4405EEA297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$87E0745A-2782-44C1-84BD-37E25905879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfe52ebb37eeb823203f2e60e8d7931b53968e5","datavalue":{"value":{"entity-type":"item","numeric-id":5178008,"id":"Q5178008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$890FADC9-2930-45FA-8AA6-F8E723796189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988669$ACA2FF13-DA37-433F-9504-A069F6C4689B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b34e99fb2e0db6f581650fbef00ee626ac5e84e","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9ffbd931b006b8ea98359663e6104a404659d0","datavalue":{"value":{"amount":"+0.858600914478302","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":"Q2988669$5928F26D-63B5-44D7-8292-2EECC2D75F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ad11072d3aa023acee6c45bcc74a9b1f07d773","datavalue":{"value":{"entity-type":"item","numeric-id":2827469,"id":"Q2827469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2c951cb3c731bd186e8a9b3b2b34af2493b29f","datavalue":{"value":{"amount":"+0.8283292055130005","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":"Q2988669$58F39E33-5314-4A5D-89A7-2BD07098EDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a190a8209172e1d999e08798878332850f203362","datavalue":{"value":{"entity-type":"item","numeric-id":2233456,"id":"Q2233456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dff7bca4fce1fde7a273c7852ddfa33108f5d47","datavalue":{"value":{"amount":"+0.774257242679596","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":"Q2988669$2132F2CD-A034-4F99-B806-976E56C9A362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff0729f95f1ac297146984f27a7156c8ad950e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311495,"id":"Q5311495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593e5f7bdf977d4f4d02dab221da7122ee216710","datavalue":{"value":{"amount":"+0.7699837684631348","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":"Q2988669$CC685940-75EF-4766-906F-83E28D0550BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a4c345eadfb4697e5dc0a52810f7a0690f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12bbe1243ef68d38cbeee523ac1432848e777201","datavalue":{"value":{"amount":"+0.7662437558174133","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":"Q2988669$13BF0881-5FDF-4D26-9571-AA2CB9DE8A0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988669"}}}}}