{"entities":{"Q1161517":{"pageid":1172266,"ns":120,"title":"Item:Q1161517","lastrevid":66280389,"modified":"2026-04-12T08:44:26Z","type":"item","id":"Q1161517","labels":{"en":{"language":"en","value":"The lattice of strengthenings of a strongly finite consequence operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752828"}},"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":"Q1161517$EC16F4A0-2C79-4398-94FE-92E6EFC58DD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c79da237961f717cc31155fcdd6dc636e336f5c","datavalue":{"value":{"text":"The lattice of strengthenings of a strongly finite consequence operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1161517$B9C04698-3DE7-4B51-A6FE-19C5E8786188","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdb810eff72e43599fe9eb1244477763837f727c","datavalue":{"value":"0479.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161517$649B67A6-D7DC-4112-92B3-91CDE52E14AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ee774e3e45cb3df01ecbdc0b7387678899dd4b2","datavalue":{"value":"10.1007/BF01874707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161517$010216DD-707C-41A4-B1BE-6FC4EAF1B5DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$28DC8408-0B13-4326-A73F-781978DB843B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1161517$2CF97960-8539-4D9D-AC92-0FBA7965833F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161517$28B9FB29-7FFA-4762-8082-3EE4468D744D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80b62c0340d3d61af304e3793c9ce909ca92e847","datavalue":{"value":"3752828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161517$CCE1BD13-FAB9-42EA-9AA1-4F730527C629","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bed8e82bc38e4a1491a13087cb1c115cced625a","datavalue":{"value":"structural strengthenings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161517$4F2B48C8-73C7-4B48-A868-E25405803ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1117ec7b4c81dba32f07bf6ec83324b32594d7d3","datavalue":{"value":"algebraicness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161517$C7F3ABD0-F139-4B0A-97D9-22472B1B75B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc9b6a0ea217ec7af2d423b2205538242d35fd24","datavalue":{"value":"strong finitisticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161517$31BB76A1-AB85-44C1-98EB-207FAC9CB819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f2386a7323d09ae34b1c7bdaa42e4483658ef9","datavalue":{"value":"finite approximability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161517$52FA3B25-6C8C-4687-8710-C636B391CFB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89098eababd83875f79fea2b87e2f3eb9200540","datavalue":{"value":{"entity-type":"item","numeric-id":690108,"id":"Q690108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$0F40FBEB-CCB0-43D4-93E0-E78BCFA0E670","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":"Q1161517$4C32B126-0B81-4260-B5CD-D454B86BF3BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba162e8b0ad037b4a94c70805e7e1c9a7945251","datavalue":{"value":{"entity-type":"item","numeric-id":1221089,"id":"Q1221089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$CCED151E-1486-41D0-BFFC-5633B75CBA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a6d6982762289c259f6235f615ca9147186ac9","datavalue":{"value":{"entity-type":"item","numeric-id":1226513,"id":"Q1226513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$410D5224-BFBC-4F17-970C-B58A2F0BE28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$2B33918C-62DD-431C-A7F8-7174E96CF75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50369845a7a4e8b8d5b886982f2bd602edbce708","datavalue":{"value":{"entity-type":"item","numeric-id":1145134,"id":"Q1145134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$56FDE9C0-4C27-4148-8F12-8ABD4A0881DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9c09e4ffe64ac0a8315f172fa4051835eff10a","datavalue":{"value":{"entity-type":"item","numeric-id":4194937,"id":"Q4194937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$97F93059-DF2A-4EAB-9952-E8B9179CDE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b72379752afd2c599c1382a656a2c69be9d1b9","datavalue":{"value":{"entity-type":"item","numeric-id":3048814,"id":"Q3048814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$3BB7CE76-7E42-4576-A871-0DE3618BD161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdec9230c336f813089d54dce856d2c1ffb6d28","datavalue":{"value":{"entity-type":"item","numeric-id":4053721,"id":"Q4053721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$9A1A7160-C625-489D-AA4E-FC1EA0025C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc66f88c935b8c7199acc99daa6ed045bd01b07","datavalue":{"value":{"entity-type":"item","numeric-id":3261412,"id":"Q3261412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$4278762E-3421-40D4-86F3-5F59C5C8FA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$226D99F3-7D7D-4BB4-A7E6-AE862003C3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7202bf2a55b396d595c4ec33040a3ffb9142cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4133631,"id":"Q4133631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$B8C75184-E008-47EB-A110-79958D03AEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c2765fe1ff59657e17dabb3f76ea19c1a2a75f","datavalue":{"value":{"entity-type":"item","numeric-id":3856744,"id":"Q3856744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$213F8D4B-B207-46BB-BF9B-7643C46D6DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3746a0209a00f8c987a192c579c39c5341642ef9","datavalue":{"value":{"entity-type":"item","numeric-id":1239151,"id":"Q1239151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$F0953323-189D-4BA1-AB1E-E7220E6FED1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e9a46ed9bf5c6ec583f9a4ecd685ba249a2a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1248637,"id":"Q1248637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$2668971C-BA53-4550-B422-2F98A3E287CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$58F47FFF-F488-438B-B68A-47151F0AFEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0050019cbfbdae6446eae614ff351521a06d85","datavalue":{"value":{"entity-type":"item","numeric-id":5534915,"id":"Q5534915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$7E38D151-3F2C-49EF-B2E8-D616F2572D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59d3bffebe161410308c3371350b75e1f26d279","datavalue":{"value":{"entity-type":"item","numeric-id":4175722,"id":"Q4175722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$F5634D98-74D6-4249-AECD-3150833E730E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039fb27ea46010373a69be6f94367b908534536a","datavalue":{"value":{"entity-type":"item","numeric-id":1233021,"id":"Q1233021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$0FBF4A61-985B-4364-AF77-880F95182E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b116fb3ed4476235c2dbe811c5ec0d9b5c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":1245929,"id":"Q1245929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$2716235C-6307-4C16-B946-7D3D7C5CFF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f3162811fdbddfe74a9ca384ed19e5d76814a6","datavalue":{"value":{"entity-type":"item","numeric-id":1252341,"id":"Q1252341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$C5E4E4FB-A6C3-41C8-87D8-C77E966E4E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e65e2101af42b1ef80b18c25d129b0681d2ee6c","datavalue":{"value":{"entity-type":"item","numeric-id":1133535,"id":"Q1133535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$C2D90FDA-3101-414B-BCE0-5ED2ABDB661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d151175bf5184d22ffda2da46a2bb59b3ab83807","datavalue":{"value":{"entity-type":"item","numeric-id":4196408,"id":"Q4196408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$FE9C6564-B8BA-4354-8F93-2540709F19EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$67DA7379-80A0-4B42-BDCF-60D1E22A1789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b46f2d3e184e0ce2f4ab0cd192d06ae329400","datavalue":{"value":{"entity-type":"item","numeric-id":5606564,"id":"Q5606564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$33A91839-CE4A-46F7-BD1C-092B747428CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479ce18d09e9951af958a9eef0b965cdcdf0dd1f","datavalue":{"value":{"entity-type":"item","numeric-id":1214909,"id":"Q1214909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$769497EC-5405-4EE8-A772-DCAD24BE3D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d3f0c7ec2a569e78736caff7e6fcf83ea1b763","datavalue":{"value":{"entity-type":"item","numeric-id":1245930,"id":"Q1245930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$AB8E8AD5-A64D-435B-AC58-AF2BC374D14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a6233cd5f6e8bcedd1cf7b4fed5d53485770cf","datavalue":{"value":{"entity-type":"item","numeric-id":1219879,"id":"Q1219879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161517$194D7924-1931-453E-B9DE-18A942D4E31E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ca72af8302be18012b84bcbc567318568732507","datavalue":{"value":"https://doi.org/10.1007/bf01874707","type":"string"},"datatype":"url"},"type":"statement","id":"Q1161517$D63F5B68-B46C-4C62-BD6F-63C5005CADA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36b9db4d0f3ee60758ad1fed73e2df553e1f0049","datavalue":{"value":"W2077446928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161517$A20ADE9D-A69E-4CA2-AB47-10425BC296CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The lattice of strengthenings of a strongly finite consequence operation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_lattice_of_strengthenings_of_a_strongly_finite_consequence_operation"}}}}}