{"entities":{"Q4699352":{"pageid":6728929,"ns":120,"title":"Item:Q4699352","lastrevid":46816884,"modified":"2025-12-25T15:57:04Z","type":"item","id":"Q4699352","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361534"}},"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":"Q4699352$7100EA8D-8C7B-4381-9BE7-52DE05F45D2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f7eb815e5117d9e5642c815c35e31a79fad5f18","datavalue":{"value":"0935.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699352$D84C31A5-1A44-4EC5-A96F-E23FA552AF02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab68d3941e9aaee7024ab0624e21f6a8a75a1cc","datavalue":{"value":{"entity-type":"item","numeric-id":235627,"id":"Q235627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4699352$9B99AB5E-C4AE-4AEA-A6B8-7A36B857A56B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f85394037e304830a2de23d467ba1be222952a75","datavalue":{"value":{"time":"+1999-11-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":"Q4699352$B65F3E02-AF39-4F70-A7C2-09396D299BB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699352$B5730A52-FFC4-44E8-B490-BA1EA165404F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6fde11ad2eb905e5e41833be10f6bba3dac9eb0","datavalue":{"value":"1361534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699352$97A5ECBA-E434-4146-8111-650B119F703B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699352$FCB08908-1DF1-4789-9585-BD7A87841584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699352$6CF5C2F3-AC21-46AC-8F77-79136B19A45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699352$D261A414-6291-4B24-86B9-365D98C53A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699352$962B8A8E-C5F2-40DF-842A-B717CC65CE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699352$C0BB27EB-6D27-4D83-8DEC-9CBE2490FE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ea7bb225dfc0f1ba88b53ac8e959b98d283c0d","datavalue":{"value":"semantic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699352$95E59CFD-7AC6-494B-99DE-5B462CA44FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699352$859E083B-19E2-42F6-B6F5-EA7D96F40B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699352$731091D2-F837-4645-B4E6-77BD42056017","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":"Q4699352$BD9FB285-ADFD-49E9-A7CF-B465D832D5D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc55ff89662a19ca44fc4e65a75d3087d84d21e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329739,"id":"Q1329739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adde758072cc0e6c7fff32849aeeca3040a4a4df","datavalue":{"value":{"amount":"+0.8338444232940674","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":"Q4699352$9FB0278E-7CF7-406B-8D8C-FBC6A97E8999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0432942668837dbbf6b6329fb3fadb288681a06","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8fd161d41a61ccf75d2d7cb3b8c96b047929ff","datavalue":{"value":{"amount":"+0.7882445454597473","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":"Q4699352$90A3CC89-5B19-4030-92F1-09FBDF53C15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0a4630bcb45689e60570ff9bb7139f3d99679c","datavalue":{"value":{"entity-type":"item","numeric-id":5958301,"id":"Q5958301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d97ded63142c64124ecdc8e172d027e9584861","datavalue":{"value":{"amount":"+0.7821170091629028","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":"Q4699352$CC66AB4A-F6B7-4CB9-8B4E-5C105169B56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c311fafdff78b3b5de9efc2de074234c5e48f34","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c864f4656ca3aa49b5376e71534d94e5d9cd35","datavalue":{"value":{"amount":"+0.7717631459236145","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":"Q4699352$CF9F546F-F956-428E-B9D4-6BD5014CCF1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4699352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4699352"}}}}}