{"entities":{"Q4975426":{"pageid":7005005,"ns":120,"title":"Item:Q4975426","lastrevid":52872398,"modified":"2026-01-23T16:51:21Z","type":"item","id":"Q4975426","labels":{"en":{"language":"en","value":"A property of effectivization and its uses in categorical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6756978"}},"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":"Q4975426$957385E8-EA67-4BA8-82FF-F028F78BE05D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1432e8b2baa8027be611055a0f15e133b6d6242","datavalue":{"value":"1372.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975426$9E975FE7-2C9A-4EBC-9A9F-08B71C4D49B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d047d760b14816534a9f844ad753a35a4394b5e","datavalue":{"value":{"entity-type":"item","numeric-id":2078380,"id":"Q2078380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$DFCA1BD5-FAD3-48F7-B167-A5FFEC94EC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a22dcf6caa2b9b1b4d20645015a86dd1f8584097","datavalue":{"value":{"entity-type":"item","numeric-id":456879,"id":"Q456879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$F514FCDA-8FD4-4B78-989E-A067496483C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce979335b77f2596550269d65d79bcdc5417e46f","datavalue":{"value":{"time":"+2017-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4975426$43987C3B-9048-4A74-AA95-4073522CDD65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ed55d4d3535c8c25156175c55b13bb909e5dc2e","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/32/22/32-22abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4975426$B9D1DCE8-B859-4C0B-874D-7348AACEE500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975426$39393CE7-9025-4B37-8D54-D206854C1042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975426$2A596375-8BB8-40F5-877A-29D32A7C74B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975426$4D94C550-54C7-4429-BB01-D57E6A1D1CD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"774943cb0ee3574eb03b6b0f9ae5bdbd88748121","datavalue":{"value":"6756978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975426$7A3858AA-7F8F-470D-9722-55BFE30261A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e8b7f83dfc84a983c44c7ef2c5fb23ace34b8c","datavalue":{"value":"regular category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4975426$E5493099-C046-4C1F-82FA-5683FEF495A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463bfb59fffcfc4912d2e48763e12f5a2e76d98c","datavalue":{"value":"pretopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4975426$42C1281B-ECFD-46C3-9EFA-D5FA120C5960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2d03e2d930ab0b3d68e567ce98635a430bbeb5","datavalue":{"value":"conceptual completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4975426$9C1C92C7-A9F6-4C57-A287-95F97C4BFA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4975426$803F768F-2670-400C-922F-3482924129EB","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":"Q4975426$38164EB1-952B-497B-90D2-4B45B4406DE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"153671343301e284ffd0e9d9a3f6b540718dfc25","datavalue":{"value":{"entity-type":"item","numeric-id":4205618,"id":"Q4205618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$2C7FFE8D-08C9-4D23-99AD-8A26E3ACB3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d880af0deddc0e47934315c781ea6591b09026","datavalue":{"value":{"entity-type":"item","numeric-id":2436719,"id":"Q2436719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$54BD0E72-BDCD-4AF8-90EE-1CBB6126C979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c86e2ca1645fdbf3a509964f1e2fcc8b3828f94","datavalue":{"value":{"entity-type":"item","numeric-id":4740070,"id":"Q4740070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$1E886338-BCFD-4958-AC09-3BC9FE9C6B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5626d25cd147a56403941848dcf8bdb7fb090d","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$D42291C1-9F2D-4208-8551-D936E3102569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$C8602D0A-D83D-4A04-B6E9-69CB917EEC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3963cde713f15d07821110f872d6b593258408e","datavalue":{"value":{"entity-type":"item","numeric-id":690384,"id":"Q690384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$7405162C-78C2-43B2-9E99-908EEDF48378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"991a41e1b0cb77a85d1f7acb14c0dbb7ec082b6e","datavalue":{"value":{"entity-type":"item","numeric-id":4226769,"id":"Q4226769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$75C92215-1543-4973-B395-82B3E3543EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ad803b7ef5458992773eaef85f0daa375fc075","datavalue":{"value":{"entity-type":"item","numeric-id":5939822,"id":"Q5939822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$A7BFC588-C079-4F8C-AC3B-C71611AF6531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcae29434b408608cbdccc82a521cfc4aa06606d","datavalue":{"value":{"entity-type":"item","numeric-id":2855642,"id":"Q2855642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$AC41B113-BF33-4808-9D7C-A1461488BE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa933416699cd682536c8bd053812d0b5ba0eccf","datavalue":{"value":{"entity-type":"item","numeric-id":2254599,"id":"Q2254599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$871072BB-C775-410D-BD6D-736A212F79AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6350d722ce8ca9ee27de1770e3665af1e273f4ce","datavalue":{"value":{"entity-type":"item","numeric-id":3705457,"id":"Q3705457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$DD2C6217-C294-4483-A37B-3FD4789A7E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0f46403bc34b02affb3a1f06fe20fa8807fbce","datavalue":{"value":{"entity-type":"item","numeric-id":922544,"id":"Q922544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$5BFDF371-93B7-4C27-9CC3-79EC57659764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$A6EFE1B1-3ADD-48F0-BA31-2A9E3FFC9448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3236e15742ece5ef41a9e2090db30a669a30e0","datavalue":{"value":{"entity-type":"item","numeric-id":3798834,"id":"Q3798834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$FA524E80-7B91-43B2-93AE-DC2F07623F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db426aecf011f6a4f9247eb5c7f5150dabacc1e","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975426$EE218174-C0F3-48A8-933B-39D4041DA447","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"60bcd590dcc5092fbc36920124b826e64ae9cae7","datavalue":{"value":"bafkreigtrpwoz2lfjasuzsii5ywp6h63ro4ocgjhmxiu4b5lyefn4gqloq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975426$09E04EA6-EF27-4C21-A36A-10977395B0A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d4bd6d09ec1311a0999d6d2db1d424424cc82d","datavalue":{"value":{"entity-type":"item","numeric-id":5400856,"id":"Q5400856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16df2476eb9c6b949d3df285584c04ae8a9cf2e9","datavalue":{"value":{"amount":"+0.716200590133667","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":"Q4975426$A15A3521-7D36-4622-8291-2857C82171B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00223f2ba48b2bb977062098a20e589bd7c6f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4959497,"id":"Q4959497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f25a815029d428e2b8d6519fa26de30e4e8325","datavalue":{"value":{"amount":"+0.7160837054252625","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":"Q4975426$75A415B6-304F-4635-87C9-2F3CF5ABCD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601778df992e1ee86dd5fa66c6fecab935d3743a","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798c3fd490b3f52e00c61a9e5afcf0cb44f1559c","datavalue":{"value":{"amount":"+0.7139102816581726","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":"Q4975426$7083593F-C541-4AE5-9C6C-1E2B4A247992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b9e65255917af3d3ce022c77a449ba242c6e76","datavalue":{"value":{"entity-type":"item","numeric-id":3798834,"id":"Q3798834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798c3fd490b3f52e00c61a9e5afcf0cb44f1559c","datavalue":{"value":{"amount":"+0.7139102816581726","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":"Q4975426$93E6A0CB-1854-4EAE-A371-CA16DBB88BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064b5072be2d04714bcc09a7c2758b8582c729c7","datavalue":{"value":{"entity-type":"item","numeric-id":4276025,"id":"Q4276025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75571d903db4972007e6e6b9e48a76881cd6c2f","datavalue":{"value":{"amount":"+0.711909294128418","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":"Q4975426$A90EC13E-A48C-4CC8-A49D-24BED4CC5F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4975426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4975426"}}}}}