{"entities":{"Q4888329":{"pageid":6917908,"ns":120,"title":"Item:Q4888329","lastrevid":41151995,"modified":"2025-04-18T12:58:54Z","type":"item","id":"Q4888329","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910440"}},"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":"Q4888329$EEFF7C96-C397-458A-B738-C5A442DDBEE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69b662e4ed254e52dda29ca0cbef867789264eca","datavalue":{"value":"0849.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888329$6E0F7050-1557-4039-AFA4-AA4D4B44294B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7dc9ed0e2b5609acb0512f38fd76d566ef1729","datavalue":{"value":{"entity-type":"item","numeric-id":1853106,"id":"Q1853106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4888329$5566DDEA-CFAF-4127-8ADB-D390FD75AF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01786917e5fc26c53da427413140e48f629a45b2","datavalue":{"value":{"entity-type":"item","numeric-id":2055763,"id":"Q2055763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4888329$07BB1EB4-4347-4944-9A88-73891EDFD112","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4888329$2A1B6325-F3EE-47DF-9BD2-82589BFFC36E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888329$D7E02080-31F9-451F-AB55-978C2FF78F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888329$78FAFBC6-757B-4090-A14E-D389A08C1DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888329$2533C78F-56BF-45E7-9872-363E0BCCB9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888329$6ABE9862-4D92-4FC3-9512-B3C542DAD296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77f64930b782a6ca4584659672b343a7b051adf0","datavalue":{"value":"910440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4888329$1EB09A90-D36E-4F5D-9A73-1BA8DD4EB920","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30566779ee8ae18de5c710c4f78011c11cb31da","datavalue":{"value":"higher-level Natural Deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4888329$7D8D67EB-B09C-4B11-8380-72A25A86F2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30701766173703d2c3c5a29da8abc2b17cd59726","datavalue":{"value":"adjointness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4888329$7C85DC09-C22B-4BC0-81FD-293C997A642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a645f1ee8946a03309984f61203be8759d9dedf","datavalue":{"value":"cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4888329$1D0AC858-29F2-4003-9A48-D3D120DD7A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c296c323938e24c96b7fe317ef7d0b7c2d05f8","datavalue":{"value":"finite coproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4888329$111E17E3-03BA-4941-8C2A-C66ECB61037A","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":"Q4888329$66166D14-D9D6-4B1A-BE5E-3C1FEEACDE00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75c29a9e841d715a0607f285af610409eb4f288","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba4f859fe8edbecaf167498d9e6ad2b7680bf24","datavalue":{"value":{"amount":"+0.88714087","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":"Q4888329$107834FB-3C2A-4D4D-BCB9-6A245AF6A551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2cf4809c433f270014c1fdcfd424b293f573b7","datavalue":{"value":{"entity-type":"item","numeric-id":5393630,"id":"Q5393630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155912020bd5c2836ef17903357eebc9a94fd61c","datavalue":{"value":{"amount":"+0.87936944","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":"Q4888329$2D13421A-0AA9-4416-BBAD-43AF3A14F93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c5fa3ecbfa560b0d437ad2252be9d5bdba3617","datavalue":{"value":{"entity-type":"item","numeric-id":5096381,"id":"Q5096381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d75c14ffcfc90c143abe98524743e3a8e617a8b","datavalue":{"value":{"amount":"+0.87115896","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":"Q4888329$F600C687-DA6B-488A-A03C-AA1939268E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cceba7b6b2a8d24bb25a62c136484291495c91","datavalue":{"value":{"entity-type":"item","numeric-id":4263153,"id":"Q4263153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310ecdeb6a908e443001285c9d290ebf7dfb3588","datavalue":{"value":{"amount":"+0.87021834","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":"Q4888329$46ED65CB-A5C7-4507-AC3B-EAA3BEA98EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab4e1bd8bcf8704eb458b3fff20f86a2df14100","datavalue":{"value":{"entity-type":"item","numeric-id":3342573,"id":"Q3342573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce944ccc204105ca8c1072b649f52c664dcd2ba","datavalue":{"value":{"amount":"+0.86880314","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":"Q4888329$F26E76D9-35C3-43D5-9D0C-31513B563135","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":"3afb3cfb7130504d62f0c2779b7de2f3a47f2ecc","datavalue":{"value":{"amount":"+0.8612193","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":"Q4888329$CC21DDED-17B9-4ED9-831B-7BBE2C3093DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a1fb3e505ae0fd112fa6c9bb11cf1d60ce8eba","datavalue":{"value":{"entity-type":"item","numeric-id":911584,"id":"Q911584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef290ec2dd5f48c24cc6a21ca6462cceb9f97af","datavalue":{"value":{"amount":"+0.86029625","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":"Q4888329$978AA4BB-C07A-4EF3-BB61-74D08C86F297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c784b61e3a799414a2916ab0c2628cadc9273d","datavalue":{"value":{"entity-type":"item","numeric-id":626714,"id":"Q626714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4da73ae4198ab6f78f1d951af69ddc99b0c809","datavalue":{"value":{"amount":"+0.85995483","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":"Q4888329$27CE5FDD-D9A8-4B04-8D0F-7A0575F37544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ef24a412533dde91c97096ac2b760ab4a1556a","datavalue":{"value":{"entity-type":"item","numeric-id":3000919,"id":"Q3000919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf90a6b4d872892639ceead0347dbd7ac03474ad","datavalue":{"value":{"amount":"+0.8590077","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":"Q4888329$CED767A4-AA99-45E9-9A90-5FF992871E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c8db5e51aa155f104e1d0aac0f8e81be590cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8adbfa92584c9c8d3da302961d2b3e01a118e9b","datavalue":{"value":{"amount":"+0.8568184","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":"Q4888329$951629EE-A626-4836-97BF-6AF71D766C9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4888329","badges":[]}}}}}