{"entities":{"Q5369470":{"pageid":7399044,"ns":120,"title":"Item:Q5369470","lastrevid":40693170,"modified":"2025-04-04T09:25:29Z","type":"item","id":"Q5369470","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792338"}},"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":"Q5369470$00D40E4A-4565-4605-ACFC-390DE36BE5A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5ac7aa3a5e193ec5d2346cf942564b7a739f709","datavalue":{"value":"1387.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369470$8DB5D8D1-6F42-4D5E-A7C9-73D0130B3197","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7904a0fbe81f518d9277ca472a905d87cfae06b","datavalue":{"value":{"entity-type":"item","numeric-id":283131,"id":"Q283131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369470$87AF5BA0-7B26-4F48-B40F-E41A4D5D1BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369470$7A9DAF49-1695-43B4-9919-94C0E27FD092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369470$44C3BECD-E0DC-4A0B-8040-3508589B24C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369470$F1DEB3C1-7BEB-464F-877E-8462B999FD6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b440e1b015a05f589e540ca4863e8b6a981ff03","datavalue":{"value":"6792338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369470$53D647AB-4D9E-4EA7-ADB6-0F92B632E4C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5eabe7c41b96917fe1a113ef23895b7a2cfd3c","datavalue":{"value":"polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369470$DC1A4E38-C884-49B3-B08C-715F5F739D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369470$22CD57A5-DA7D-4025-85E3-B8B5B46B51D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f72686afd62cc84aba4d9167db403029bd1de20","datavalue":{"value":"computability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369470$BE9FDE2F-41EF-41DF-9AB7-614E667A2650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9afb1082b3e6e6ae06798350861ae0e3da13440","datavalue":{"value":"infinitary proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369470$128AE724-0514-49F8-8019-5BA91F1FE82E","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":"Q5369470$77072619-CB1A-4B90-BE41-5175B65D6FBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2428298b5eb92844edd3b3f2d9a2b9168b27fb1","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369470$B9B39F70-A3A6-477C-99EB-325786F66E48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731b13ffcfcd2791dd812dcf159bf727e2a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":4501146,"id":"Q4501146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0052a0f9c8a316da28f6a26da07b7123ac57817e","datavalue":{"value":{"amount":"+0.91400605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$275264B9-0136-448D-BB8A-F469DC6B03C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685d265adf2c83da358eb92c8fcb2753e44c03ef","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbba702a3585dc9813a3f95c07c9b7596a921e54","datavalue":{"value":{"amount":"+0.91048616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$9D199AFD-23BF-4753-9883-D5EF870C3A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8ec8be874d7ffa31a025193401dedc39219192","datavalue":{"value":{"entity-type":"item","numeric-id":5411470,"id":"Q5411470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178eaa040ace7f9a592ce428c7226c7977e78c75","datavalue":{"value":{"amount":"+0.90769064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$BDB08F1D-E3F8-4BB4-B98F-409703FA7A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7e2cfcf9f8ac0233557b6d690d557c3ef22bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2871864,"id":"Q2871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0440e754e797a3331c6c88af5a2bd53609c10d","datavalue":{"value":{"amount":"+0.9069723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$B0A5453A-1062-4B86-B318-CC12957013AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f1896d4af55a7de22770ce3e8705c9fb7bff57","datavalue":{"value":{"entity-type":"item","numeric-id":5292634,"id":"Q5292634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171102e1e50aa62abc246bf855edc53dc00a9440","datavalue":{"value":{"amount":"+0.903019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$6FC19CC4-9832-4633-BC80-9AE0918D1489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e7bf5c863fd641febf767093e2033c88746381","datavalue":{"value":{"amount":"+0.90224075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$8A502B24-C095-4DBA-AB91-01070E22979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434105c8ed405f81c95f3ebc906d1fb712baaeba","datavalue":{"value":{"entity-type":"item","numeric-id":1426886,"id":"Q1426886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84eebe858b680869f8b3e3e1279310359ea44cc","datavalue":{"value":{"amount":"+0.8901242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$8270E168-3AA2-461E-8E5C-1E154D0D6710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f32f30dd3f2a256638a3933b340079570b7052","datavalue":{"value":{"entity-type":"item","numeric-id":930871,"id":"Q930871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6cf601cfd6d98511cbeef67cb08ad0b722a051","datavalue":{"value":{"amount":"+0.88953763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$1DBD4CAD-1F5B-494F-B038-FC9E1AC98EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3807dcb7ed967243532e238e81423ccca34c5a49","datavalue":{"value":{"entity-type":"item","numeric-id":1001367,"id":"Q1001367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3329a0b1c0bed6d2d0b272ba42f8a52251f9e5","datavalue":{"value":{"amount":"+0.8858317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$87240C5D-F160-464A-B7D3-80B743A9ECA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfd9fb05afa93505174a6c97176992065267693","datavalue":{"value":{"entity-type":"item","numeric-id":2894559,"id":"Q2894559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc07a45410ba859498939b38c18d151a0723ed3","datavalue":{"value":{"amount":"+0.8855101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369470$723674F6-236D-4764-9B60-3AA6D89ED058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369470"}}}}}