{"entities":{"Q2254598":{"pageid":2265341,"ns":120,"title":"Item:Q2254598","lastrevid":57815019,"modified":"2026-04-02T15:52:04Z","type":"item","id":"Q2254598","labels":{"en":{"language":"en","value":"A co-free construction for elementary doctrines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6398446"}},"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":"Q2254598$348B3630-3C15-48F2-ACF5-6E4DBC20EF48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0002d2b664a537f50e5ace7b6e62c8588fb3daa","datavalue":{"value":{"text":"A co-free construction for elementary doctrines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254598$4CEBF6B0-B9CE-4070-B79F-740692F852A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fc3c22c3420b6a83387c1fa528b9b2c5fbdd578","datavalue":{"value":"1305.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254598$ED44E070-9401-45B0-944C-91D167B08226","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa9f7861c8488d2a03afed5df9a4162db54fa451","datavalue":{"value":{"entity-type":"item","numeric-id":263882,"id":"Q263882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$E4588344-9964-4339-8619-40CF143A2FCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$EC333DF7-5437-4F19-AF16-E3D74F00D81B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f52875ecde12166df54674a46be9420b28825232","datavalue":{"value":{"time":"+2015-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254598$6618A38D-0F64-4D5A-8CFE-C2CCD27A4C35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"078b569d3c80c520b52c98803ed468c1ae797047","datavalue":{"value":"https://arxiv.org/abs/1211.1891","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254598$C9C9CF60-6BF3-42EC-9D92-0C0E4D44CD2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254598$434A0BEF-5268-453E-8CDC-9433CC04B478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254598$825CA65A-A2A2-4123-A437-651299B21160","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d74e6a7b56e741a46360088509574be76fe4274","datavalue":{"value":"6398446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254598$6DFFDA34-7E06-44AF-A7C5-DC2983950A02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c86afc15a40e63df5b40a21e8dc8c5318089462e","datavalue":{"value":"quotient completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254598$76CD6E99-7ECA-4B48-A633-63E9641DA0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb9588b3cf099e559906225d0623d18b43b25ac","datavalue":{"value":"hyperdoctrines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254598$A07D65CA-AC6B-4942-A2F6-7952B9A8BCEC","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":"Q2254598$F2B78EBC-602F-4317-94EC-7BA101002467","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b321fd2d762fb03b356160c9dbfc228c77fc8621","datavalue":{"value":"W2036588712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254598$30F3667A-9FFA-496D-A6D7-80B11195E59A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b50b41b14480fcc9beb507cfdcea5d47eafb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$2C4403B8-D404-40EE-B9B9-FF32EBEEA20C","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":"Q2254598$84490BE5-880C-449D-B059-31AFBC159162","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":"Q2254598$F17A361B-EE55-4853-9492-4F9970FF6527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47357dc7566b31a484df0badb274a2eb37dbd905","datavalue":{"value":{"entity-type":"item","numeric-id":1861488,"id":"Q1861488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$E0D4A152-1381-4364-AAE4-5E9200FC7F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$28C787D7-DBD6-4AB5-802A-56645CFBD4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$D97A92BC-B1CB-477E-BA9B-9B5AE86470B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc45bc8910d10f32dc849ff87ea0a9aa26126c31","datavalue":{"value":{"entity-type":"item","numeric-id":1332450,"id":"Q1332450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$0F7FC0F5-3F8A-41D5-A924-2D69CE59CA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71c7399caa5797953ae5a057bd3d519ab4ea606","datavalue":{"value":{"entity-type":"item","numeric-id":1366309,"id":"Q1366309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$B6B52D7C-E1BC-45D7-BF68-AAC1D9FC8FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92da058ddd57010fb7acd1c4bd5ed64d2914ae7","datavalue":{"value":{"entity-type":"item","numeric-id":1771118,"id":"Q1771118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$AC739461-FA25-4318-885F-18F8C199DBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$30866D97-0421-4C52-B13A-70FC4394A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$AFEFD340-BF39-4B95-A8A2-2FF75909E6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$E4A00601-2E20-4357-96EA-39CD3B5F4804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$59A40FD7-0173-4FDA-AA3F-E654D4784893","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":"Q2254598$EFA17D00-B51B-4124-B074-21CD9A287271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$6A0FB0BA-6B17-40A1-9244-D503653CFAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9518dd7f95b2c4defe343ee2db5f10db3d13b99","datavalue":{"value":{"entity-type":"item","numeric-id":3146242,"id":"Q3146242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$38AB28CE-FEDD-4D8D-B856-CFA08D82B3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$079FF7D7-59B9-4F11-90EB-6AAE05BF0099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254598$DFC7A6A2-382E-469B-AB6B-750A1ADE4F34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4bc16f0493bd3bbf1b2384278e239cbd9ccb364","datavalue":{"value":"10.1007/S10485-013-9358-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254598$8738F9C9-81AE-4E2B-99FA-D7F613B5ABC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6e55dee6b55fda902f663bad6f39b452f20583","datavalue":{"value":{"entity-type":"item","numeric-id":2220195,"id":"Q2220195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc26aac04e9f03e559a22df4588f4f3309afbd8","datavalue":{"value":{"amount":"+0.8226429224014282","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":"Q2254598$DD9F86F0-3C57-49EC-9BAF-D6960652E173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d855ed71320d57b13db802c040b38e8a36deae","datavalue":{"value":{"entity-type":"item","numeric-id":2699426,"id":"Q2699426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfa2164bffa5cb82b7c06f2541361d3bbdd32ef","datavalue":{"value":{"amount":"+0.7924839854240417","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":"Q2254598$D214CEAD-AD8B-4AA5-B223-67559190F702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e58a67c776506dddb2988a71ac874fa4e1a8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2855642,"id":"Q2855642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc488ba536eb8c277db9f7a86f5841fb65b30df","datavalue":{"value":{"amount":"+0.769747257232666","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":"Q2254598$F2BC8AAF-AE6E-40F8-B478-D0B5217CC624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e825900ab9e30153c80753bc78aa6334b63c41","datavalue":{"value":{"entity-type":"item","numeric-id":2683780,"id":"Q2683780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21878681ba659055eb0b0a239fbee905422d60a5","datavalue":{"value":{"amount":"+0.7262470126152039","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":"Q2254598$7DA0518C-6D77-4AFA-B284-0FD85D7CE17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34468da0505177458e28a990a3da8022cbffec35","datavalue":{"value":{"entity-type":"item","numeric-id":3754790,"id":"Q3754790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4201e68d76ddc2f0d1485a0f26be5ca7de01b814","datavalue":{"value":{"amount":"+0.7138150930404663","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":"Q2254598$FB03615E-0A0C-49D3-B2E4-6FFE2BC1DC22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2254598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2254598"}}}}}