{"entities":{"Q5096261":{"pageid":7125837,"ns":120,"title":"Item:Q5096261","lastrevid":40892096,"modified":"2025-04-13T20:27:32Z","type":"item","id":"Q5096261","labels":{"en":{"language":"en","value":"On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572043"}},"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":"Q5096261$575E4811-4703-474A-B5D1-B66870B7F64C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f58613d2889f596cbe8d2440d32473eef8e7a2ca","datavalue":{"value":{"text":"On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096261$1BA174BD-D2F3-4A8A-9F4C-EF6DBE583C23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d428edd331afa373d283633e7e01cc0f929f1a7","datavalue":{"value":"1496.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096261$42382A09-196E-4984-8D9A-CA805088E494","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096261$5564FF37-B1B4-4FF2-9928-7235F425AA17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096261$C416F81B-27F6-4489-AE54-A4664A874989","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096261$CD45C7D6-6BC0-4639-8EA9-0B1EA546360B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096261$896022C4-1A11-4E73-9C3F-183384D2B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096261$C871C6F1-FD2B-4191-ABEE-7353EDF5C9C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"338f66c10edd8951395335caf69ae2a9dd58b107","datavalue":{"value":"7572043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096261$9023D5CF-A1AA-4275-9FC0-30BCDF7EA142","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":"Q5096261$3790DEE9-513D-4AEF-8F02-F5846BB9C41D","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":"Q5096261$A2E9C5F7-618E-44AC-9DAC-41D013EBC238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041d27619ddd593aca8298cbe17a548a65e007bf","datavalue":{"value":{"entity-type":"item","numeric-id":1075312,"id":"Q1075312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096261$00834D20-31F9-4741-85A4-0390EB7D4B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f3fd26345ebcb47fdc2decbe06144bf40762a9","datavalue":{"value":{"entity-type":"item","numeric-id":3329436,"id":"Q3329436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096261$33E76F8C-60F0-49DD-8DD0-DA392C6AC345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b79fbb5540f0404400728ce02316ef4bab0ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3787977,"id":"Q3787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096261$1F62DACE-DCBC-4C3C-9FAF-ACA910E8E5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096261$EC2D9BE3-9448-4889-BE07-6260CCCBB129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08ad635225c79bcb6fcd443ae1a816e3cf175a50","datavalue":{"value":"10.1007/BFB0018353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096261$709E6072-9E5C-4719-BE62-00AE480E3250","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":"683c216992ee673b10254929997e7c5705b3084b","datavalue":{"value":{"amount":"+0.91184133","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":"Q5096261$C7FB60B0-F452-4C1A-8436-1ABCAC6859C9","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":"4bfa325bf6049f944a10ec5cee1db33bbe43dcad","datavalue":{"value":{"amount":"+0.9027457","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":"Q5096261$FD9F8306-D267-4A14-903E-A1479155891D","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":"4856d2ced6c529ddcef545a21a107c33890a2c78","datavalue":{"value":{"amount":"+0.89764565","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":"Q5096261$9A030FEF-7A73-4696-BFC4-9DFC4C4E5A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443a00175662a9ace6e9914191341a7f2b09cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":3787977,"id":"Q3787977"},"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":"Q5096261$382E259A-4095-418A-8E28-A8F135FBFFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c3b3e41ea221ab6cf782447f57ac8882402dad","datavalue":{"value":{"entity-type":"item","numeric-id":2778830,"id":"Q2778830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f369ac9612e90c5369841207900f8ab4666d9f","datavalue":{"value":{"amount":"+0.879739","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":"Q5096261$0A09E75F-07BD-4943-BCAD-B60D6275F68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c01be75160e4b81e064094feb73a4345171196b","datavalue":{"value":{"entity-type":"item","numeric-id":1356979,"id":"Q1356979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418505fa8a8efc94829eef6af861458d6037e882","datavalue":{"value":{"amount":"+0.8767374","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":"Q5096261$DACA535B-13DC-44FA-9EEB-3DF7D04B44BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1698f65c7f1d296e712d5c0c1b40cece7d82b38e","datavalue":{"value":{"entity-type":"item","numeric-id":4931321,"id":"Q4931321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c51a3912961bd164adce1f1095c519848d472e","datavalue":{"value":{"amount":"+0.8733868","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":"Q5096261$5E239B39-FFCA-4A2E-AC36-7EDA6AA21AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6eb3feda20857f84d2af01a89181585b15b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":2898468,"id":"Q2898468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c51a3912961bd164adce1f1095c519848d472e","datavalue":{"value":{"amount":"+0.8733868","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":"Q5096261$9BDF5828-D765-4B0C-A66A-33483A15B8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31d0d3bb0b531bb7df7ea133c816859099a5a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5458369,"id":"Q5458369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99be42b6b8b7684f472e7444dca40de57954735","datavalue":{"value":{"amount":"+0.87000704","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":"Q5096261$22055F7F-220B-4E95-955E-BFACE340A129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c367f28e4f82ca6c68167e24f866e8bfa13b3048","datavalue":{"value":{"entity-type":"item","numeric-id":4649544,"id":"Q4649544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff0216a9cb80fe25f8aa1ca1bb5c8e38bbc0313","datavalue":{"value":{"amount":"+0.8645886","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":"Q5096261$107D3C66-4716-4C76-900D-24EB289C92D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096261"}}}}}