{"entities":{"Q3426136":{"pageid":3436839,"ns":120,"title":"Item:Q3426136","lastrevid":50046514,"modified":"2026-01-12T19:18:17Z","type":"item","id":"Q3426136","labels":{"en":{"language":"en","value":"Phantom types and subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5131964"}},"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":"Q3426136$29791DFB-477B-4DD3-BDFB-E8C985039D86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd1a738b63f11da4d5d47ac8c10a290402eb9872","datavalue":{"value":{"text":"Phantom types and subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426136$CFB9769B-6C3E-4041-BD29-9C2D998DBF62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acd7b6401939a489e481fe705d7cfe7ad6fab26a","datavalue":{"value":"1109.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426136$4D61194F-6AA0-419C-A30C-CE87951F2B10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92b66483bd099f79d2795996aba9be2f7e37ec22","datavalue":{"value":"10.1017/S0956796806006046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426136$E6F24E05-115C-4EBC-BF60-2C4C878CF981","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0743f77b225e1109e3568ef482de901303e15b1","datavalue":{"value":{"entity-type":"item","numeric-id":200898,"id":"Q200898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426136$71A4ECCD-E596-49EF-91E7-92833C610083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42ac1d097672349450783a9de9be1c3a85df316e","datavalue":{"value":{"entity-type":"item","numeric-id":543592,"id":"Q543592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426136$EF2D9D77-803D-48F3-A931-631E1B217159","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":"Q3426136$021DCC33-D218-4BE0-89BC-F71E30BB6F51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98de7ac5d0d4ff1396834df23ff7caf6645b6ad9","datavalue":{"value":{"time":"+2007-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3426136$2D8AA872-A5D2-49E9-90C2-94F299AF1D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426136$7497C4BE-642E-4FE8-AFB9-375DAD40F227","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60a0989539b8b6778fe27b37d7f9ad67bcab72ea","datavalue":{"value":"5131964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426136$63159CE7-DD2C-47C6-A94C-BA124F9D87DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426136$C3922C71-E74A-4418-9F9C-B95A26AE7B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5782f30dbabce87f67f580a319cfed7ff42dff73","datavalue":{"value":"type constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426136$7D0E19D2-A1D8-41C3-912A-5A1FBBDA0318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d03dbb47171935a57936a60e1c54df8a1e5902","datavalue":{"value":"unification of polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426136$8B3020D0-E3CC-4EC9-ABF9-92E31534F7AB","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":"Q3426136$BCBDA328-229D-455E-A192-E50F59C6E9BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55c3d5d15005d2676966b9cbe727bde2d136d50c","datavalue":{"value":"https://doi.org/10.1017/s0956796806006046","type":"string"},"datatype":"url"},"type":"statement","id":"Q3426136$DD5338B5-C27D-475A-A0FC-7D09683E58E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91901c3017593fe997c72c7151856b85f4ea2268","datavalue":{"value":"W2571092107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426136$803BF24B-5519-43CB-A28C-5AFDA72B363A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2eb347944524b8aa00e5a342d6ec1648ed430f","datavalue":{"value":{"entity-type":"item","numeric-id":5370846,"id":"Q5370846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8b1806094f90556abb4c2002cf27130de90795","datavalue":{"value":{"amount":"+0.7358904480934143","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":"Q3426136$82EDDDD5-619E-4BE0-A87D-ED730645978D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3819559a6f492af72eefa247e6543fb555414db3","datavalue":{"value":{"entity-type":"item","numeric-id":5348898,"id":"Q5348898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5e3622457fa9b84d1a9ea507711fd6f313b0e8","datavalue":{"value":{"amount":"+0.7204963564872742","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":"Q3426136$95C9C58D-B1C3-4BDE-A1D6-4955E1FC8383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bec8eb9c72a133e62b4ca9464ec935dd19de4c","datavalue":{"value":{"entity-type":"item","numeric-id":5234269,"id":"Q5234269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcefaeff448235add884385bb632059190f67b0","datavalue":{"value":{"amount":"+0.7174645066261292","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":"Q3426136$B0AAE9EE-A210-4C40-A539-B7470894190D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9be64ecfa2a4b5cef2777ee5549282bab3ebfa","datavalue":{"value":{"entity-type":"item","numeric-id":5030204,"id":"Q5030204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0866a50eb0f45a63493c1d3476f7dedbb44f082","datavalue":{"value":{"amount":"+0.7077815532684326","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":"Q3426136$994C7B81-D3AC-4A30-A953-AE03879E8365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc84c98ecb8d20117ac3288cc27c98c898b554d","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5944516a16d6ab286dd08114e736fd928291ae","datavalue":{"value":{"amount":"+0.6988040208816528","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":"Q3426136$26B74FA4-CC41-4A55-BF52-12300ED3CC22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3426136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3426136"}}}}}