{"entities":{"Q2732171":{"pageid":2742910,"ns":120,"title":"Item:Q2732171","lastrevid":82823822,"modified":"2026-05-06T22:09:45Z","type":"item","id":"Q2732171","labels":{"en":{"language":"en","value":"From polyvariant flow information to intersection and union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623288"}},"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":"Q2732171$66CA3E82-804D-43C0-8750-C34F96851886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62de96a624e6b9d6a7f38662e0ccb32aaebe2df8","datavalue":{"value":"0976.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732171$26B97879-1E90-4541-8C4C-ED170DEB7D78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abf5d4cd3b8e6f8c92d1770684c7feba1f084977","datavalue":{"value":"10.1017/S095679680100394X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732171$9C1C50CC-91CE-4364-A426-A3DCA2C5688A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732171$A59CBC02-921C-4940-A913-A278E348A73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b920b48d7f2da6fe336e685b15b40baab5498bfb","datavalue":{"value":{"entity-type":"item","numeric-id":2732170,"id":"Q2732170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732171$21CD9EF7-D185-495A-9950-551FEDCD019C","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":"Q2732171$B23ACE0E-02E8-4FA4-AF40-688A3026CF4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21322b4cee4b692416038f019edfba12057d18cd","datavalue":{"value":{"time":"+2001-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732171$8BBB937E-7136-4E1D-AAC5-1F1B0AFD61C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732171$B28E1A33-8E6E-4DFC-AFAB-570430E26E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"999f68e2fa4224a916a4feb57a186fdfe00ebe61","datavalue":{"value":"1623288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732171$506CA259-1370-4314-9B12-FF5D6A187AE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74bf94256d970fa4ae0439e54f67b553e2116f27","datavalue":{"value":"polyvariant program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732171$45DD36F7-0C44-48C6-8587-3B406925A192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70cab088a8240160dcc71f5783db83c9f222c54d","datavalue":{"value":"polyvariant flow analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732171$030EB5DB-3321-4B3B-8F1C-6E69F8846024","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":"Q2732171$7548D350-FECE-42C6-B45D-5372E5DC8C0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9696c688c13515b06b0864819211928be2a09f12","datavalue":{"value":"https://doi.org/10.1017/s095679680100394x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732171$D6CB71C0-B9A6-4765-A7B7-7C50C11F96B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a65316979f25d35305df0601eafda2b4b3132169","datavalue":{"value":"W2136290535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732171$DD0AE76C-A205-4122-9A48-C5A3F11823B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09327a9dcf67cda8fe3d1541461f4e7daaaf35cb","datavalue":{"value":{"text":"From polyvariant flow information to intersection and union types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732171$D8DBACEC-7C7A-4952-9E35-0C82C8E2E10A","rank":"normal"}],"P1643":[{"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":"ae5a31ed416bb108dcf52d80d9b54efdd5d86cda","datavalue":{"value":{"amount":"+0.8188350200653076","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":"Q2732171$ADDC6291-4BED-4537-B839-6BB187CF083A","rank":"normal"},{"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":"0b486f14407dfc490ede2892a116763d56408061","datavalue":{"value":{"amount":"+0.7995779514312744","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":"Q2732171$617BDD36-6EF1-41BD-8DA7-2359432F971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f3f863dc289fa127e67d8d78d471ba85479bab","datavalue":{"value":{"entity-type":"item","numeric-id":4542147,"id":"Q4542147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d1e84d8e002e23f5407ff49b2da861246d1d4e","datavalue":{"value":{"amount":"+0.7869591116905212","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":"Q2732171$94DFE03E-C5C7-4849-8CA7-41F656916707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7def83c23fdc3a58d1c81ae34e063f6bd64c113c","datavalue":{"value":{"entity-type":"item","numeric-id":5176930,"id":"Q5176930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c6f31946ff5c91d7282dc43eb3949609cd71cb","datavalue":{"value":{"amount":"+0.7830951809883118","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":"Q2732171$21F1F50B-0533-48F4-84B5-F6A4C86B4966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93726bbf21201bb55d99d242daabf4a96a4709e","datavalue":{"value":{"entity-type":"item","numeric-id":4414731,"id":"Q4414731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1573d4178aa1b09c5e3656f9ecd0ceaef2c7c9d6","datavalue":{"value":{"amount":"+0.7725149989128113","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":"Q2732171$0562B8C3-C82E-4AEB-B557-ABBD63F7ABA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From polyvariant flow information to intersection and union types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_polyvariant_flow_information_to_intersection_and_union_types"}}}}}