{"entities":{"Q6051097":{"pageid":13185253,"ns":120,"title":"Item:Q6051097","lastrevid":102538316,"modified":"2026-06-06T04:42:30Z","type":"item","id":"Q6051097","labels":{"en":{"language":"en","value":"Fibered universal algebra for first-order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7740043"}},"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":"Q6051097$47B2BB81-4DD3-423A-B5C5-C365A10453AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"932d52d4eeba8836ecaf5494538f505fabbbff61","datavalue":{"value":{"text":"Fibered universal algebra for first-order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6051097$3E88E6D2-8894-45B9-A0BF-4914729BCBC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd593164bf91b77e4f66e0ff7dbc037eff9fafa","datavalue":{"value":{"entity-type":"item","numeric-id":1637590,"id":"Q1637590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$C17FAA9D-7C72-43EB-934F-C9E7C7A1A4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"385db80d6bed80abaf8c7a169d8469a4d7c9ee89","datavalue":{"value":{"entity-type":"item","numeric-id":418909,"id":"Q418909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$BA98AC97-583A-484C-945F-05854B6E1A63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$39A265A3-8E57-416A-B915-98E55D485B33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8511310b812d9d4a7e586ca3d9e1dbbb6532cd6","datavalue":{"value":{"time":"+2023-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6051097$74A98880-8B9D-4CDB-9906-7BC0BD7F3B71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12f205125d5721158494d6f06bf7b89c4044091f","datavalue":{"value":"https://arxiv.org/abs/2205.05657","type":"string"},"datatype":"url"},"type":"statement","id":"Q6051097$29D5462F-5013-4873-962A-AE3BDBE56F4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6051097$A1EBBF22-A686-4923-8C4F-1FBBD582FC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6051097$D09F9F90-3F73-4691-9B6F-10A63CB45BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6051097$94EA964D-5C91-425E-9ECE-B03F8BECB1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6051097$4D453E3B-CB00-4F36-B272-23C9D02158D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16d356f4c3a18e50927b39e5faf0b1d7015513e8","datavalue":{"value":"7740043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6051097$3C39315F-C0F8-4B9B-82B0-851827CE9989","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f0875e71694a3abcfe1a8bbfbc55522ce74bd0","datavalue":{"value":"hyperdoctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$0D62EF41-9B05-48B8-A735-38C8D2BA8AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad67ca7a213392a47e6604fab3f734aba5b9d278","datavalue":{"value":"prop-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$2D0CAF2B-BF25-4AAB-89AA-FE96E1738ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$A87C8D0E-5244-42D0-903D-873850F49594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe15cf4b6475217fa1abbbbdbd0c5d8e903621f2","datavalue":{"value":"fibred universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$77A5608F-47DA-4228-8DC6-78242BC1A90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$08A81B23-10E8-49A4-BCBB-B3800DA3A8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e814d31985fcae631c95436a3856000fbe9f33dd","datavalue":{"value":"general predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$7C863C94-C023-4C73-BA37-63631221757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$1B12A1A4-CD6E-44F0-9BBA-58BEB0DC2959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a1c37334e463d43be6c1e05c41d46860e9624b","datavalue":{"value":"Birkoff theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$81332311-0D11-4ED0-95F7-F7FC720769A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968dc02c980dd301391e211f9f4c723fb56ae465","datavalue":{"value":"Blok-J\u00f3nsson theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6051097$A4E7893C-FBB5-4E09-B3FB-6E229CEEA6E9","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":"Q6051097$D23BE721-547B-4FD9-AC13-9B21F02612A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82ff1741aaf92d982408b46df2f8086b92b362a3","datavalue":{"value":"W4377694900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6051097$AF6055AF-2A02-40FA-9356-9BE536255131","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95559a4d80f773d72a450145ac01751def5111a","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$5349F318-D3DA-4BDE-8B6D-88B5DEC7CFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$A8C1501E-6EA9-4895-993D-D98295A3AA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec69565a0f072194469c8cca4c8004e59972b3","datavalue":{"value":{"entity-type":"item","numeric-id":2433095,"id":"Q2433095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$D7E8E773-1406-45F1-B2C0-4BFF732406FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b793624db2da372915f07061d9fca1794a0e460","datavalue":{"value":{"entity-type":"item","numeric-id":4610152,"id":"Q4610152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$769E106E-C34D-4D74-9444-4518DEBE8FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$7C877D0F-8ED8-44CB-B6D4-1EC87BFA5E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639c40721d4ad9e8192f54d6b51a3c839e4356ff","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$7261C7FD-81D6-42A8-9327-1B81AF27F0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$F86F75EC-2AFA-4911-9E9A-E4180F749966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03265e5143accac6c434bc5c23dedfc3eb7c2654","datavalue":{"value":{"entity-type":"item","numeric-id":476121,"id":"Q476121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$E529406A-8127-4D37-A3D3-2237F8AF544D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$9DAC4844-212C-4B60-BB61-C8C25996087F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$C68D2A6A-75D1-45CD-98EF-A7F188D309C2","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":"Q6051097$9B340FDA-5E11-49C5-8C62-1675775A7CE6","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":"Q6051097$2AE04EC1-9B2A-4973-B418-6B87D07A7549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$70A672A0-6CB2-4ADF-AAB9-E1CE1B0E62CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$3F4FA38B-D3F0-45F0-ADBE-22FFB526AD10","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":"Q6051097$2B1FAF03-3E0E-4816-A97C-065D2D0348B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d90bb9c7483f2b9eddcb54d776cc4aef07085","datavalue":{"value":{"entity-type":"item","numeric-id":3156508,"id":"Q3156508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$17585A6F-4C91-41B8-82B0-0DCA50B614BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da1f495e46e1fee50e019d55a205684c1abf3db","datavalue":{"value":{"entity-type":"item","numeric-id":3411965,"id":"Q3411965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$E1533242-337B-4AAD-A708-9B40867F087D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d245fd4703250aaab8e5f0f1b5264821ce5291b9","datavalue":{"value":{"entity-type":"item","numeric-id":6135983,"id":"Q6135983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$D3EFD3FD-9EC0-4BEC-8EDA-FE6CADB5E318","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":"Q6051097$BC8463B2-C63D-4C3E-AC3D-D1444DB8C506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec7ad5c131ceab7a983f63a0087cc08129f5ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2849433,"id":"Q2849433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$D7CCEF14-0CB7-4799-AD71-3F8428D65DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa809f6145fdd08f256cdb85bab7972b978d428c","datavalue":{"value":{"entity-type":"item","numeric-id":4997273,"id":"Q4997273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$D5B9368C-0D90-4204-B0EE-A8303C287AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958f86d648cc7631f80909a636aeef1ca2ab3386","datavalue":{"value":{"entity-type":"item","numeric-id":5098721,"id":"Q5098721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$9C8E07C0-7181-4BF8-AA5A-57562EB65728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53182f1ce62e5d5bcc4493592ea1eccbb42cda49","datavalue":{"value":{"entity-type":"item","numeric-id":5015729,"id":"Q5015729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$34A1EF2C-0C28-4D76-970A-EA174552E9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa31d3a96506d2d74ce454883b36238f559b0511","datavalue":{"value":{"entity-type":"item","numeric-id":4549480,"id":"Q4549480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$B5037E13-C222-4604-82C8-2BCB655F1320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104ede8e3146aaf70aed1cfc10ab2790fa5f4473","datavalue":{"value":{"entity-type":"item","numeric-id":2253035,"id":"Q2253035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$DC976276-24CC-41E7-95EB-EE6536DD21F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$7AC8B37F-5836-472D-91E9-D2B60C4CBCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$813384DC-3E71-4DAB-B1E7-6873CD41EAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b784833bb0a0f4aa446515fe51086c89b5662671","datavalue":{"value":{"entity-type":"item","numeric-id":4215605,"id":"Q4215605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$89D184F8-25D3-48D8-93FB-014B4D96C570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294d7a5058d4f1c41f96d3b544429584bbb81043","datavalue":{"value":{"entity-type":"item","numeric-id":3874177,"id":"Q3874177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6051097$3047346A-7F07-498C-98C6-0D97F3E15F2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b091b83b00f164d13ac25ec3aaa8e4bf8f542bd1","datavalue":{"value":"10.1016/J.JPAA.2023.107415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6051097$8F938EBA-670F-4809-B30A-DC3D2FD9DE9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fibered universal algebra for first-order logics","badges":[]}}}}}