{"entities":{"Q3138541":{"pageid":3149257,"ns":120,"title":"Item:Q3138541","lastrevid":47196376,"modified":"2025-12-31T23:38:43Z","type":"item","id":"Q3138541","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431765"}},"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":"Q3138541$5F9E895D-BAA9-4B32-BAE6-5BDA1D4D1D65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dea4020629de8abcd8db70de7855e9e05984ddf","datavalue":{"value":"0784.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138541$3DDB3CFE-8DD4-40D3-A4AF-0380EFC7F7B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2ff807ad8f5a0fb377ff80be6081b48f28988df","datavalue":{"value":{"time":"+1994-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138541$1B74014F-9734-4516-A536-DD99CC85B4DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138541$20D08163-7B6A-444B-94AB-A7F7A4E47EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138541$0F209826-1EB9-430C-81B3-8DE826CE04E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138541$894599FB-FCCF-409B-8697-ADB2A82A04C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138541$7A57D9C2-B000-44C0-82D7-4054DA30BD54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10f0f3472be6c35619f0584ea2ba33bf82436f4d","datavalue":{"value":"431765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138541$84036F70-79AC-4156-838B-AEBA9996CF8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c03543cb59019a3d51c3311be61627e0bafe5e","datavalue":{"value":"reduction modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138541$46E260FC-A510-4ACA-ACA5-46F73E34BD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c07d02a590cf6a589befa4fc9e66cb64b1d0800","datavalue":{"value":"confluent categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138541$DE346126-80A2-483E-93D6-DCCE8C1D0B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138541$896B81F3-0B54-4F48-92E4-29257F4ABB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4d0ded043d84e6fb705c2b8fb2cbbc72a553ca","datavalue":{"value":"typed \\(\\lambda\\)-calulus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138541$B279006C-4B72-4669-AE69-DC37D726AF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138541$AA26A069-CECC-4C2A-9AD6-CA9958BF4E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c466c698b2c991bdf4846c5ffea2a0a26cc877d","datavalue":{"value":"confluently cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138541$301A890D-14C2-493A-B503-8B0725ACD178","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b90fa7a1210e62a50e28791a4ad13f433322428","datavalue":{"value":{"entity-type":"item","numeric-id":584379,"id":"Q584379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138541$825F2E68-FC6D-4C11-B437-294713DAC31D","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":"Q3138541$7B80682C-F225-456E-BD06-FFF06BC739FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ca76787caafbbd6eb743b3d43531583f05c942","datavalue":{"value":{"entity-type":"item","numeric-id":5055833,"id":"Q5055833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5994cc553d9391eab68caeb1ff5f2cb4b4744a4","datavalue":{"value":{"amount":"+0.8087391257286072","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":"Q3138541$4D629076-5071-440C-955E-80132226F3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da35d96ed28ea91c078a7e3832145268aa84b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4362961,"id":"Q4362961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40179a5c18658b76ea52eb0ca8c593ad63c612d3","datavalue":{"value":{"amount":"+0.7734716534614563","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":"Q3138541$8B85C954-2D12-47FC-9224-6A647298A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953099234914b4fe0c09457043b32c19fa4f96e0","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40179a5c18658b76ea52eb0ca8c593ad63c612d3","datavalue":{"value":{"amount":"+0.7734716534614563","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":"Q3138541$FEC1CF09-4CCD-4C07-A068-38D8575D8BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1e00cfd9dc874ecfddeb86c99fdb80c540bce2","datavalue":{"value":{"entity-type":"item","numeric-id":5137919,"id":"Q5137919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a1820abfe9bafcc7e623c9dcb25541b6432479","datavalue":{"value":{"amount":"+0.7608299851417542","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":"Q3138541$CD310011-F696-44F9-AF34-46DAD4DA1C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388ec95db08423cce025932ba8fe3008a282156a","datavalue":{"value":{"entity-type":"item","numeric-id":918956,"id":"Q918956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e727659c35883cc22808daa1e73c971c2ee30327","datavalue":{"value":{"amount":"+0.7572298645973206","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":"Q3138541$46231E61-9451-4B04-B6E8-B3366D9A7ADF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138541"}}}}}