{"entities":{"Q4282580":{"pageid":6312181,"ns":120,"title":"Item:Q4282580","lastrevid":47233378,"modified":"2026-01-01T02:14:30Z","type":"item","id":"Q4282580","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 517052"}},"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":"Q4282580$B096EA69-3151-484B-B4D3-B1D45328BCFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c793fa430f3aa4f0e36f6005328f3a3e73aaa35","datavalue":{"value":"0794.03098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282580$E27BFC0D-D1B3-4EAC-99FD-EF92D1A25DB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"642309ed1e8b9db5cfe1a35ad5fdc89ce74673bc","datavalue":{"value":{"entity-type":"item","numeric-id":1322478,"id":"Q1322478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282580$6235DFE3-B488-4948-991A-AC72050DC1E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dc1d0c12e6b3029895af224a3159efd0243462b","datavalue":{"value":{"time":"+1994-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4282580$39973937-1B2D-4F04-B367-FA1E17A91869","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282580$8A4C13A3-B203-437D-BFA1-714C4D3F3091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282580$1E6E05D5-48A2-464F-91F8-0C4758B8CD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282580$B4E35CCF-8439-4B22-9D7C-0D35260F66D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282580$4AE3A57B-2E35-44C3-8DC6-7FFF0BE7E571","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ec31fd61976859e9a25d35144323a0b25c664e9","datavalue":{"value":"517052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282580$C9CE6AEB-CFC2-4594-B0D7-46D9E13BBDD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80083d2ce539391996f0949a764a22e2ad51b872","datavalue":{"value":"polymorphic \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282580$C852FDD8-C581-4359-AAB5-77111B9AF9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c051c86b950972e3ca3d1ff14b3e5cf6f7dd4531","datavalue":{"value":"modest sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282580$2DFA6CEF-D09C-47F5-A16D-95924A9C33FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282580$824450E9-756C-4B47-8FC2-4E6A6E1A8981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a1715e0d2c578de8e61ea272fe9b21f67113c47","datavalue":{"value":"groupoid interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282580$7282CC47-13D8-4083-A01A-7DCC2456E5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad5a9609e7fcb19737701b7bf4bc88cd1f97c40b","datavalue":{"value":"uniformized interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282580$590ABADE-686A-4178-AA63-1945196EC209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d8d09b4ee38be845b3c82216342dc404078d081","datavalue":{"value":"PER models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282580$DEBD324E-F1CA-497D-85A5-AD2B8DAAF86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282580$1D2AA6A6-6BF5-4AA6-ADA4-BAA81481D78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3d055264c78dbe5aaa44e69c341de12cdff13d","datavalue":{"value":"bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282580$B6B41B2C-8AA6-4C40-823B-34CBBC3F1386","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":"Q4282580$C85EFAD7-FE34-4613-92BB-9F31B269A415","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c75b51ad31cb3f5fe182d000a2d776e7449c100","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8127c6b5b24e4f29477ee5434de44bb3cf029fc3","datavalue":{"value":{"amount":"+0.8397166132926941","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":"Q4282580$905E1F6C-73CC-488F-A02D-C28C93860938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a91cc1d182e9944d5936b6a2e2755856fa52c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fc4756e4ad0e96cac1154daf6e05e0b5e4753a","datavalue":{"value":{"amount":"+0.8323721289634705","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":"Q4282580$84590C51-50DA-4813-9C36-51EA215D315B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1485f2f4746a943777bb46556e15c05ff09bfed3","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5689ebf9df2261830a7d0015c2ddeccb6cd812","datavalue":{"value":{"amount":"+0.823263943195343","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":"Q4282580$997764B4-51F0-495C-A506-54A28B58E4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d10000d0023d96e1809ad6e120fbfdc798be0013","datavalue":{"value":{"entity-type":"item","numeric-id":3353232,"id":"Q3353232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48e33adb4b3d828089e7f1635eff03665459d56","datavalue":{"value":{"amount":"+0.822092592716217","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":"Q4282580$D24F8915-02AD-4A42-BE6F-82E23A392ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad60c5ad63d7bbf687625969b1bec4c00bdb6f0","datavalue":{"value":{"entity-type":"item","numeric-id":1182690,"id":"Q1182690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5cd7206ff5f920295c0e582ae14925020ca56cf","datavalue":{"value":{"amount":"+0.8030956387519836","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":"Q4282580$EEA02A4E-93E5-4013-A5A0-A8A532D328F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282580"}}}}}