{"entities":{"Q4249177":{"pageid":6278778,"ns":120,"title":"Item:Q4249177","lastrevid":46838802,"modified":"2025-12-25T17:00:36Z","type":"item","id":"Q4249177","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302629"}},"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":"Q4249177$652E23D3-8121-405C-B1A9-6F22B2160A0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a4ac697b6c74699448e46eb93994e48908b46ae","datavalue":{"value":"0928.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249177$E27FFE75-E2AB-4D51-B1F9-B5D029AA4CE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249177$B9712D69-1FEC-4500-9C68-EEF148B72A12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249177$0E242836-8C93-4B0A-8FFE-A63C6A0B2A1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249177$FC5CAD3A-ADF1-4A09-BB64-C7DF3A378E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249177$AB138A2F-FD05-4DF6-BF0B-4DC854C51136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249177$E1F6B438-52FD-4656-8A8A-4392BEA8687C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b66df64873cf0e67920397ccf4aecaa8b1940040","datavalue":{"value":"1302629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249177$DFB28764-9341-4D99-ABE5-5F3E9026E31D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6267fe9d5b4efe9b2e68d24e54c0dc9664864604","datavalue":{"value":"automatic typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249177$03227E97-1D4C-44B2-80F9-38BA7E662B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e45fee50b289888b1e2ffe587188dd810f6bf736","datavalue":{"value":"cut-elimination complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249177$35CFEA90-CB94-4447-9BBF-054ECD45C236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249177$88BBD1A6-D904-4F5F-97E2-96DC1D732B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3bd68fd1eab8221118e4ba9c97fac6b8dd6c3d0","datavalue":{"value":"Intuitionistic Light Affine Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249177$B80E2B14-3739-4DC1-B922-6223F58DF854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249177$A6CA17BB-8DDE-403F-9807-B3998F582397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249177$0F16F617-E50A-471A-9D10-580930B4D753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48e796a1d67d1d11c5837d4cb4b9859bb469e86","datavalue":{"value":"prototype of programming language for P-TIME algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249177$571CA70A-BBEA-4C82-8243-E422DC0EB604","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":"Q4249177$A2E26D7E-2083-4DB6-A02C-61B28146A2BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e328899703c25684e9591fe454b9327dd1cd274","datavalue":{"value":{"entity-type":"item","numeric-id":5249032,"id":"Q5249032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d81edc0b2fa7eac45c870faefcc46695682cd9","datavalue":{"value":{"amount":"+0.8257546424865723","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":"Q4249177$39937511-4819-4DAB-AC76-D827D0CF38F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ea3927ed427114a93fbd39ebb4e68d47de7dad","datavalue":{"value":{"entity-type":"item","numeric-id":3558218,"id":"Q3558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496e6822ca531dd1f5816ee3417fe5d0efa6e771","datavalue":{"value":{"amount":"+0.8023763298988342","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":"Q4249177$F5E80523-C930-4E6D-A4CC-102DC3847D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ea36f0a0484e249d413f552df81af38e818779","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fc1039e45cfec70de78a54f7855e7fd0bf895b","datavalue":{"value":{"amount":"+0.7948916554450989","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":"Q4249177$081C0EC1-C612-4704-8513-A95885AB2B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130c030dafcebf48029ad625ccab4d2ee1e1297b","datavalue":{"value":{"entity-type":"item","numeric-id":877259,"id":"Q877259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389a0219085b16dda7074d0e215afb80f1a59c4d","datavalue":{"value":{"amount":"+0.7659376859664917","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":"Q4249177$11D5883A-8E54-44B7-94CC-580F51861336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ace2b263a4dca9e1322addd32c0fd88beae1b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45544a3217c0e8e361ba37e2750d22f63ff6170","datavalue":{"value":{"amount":"+0.7621454000473022","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":"Q4249177$C5CAF3FF-3A0B-4B38-ADB8-AB5C38C5E432","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249177"}}}}}