{"entities":{"Q4680361":{"pageid":6709942,"ns":120,"title":"Item:Q4680361","lastrevid":41274273,"modified":"2025-04-27T22:27:11Z","type":"item","id":"Q4680361","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2172973"}},"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":"Q4680361$E00E4F36-0CC5-4853-BA4F-F7F833FA11BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e66e842d6a6e2b76d6befb69140dbc517d596b4","datavalue":{"value":"1072.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$052C4E96-B82C-41D0-875C-117DC5923ACD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66395a61e36954022b73f8489c75bb54138f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":385802,"id":"Q385802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4680361$D71853A6-35EA-4C55-AEF3-8E2E5430C7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4680361$A1DD4156-0D5F-41D3-A3F7-10B394FDCB13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4d578b35a7e3b754503335b980ec15049161ec","datavalue":{"value":{"time":"+2005-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4680361$ECEC9451-B52C-41A7-8135-D615931DF11F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a392f60cdf86cb225e47ecbeeaa3ab3ecf083d0f","datavalue":{"value":"https://eudml.org/doc/125101","type":"string"},"datatype":"url"},"type":"statement","id":"Q4680361$E7F3E9ED-D1DF-44D9-BF46-495F58178F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"eeef331caeffa2fead206691e7ce2b1247a85761","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/15/1/15-01abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4680361$F6101CC0-60E5-47BE-9B20-EC3CE63B355C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$04E9E3F7-F714-44CC-87B3-3B33B483E307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$03ECF52C-28CC-4B6B-9D16-20D453D929CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$15B9B16F-CFD5-4A01-8E17-A91768110ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$5BFFCE08-A1E3-49E5-A8C7-DDBC7C0E24E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$E57501D6-3A47-4FB5-AD86-D3B354D5DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$D0DD4984-3B86-4D39-BBF3-214F156FEC7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f607da27a8e4368bfdb75525ebd12c4b00b0ff9","datavalue":{"value":"2172973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$3B4280E1-07A0-41E3-AE77-9750165EDBD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d914b03804764ee7eef8a1ee2e6d22d19eb6e3fd","datavalue":{"value":"algebraic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680361$E1B87EAB-A691-489E-B0CE-CE306834B09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680361$E253F77A-F442-4A5D-94B8-EC04660E0F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c34c2e8c5d0fb69f0d1e8e3e7dfa80780452cc0","datavalue":{"value":"predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680361$D2C9AC6F-F335-4B98-93B7-54B5F45A1307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fef32a00519cc7792f8efc0d8761b4cded115c2","datavalue":{"value":"ideal completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680361$951E485B-7145-4960-A8FE-102FD0DBF275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680361$53F3BDED-5462-4141-8312-5D5D29883247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463bfb59fffcfc4912d2e48763e12f5a2e76d98c","datavalue":{"value":"pretopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680361$DD72CF01-89DB-40F7-9051-575C1FC6BEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6af40d46d608631a1f26238d8984708088249b34","datavalue":{"value":"small maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680361$0B49FC69-CEB1-4B11-ADDB-5AB8A01E31BE","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":"Q4680361$1C4D55ED-440D-4B5B-A0E3-AF9C0240AC33","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"284e67f5b8f138363c6d1f5fb37cd07db0eb1d9e","datavalue":{"value":"bafkreiecabp6ejlacwmfrw2xigpbgqpr7tjszzh6534koi3csjrv53q73i","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680361$59424785-E331-4D3E-8629-50566309979C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb34b227a9b11643a599b8601e3755fb2b45455","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173095728e73f49f7824d6e29e15a64bcea23c30","datavalue":{"value":{"amount":"+0.9198443","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":"Q4680361$37D79AD5-43F4-4A60-B80C-719570BBDB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bfee325e91f298337d8811e53f0e47fcab7290","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f429f459079746b78c8def1449610a976395d16e","datavalue":{"value":{"amount":"+0.91502655","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":"Q4680361$65CF35DF-78C0-44D7-B3F5-5A53064C053D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882c742186c44e767e75b590b882b1a818a7efc","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4cbec7534700957fb2bfdf4829fb1d0d85549c2","datavalue":{"value":{"amount":"+0.90437555","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":"Q4680361$12EFE0BA-F5CD-4F2E-8843-5E73FA249E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049ee433aa0629bc8c6427ff5be297b884ff3a33","datavalue":{"value":{"entity-type":"item","numeric-id":1344849,"id":"Q1344849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e14d3c350e172d9b7f6dc15f3b82fab72518399","datavalue":{"value":{"amount":"+0.90270114","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":"Q4680361$D76BC1EB-7BBA-4B91-BCD7-47734A9C1C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8fdab00b8382fd9784a00bcd61b79e042f91ec","datavalue":{"value":{"entity-type":"item","numeric-id":3081637,"id":"Q3081637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64f0a7941dd08cf4c84de3506e171318285793d","datavalue":{"value":{"amount":"+0.90168846","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":"Q4680361$493D1FEC-897F-454F-BEC5-0B8109C1B617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c145c82d1325e5c582a5401e6ffbdd462e2fb90e","datavalue":{"value":{"entity-type":"item","numeric-id":306841,"id":"Q306841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022beb0dff3203b27da2a44330680dd40e80bdc1","datavalue":{"value":{"amount":"+0.8999816","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":"Q4680361$14EE5F62-23A7-4045-B288-06FAB5D596AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623eba8055a92b9709e10bb9d0ad35b0f7891141","datavalue":{"value":{"entity-type":"item","numeric-id":2148788,"id":"Q2148788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95abfade4ae0e0c64f95c56c05cc97cfada571fe","datavalue":{"value":{"amount":"+0.89356875","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":"Q4680361$BB10DD52-21C7-4403-8749-89D138D392C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e36775775a6aea5fc408aa2fa23b84368310e7","datavalue":{"value":{"entity-type":"item","numeric-id":1344436,"id":"Q1344436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffa375c711c242348adb6a201f1de7ee65a19f3","datavalue":{"value":{"amount":"+0.88917875","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":"Q4680361$00A11F46-C4E8-41FB-9391-9605B3E25FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9d6602121664f50b1e3bde58776697d149642b","datavalue":{"value":{"entity-type":"item","numeric-id":3433173,"id":"Q3433173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63706eb17c26ef7094c65252098fa9420f510daf","datavalue":{"value":{"amount":"+0.8825589","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":"Q4680361$1F54C98A-068B-4CF7-AC82-0786ECC388CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a229961d31eec6ebc02dc04168a84b8718f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":5498681,"id":"Q5498681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d265c35ad3baf063db0d77e0475ac4b8bc47139c","datavalue":{"value":{"amount":"+0.88211435","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":"Q4680361$CDEF5224-1B7D-43C2-AD16-EAF214DC7D3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4680361","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4680361"}}}}}