{"entities":{"Q4945250":{"pageid":6974832,"ns":120,"title":"Item:Q4945250","lastrevid":41261908,"modified":"2025-04-26T01:40:58Z","type":"item","id":"Q4945250","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424059"}},"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":"Q4945250$8BA32BD7-9AA6-4622-B8C1-68518E0857D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1286a278e5c38698c4c73929522fe698ba1c85ea","datavalue":{"value":"0942.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945250$3CECDCEE-6A27-4FD3-9D99-20AB835677B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945250$BE284BA1-F22F-4E0E-96F5-7BE19AB3769B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945250$FBC50AA8-CCE7-4AC1-BB8E-01B770767ED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988a1f1f38c2f749de54c12ebc5774f827c2b17e","datavalue":{"value":{"time":"+2003-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945250$E8F435F7-9D0E-47B4-94B8-04CC79D0ABEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945250$4254F86C-77C8-46BB-B356-9136939392CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945250$1CCFC7EA-9E94-4560-AAE9-BEAED96E135D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"076e50188281bca4c1a1857276e7e1238fec16fc","datavalue":{"value":"1424059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945250$3522086F-DE69-429B-82DE-59F4F377D08E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f3de2219c4a3944415da064ce8caa31b3c42dd","datavalue":{"value":"models of typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945250$1D80B307-BF36-4B5F-8A5F-E33A62FA50C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29cba2ff63e2e5c2375e9d1b5275ceef6a1d771e","datavalue":{"value":"applicative structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945250$C79797C2-4367-401A-BD09-F6B68438B839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63de91a479457c1761fbadbe2512b9d9922ef8bf","datavalue":{"value":"pre-logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945250$FD29F2F4-BD1F-46C1-85CF-EE0B2BC76B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9dc943c48c48df01cc06a9c47e9dc955ce50cdb","datavalue":{"value":"composability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945250$08BCDF6E-B149-4E3D-B0CC-3EBE001CF317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b326364c94a4a35dc657ae2ba9cd8380cb8bfbe","datavalue":{"value":"extensional structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945250$0EA0BB94-B474-4B0A-B70D-464186126819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62a43f6ace31673b6381b26c8b2bfcf511fd8b5c","datavalue":{"value":"Basic Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945250$EF39DD4C-0627-4BCC-B0BF-EDD7C412571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945250$E1685CBF-49F3-48CE-B180-B56EFB2774B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945250$709EC4C7-4A0C-4E3E-AEFA-80D3F5D6C5A2","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":"Q4945250$F4611BFD-B871-420F-A813-4D086E05A401","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30a69e1046d8e3ce13b6bdcdccfd7aadc0cb67","datavalue":{"value":{"entity-type":"item","numeric-id":1854557,"id":"Q1854557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f86e684ba41156ea374e381341827f72eb49ea","datavalue":{"value":{"amount":"+0.9782481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$82FC5B09-7A6B-4890-A545-6997FFF1FC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cdd6402c3699a23a735e9dc897aa715cd982e2b","datavalue":{"value":{"entity-type":"item","numeric-id":2946721,"id":"Q2946721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c627b256f931813ad43d1a463d3b3a6a005504c7","datavalue":{"value":{"amount":"+0.86068916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$07450A6E-8B25-4F87-9AA6-885081A827AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460d396a608b0372b019ec66af14ee1b8e7bdf40","datavalue":{"value":{"entity-type":"item","numeric-id":5256338,"id":"Q5256338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18909886a43666ee7b5b2ac8cd99b71f80fe98a8","datavalue":{"value":{"amount":"+0.8566854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$5584F0E7-5D4B-4312-A83B-DD070E0BBB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676e7f3e8f4eb758b461ac5a30772a0ff3e622b2","datavalue":{"value":{"entity-type":"item","numeric-id":4250254,"id":"Q4250254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70cc2d40bf32544bfd20fc32f74258eeecfe3fea","datavalue":{"value":{"amount":"+0.8501639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$6EE16AA7-D9FB-420A-9F3D-91B4771E4607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b7d8ebea3b9f959b55c8385ac0b67901ec481a","datavalue":{"value":{"entity-type":"item","numeric-id":3755432,"id":"Q3755432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44d4b7b2aa9e7a902a75850249e77cb0f4ce41b","datavalue":{"value":{"amount":"+0.8499272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$76F887F4-E3E8-432D-9325-D717B7919946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5143a188ecc60375abc79d50b3b8bdf7d2900e","datavalue":{"value":{"entity-type":"item","numeric-id":4461445,"id":"Q4461445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889265a88f78dae77a4b7d4440ba3d609587b9fb","datavalue":{"value":{"amount":"+0.8477999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$20C4B18B-E783-47D5-B508-77BA4B8F2DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84d59b27f729d02566cc114308d300d2e0a2d78","datavalue":{"value":{"entity-type":"item","numeric-id":1935566,"id":"Q1935566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4f990596c2a821a107b6626741508411255e33","datavalue":{"value":{"amount":"+0.8474605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$B15A9A40-7CCF-4150-AF4F-7D8D6353A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ddae5b73c24ba088c888cb9c6c5f0155993adb","datavalue":{"value":{"entity-type":"item","numeric-id":2133176,"id":"Q2133176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e61fe9b175f587e61362914962f749b833f560","datavalue":{"value":{"amount":"+0.84561676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$98DB5A8F-3522-4CD5-B288-22E02F615CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb69ab0eff230b411ae5ffacdd73a7758e58ced3","datavalue":{"value":{"entity-type":"item","numeric-id":2778828,"id":"Q2778828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dee9c42c1fc5471bca8d240c459ab480cfeed4b","datavalue":{"value":{"amount":"+0.8442358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$B2302DA3-E619-454B-B34C-05F08486FB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa4bf8b962a592639d5cf21baaf11ea8a53b774","datavalue":{"value":{"entity-type":"item","numeric-id":3777991,"id":"Q3777991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b7e01245af45bfefb6d5e5f0ff042c949d82f5","datavalue":{"value":{"amount":"+0.84328717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945250$E11680F2-68F3-45E9-9CFF-570F16492969","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945250"}}}}}