{"entities":{"Q2931786":{"pageid":2942506,"ns":120,"title":"Item:Q2931786","lastrevid":52145738,"modified":"2026-01-21T00:56:23Z","type":"item","id":"Q2931786","labels":{"en":{"language":"en","value":"Abstraction and invariance for algebraically indexed types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374665"}},"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":"Q2931786$86AC5DA7-B8C8-466C-A8E9-7F88B2AE9345","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11af3887eec511a61e6838ef5642a258de0a4cd1","datavalue":{"value":{"text":"Abstraction and invariance for algebraically indexed types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931786$8E563889-B485-4A2B-B639-E6AB70B49C98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c2347fb50afe9669cc1b168d2a343dce6b5a2e9","datavalue":{"value":"1301.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$8D750F9A-E226-4DE6-B792-D0B113DA5479","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5154f573c2b68fd09538f49d95bd8414ba301a7","datavalue":{"value":"10.1145/2429069.2429082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$15174B26-6CBE-443A-AC44-0830B467D1CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a671bc31964954daa066cb3b32015fe8ce6632","datavalue":{"value":{"entity-type":"item","numeric-id":2888472,"id":"Q2888472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931786$173349DE-D8D2-41C0-9B76-8EC2A4C2B4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931786$8D3BBBB7-E125-41A0-A1A1-4E12FCCFEFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6914e2235b043c4f674d5b34fe68fb5b97b9a12","datavalue":{"value":{"entity-type":"item","numeric-id":724925,"id":"Q724925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931786$81D0A95B-8C79-4698-9537-E1B769527414","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931786$A8F748C5-D0E6-496E-B8E2-E1C1E5435024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931786$910FF677-3326-4D06-9C32-82A5CD752E69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48e35d6147684890d043fcc861a40b0b26ce51b0","datavalue":{"value":"https://strathprints.strath.ac.uk/42245/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931786$FD2A9BD8-6D69-4176-904B-28F63362EF9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$DECD5ADD-0CD0-4EF0-B914-EF33D79296F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$F8B448DE-748B-41D3-9F1C-6A58DF985597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$39187C30-1D81-44DB-A5A2-1DD2151309CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$81378B5E-373F-4A37-A84C-20DDA4E4B936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$E2DD5446-8F4A-450C-9A5D-987971B6A926","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f38b482145ff91ba2e65b39e0c99accacbcfa849","datavalue":{"value":"6374665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$640B6948-DA2A-4866-ACA8-4E00219A44B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551d108313cfab3a77b395a647aede7021169ebd","datavalue":{"value":"computational geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931786$BF8A0955-B285-4089-BFA1-BC41DB224F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d50b2cb1d8712307f61a6fa3f57fc30e11669c5","datavalue":{"value":"dimensional analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931786$C7B7C0C7-CFB8-4BAB-B48C-480B825BF844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931786$A3946EAA-6B31-4EA1-8D44-446A1B8ACA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931786$28111413-6B69-4502-9B96-7ACECF87CCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f3aa1b7f9fa7db5313083257c266638f39bdee","datavalue":{"value":"metric types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931786$61DD47CF-D1BB-4371-B829-651499C72177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931786$6B5717AD-CC7F-4704-82CE-2FF59CF4F02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051b9b7dd93701a972bbd72920bdb951539c784c","datavalue":{"value":"uniform continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931786$B9A9FF85-AE2C-4497-81FB-4F42417BFA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8055ebc0935cfcbd5c1d51346ede0ceb366a234","datavalue":{"value":"units of measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931786$10A04BFD-8574-493A-9D09-89EBE78967A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931786$69B8F7EE-7846-45D3-B08D-A81A7A2C1FE5","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":"Q2931786$87C5C6A8-722F-44B0-8060-323E9611314C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"258112e415a4ae647f91ebbe999758406ef1744d","datavalue":{"value":"W2129943248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931786$56CD4226-6EA8-477F-869A-A42ED9C7F383","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0def169e864aa522a83e66cca1554b9e69b16568","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd3aae234edad23e86399ea7674beba23207c02","datavalue":{"value":{"amount":"+0.7380611896514893","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":"Q2931786$0D38CF86-AE27-4541-8277-496EA0883B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626dcb5c4ccf3f6829990ec02f6d4095dd840380","datavalue":{"value":{"entity-type":"item","numeric-id":5408444,"id":"Q5408444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc61611ba1e63e06119a4a430fe1577d6d4a9a10","datavalue":{"value":{"amount":"+0.7277647256851196","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":"Q2931786$667FDA63-A619-4D86-8980-3E7D0D7CD3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eea77c439a4c1346c74b01e65c1fd47b0e8276","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e724e3cd7fb51de8b82f58ba9bfa022f5bd8d5","datavalue":{"value":{"amount":"+0.7273304462432861","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":"Q2931786$F021A245-070A-4E18-B427-3EBF8DF7C00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd599325f5a71199472ec813ade59ada70a51273","datavalue":{"value":{"entity-type":"item","numeric-id":1349670,"id":"Q1349670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4befb26971de0161a3305a0f0f4f5dcc071c836","datavalue":{"value":{"amount":"+0.7206276655197144","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":"Q2931786$3FB32E97-B924-445E-B25B-360AFD702A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292c44aa865b5f70e8c78fb6355ff97ace67503f","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca264523e572a1c5d157142d59b66df81838bbbd","datavalue":{"value":{"amount":"+0.7160630822181702","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":"Q2931786$62BE2C58-5985-498E-B83C-CB63A9E24A42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931786"}}}}}