{"entities":{"Q1160202":{"pageid":1170951,"ns":120,"title":"Item:Q1160202","lastrevid":67003041,"modified":"2026-04-12T14:16:12Z","type":"item","id":"Q1160202","labels":{"en":{"language":"en","value":"A first order proof of a theorem of Frink"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3747211"}},"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":"Q1160202$572DED3F-1D5C-4FD3-B392-B3F788FD0BA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28884f85aa852b013eed21f00b2398d0ba504024","datavalue":{"value":{"text":"A first order proof of a theorem of Frink","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1160202$E6DA7D1C-693E-4097-AEB9-3FF48E4B1BFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85f1b85128c43bac6e2225a9f36f1437140e50a3","datavalue":{"value":"0476.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1160202$4853760B-64B2-4B36-8E77-697491970741","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c63de39804e8c0a89cfbc770bbdf11d9a179ba15","datavalue":{"value":"10.1007/BF02483852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1160202$02FF1E33-8D3B-45D2-83EA-3FD51A39A512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1160202$60DB7D4C-14B5-4383-9570-1AC875ED2FF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1160202$9F8493B2-E705-4D2C-8349-1F955BA7C02C","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":"Q1160202$13FDE3F5-59D0-4924-B9A4-DC3AAB24653B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1160202$DD060FF7-502C-4F28-98D5-408688A2F577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1160202$528BB1CB-83C9-4550-8868-668EFFA142A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1160202$F1A9A3E7-B2CF-4879-932B-46F5877DED5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03b6fc49efbf6af8a67dd5aa29314a756067740d","datavalue":{"value":"3747211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1160202$36A82E61-DD85-4165-A113-E60F40CD05A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c82904253b8cf8b4f62ecfb9547ac5a5bd1327a","datavalue":{"value":"Stone's representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1160202$05442C30-0CB1-4B77-98B0-EFE6BCA1D7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f4b062c242611c13cf9e1e46b0ff0ba3847bae","datavalue":{"value":"postulates for Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1160202$C0CAF592-13CA-42E0-B08E-F13394C6DA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1160202$F2E8C814-60F0-496A-9CE2-6F49267286CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3878c1c1dfa908a8a57d0abecd3c0d8a4a493cb8","datavalue":{"value":"complemented distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1160202$44271F32-C020-46AC-B050-D1DBECC20EC7","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":"Q1160202$A4223503-696E-48AC-AE1D-D6F8B951A01A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0686f015a220194a752500a19696b12330a436","datavalue":{"value":{"entity-type":"item","numeric-id":5521497,"id":"Q5521497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1160202$108F4C3E-0856-42BD-9595-6BBBE79E1E8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75f3aef7f245f92fb91527c094bbcee55c969208","datavalue":{"value":"https://doi.org/10.1007/bf02483852","type":"string"},"datatype":"url"},"type":"statement","id":"Q1160202$04BB67FC-0FD6-436E-9DA5-989766B186A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d58c652f645548789b0ca58c1950873e7602cc72","datavalue":{"value":"W2007220522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1160202$C65FDFB3-4611-4C0A-A94F-49A78B62FD9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A first order proof of a theorem of Frink","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_first_order_proof_of_a_theorem_of_Frink"}}}}}