{"entities":{"Q5111316":{"pageid":7140890,"ns":120,"title":"Item:Q5111316","lastrevid":46185334,"modified":"2025-12-24T00:10:43Z","type":"item","id":"Q5111316","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204439"}},"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":"Q5111316$024A4FEA-B0B1-4519-9F7E-5A62C2BCE47B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"333bbe131a24a0c0c92caacfcbf5dbfa0ce15aa8","datavalue":{"value":"1434.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111316$210C1CE9-74FD-4140-BC94-29E2CE1B612E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"395b5137124702312f7d3fa6b0db1bd777258581","datavalue":{"value":{"entity-type":"item","numeric-id":397403,"id":"Q397403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$D1586496-728F-465A-A893-F7C80040BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$8C6DD67F-388F-48CD-969B-39D4F7284AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75cfcd3b65fca9dabfe6a7a0d6f510ecbd180120","datavalue":{"value":{"entity-type":"item","numeric-id":2200832,"id":"Q2200832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$ABBB5E67-BD6F-4162-A282-F5BE67FB10ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111316$795F9CEE-7660-4058-B47F-49F87D6C228A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111316$3F9FEA0C-74F2-4CF2-ABF7-2CA24FE3F372","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9d3122fc462deb3c6cb65b63d558f965ea540eb","datavalue":{"value":"7204439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111316$4FAA449D-E6F4-4260-AEE1-20B08B179B33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111316$EEEB5972-3AE0-4BDF-AC8C-23E08A243862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111316$A0FBDFFC-B7A8-4AC9-A00E-E6F7C102F80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111316$A51C8833-5F3D-48FF-B4AB-5BB2642B7353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468019f5ee0d44c89b0171c3e2d4ed3cb3bada8e","datavalue":{"value":"\\(\\omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111316$266996F2-D489-4622-A9BF-BB631CBAC2E9","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":"Q5111316$1AEE9DDB-5D42-428E-9586-78CD57DE608E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$035C272D-7517-4CE9-85B5-F190C210222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497e8d671416665b8bbf70dde157f700456c28e2","datavalue":{"value":{"entity-type":"item","numeric-id":4194931,"id":"Q4194931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$ADA5C341-17B6-4282-920B-D6C9F769C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0acc375d08c4f37a3d0c816a16fd070e923c57","datavalue":{"value":{"entity-type":"item","numeric-id":4635607,"id":"Q4635607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$F34FDC45-5CE6-41D4-8A10-6034A603578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab15e5af9321eceaabb47c3ae38fe84ea99f6c5","datavalue":{"value":{"entity-type":"item","numeric-id":5369480,"id":"Q5369480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$F02644DA-C0C4-4427-BCDE-3E6B84AD8FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a791304d2e176be9958225c1660e0c2bc8667a","datavalue":{"value":{"entity-type":"item","numeric-id":2828238,"id":"Q2828238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$3AFE25E5-BEB4-47CB-A6C0-1005C8EA0F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a538718f218d7316878b6a0f618e6f4b8fbe9436","datavalue":{"value":{"entity-type":"item","numeric-id":4198724,"id":"Q4198724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$880C1513-E184-4FDE-AE31-E35581D55604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$A40C553C-9E5A-49C6-943D-3859C1991CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90dcd108a99d8693c50bb8fe15cd9f1c30b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$698E088C-4932-4D8B-AA7A-34507BC9B618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e34d77e8b982f1f9ff301adf3ae96fcfbb00c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3173527,"id":"Q3173527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$76E745D5-D777-4A45-8427-65CB9B617FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385e51d3dd08b614d58745a65be4aa4f330af157","datavalue":{"value":{"entity-type":"item","numeric-id":4101793,"id":"Q4101793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$58E7C9B5-B7C1-4294-BB8B-C2864471E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$65528D42-E758-45D9-A9F7-E826BB04FE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e311fd8ec4c902d374c0321925085c03dac9b39c","datavalue":{"value":{"entity-type":"item","numeric-id":1014452,"id":"Q1014452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$1B54E8C6-EBA9-49D5-B05E-AD6ED9BD6E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a3f3ea431fc4ce76f2f1b4637ad28dd04854d3","datavalue":{"value":{"entity-type":"item","numeric-id":3612630,"id":"Q3612630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$A6BF3B4C-A459-4DDE-A64F-FC09B8F52845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a910ad4e49426740a22f37afd8634dc6a43e6340","datavalue":{"value":{"entity-type":"item","numeric-id":3636805,"id":"Q3636805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$C9D65110-8BF6-411C-A1F8-D414DFD712A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cedd5dad6884e9d508e59fa93fce3528d9c5412b","datavalue":{"value":{"entity-type":"item","numeric-id":4820472,"id":"Q4820472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$EA7E0166-0712-4648-8B83-11DB85B5DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0023361e04cebcda8092e5d43d5aa3d205a30f","datavalue":{"value":{"entity-type":"item","numeric-id":3182956,"id":"Q3182956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$18F1827C-421E-4A85-B96E-5AD080CA2078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d55ec85c7454650bdad4ee870e865f244bd7bd","datavalue":{"value":{"entity-type":"item","numeric-id":283769,"id":"Q283769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$94C753A5-27BD-419F-A7B3-0AB20EB00C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667244bbb64cbeae656c8710018670875f6b25da","datavalue":{"value":{"entity-type":"item","numeric-id":4764616,"id":"Q4764616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$AA7B85C5-1189-4366-82F0-7743B1400D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffac7d9aa47d7e3194789ac7b17d644b3b3dbea","datavalue":{"value":{"entity-type":"item","numeric-id":4053617,"id":"Q4053617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$115E6F44-BDC5-485C-AC95-8905E564A44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a292200e8ece9220edec7ee9558d02e9f5d54","datavalue":{"value":{"entity-type":"item","numeric-id":2915703,"id":"Q2915703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$D175C5FF-6BE3-4AB7-98FC-555CD5C1EE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$7E3F9862-50F9-4BBE-8629-F852CF1C40AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926336abba0524ccb1cb3e54cc99d238b8657591","datavalue":{"value":{"entity-type":"item","numeric-id":4163188,"id":"Q4163188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$3A225053-E544-4171-8C25-982162F19436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$E5B5EBF8-95A2-4C93-B823-5BD005E0207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73eb0b43cdfad05345e5b13521872ded05311d0","datavalue":{"value":{"entity-type":"item","numeric-id":4808745,"id":"Q4808745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$C0DFDF61-8278-43D8-8ABD-0B7E08FAE059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a563bb4bc2669e34679d12d3367b71c2301f47","datavalue":{"value":{"entity-type":"item","numeric-id":5269002,"id":"Q5269002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$704877D2-D53E-4945-9CE0-141CF985AE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111316$F339EA19-B730-4EC9-A4B1-DD598C9E4C31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67b14d72f9a3c1b9cd07c77fe743aa8d4d20bd11","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111316$DB63D3A4-E0EA-49AE-B235-4BA4C3F0C7F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a545bf4fac674b6da581a6e0cfb51aaac8fe4ba","datavalue":{"value":{"entity-type":"item","numeric-id":4625694,"id":"Q4625694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9571f95b1ed46044ddbbcc066bf783065a908cb7","datavalue":{"value":{"amount":"+0.900367259979248","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":"Q5111316$4EDE4305-7CDF-40B9-A4B8-02663C1E4C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ac39d50bd5fabb3ea4dfac7ca099d54402127f","datavalue":{"value":{"amount":"+0.7986976504325867","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":"Q5111316$70FDDFE5-E7BC-4227-923F-D51C53D498C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55df5c59ddd8eaa86cc78905e5f19bbbcd340e1","datavalue":{"value":{"entity-type":"item","numeric-id":5369480,"id":"Q5369480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfdc101c9483d88da35526b2675e393cdbf1fde","datavalue":{"value":{"amount":"+0.7830504179000854","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":"Q5111316$1606107E-D01C-47A7-8E35-9ADBF7901CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526a8e3c1b16d702e0d7192d445e8aca3dea0661","datavalue":{"value":{"entity-type":"item","numeric-id":3636805,"id":"Q3636805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be943a90fc2216ca2609626263de297c9312e75","datavalue":{"value":{"amount":"+0.7772302031517029","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":"Q5111316$FA631E8F-0932-437F-B535-E3948972B731","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111316"}}}}}