{"entities":{"Q4542147":{"pageid":6571739,"ns":120,"title":"Item:Q4542147","lastrevid":41862284,"modified":"2025-05-09T04:11:05Z","type":"item","id":"Q4542147","labels":{"en":{"language":"en","value":"A calculus with polymorphic and polyvariant flow types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1775025"}},"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":"Q4542147$FBEEA169-D6C0-4EB2-AA49-0DF9514B6CC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e108b191afa865c0623af43ca4a89253ec456722","datavalue":{"value":{"text":"A calculus with polymorphic and polyvariant flow types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4542147$1CB17820-9F97-4702-BA42-9B012793E605","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0680c2e4e2b2de356d2ef68e7510cccc255bbe1","datavalue":{"value":"1005.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542147$F4247E43-9F22-4599-9E80-709A668E8B47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d4689a2c83be6b2b7899ace9e0872bbe6a49aa2","datavalue":{"value":"10.1017/S0956796801004245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542147$41A68C28-9BB5-4F8F-80F2-9D2BEE3C2E8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542147$4D341ACB-DA5A-4147-816C-4EEEBC1E4E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eced2cc2905d7175e9446e14cffc864e64ed828","datavalue":{"value":{"entity-type":"item","numeric-id":4532087,"id":"Q4532087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542147$D2B9A22B-085A-46CD-A457-EB15D8B8115D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0885610d9e99a85602187f2dbc5f64caf95ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4532089,"id":"Q4532089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542147$6599649D-30B5-42C2-ABF1-F0219E8622FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09dd88c0d6b645ab7adf5eb04ee943eed8edbef1","datavalue":{"value":{"entity-type":"item","numeric-id":2817694,"id":"Q2817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542147$D7D009E3-EC20-4105-8972-98253927DF2D","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":"Q4542147$2F6097E2-3A70-4D79-9C48-7F41DBF37FD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee4012f63d8c0386b5e585353e232cad4e813fb5","datavalue":{"value":{"time":"+2002-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4542147$6F4046EF-132C-4A20-A7B2-2DC0FE29E1C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542147$D3CB4924-66BB-4499-AD76-BF823FD83413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542147$37B07B0F-0CEF-4095-BBAC-5615EA8DDA28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de57d5af45178dba84e50844d127cfbb9821a71d","datavalue":{"value":"1775025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542147$2C434591-026F-4A75-B2CF-120C6DFD8895","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542147$CC335F19-4331-4692-8854-DDE2DCDB5963","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542147$EE081E26-62DE-4583-8AD5-1BCD1FFFAAD0","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":"Q4542147$F8948707-FC6A-4E7F-B67F-AFCC77583EE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a099a7918c65f144583880fd47179cf1f2f6d996","datavalue":{"value":"https://doi.org/10.1017/s0956796801004245","type":"string"},"datatype":"url"},"type":"statement","id":"Q4542147$616EBC18-06DD-4B38-8CB2-DFA82A81BD46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26000f4422856a787b31418af52040e67da9ca56","datavalue":{"value":"W2020543669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542147$FE74C37C-6982-4367-86B5-02E5EA3CFCB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362eeccd28ad12f686c85aa4f925743237c6c23e","datavalue":{"value":{"entity-type":"item","numeric-id":2729061,"id":"Q2729061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509a714728e8b0a8bae642c36249933cdcc3b2be","datavalue":{"value":{"amount":"+0.90859485","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":"Q4542147$698C70B3-AB59-4BD2-81CF-747B3716E6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065f683fc679d0029af9b309407cfe9a5920954f","datavalue":{"value":{"entity-type":"item","numeric-id":1029816,"id":"Q1029816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2352aeaaa55599b1a9f4debc023b2ca354c6b44","datavalue":{"value":{"amount":"+0.9055845","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":"Q4542147$90405646-5ECC-487E-BD9C-72E8B8CF3454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4fa2b7f0678d45ad1d23f39cb74e0c27da62eb","datavalue":{"value":{"entity-type":"item","numeric-id":4375803,"id":"Q4375803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab28368d68369b7c222b8530e6ee540df6ca66f","datavalue":{"value":{"amount":"+0.9049527","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":"Q4542147$C8ED05E6-B07C-411A-AA6C-A9C6C8ED9CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e56fad770b21aac099f7fcd075ef7eb694223e1","datavalue":{"value":{"entity-type":"item","numeric-id":1854408,"id":"Q1854408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab28368d68369b7c222b8530e6ee540df6ca66f","datavalue":{"value":{"amount":"+0.9049527","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":"Q4542147$45CA6B33-1EDA-46D1-9F9F-9C2DB282EE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b492c1e4a547e4a2af939b4d49287251de62f69","datavalue":{"value":{"entity-type":"item","numeric-id":2387197,"id":"Q2387197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1670f18a98f446d34316e0f9735bb981209df965","datavalue":{"value":{"amount":"+0.90059465","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":"Q4542147$4AC95721-B864-43A0-A6C1-A7AF678B374E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e60eb2f7181c3c209e50762c2ed76e22b7cd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3478384,"id":"Q3478384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e855807e6664e6c607834b45fdf57479c2ff0597","datavalue":{"value":{"amount":"+0.8952423","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":"Q4542147$018E77BF-D2B8-4207-A622-64E4937E7391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d85bb7ddbb76a81ac3582455ade14da1a3e5873","datavalue":{"value":{"entity-type":"item","numeric-id":4518876,"id":"Q4518876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ac9ec102a07cc04feba8128c8ff935d698cbd4","datavalue":{"value":{"amount":"+0.89223796","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":"Q4542147$7FFCFBE8-9B28-42F5-A17D-1226DAC46C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6337dcfb2841d19947151cc540c352a5444dcedc","datavalue":{"value":{"entity-type":"item","numeric-id":4995377,"id":"Q4995377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e626be8016ee48d2cf9ff4c59bb2ca7ccb1e87","datavalue":{"value":{"amount":"+0.891572","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":"Q4542147$F76B4021-001B-430D-A30B-EED7921313F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42808a161fe6902106a77106d0ee554c67dc7553","datavalue":{"value":{"entity-type":"item","numeric-id":2851046,"id":"Q2851046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdab37decfe892bbc6891bffd41540cfb97d01f8","datavalue":{"value":{"amount":"+0.8912891","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":"Q4542147$349615B9-3C6F-49BE-81D4-D98924ADB42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be6c1b6563697e3671d3c9ce6b02dc73b450c08","datavalue":{"value":{"entity-type":"item","numeric-id":5926075,"id":"Q5926075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04091c6a8705130817a4c37955d99a8f7dc11bf0","datavalue":{"value":{"amount":"+0.8900161","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":"Q4542147$F29C9F59-3CFB-488A-938B-59832F16F450","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4542147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4542147"}}}}}