{"entities":{"Q5244789":{"pageid":7274357,"ns":120,"title":"Item:Q5244789","lastrevid":52236005,"modified":"2026-01-21T05:34:13Z","type":"item","id":"Q5244789","labels":{"en":{"language":"en","value":"Type-theory in color"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421027"}},"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":"Q5244789$5D483BE6-62DD-4817-BB76-8BB28474B5A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"525c7270e03bb6cea2a306839cd4304a7dc7b07b","datavalue":{"value":{"text":"Type-theory in color","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244789$E9CA4121-2F78-49A5-985E-A8EC6E353537","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e59509e2de4d93f45aa999471ced670d0c78b1d","datavalue":{"value":"1323.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244789$B893FF95-3715-49D0-B933-8765CFB895DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22340a5122997da3df680b54779d0655d86dbdac","datavalue":{"value":"10.1145/2500365.2500577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244789$0089739E-F04D-4142-A808-0E6B2EC48B82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9790df0214dc74b7e290106888ab3b69984bbcfd","datavalue":{"value":{"entity-type":"item","numeric-id":2035842,"id":"Q2035842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244789$832A88DA-C957-4194-8C18-0E71CBB8673A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9d5bd329022cd71bb8ebb7d0a0d1270213c01c0","datavalue":{"value":{"entity-type":"item","numeric-id":5244788,"id":"Q5244788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244789$20A873DC-943D-49C8-96A6-5037053F827A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"732dc09e3ebce0f285d80218f54999eeb2a4f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5244781,"id":"Q5244781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244789$7813AA48-8E82-4783-955C-57177956807A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244789$988F7897-C27D-42B5-BF89-9FE23F52C7BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244789$9F7E0620-4C19-40B7-94F5-636F6D091715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244789$F5C3CA4B-03D9-44D9-B625-6577527F63C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244789$3B9DF2C6-D10E-474A-97A2-248390E9722A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45fc2cfab7d53244876f4870e8aa22c990f95170","datavalue":{"value":"6421027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244789$1B441AD7-0595-46FC-B9E3-4245B259AB85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a793cf5da5988507d64af55efcb47a83d6f85bcd","datavalue":{"value":"erasure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244789$2443DCF5-77A7-4CD9-B0B8-2333AD903A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244789$C06C7B6F-F204-4BCC-9372-FB5EDE497C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244789$5B6FB711-143A-4639-A0FC-678E8AE7745B","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":"Q5244789$D1191351-4E44-4D94-9B1E-08545C59EDA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6a1987819deabf80d8a8e4216de2917f4aedd10","datavalue":{"value":"https://doi.org/10.1145/2500365.2500577","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244789$9B961FFA-6DA4-458B-9AE4-D85F14CD4607","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"348b83ea06bbddb4982b9d9d219540fd847b8424","datavalue":{"value":"W2013149027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244789$1FE933EE-DD03-44A6-9B92-12FD7BF6E656","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a9a1cb2c762ff8bfb3334266634affdfe71512","datavalue":{"value":{"entity-type":"item","numeric-id":5193019,"id":"Q5193019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b7379119dbf441e109f63188d125326c2f2f7b","datavalue":{"value":{"amount":"+0.6958829760551453","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":"Q5244789$D3806660-CC13-41DB-829F-EA8670A28EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb18c1c5852128bff5686d0e5094ce1a989c69c","datavalue":{"value":{"entity-type":"item","numeric-id":2757819,"id":"Q2757819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e619a5ba900a04fc43b51f9a8837acb0722fbe7d","datavalue":{"value":{"amount":"+0.6887109875679016","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":"Q5244789$12CD2A5A-D754-4879-B758-3DBE1F9A55FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c627492fd500f9c724d36db9e0f420687d667a","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef4d38ff9a19077e283cfafc1f7c1b0cbfd07dd","datavalue":{"value":{"amount":"+0.6845412850379944","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":"Q5244789$B65316CA-99E0-4308-8A3F-94183CC2187B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be0b91bb51238d47e78566ec7c82225cb0d777","datavalue":{"value":{"entity-type":"item","numeric-id":2311883,"id":"Q2311883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef4d38ff9a19077e283cfafc1f7c1b0cbfd07dd","datavalue":{"value":{"amount":"+0.6845412850379944","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":"Q5244789$E7BCAF81-00EC-446E-81A7-B1115C33E337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7077bcdcfdbb1afc2c28fd4777a92925dbd296d","datavalue":{"value":{"entity-type":"item","numeric-id":1024547,"id":"Q1024547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213af16bf5781408e601804796a684fbd3c63e97","datavalue":{"value":{"amount":"+0.6844214797019958","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":"Q5244789$0C2A0F96-99D5-47BD-B1A9-53A64F35FE7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5244789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5244789"}}}}}