{"entities":{"Q3787977":{"pageid":5817883,"ns":120,"title":"Item:Q3787977","lastrevid":52813601,"modified":"2026-01-23T13:43:06Z","type":"item","id":"Q3787977","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051567"}},"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":"Q3787977$651ADF74-8504-48BF-89B0-80D72F740959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e8ef5b4586775b6e8f9fe5871ac473c311b462d","datavalue":{"value":"0645.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787977$106560C7-6D17-46D8-9E4E-7B13AC18398C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787977$9900A9F0-D74F-496C-936B-BC15857F670A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3787977$67DE9EBC-AD4C-4A81-B84F-0A113F933E3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787977$F4D5EE50-2A5E-4039-A39A-109DF7FF095E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47199b8edf3650d1c33c275e178737b712f893e1","datavalue":{"value":"4051567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787977$DDB57AF1-A3C3-4E48-8824-662623089EC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a5df721d9193d28295cd60e6d7ed76e6f04b433","datavalue":{"value":"semantics of second order lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787977$67D075F9-2D6A-4BB8-9DF8-0D6B72711F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b89e96747212835c6f6f8700ead7af9fe6ee0d","datavalue":{"value":"non-extensional models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787977$9013E693-0A90-45BC-9DB8-D85D0F7A4B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4b6914a996f050ce0852e4977ea51fb9eeb9fc0","datavalue":{"value":"weak extensionality property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787977$40D6FC91-1190-4978-AD59-72F27D651D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75bec064f7350a4f52674f1f401b600770d2b4f2","datavalue":{"value":"Ideal Model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787977$3B928BFF-3182-4FC7-956B-B76A4258E88C","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":"Q3787977$079BBDEF-7433-4D46-9069-EC40EC959061","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2d0b5daa9213419ffc84806953b4e747a2b4e3","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13ec919f0fae820415ee2fb0da7682db944fe23","datavalue":{"value":{"amount":"+0.9084207","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":"Q3787977$2663B563-2446-45A5-9606-6987689CB0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4100a26ede17f3cee25ab86916e0babdd41f8e","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf81a288120698e9a08b3ed2910fcb2cdb2c1ff","datavalue":{"value":{"amount":"+0.90064275","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":"Q3787977$A57AB201-F134-4FCF-A83C-D015E93DD32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfe8faeb7c5e632c37904d2120e62e56925732d","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a7180b39cb497148562bbb4e960385dbbb1d99","datavalue":{"value":{"amount":"+0.8965776","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":"Q3787977$6591C7E0-3004-492E-B0F7-25F82ADD40EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aedf9c230831d7c32a2469d424ad742688c901d5","datavalue":{"value":{"entity-type":"item","numeric-id":5277728,"id":"Q5277728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a2b683cb58931b900b9e9d0f13eff1416db0ec","datavalue":{"value":{"amount":"+0.88969517","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":"Q3787977$5C8D0F37-E116-4CB7-B43B-7823AAE0E711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b79f31a9aa15e9f0e8aa978ed9a3a4a3b49601","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d225f0aaaf4cf3f2fb8ffde7934fcb26e8f2db59","datavalue":{"value":{"amount":"+0.88343656","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":"Q3787977$FB0400EB-AE42-4CFD-98B6-AEC36771313B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399367f03632ca13a6bcb05b3f3a69a635df0842","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d225f0aaaf4cf3f2fb8ffde7934fcb26e8f2db59","datavalue":{"value":{"amount":"+0.88343656","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":"Q3787977$4E8B303E-3628-40AB-B13D-72A2435CE2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415330372d909ec89618abb517d8477f2fd36406","datavalue":{"value":{"entity-type":"item","numeric-id":2871473,"id":"Q2871473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f5cf0df473d5dca3b3944b2032283c241edaae","datavalue":{"value":{"amount":"+0.8826928","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":"Q3787977$D1AE419D-F301-4C38-B03D-823E312B38F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81a7174a1ef4613d63d76e76175dfccb179833","datavalue":{"value":{"entity-type":"item","numeric-id":4991956,"id":"Q4991956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ac6715c0f9daff9f480ec8998819d93d200c12","datavalue":{"value":{"amount":"+0.8817253","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":"Q3787977$EDE88A09-99B2-4488-B5B5-6C448AD79A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec631c05321dbc7306e9c1d245bda028c4260410","datavalue":{"value":{"entity-type":"item","numeric-id":5096261,"id":"Q5096261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9791b87b2c1364adda17d61139883ab7887807","datavalue":{"value":{"amount":"+0.88141257","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":"Q3787977$F62BA46A-9C3A-410D-B149-9F9E02673EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf051ca18530d91c5bb7845569f5979b709a4fd","datavalue":{"value":{"amount":"+0.8779039","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":"Q3787977$3CE51D70-F90F-475D-AC1F-94B3614E57C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787977"}}}}}