{"entities":{"Q4263875":{"pageid":6293476,"ns":120,"title":"Item:Q4263875","lastrevid":46670427,"modified":"2025-12-25T09:12:45Z","type":"item","id":"Q4263875","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1342284"}},"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":"Q4263875$C1016B61-0874-4A5B-8E00-96DC7D7CE161","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e33cd04101316a7f52924609757e236f9b4e656c","datavalue":{"value":"0931.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263875$E9F64D00-B0E1-4F72-931A-6FBE31003976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263875$0A92BEE3-59F9-458F-95C5-7C9937FF7BE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263875$75CFAC08-B707-42A4-AE12-AFF661E1E470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263875$56AB8BCF-616C-4F7B-A641-659085DFC575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15ad0d35426b4767b9804d9823141fdfeef05ca1","datavalue":{"value":"1342284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263875$8A1C4F9B-FDDD-447B-8DBF-7D140C33FF47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42368010a5e756221679f728d35906a50399a3bf","datavalue":{"value":"\\(\\alpha\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$FA79805C-1935-4984-80B0-4E3164BB9B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$7DD1ED2C-0B44-4AFA-B4BE-7214BCAE5051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$4771EA17-88CB-4461-B8ED-5EFD61F07000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb6c8d739af131718fb5602885236a9587d5691","datavalue":{"value":"multiplicative function type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$EEC941E9-C85B-4F1E-BCDA-0F9A3F002619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d95e77dbbec2cd3a26fade880f1365a5ba548fc","datavalue":{"value":"additive function type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$43C353D3-1088-43D9-9EF7-4677B81CF0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"809c7f9414a972dbdb68ba0b554c8f7f31571db7","datavalue":{"value":"calculus of proof terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$9C964240-A4AE-4456-8F6F-67219EC9A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$D6417E01-B3FB-450B-A59D-91905BF7C7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322c2a65e52f93b255ca9f9d16143217841776d1","datavalue":{"value":"doubly closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$1F5061A0-07A6-4BC8-9B42-F57B52750573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3bd7335ffdd56bd4d6c0bd40973d373fab11877","datavalue":{"value":"resource interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$5767816F-D280-472E-B55D-41CA743B700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc9a6aec75050c4a2aa6cbb017a8bba03869d8a","datavalue":{"value":"syntactic control of interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263875$4B1887D3-F4E5-4938-8664-75BCEDD697EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263875$81A46BC6-ADE8-4962-B71D-AC4DE872D5FB","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":"Q4263875$FD142347-24B3-4440-991D-C0A33F97FCCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c30a30256a82f7806e53cff4056e3642afe460f","datavalue":{"value":{"entity-type":"item","numeric-id":4461769,"id":"Q4461769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005d5f295843f95f88433b9722c69a1ce3e9798c","datavalue":{"value":{"amount":"+0.850810170173645","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":"Q4263875$9741D09A-4DF5-4979-BBEF-18EE8A96AC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501f3f8a6c4b0ef8997e9c56a003b6b2140c7bdd","datavalue":{"value":{"entity-type":"item","numeric-id":4945228,"id":"Q4945228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4248af7bb3f72b6a2365cad3666f62ee7d369b9","datavalue":{"value":{"amount":"+0.7783902287483215","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":"Q4263875$7EF2C795-810A-4CE4-88AC-38F39CF0E25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94682d531bb9634c9b15b2740259fb6aa3134ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4796463,"id":"Q4796463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4474f0485f5f6cbbda979172546c0c401027fb","datavalue":{"value":{"amount":"+0.7779629230499268","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":"Q4263875$F429D8EC-5348-4D8D-9210-C3A05CC6EFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c215761b1d4de2f44ecbc7999ad125a4c8682e2b","datavalue":{"value":{"entity-type":"item","numeric-id":5466458,"id":"Q5466458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477f1e1328008711caf5c03a7c06e3cf744ddbe6","datavalue":{"value":{"amount":"+0.7744048237800598","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":"Q4263875$54645DC9-CDF0-4AFA-A083-E699E6FD9D02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263875","badges":[]}}}}}