{"entities":{"Q5408429":{"pageid":7438003,"ns":120,"title":"Item:Q5408429","lastrevid":96177185,"modified":"2026-06-05T10:36:22Z","type":"item","id":"Q5408429","labels":{"en":{"language":"en","value":"Modular, higher-order cardinality analysis in theory and practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282434"}},"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":"Q5408429$A973C225-378B-40A7-A3E1-86AF85744825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"490d22e983995999016a07706d155ad3fccd7cb7","datavalue":{"value":{"text":"Modular, higher-order cardinality analysis in theory and practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408429$0E63A662-7C3A-44C8-B5E6-D8BA822FC9B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d433d495136e19d796014b5cf45835f4556a43b","datavalue":{"value":"1284.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408429$3BD6A20B-BB8E-43E0-956E-268D6A9B3923","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f91c94772a4e06de0d9274a1d3807754a3e7443","datavalue":{"value":"10.1145/2535838.2535861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408429$ACF9FF10-FBEC-4FE0-B07B-E1897A3CD077","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e7aa46ac3d887e424dd5cc7f00c3746db134d5","datavalue":{"value":{"entity-type":"item","numeric-id":763479,"id":"Q763479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408429$8DCB3B56-BD2B-4E19-815E-AE55107AAA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4ed8098789870ad70d41231e22c66ea8deb02e","datavalue":{"value":{"entity-type":"item","numeric-id":2819689,"id":"Q2819689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408429$7000EEFD-7FEB-489B-8668-25615B123930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049de561e4e0575c7855d0da60607e65f900396","datavalue":{"value":{"entity-type":"item","numeric-id":1818317,"id":"Q1818317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408429$6F8BD76E-76FF-4CB7-94A4-D9033AAB9099","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408429$CB5A6755-FC50-46F0-8E4D-AE80D024BE39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408429$EE789BAA-9637-4340-B615-14603693915A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b09fa44f6278207662c3796a4b62d64af3b7201","datavalue":{"value":"https://discovery.ucl.ac.uk/id/eprint/1550717/1/Sergey_Modular_%20higher_order.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408429$104EEB22-EF87-42B8-82FD-ED22C0E75F01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408429$7FC3D5BB-5179-48F0-A51B-3AC757788B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408429$0F636BE9-97D3-472A-9B2E-D35C8A7B6CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408429$72904655-1EFC-4717-A18F-A53B0BA8FA64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a329f133b07fe2d03199304b6055310b5f4077a","datavalue":{"value":"6282434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408429$03FC69B7-B672-4968-A54D-9C9CB57395FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a13668932e03ee9cdc847e559011f96aa7e7ea","datavalue":{"value":"cardinality analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$AFE267A2-A272-4506-98E4-31F55B47F54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacd34e911e115e3cfe335809779aa742a58e725","datavalue":{"value":"compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$D241ACAF-7309-4BFD-9DD5-F60834774044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$F7953085-A747-453A-AD0B-E632D2A9E008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e11ee92f0ca1d0396ce013c60533af18bfd5fac7","datavalue":{"value":"haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$2A35C6D3-8787-40E3-8821-0C9901E74DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$F7DDCBAD-03E4-48E1-A637-6973F91F3054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$1F8902EF-E1AE-4DBB-A94A-D54975F5057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3d895aefe88a483305532bf8185739dc3c0200d","datavalue":{"value":"program optimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$4BEF46DF-F316-4096-AF6B-0AC6D1583F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$D29AB114-3773-49A8-8667-F0C893703437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6d88849628d15752dc3eb2d04d967bb43e6b63","datavalue":{"value":"thunks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$EDCC9B49-B158-42F7-B076-F02FFBA8BC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e04b245fabdc61d984ff46055c797e815a10f4eb","datavalue":{"value":"types and effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408429$45536615-97B4-4D46-8C87-6CF7D68F0CE9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408429$20C9B517-4939-4849-AAD1-12776B06B38A","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":"Q5408429$B5552820-B5B1-446B-A5FE-C1B48F68AF77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6d82b5be720afa47a6bd3499cab449d8f22be11","datavalue":{"value":"W2038401271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408429$E5C13E31-D2B1-4629-A734-7E6D0B172DD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4c49be31fb05d46a8e278de0548895b59d1ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5372006,"id":"Q5372006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f198ebafa5ed70039d5d5c4fa0b3312a6ad7a027","datavalue":{"value":{"amount":"+0.9892064332962036","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":"Q5408429$98A4674E-44EF-4AFA-AFE9-69B79C14E6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed501ddecd6f1e80052115c9637e140c2cb3a19","datavalue":{"value":{"entity-type":"item","numeric-id":1275747,"id":"Q1275747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a8bcee973500b0bd8c8f76a7a4fe3f098f0f4f","datavalue":{"value":{"amount":"+0.7607957720756531","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":"Q5408429$E6959532-0B8E-4D63-ABD5-0445EF81157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a15b8f5419752eaf1ff699f3837ab6807b571b3","datavalue":{"value":{"entity-type":"item","numeric-id":879358,"id":"Q879358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ec630a1f3f38e41c06dd76b72906321a319cd9","datavalue":{"value":{"amount":"+0.7442871928215027","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":"Q5408429$A476C9E8-832F-46B2-9760-159CC0384446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0a0fefcd63614e02c1fdd0081c486e39b6f03a","datavalue":{"value":{"entity-type":"item","numeric-id":3546050,"id":"Q3546050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e3c46d52bf95bfd6f20a86200cf4c854c7858b","datavalue":{"value":{"amount":"+0.7371605038642883","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":"Q5408429$F05DCAC9-09CB-4D0C-A3E2-EC077F30FB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f9701f7d2f4a57cfd9729cb405e6ce215c0899","datavalue":{"value":{"entity-type":"item","numeric-id":4880526,"id":"Q4880526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf1074d5eabf8aee6fbc88b811f3f5081274d3c","datavalue":{"value":{"amount":"+0.7281939387321472","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":"Q5408429$E957E500-E998-4E63-B849-CAD00D5B36B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular, higher-order cardinality analysis in theory and practice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular,_higher-order_cardinality_analysis_in_theory_and_practice"}}}}}