{"entities":{"Q3839074":{"pageid":5868979,"ns":120,"title":"Item:Q3839074","lastrevid":54498032,"modified":"2026-01-27T11:22:20Z","type":"item","id":"Q3839074","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189299"}},"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":"Q3839074$6D2D4CBC-6322-4E1B-8986-2D6D7F1261AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13bde82ddedceab74a8809c3cdeb5a1c8df8f3ee","datavalue":{"value":"0904.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839074$BCF7E769-97E2-443C-BD01-722C1DD3CA31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ab1b2e03f8f419b2b30d0b67a5844940e3455","datavalue":{"value":{"entity-type":"item","numeric-id":615954,"id":"Q615954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3839074$B4E2A883-3071-4173-8004-EF7A267EBA27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5451c4336beee9334761b879ad3d3c365319b6ed","datavalue":{"value":{"time":"+1999-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3839074$6678FF69-4644-4464-B595-C84079242BF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839074$0367B6B9-106E-40D7-9D82-0B09159734C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839074$5DCEDF24-7A97-46E4-B6C7-6DF9F17F3E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839074$CC60F2B1-2883-42BB-A6D2-2BE11BFBAF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839074$A25CD0F7-4049-4086-8D8E-E5AEA870FB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839074$AE551FB4-CF91-4332-A0BE-E8D5030465C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839074$5F1723C8-EA93-4101-983E-46D6DE97A48F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cc491afb55327cdf11a68b83d1b700c1b460732","datavalue":{"value":"1189299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3839074$0100F610-FE5D-470E-B20B-245C8B8DD558","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839074$BB6BDAC3-C2E1-417E-B0A9-D1BA33E13576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebdd96d061a294ebce9b6589a8c52c4129b873dc","datavalue":{"value":"semantics of newname","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839074$2967277A-4E47-499C-BB5B-DCA788ED3FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839074$40225366-409E-4209-91A4-29BB3590CFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a7360ebd654166043f60e3c061baea6b028847","datavalue":{"value":"two-level language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839074$4CD242E0-3370-4D3C-A731-CDC832D5A973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93e68ca4365bed1db0340289e24f1afe100ea37a","datavalue":{"value":"interpreting dynamic expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839074$47EB44FC-4219-4B63-9A0B-0ACF080009B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cc6d6f6a2a1aa99efcbad9cfe3b4be690c20df","datavalue":{"value":"functor categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839074$DF6950A2-79C6-4048-9884-4B5EB1B050F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2933057be2829856b9933bdc05cad2211bdccb29","datavalue":{"value":"\\(\\lambda\\)-abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839074$8F439FD0-F33D-4F2E-BCF2-FF700109D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb8bb414005f2b26adc63ec7daa96119fe3754d","datavalue":{"value":"Kripke logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3839074$D10DC596-9136-48FE-A9C3-0233E161D206","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":"Q3839074$B372E50F-12A1-4A83-8953-07CB526877B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5545babfa51fa205952cb4eae6c787eac443e770","datavalue":{"value":{"entity-type":"item","numeric-id":4725711,"id":"Q4725711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320003f0b37496f22f77d2a1d61c1173a3a6333d","datavalue":{"value":{"amount":"+0.7711037397384644","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":"Q3839074$3B76DCE9-8299-412E-9390-C07DE5357A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6291ee0cb2588cd11eb5f2a38a48bbd93d8a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4222897,"id":"Q4222897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895e48ec88654817ca375efbe07a152057300a0d","datavalue":{"value":{"amount":"+0.7430551648139954","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":"Q3839074$64180FDB-0112-4DAF-A554-89D049BDDEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704eaa3de482d9fb9d5c6a48c77687ea2cf43927","datavalue":{"value":{"entity-type":"item","numeric-id":1575883,"id":"Q1575883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4128fc72e030699587eefa16f353f6ba9971785f","datavalue":{"value":{"amount":"+0.7150601744651794","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":"Q3839074$EE402C63-7FBF-4B6B-8ECC-16E946C2C8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bbc3cd9ff79c6f5cf018f5e992a9d424631261a","datavalue":{"value":{"entity-type":"item","numeric-id":879351,"id":"Q879351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03455ca94d65313c6f41c82b53c151be95706552","datavalue":{"value":{"amount":"+0.7077986598014832","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":"Q3839074$92EC083A-126E-4B72-8A83-CF81259D6CE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3839074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3839074"}}}}}