{"entities":{"Q5170185":{"pageid":7199757,"ns":120,"title":"Item:Q5170185","lastrevid":40905072,"modified":"2025-04-13T23:47:54Z","type":"item","id":"Q5170185","labels":{"en":{"language":"en","value":"Type Inference for Correspondence Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319543"}},"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":"Q5170185$9574706F-4DFC-4935-A068-BCAD7CB7943D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdb9b2d246d0db2cf2f7997f3d27902b101e1219","datavalue":{"value":{"text":"Type Inference for Correspondence Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170185$56941290-4742-499C-9C7D-8C4B116561C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44f0202277f3b8e1f3740d44337da1d53ac1259f","datavalue":{"value":"1294.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170185$BB194837-90BA-4D6D-9C99-65989B5C11A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$BF11EF7B-4224-4166-8D06-3B083EB19123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$BE4251A6-F8B0-4B7B-8D8B-D980DAF9DDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a79f55d4de7d71bb4ffb5333a5d009d1cab68942","datavalue":{"value":{"entity-type":"item","numeric-id":964493,"id":"Q964493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$38C8B399-399E-4BC2-878E-E218D75D3B24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$ADB4961E-E894-4614-8CEB-284C7BB15FBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170185$2CAF4193-BE0A-4C54-92A4-152B8F8C9463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170185$BD9D53AB-2007-4F9E-8B98-40706AADA46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170185$10D17AEE-CCE4-4165-A518-A605BC6762CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170185$E1F0F4DE-B15D-471E-8630-414CE00A9C10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a89c3643548015d443509d648c302b0950e19558","datavalue":{"value":"6319543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170185$718AE92C-CD60-4CF3-BC4F-1B5639CDC37D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170185$3A0774AD-0D9C-4455-8E18-729BDC94D7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b168d970b4f9970934d0afa098d56f277b35e430","datavalue":{"value":"correspondence assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170185$C4AE0CE9-0B82-429A-B098-4CBD8A92EBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170185$2B40CE58-A70A-4737-944D-97D8D1341738","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"88d11e006cc0419e1ebb4961494b888a04a8a4e0","datavalue":{"value":{"entity-type":"item","numeric-id":21682,"id":"Q21682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$8FC2B814-F660-425D-A636-2F650F5F9E2F","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":"Q5170185$952F4155-5E97-44AE-AE14-3F8B94855950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e07c7b87c21679d9d6167b2266952e060c2429a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.079","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170185$0F72C1B7-2ED6-43AD-9E21-D15F809D67A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c88e203a74235016bbe7d2954df1166be17110a8","datavalue":{"value":"W2160263906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170185$A4765A3B-2665-4780-8C15-3DEC5A26D45E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$2D0DF2B0-D857-46BB-B65D-FF80B511EE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0133a2181ab6ebf9e954d6c2321a258a23fd1d27","datavalue":{"value":{"entity-type":"item","numeric-id":2849853,"id":"Q2849853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$AB3C0530-E339-4A64-990D-768E773C2160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8824a8d3027945786b7b55033b3265833e88bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4790411,"id":"Q4790411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$FE91D906-D500-4636-A59E-A65E071790AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9020a7785480236ab635c16f5392511491ef64a8","datavalue":{"value":{"entity-type":"item","numeric-id":5316561,"id":"Q5316561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$3A5AEC6D-D0D4-4F3D-87F1-94A49F5A2D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8812faaebacc9ba9f42dc54bdb155ab8c6eb388e","datavalue":{"value":{"entity-type":"item","numeric-id":5897483,"id":"Q5897483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$3B571A3B-C2FB-4884-809D-C70903838B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adb0bd4cd4eba7804f7c80b3fcc53e18ec538af","datavalue":{"value":{"entity-type":"item","numeric-id":3498440,"id":"Q3498440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$420F2439-4B5D-4FE1-9F4A-5DD4862ED81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c430fc45a8d43b4fc6a2fb634e4f2585dc2890","datavalue":{"value":{"entity-type":"item","numeric-id":2841271,"id":"Q2841271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$6C5BF4B5-74AC-4383-9C0B-49543C257CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187c3192ae59c2e2526b3ad4bdf6c5adb98cdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":5308411,"id":"Q5308411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$B4B1E024-B9F5-4DA6-B559-F8F85D820C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90132798de528037702877f0ef7ed4a83f99ef6b","datavalue":{"value":{"entity-type":"item","numeric-id":4654726,"id":"Q4654726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$40FEAA0E-C2CC-45F9-A3E6-0A323EA35B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c69949411e0448157ffe297fb9882fbbf0bc439","datavalue":{"value":{"entity-type":"item","numeric-id":2956693,"id":"Q2956693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170185$E1E495B9-F184-4736-A092-F702C82A185C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5129e96ce4d459846967b1f74a040e56c735b1dc","datavalue":{"value":"10.1016/J.ENTCS.2009.07.079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170185$6EC9814F-6B66-4563-B876-2E4DA587D430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753d4e3573ca512a53f12c64029a7c07fd9e7539","datavalue":{"value":{"amount":"+0.9206604","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":"Q5170185$0B61D91A-2153-49A7-B26C-192DA7BE9615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4e35522a9db3de84bbf23eb901f6930cfefaa2","datavalue":{"value":{"entity-type":"item","numeric-id":4904162,"id":"Q4904162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7208c6dbeb93b4da994915d1ce9650390048cab2","datavalue":{"value":{"amount":"+0.90234923","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":"Q5170185$3F73A12E-1322-427F-8B24-AF8FA422D2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b1428b11dbf7eb2fdb8e4ec0e103f12749a426","datavalue":{"value":{"amount":"+0.90223753","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":"Q5170185$A97461F2-C72B-43FE-A893-06CCE4065855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6f76415a446fbd42c606c261fa56ffb5c9a4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3705422,"id":"Q3705422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6555d5fbba3f49c37ec9ced4a6e6b2ac77629c86","datavalue":{"value":{"amount":"+0.902117","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":"Q5170185$35FA2E4B-24E2-44C1-AD4C-AC85B0FFE741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e3564cf3644023b49c87415d47d0b19f8f2603","datavalue":{"value":{"entity-type":"item","numeric-id":1318726,"id":"Q1318726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1edd3814b556b22c0bafc2b0ceaa8e74bd1665f","datavalue":{"value":{"amount":"+0.8958597","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":"Q5170185$18D097F1-387E-4894-AE1E-26956C74D380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b71cf434253716a7043a1ac82b2e00512471d48","datavalue":{"value":{"entity-type":"item","numeric-id":3793704,"id":"Q3793704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1edd3814b556b22c0bafc2b0ceaa8e74bd1665f","datavalue":{"value":{"amount":"+0.8958597","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":"Q5170185$C9C33B5B-3F91-477B-AFF6-79D721B879A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ea5736cfd16e14005bf74baeae308dbf1c6ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5958782,"id":"Q5958782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566572e9c7f1847d2b05704de073438ceebe5b02","datavalue":{"value":{"amount":"+0.8955409","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":"Q5170185$CA2FC006-AF7A-445F-AE01-D8DB6FC70A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f52a73675b14897be06c94898588cab9dd0c7c","datavalue":{"value":{"amount":"+0.89549345","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":"Q5170185$78894AB6-4AEF-4B26-8C4F-18B65DC68609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49db44578b6fa9662d744ba332efb46799dc6c0","datavalue":{"value":{"entity-type":"item","numeric-id":1355750,"id":"Q1355750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d34910bc9bf8c6b9dce87fee134f9ebec89ce2","datavalue":{"value":{"amount":"+0.8927522","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":"Q5170185$25C93724-1696-473A-9D1C-275D0468006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05cc9808aaf2b3b05d7d8a32555b7fbf344a688","datavalue":{"value":{"entity-type":"item","numeric-id":5756511,"id":"Q5756511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65138491c275296316a37b6a97aa565ac7d73415","datavalue":{"value":{"amount":"+0.8898098","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":"Q5170185$A17BC966-4B05-4A14-85B3-B071DC98A0C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170185"}}}}}