{"entities":{"Q5300898":{"pageid":7330472,"ns":120,"title":"Item:Q5300898","lastrevid":92105078,"modified":"2026-06-05T00:52:52Z","type":"item","id":"Q5300898","labels":{"en":{"language":"en","value":"Intersection type matching with subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182517"}},"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":"Q5300898$1F02EC1D-5274-403B-9B4A-D3D1437ADC4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0995c350fea775da275e993b7fcef1877aecd32","datavalue":{"value":{"text":"Intersection Type Matching with Subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300898$6DBE26C9-E01D-43A0-B68D-2143D32BA9E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32e0174c390d70a7ffb2623fb91afbf7287e6e8c","datavalue":{"value":"1381.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300898$24774469-9FC0-435D-B63C-F8EACB1C05E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ce649035ee20a42fb160e5188ad307242be0a85","datavalue":{"value":"10.1007/978-3-642-38946-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300898$0F6483DB-D0C1-4917-95E3-ED732DC57D46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d268115765c9c6bcf8c72dd7aca928d5768916be","datavalue":{"value":{"entity-type":"item","numeric-id":4637691,"id":"Q4637691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300898$9CDFB2D3-D199-43AE-846D-E76C37F47E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b2bb4c703dce597e4a7185ea8ca2f5c52c81e2","datavalue":{"value":{"entity-type":"item","numeric-id":2441718,"id":"Q2441718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300898$B51F5606-6C56-4574-8547-D368ECC0D5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300898$B45D5EB1-D260-4200-A961-8270C4BFC7D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300898$9319FDA9-CCA5-43C2-BD4D-6FE6F2A6A655","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300898$E2846DB2-136E-405A-A4A2-FE2D55D6D8B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300898$91BFEEE1-3528-4948-9065-A80EBAB9FF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300898$6FC3D255-99DE-4171-A08E-485F7A9D8721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300898$42B19B18-F606-4E2A-AE3A-75B261651C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b903a8b3e329db81b2898658bf3ead2d24c214","datavalue":{"value":"6182517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300898$931FBFC5-E7EE-427B-831D-772AA57F2F14","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":"Q5300898$1891D0CB-830F-42C9-9662-5FDD2F73F342","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59d9af6e6a67b4f176b3b1eebde9b8773ffa018b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38946-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300898$ED9ED307-B1C8-479B-A4DC-A29440CE7B64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59a7b6cb9b4b8f5f88fed2584bb8f21ac1c142d2","datavalue":{"value":"W1880804819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300898$F2CD09C4-D9F0-4849-A308-622E4DB27B0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6685c10b9067ba95d021418fc8e7b3825524dbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5369484,"id":"Q5369484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57407006846f1951c0e3e59e529854184437db7","datavalue":{"value":{"amount":"+0.7814098596572876","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":"Q5300898$886C2C1B-F5C8-494B-A868-638B8A7C9AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e4ed5da66b9b8d0c38fc30aadf7bbe8801ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d6516d675cd8d9010d41e3afd57db0b2b41485","datavalue":{"value":{"amount":"+0.7595338225364685","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":"Q5300898$D9EC77C1-E121-449C-B521-AF73401B8309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422cf2ad2e55759e0d5b679292242d4fe24f5536","datavalue":{"value":{"entity-type":"item","numeric-id":5367047,"id":"Q5367047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec798cce75435e06387680c912be2bc1c25cde4","datavalue":{"value":{"amount":"+0.7568151354789734","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":"Q5300898$9A60FB24-3149-4246-A069-8EEBFA8AA533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2483ea6927d7034b5661e5bd3c0c5ea91395a672","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d026fbf50a5eeb502d684f9171da97e1b76e5f","datavalue":{"value":{"amount":"+0.7530285716056824","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":"Q5300898$ABF3F3BE-3138-4B12-80F4-00F38A1CAE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7055a05938c354e4ad8f49d58e8cbc238c8677a2","datavalue":{"value":{"entity-type":"item","numeric-id":3637206,"id":"Q3637206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af115ecf8e15ddbee7405adc9c80abe1049a34a","datavalue":{"value":{"amount":"+0.737832248210907","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":"Q5300898$8DA1D9A6-9BA2-4445-915C-9DD0FCCBD0D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection type matching with subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_type_matching_with_subtyping"}}}}}